* Trong đời sống thường ngày ta thường gặp câu theo kiểu : “Nếu ” Ví dụ : “ Nếu trời mưa tưới ” * Tương tự, toán học có nhiều tính chất phát biểu theo kiểu: “Nếu ” Ví dụ: Nếu: Hai góc đối đỉnh Thì: Chúng d’ O d * Tính chất khẳng định đắn thông qua dãy suy luận có từ thực tế đo đạc nên gọi định lý Vậy định lý? ?1 Ba tính chất ba định lý Hãy phát biểu lại ba định lý Định lí Nếu hai đường thẳng phân biệt vuông góc với đường thẳng thứ ba chúng song song với Định lí Nếu đường thẳng vuông góc với hai đường thẳng song song vuông góc với đường thẳng Định lí Nếu hai đường thẳng phân biệt song song với đường thẳng thứ ba chúng song song với Một định lý có cấu trúc nào? ? Trong định lý: “Nếu hai góc đối đỉnh nhau” người ta cho biết điều gì? Phải suy điều gì? - Giả- Cho: thiết: Hai góc đối đỉnh - Kết- Suy luận:ra: Hai góc **Vậy Người mộttađịnh minh lýhoạ gồmmột mấyđịnh phần? lý bằng: Đó phần nào? Hình vẽ Giả thiết - Kết luận (viết ký hiệu) Ví dụ: Vẽ hình viết giả thiết, kết luận định lý “Nếu hai góc đối đỉnh nhau” ký hiệu GT d’ µ 1; O µ đối đỉnh O Oµ 1; Oµ 3 KL µ 1= O µ3 O O d ?2 a) Hãy giả thiết kết luận định lí: “ Hai đường thẳng phân biệt song song với đường thẳng thứ ba chúng song song với nhau” b) Vẽ hình minh họa định lí viết giả thiết kết luận định lí kí hiệu Trả lời a) GT: Hai đường thẳng phân biệt song song với đường thẳng thứ ba KL: chúng song song với b) a // c; GT b // c KL a // b a b c Ví dụ: Chứng minh định lý “Góc tạo hai tia phân giác hai góc kề bù góc vuông” Giải: n z · · xOz; zOy kề bù GT KL · Om tia phân giác xOz m · On tia phân giác zOy · mOn = 900 x O y Chứng minh 1· · mOz = xOz 1· · zOn = zOy (1) ) (vì Om tia phân giác xOz · (vì On tia phân giác zOy ) (2) 1· 1· · · · · Từ (1) (2) suy mOz + zOn = xOz + zOy = (xOz + zOy) (3) 2 ra: · · zOy Vì Oz nằm Om On xOz; kề bù (theo giả thiết) · Nên từ (3) ta có: mOn = 180 · = 900 hay mOn Hãy giả thiết kết luận định lí sau: a) Nếu đường thẳng cắt hai đường thẳng cho có cặp góc so le hai đường thẳng song song b) Nếu đường thẳng cắt hai đường thẳng song song hai góc so le a) GT: mét ®êng th¼ng c¾t hai ®êng th¼ng cho cã mét cÆp gãc so le b»ng KL: hai ®êng th¼ng ®ã song song b) GT: đường thẳng cắt hai đường thẳng song song KL: hai góc so le a) Hãy viết kết luận định lí sau cách điền vào chỗ (…): Nếu hai đường thẳng phân biệt vuông góc với đường thẳng thứ ba b) Vẽ hình minh họa định lí viết giả thiết, kết luận kí hiệu a) chúng song song với b) c GT a ⊥ c = {A} b ⊥ c = {B} KL a // b a A b B Học thuộc khái niệm định lí, ghi giả thiết kết luận định lí học, chứng minh định lí Bài tập nhà: 51, 52, 53/101, 102 ( SGK)