Hình 4.47 mô phỏng chiều dài và độ dốc của hai con dốc bởi các đường thẳng BC
Giải thích
a) Xét tam giác ABC có A^+B^+C^=180°.
Do đó C^=180°−A^−B^ (1).
Xét tam giác A'B'C' có A'^+B'^+C'^=180°.
Do đó C'^=180°−A'^−B'^ (2).
Mà A^=A'^=90°, B^=B'^ (theo giả thiết) nên từ (1) và (2) có C^=C'^.
Xét hai tam giác ABC và A'B'C' có:
ABC^=A'B'C'^ (theo giả thiết).
BC=B'C' (theo giả thiết).
ACB^=A'C'B'^ (chứng minh trên).
Vậy ΔABC=ΔA'B'C' (g – c – g).
b) Do ΔABC=ΔA'B'C' nên AC=A'C' (2 cạnh tương ứng) hay hai con dốc có độ cao bằng nhau.
Vậy hai con dốc có độ cao bằng nhau.