Định lí là một khẳng định được suy ra từ những khẳng định được coi là đúng.
Vd: 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
GT a⊥c,b⊥c
KL a//b
Vd2: Nếu 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 kia
GT a//b, c⊥b
KL c⊥a
- Định lí là một khẳng định được suy ra từ những khẳng định đúng.
VD:
Định lí: Hai góc đối đỉnh thì bằng nhau
GT: Hai góc đối đỉnh
KL: Hai góc bằng nhau
Định lí: là một khoảng khẳng định suy ra từ những khẳng định được coi là đúng:
Ví Dụ: hai đường thẳng phân biệt cùng song song với một đường thẳng thứ ba thì chúng cũng song song với nhau
GT: d'//d, d''//d
KL:d'//d''
- Một tính chất được khẳng định là đúng bằng suy luận được gọi là định lí.
- Định lí thường phát biểu dưới dạng: " Nếu A thì B" với A là giả thiết, là điều kiện cho biết; B là kết luận, là điều được suy ra.
VD:
- 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.
GT: \(\left\{{}\begin{matrix}a\perp c\\b\perp c\end{matrix}\right.\)
KL: \(a\) // \(b.\)
Chúc bạn học tốt!
Định lý là 1 khẳng định đk suy ra từ những khẳng định đk coi là đúng
VD : Hai góc đối đỉnh thì bằng nhau