Một người học toán có hai nội dung lớn cần quan tâm: khái niệm và định lí. Có thể hiểu định lí là một khẳng định suy ra từ những khẳng định được cho là đúng. Vì vậy, nếu người học toán nắm chắc kiến thức về nội dung định lí thì đó là nền t ảng vững chắc cho tư duy và những suy luận. Vậy, câu hỏi đặt ra đối với các thầy cô giáo là: Nên dạy định lí toán như thế nào? Chứng minh một mệnh đề hoặc định lí là dùng lập luận để từ giả thuyết suy ra kết luận. Chứng minh định lí luôn đi cùng với dạy và học định lí. Dạy học chứng minh định lí góp phần quan trọng giúp người học hình thành năng lực chứng minh định lí nói riêng và năng lực chứng minh trong học học toán nói chung. Tuy nhiên, chứng minh định lí là một nội dung khó trong môn toán vì đòi hỏi học sinh phải có tư duy logic, có những lập luận chặt chẽ để từ giả thiết đi đến kết luận. Mặt khác, lớp 7 học sinh bắt đầu học chứng minh định lí, được biết đến định lí là gì? Làm gì để chứng minh một định lí? Vì vậy, dạy chứng minh định lí ở lớp 7 là một nội dung quan trọng trong dạy học định lí.