I. Định lí
Định lí là một khẳng định được suy ra từ những khẳng định đúng đã biết.
Mỗi định lí thường được phát biểu dưới dạng:
Nếu …. thì…
- Phần giữa từ “ nếu” và từ “thì” thì giả thiết của định lí
- Phần sau từ “ thì” là kết luận của định lí.
Ví dụ: “ Nếu một đường thẳng cắt 2 đường thẳng song song thì 2 góc so le trong bằng nhau, hai góc đồng vị bằng nhau” là một định lí có:
+ Giả thiết: Một đường thẳng cắt 2 đường thẳng song song
+ Kết luận: thì 2 góc so le trong bằng nhau, hai góc đồng vị bằng nhau
II. Chứng minh định lí
Chứng minh định lí là dùng lập luận để từ giả thiết và những khẳng định đúng đã biết suy ra kết luận của định lí.
Cho định lý: “ Nếu hai đường thẳng cùng song song với đường thẳng thứ ba thì hai đường thẳng song song”. Khi đó giả thiết-kết luận được ghi lại như sau
