Hai tam giác AHB và A’H’B’ lần lượt vuông tại H, H’ và có:

AB = A’B’, HB = H’B’ (theo giả thiết).

Vậy ∆AHB = ∆A’H’B’ (cạnh huyền – cạnh góc vuông). Do đó AH = A’H’.

Hai tam giác AHC và A’H’C’ lần lượt vuông tại H, H’ và có:

AH = A’H’ (theo chứng minh trên);

HC = HB + BC = H’B’ + B’C’ = H’C’ (theo giả thiết).

Vậy ∆AHC = ∆A’H’C’ (Hai cạnh góc vuông). Từ đó suy ra AC = A’C’.