<p><strong>1. Định lí. Giả thiết, kết luận của định lí</strong></p>
<p>Định lí là một khẳng định được suy ra từ những khẳng định đúng đã biết.</p>
<p>Mỗi định lí thường được phát biểu dưới dạng:</p>
<p>Nếu …. thì…</p>
<p>- Phần giữa từ “ nếu” và từ “thì” thì giả thiết của định lí</p>
<p>- Phần sau từ “ thì” là kết luận của định lí.</p>
<p>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ó:</p>
<p>+ Giả thiết: Một đường thẳng cắt 2 đường thẳng song song</p>
<p>+ Kết luận: thì 2 góc so le trong bằng nhau, hai góc đồng vị bằng nhau</p>
<p><strong>2. Chứng minh định lí</strong></p>
<p>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í.</p>