Xét tam giác AHB vuông tại H
Áp dụng định lí Py-ta-go ta có:
AB2 = AH2 + HB2 (1)
Xét tam giác AHC vuông tại H
Áp dụng định lí Py-ta-go ta có:
AC2 = AH2 + HC2 (2)
Nếu HB > HC ⇒ HB2 > HC2.
⇒ AH2 + HB2 > AH2 + HC2
Kết hợp với 2 điều kiện (1) và (2)
⇒ AB2 > AC2
⇒ AB > AC