- Hai đường thẳng vuông góc với nhau là hai đường thẳng cắt nhau và trong các góc tạo thành có một góc vuông gọi là hai đường thẳng vuông góc.
- Định lí là một khẳng định được suy ra từ những khẳng định được coi là đúng.
- Chứng minh định lí là dùng lập luận để từ giả thiết suy ra kết luận.
- Góc ngoài của một tam giác là góc kề bù với một góc của tam giác ấy.