Hai tam giác ABC, A'B'C' vuông tại A và A' có AB = A'B', BC > B'C'

Dùng phản chứng:

- Giả sử AC < A'C'. Khi đó theo chứng minh câu a) ta có BC < B'C'. Điều này không đúng với giả thiết BC > B'C'.

Giả sử AC = A'C'. Khi đó ta có ΔABC = ΔA'B'C' (c.g.c). Suy ra BC = B'C'.

Điều này cũng không đúng với giả thiết BC > B'C'. Vậy ta phải có AC > A'C'.

(Nếu sử dụng định lý Pytago thì có thể giải bài toán sau)

Trong tam giác vuông ABC có BC 2= AB 2+ AC 2 (1)

Trong tam giác vuông A'B'C' có B'C' 2= A'B' 2+ A'C' 2 (2)

Theo giả thiết AB = A'B' nên từ (1) và (2) ta có:

- Nếu AC > A'C' thì AC 2 > A'C' 2, suy ra BC 2 > B'C' 2 hay BC > B'C'

- Nếu BC > B'C' thì BC 2 > B'C' 2, suy ra AC 2 > A'C' 2 hay AC > A'C'.