Biết quan hệ giữa hai đường thẳng cùng vuông góc hoặc cùng song song với một đường thẳng thứ ba. Biết cấu trúc của một định lí (giả thiết, kết luận). Biết thế nào là chứng minh một định lí.
Nếu hai đường thẳng (phân biệt) cùng vuông góc với một đường thẳng thứ ba thì song song với nhau . $\begin{cases}a\perp c \\b \perp c\end{cases} => a // b$
Nếu một đường thẳng vuông góc với một trong hai đường thẳng song song thì nó cũng vuông góc với đường thẳng còn lại. $\begin{cases}a\perp c \\a //b\end{cases} =>b \perp c$
Hai đường thẳng (phân biệt) cùng song song với một đường thẳng thứ ba thì chúng song song với nhau. $\begin{cases}a//b \\b //c\end{cases} =>a// c$
+ Một tính chất được khẳng định là đúng bằng suy luận gọi là một định lý
+ Giả thiết của định lý là điều cho biết. Kết luận của định lý là điều được suy ra
Chứng minh định lý là dùng lập luận để từ giả thiết suy ra kết luận