Vì AB//DE ⇒BADˆ=ADEˆ⇒BAD^=ADE^(so le trong)

mà BADˆ=DAEˆBAD^=DAE^(gt) ⇒DAEˆ=ADEˆ⇒DAE^=ADE^ hay ΔAEDΔAED cân tại E⇒AE=ED⇒AE=ED(1)

b)

Xét ΔKEBΔKEB và ΔDBEΔDBE có:

KBEˆ=BEDˆKBE^=BED^(BA//BE)

BE cạnh chung

KEBˆ=EBDˆKEB^=EBD^(KE//BC)

⇒ΔKEB=ΔDBE⇒ΔKEB=ΔDBE(G-C-G)

⇒BK=DE⇒BK=DE(2)

Từ (1) và (2) ⇒BK=AE