Tài liệu tổng hợp toàn bộ kiến thức trọng tâm của Bài 11: Định lí và chứng minh định lí thuộc chương trình Toán 7 tập 1 - Kết nối tri thức. Nội dung bao gồm khái niệm định lí, dạng phát biểu "nếu - thì", cách xác định giả thiết và kết luận, ví dụ cụ thể, các bước chứng minh cũng như những lưu ý quan trọng khi giải toán hình học.
1. Khái niệm định lí
Định lí là một mệnh đề được khẳng định là đúng; thường nêu tính chất toán học.
2. Dạng phát biểu "Nếu - Thì"
Nhiều định lí có dạng "Nếu ... thì ..."; phần "nếu" là giả thiết, phần "thì" là kết luận.
3. Giả thiết và kết luận
- GT (Giả thiết): Điều cho biết trước.
- KL (Kết luận): Điều được suy ra từ giả thiết.
4. Ví dụ về định lí
Định lí: Nếu hai góc đối đỉnh thì chúng bằng nhau. Cho hai góc \( \widehat{AOB} \) và \( \widehat{COD} \) là hai góc đối đỉnh \( \Rightarrow \widehat{AOB} = \widehat{COD} \).
5. Chứng minh định lí
Chứng minh là dùng lập luận dựa vào các kiến thức đã biết để khẳng định định lí đúng.
6. Các bước chứng minh
- Vẽ hình (nếu cần).
- Ghi giả thiết, kết luận.
- Phân tích (tìm hướng giải quyết).
- Suy luận (dựa các định lí, tính chất).
- Kết luận.
7. Cách trình bày một định lí
Trình bày theo thứ tự: Giả thiết \(\to\) Kết luận \(\to\) Chứng minh.
8. Lưu ý quan trọng
- Không nhầm lẫn giả thiết với kết luận.
- Không suy luận thiếu căn cứ.
- Vẽ hình rõ ràng, chính xác.
9. Ý nghĩa và ứng dụng
Định lí giúp giải bài toán, giải thích tính chất và rèn tư duy logic.