a) Vì ABCD là hình bình hành nên :

• AD // BC hay AD // BK

• AB // CD hay AB // DG

Áp dụng định lí Thalès ta có:

• AD // BK suy ra AEEK=EDEB (1)

• AB // DG suy ra EDEB=EGAE (2)

Từ (1) và (2) suy ra AEEK=EGAE

Do đó AE2 = EK.EG (đpcm).