... quyết các bài toán chứngminh hình học.
Sau đây tôi sẽ trình bày Một số phơng phápchứngminh2 đoạn thẳng bằng nhau.
Việc chứngminh2 đoạn thẳng bằngnhau là vô cùng cần thiết. Bởi vì chứngminh ... 1: Có thể đa việc chứngminh2 đoạn thẳng CD và EG bằngnhau về việc chứngminh2bằngnhau không? Đó là 2tam giác
nào ?(
CBD và
EBG) - 2 này đà có những yếu tố nào bằng nhau? Còn cần thêm ... việc chứngminh2 đoạn thẳng
bằng nhau về việc chứngminh2bằngnhau không ?
a/ OBC và OAD (chứa cạnh BC và AD)
Có bằngnhau không? Tại sao?
b/ nào chứa cạnh IA? nào chứa cạnh IB ?
2 đó...
... = 2c, c ∈ N.
Ta có 2b
2
= 4c
2
⇔ b
2
= 2c
2
⇒ b
2
là số chẳn ⇒ b là số chẳn.
Vậy a, b đều có ước chung là 2 (mệnh đề ¬R).
Chương 2: Suy luận toán học & Cácphươngphápchứngminh ... đúng, người ta chỉ cần chứngminh rằng P là sai. Phươngphápchứngminh
này được gọi là chứngminh rỗng.
Phươngphápchứngminh rỗng thường được sử dụng để chứngminhcác trường
hợp đặc biệt ... chính là cácphươngpháp để
chứng minh bài toán đúng.
p q
p→q
Chương 2: Suy luận toán học & Cácphươngphápchứngminh
Trang 38
n = 5: 1 + 3 + 5 + 7 + 9 = 25 = 5
2
Từ các kết...
... về các đường đồng quy trong tam giác.
VII/ CHỨNGMINHCÁC ĐIỂM CÙNG NĂM TRÊN MỘT ĐƯỜNG TRÒN:
1/ Lợi dụng tamgiác vuông có cạnh huyền chung.
2/ Lợi dụng 2tamgiác có đáy chung và góc ở đỉnh bằng ... của tamgiác hoặc định lý về các góc ngoài của tam
giác.
2/ Lợi dụng vào sự liên hệ giữa cạnh và góc đối diện trong tam giác
3/ Lợi dụng sự liên hệ giữa hai tamgiác có 2 cạnh tương ứng bằng nhau
4/ ... của một đa giác cách đều một điểm cố định.
6/ Lần lượt chứngminhcác đỉnh của một đa giác cùng nằm trên một đường tròn.
VIII/ CHỨNGMINH HAI ĐOẠN THẲNG ( HAY HAI GÓC) KHÔNG BẰNG
NHAU:
1/ Lợi...
... d)(¬a+¬d+g) → g: true
I .2. 3 .2) afpd(¬q + d)(¬a+¬d+g) → g
Chứng minh I .2. 3 .2) tách 5), I .2. 3 .2) trở thành
I .2. 3 .2. 1) afpd(¬q + d)(¬a) → g : true
I .2. 3 .2. 2) afpd(¬q + d)(¬d) → g : true
I .2. 3 .2. 3) afpd(¬q ... phải chứngminh (r → u) ∧ (u → ¬w) ∧ (¬r → ¬w) → ¬w: True
2.2. Thuật giải Robinson
Thuật giải này do Robinson đề xuất và hoạt động dựa trên phươngpháp chứng
minh phản chứng.
Phương phápchứngminh ... thuẫn).
Để chứngminh câu H là hệ quả logic của tập các câu {G
1
, G
2
, , G
n
} (các
tiên đề), ta có thể áp dụng phươngphápchứngminh bác bỏ, tức là chứng minh
tập câu {G
1
, G
2
, , G
n
,...