Chứng minh : ABC đồng dạng với HBA  từ đó suy ra: AB^2=BC.BH 

Xét ΔABC và ΔHBA, ta có:

                                                     A^=H^=900     

                                                        B^ chung

Do đó: ΔABC ~ΔHBA (g.g)

 ⇒ABHB=BCBA

⇒AB.BA=HB.BC hay AB2=BC.BH