Định lí là gì, cách chứng minh định lí như nào? Toán 7 bài 4 c4cd1

Định lí là gì, có nghĩa gì, cách chứng minh định lí như nào? bài viết này sẽ cho các bạn lời giải đáp.

1. Định lý

Khẳng định có các tính chất sau thì được gọi là định lý:

- Là một phát biểu về một tính chất toán học;

- Tính chất toán học đó đã được chứng tỏ là đúng không dựa vào trực giác hay đo đạc,..

* Nhận xét:

+ Định lý thường được phát biểu dưới dạng “Nếu … thì …”.

+ Phần nằm giữa từ “Nếu” và từ “thì” là phần giả thiết, phần nằm sau từ “thì” là phần kết luận.

* Ví dụ: Định lý: “Nếu một đường thẳng cắt hai đường thẳng song song thì hai góc so le trong bằng nhau”.

Giả thiết: Một đường thẳng cắt hai đường thẳng song song.

Kết luận: Hai góc so le trong bằng nhau.

Ta có thể vẽ hình minh họa và viết GT, KL của định lý này như sau:

2. Chứng minh định lý

Chứng minh định lý là một tiến trình lập luận từ giả thiết suy ra kết luận là đúng.

* Ví dụ: Chứng minh định lý: “Hai đường thẳng phân biệt cùng vuông góc với một đường thẳng thứ ba thì chúng song song với nhau”.

Chứng minh:

Ta có a ⊥ c ⇒ ;

và b ⊥ c ⇒ 

Suy ra: 

Mà hai góc  là hai góc đồng vị.

Vậy a // b.