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'.