Dễ CM K đối xứng với H qua E nên:
∠BJD=∠BJK=∠BCK=∠BCH
=∠BCE=∠BDE=∠BCE=∠BDE (vì BCDEnt)=∠BDI
⇒ΔBDJ≈ΔBID(g.g) (có chung góc B)
⇒BD²=BI.BJ(1)
Mắ khác :ΔBAD vuông tại D đường cao DL
nên có hệ thức lượng :BD²=BL.BA(2)
Bắc cầu (1);(2): BL.BA=BI.BJ⇒ALIJ nt (đpcm)