Cho hình 10. Hãy sử dụng định lí Py-ta-go để suy ra rằng: Nếu HB > HC thì AB > AC

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