Cho tam giác ABC vuông tại A (AB < AC) Chứng minh rằng AE = AF

Ta có ∆ABE ᔕ ∆HBF.

Suy ra \[\widehat {AEB} = \widehat {HFB}\] hay \[\widehat {AEF} = \widehat {HFB}\] (các góc tương ứng).

Mà \[\widehat {AFE} = \widehat {HFB}\] (đối đỉnh) nên \[\widehat {AEF} = \widehat {AFE}\]. Suy ra ∆AEF cân tại A.

Do đó AE = AF.