Định lí và chứng minh định lí
Nhận biết định lí, tách giả thiết–kết luận và làm quen với một chứng minh hình học.
Hiểu bài
Định lí là một khẳng định được suy ra từ những khẳng định đúng đã biết. Định lí thường có dạng “Nếu ... thì ...”; phần nằm giữa “nếu” và “thì” là giả thiết, phần sau “thì” là kết luận. Giả thiết và kết luận thường viết tắt là GT và KL.
Ví dụ: “Một đường thẳng vuông góc với một trong hai đường thẳng song song thì nó cũng vuông góc với đường thẳng còn lại.” Giả thiết nêu các quan hệ song song và vuông góc; kết luận là quan hệ vuông góc cần suy ra.
Chứng minh định lí là dùng lập luận từ giả thiết và các kết quả đã biết để đi đến kết luận. Bài học minh họa bằng tính chất góc của hai đường thẳng song song và yêu cầu chứng minh: “Hai góc kề bù bằng nhau thì mỗi góc là một góc vuông.”
Sơ đồ giả thiết và kết luận của một định lí hình học SGK trang 56