vì ABCD là hbh
=> AB//CD
BC//DA
Vì AN//DC (AB//DC)
=>DM/MN=MC/MA ( đl ta-lét) (1)
Vì AD//CK (AD//AK)
=> ( đl ta-lét) (2)
Từ (1) và(2)
=>
=> DM2=NM.MK (đpcm)
b)AN//DC theo hệ quả định lí Ta-lét ta có (3)
CK//AD theo hệ quả định lí Ta-lét ta có : (4)
Từ (3) và (4) ⇒+