Cho định lí: “Nếu hai đường thẳng xx’ và yy’ cắt nhau tại O và góc xOy vuông
Giải thích
a) Ta có hình vẽ thể hiện định lí trên:

b) Giả thiết và kết luận của định lí.
GT | Hai đường thẳng xx’ và yy’ cắt nhau tại O, xOy^=90o |
KL | yOx'^ =90o, x'Oy'^ =90o, y'Ox^=90o |