Gọi giao của AH với BC là E
=>AH vuông góc BC tại E
Xét ΔBIC vuông tại I và ΔBEA vuông tại E có
góc EBA chung
=>ΔBIC đồng dạng với ΔBEA
=>BI/BE=BC/BA
=>BE*BC=BA*BI
Xét ΔCKB vuông tại K và ΔCEA vuông tại E có
góc KCB chung
=>ΔCKB đồng dạng với ΔCEA
=>CK/CE=CB/CA
=>CK*CA=CE*CB
BI*BA+CK*CA
=BE*BC+CE*BC
=BC^2