
a) Giả sử ta có hai đường xiên SA, SB và các hình chiếu HA, HB của chúng trên mp(α)
Giả sử HA = HB
Vì SH ⊥ mp(α) nên SH ⊥ HA và SH ⊥ SB và các tam giác SHA, SHB là các tam giác vuông. Hai tam giác vuông SHA, SHB có canh SH chung và HA = HB nên :
ΔSHA = ΔSHB SA = SB
Ngược lại nếu SA = SB thì ΔSHA = ΔSHB ⇒ HA = HB
Kết quả, ta có HA = HB SA= SB (đpcm)
b) Giả sử có hai đường xiên SA, SC và các hình chiếu HA, HC của chúng trên mp(α) với giả thiết HC > HA.
Trên đoạn HC, lấy điểm B' sao cho HA' = HA ⇒ HC > HA'. Như vậy, theo kết quả câu a) ta có SA' = SA. Ta có trong các tam giác vuông SHB', SHC thì :
SC2= SH2 + HC2
SA2 = SH2 + HA2
Vì HC > HA' nên SC2 > SA2 ⇒ SC > SA
Suy ra SC > SA
Như vậy HC > HA ⇒ SC > SA
Lí luận tương tự, ta có : SC > SA ⇒ HC > HA
Kết quả : HC > HA ⇔ SC > SA