- Tứ giác \(AMKH\) có \(AH = MK = h\) và \(AH // MK\) (vì cùng \(⊥ b\))
\(⇒\) Tứ giác \(AMKH\) là hình bình hành (dấu hiệu nhận biết hình bình hành).
\(⇒ AM // HK\) (tính chất hình bình hành).
Mà \(a // b\) (giả thiết) \(⇒ a // HK\)
Do đó \(AM\) trùng với \(a\) (theo tiên đề ơclit) hay \(M ∈ a\).
- Tứ giác \(A'M'K'H'\) có \(A'H'=M'K'=h\) và \(A'H'//M'K'\) (vì cùng \( \bot b\))
\(⇒\) Tứ giác \(A'M'K'H'\) là hình bình hành (dấu hiệu nhận biết hình bình hành).
\( \Rightarrow A'M'//H'K'\) (tính chất hình bình hành).
Mà \(a'//b\) (giả thiết) \(⇒ a' // H'K'\)
Do đó \(A'M'\) trùng với \(a'\) (theo tiên đề ơclit) hay \(M’ ∈ a’\).