Do `HI ⊥ x``x'` tại `H=> hat{IHx'} = 90^o`
Và `HI ⊥ yy'` tại `I => hat{HIy'} = 90^o`
Mà `hat{IHx'} + hat{HIy'} = 180^o` và hai góc này trong cùng phía
`=> x``x'` // `yy'`
(Có thể chứng minh đồng vị, sole trong cũng được cả nhé)
------------------------------
Lên cao hơn thì ta chỉ cần làm ngắn gọn như sau:
Do `HI ⊥ x``x'` và `HI ⊥ yy' => x``x'` // `yy'`