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

Do AC > A'C' nên lấy được điểm C1 trên cạnh AC sao cho AC1=A′C′. Ta có tam giác vuông ABC1 bằng tam giác vuông A'B'C', suy ra B′C′=BC1. Mặt khác hai đường xiên BC và BC1 kẻ từ B đến đường thẳng AC lần lượt có hình chiếu trên AC là AC và AC1. Vì AC > AC1 nên BC > BC1. Suy ra BC > B'C'.