Hãy chứng minh định lí nói ở Ví dụ trang 56 Toán 7, tập một: “Một đường thẳng vuông

Giả thiết, kết luận đã được viết ở Ví dụ trang 56 SGK.

GT	d, d’, d’’ là các đường thẳng, d // d’, d ⊥ d’
KL	d ⊥ d’.

Nếu d không cắt d’’ thì d song song với d’’ nên qua giao điểm A của d và d’ có hai đường thẳng là d và d’ cùng song song với đường thẳng d’’. Theo tiên đề Euclid, d phải trùng với d’, trong khi theo giả thiết thì d khác d’ vì vuông góc với d’.

Vậy d phải cắt d’’ tại một điểm B.

Nếu d cắt d’ và d’’ tạo thành 8 góc, trong đó 4 góc tại A đều là góc vuông. Từ định lí về tính chất của hai đường thẳng song song (Bài 11, trang 52, Toán 7, tập một) khi d cắt hai đường thẳng song song d’, d’’ thì hai góc đồng vị bằng nhau nên trong bốn góc còn lại tại B có một góc vuông. Vậy d vuông góc với d’’.