Định lí là một khẳng định được suy ra từ những khẳng định đúng đã biết.
Khi định lí được phát biểu dưới dạng: “Nếu... thì”, phần giữa từ “nếu” và từ “thì” là giả thiết của định lí, phần sau từ “thì” là kết luận của định lí.
Chứng minh một đị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í.
Biết phân biệt giả thiết, kết luận của một định lí.
Biết viết giả thiết, kết luận của một định lí bằng kí hiệu.
Biết cách trình bày chứng minh những định lí đơn giản.
Thông qua kiến thức Lý thuyết Toán 7 Bài 11 Định lí và chứng minh định lí, hi vọng các em sẽ giải thành thạo các bài tập trong SGK Toán 7 KNTT.