AKDI là tứ giác nội tiếp ^DAI=^DKHBHDK là tứ giác nội tiếp ^DKH=^DBH
⇒^DBH=^DAI
⇒△AID∼△BHD
⇒AIBH=IDHD⇒BHHD=AIDI
cmtt △CHD∼△AKD⇒CHHD=AKKD
dễ dàng c/m được △BDK∼△CDI dựa vào tứ giác nt
⇒BKIC=DKDI⇔BKKD=ICDI
Xét ABKD+ACDI=AKKD−BKKD+AIDI+ICDI
=AKKD+AIDI=BH+CHHD=BCHD(dpcm)
Đúng click "V" dùm Jin