1. Hai góc đối đỉnh

Hai góc đối đỉnh là hai góc mà mỗi cạnh của góc này là tia đối của một cạnh của góc kia

Hai góc đối đỉnh thì bằng nhau

2. Hai đường thẳng vuông góc và đường trung trực

Hai đường thẳng vuông góc là hai đường thẳng cắt nhau và một trong các góc tạo thành là góc vuông

Đường trung trực của đoạn thẳng là đường vuông góc với đoạn thẳng ấy tại trung điểm của nó

3. Hai đường thẳng song song

Dấu hiệu (định lí) nhận biết hai đường thẳng song song:

Nếu đường thẳng c cắt hai đường thẳng a, b và trong các góc tạo thành có một cặp góc so le trong bằng nhau (hoặc một cặp góc đồng vị bằng nhau) thì a và b song song với nhau.

4. Tiên đề Oclit về đường thẳng song song

Phát biểu tiên đề Ơ-clit về hai đường thẳng song song:

Qua một điểm ở ngoài một đường thẳng chỉ có một đường thẳng song song với đường thẳng đó.

Điểm M nằm ngoài đường thẳng a, đường thẳng b đi qua M song song với a là duy nhất.

Phát biểu tính chất (định lí) của hai đường thẳng song song:

Nếu một đường thẳng cắt hai đường thẳng song song thì:

   + Hai góc so le trong bằng nhau

   + Hai góc đồng vị bằng nhau

5. Từ vuông góc đến song song

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ì chúng song song với nhau

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 kia

Ba đường thẳng song song

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

6. Định lí

+ 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