Tài liệu Một số bài tập chứng minh phản chứng toán 10

Phương pháp chứng minh bằng phản chứng A  B : Đ  B � A : Đ (MĐ phản đảo) B1. Giả sử B sai (phủ định KL) Dùng lập luận  A sai (trái giả thiết, trái với một định lí đã được chứng minh trước đó) B2. Kết luận 1) Nếu a + b < 2 thì một trong hai số a và b nhỏ hơn 1. Giải : + Giả sử a  1, b  1 , khi đó a + b  2, trái giả thiết a + b < 2 + Vậy a + b < 2 thì một trong hai số a và b phải nhỏ hơn 1. 2) Một tam giác không phải là tam giác đều thì nó có ít nhất một góc nhỏ hơn 600 . + TH1 : Giả sử ba góc của tam giác bằng 600 thì tam giác đó là tam giác đều ! trái gt + TH2 : Giả sử ba góc đều lớn hơn 600  tổng ba góc của chúng lớn hơn 1800 ! Trái với định lí tổng ba góc trong một tam giác bằng 1800. Vậy một tam giác không phải là tam giác đều thì nó có ít nhất một góc nhỏ hơn 600 3) Nếu x   1 và y   1 thì x + y + xy   1 + Giả sử x + y + xy =  1  x + y + xy + 1 = 0  y(x + 1) + (x + 1).1 = 0  (x + 1)(y +1) = 0  x + 1 = 0 hoặc y + 1 = 0  x =  1 hoặc y =  1 Trái giải thiết ! Vậy nếu x   1 và y   1 thì x + y + xy   1 4) Nếu bình phương của một số tự nhiên n là một số chẵn thì n cũng là một số chẵn. + Giả sử n là số tự nhiên lẻ. Khi đó, n = 2k + 1, k    n2 = 4k2 + 4k + 1 = 4k(k + 1) + 1 là số lẻ ! (vì 4k(k + 1) là số chẵn) Vậy bình phương của một số tự nhiên n là một số chẵn thì n cũng là một số chẵn. 5) Nếu tích của hai số tự nhiên là một số lẻ thì tổng của chúng là một số chẵn. + Giả sử tổng a + b là số lẻ, khi đó : a, b không cùng tính chẵn – lẻ nên a.b là số chẵn ! trái giả thiết +Vậy tích của hai số tự nhiên là một số lẻ thì tổng của chúng là một số chẵn. 6) Nếu một tứ giác có tổng các góc đối diện bằng hai góc vuông thì tứ giác đó nội tiếp được đường tròn. Gọi (O) là đường tròn ngoại tiếp tam giác ABC , giả sử D  (O) Khi đó, đường thẳng CD cắt (O) tại D’ và � �D �' D �D � '  2v (1)  ABCD’ nội tiếp được  B �D �  2v (2) Và B �D �' ! Từ (1) và (2)  D Vậy một tứ giác có tổng các góc đối diện bằng hai góc vuông thì tứ giác đó nội tiếp được đường tròn. 7) Nếu x2 + y2 = 0 thì x = 0 và y = 0. + Giả sử x  0 hoặc y  0 thì khi đó x2 > 0 hoặc y 2 > 0  x2 + y2 > 0 ! trái giả thiết Vậy x2 + y2 = 0 thì x = 0 và y = 0. 8) Chøng minh ®Þnh lÝ : “Cho m, n nguyªn dư¬ng. m và n chia hÕt cho 3 khi và chØ khi m2 + n2 chia hÕt cho 3”. Phần thuận : m chia hết cho 3  m2 chia hết cho 3 n chia hết cho 3  n2 chia hết cho 3 do đó, m2 + n2 chia hết cho 3. Đảo lại , m2 + n2 chia hết cho 3 ta cần chứng minh m và n chia hết cho 3 Chứng minh bằng phản chứng : m và n không chia hết cho 3, khi đó : m = 3k  1 và n = 3p  1, k, p  *  m2 + n2 = 9k2  6k +1 + 9p2  6p + 1 = 3(3k2  2k + 3p2  2p) + 2 Vì 3(3k2  2k + 3p2  2p) M3 và 2 M3 nên m2 + n2 không chia hết cho 3 ! trái giả thiết. Vậy m2 + n2 chia hết cho 3 thì m và n chia hết cho 3 KL : “Nếu m, n nguyªn dư¬ng. m và n chia hÕt cho 3 khi và chØ khi m2 + n2 chia hÕt cho 3”. 9) Nếu a.b lẻ thì a và b đều lẻ. Giả sử a hoặc b là số chẵn, thì a.b là số chẵn ! trái giả thiết a.b lẻ. Vậy tích ab lẻ thì a và b đều lẻ. 10) Nếu a2 = b2 thì a = b (a, b > 0). Giả sử a, b > 0 và a  b  a + b > 0 và a – b  0  (a + b)(a – b)  0  a2  b2 , trái giả thiết ! Vậy với a, b > 0, a2 = b2 thì a = b 11) Trong mp, nếu 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. Giả sử hai đường thẳng a, b cùng vuông góc với c tại E, F và a , b cắt nhau tại một điểm Q Khi đó : tam giác EFQ có �F �Q �  2v  Q �  2v ! trái với E định lí tổng ba góc trong một tam giác bằng 180o Vậy trong mp, nếu 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. 12) Nếu a1a2  2(b1 + b2) thì ít nhất 1 trong 2 phương trình x2 + a1x + b1= 0, x2 + a2x + b2 = 0 có nghiệm. Giả sử cả hai phương trình trên vô nghiệm Khi đó : 1 = a12 – 4b1 < 0, 1 = a22 – 4b2 < 0  1 + 2 < 0  a12 – 4b1 + a22 – 4b2 < 0  a12 + a22 < 4(b1 + b2) (1) Mà (a1 – a2)2  0  a12 + a22 – 2a1a2  0  a12 + a22  2a1a2 (2) Từ (1) và (2)  2a1a2  4(b1 + b2)  a1a2  2(b1 + b2) ! Trái giả thiết. Vậy phải có ít nhất 1 trong hai số 1 , 2 lớn hơn 0 KL : Nếu a1a2  2(b1 + b2) thì ít nhất 1 trong 2 phương trình x2 + a1x + b1= 0, x2 + a2x + b2 = 0 có nghiệm. 13) Chứng minh rằng 2 là số vô tỉ. + Giả sử 2 là số hữu tỉ, tức là 2  đó m, n  *, Từ 2  m , trong n m tối giản hay (m, n) = 1 n m  m2 = 2n2  m2 là số chẵn n  m là số chẵn  m = 2k, k  * Từ m2 = 2n2  4k2 = 2n2  n2 = 2k2  n2 là số chẵn  n là số chẵn m Do đó m chẵn, n chẵn  phân số chưa tối n giản. Mâu thuẫn giả thiết. + Vậy 2 là số vô tỉ. 14) Chứng minh rằng nếu a và b là hai số dương thì a  b �2 ab (bài 7/12 sách ĐS 10 NC) Giả sử a  b  2 ab  a  2 ab  b  0  ( a  b )2  0 ! vô lí Vậy với a, b là hai số dương thì a  b �2 ab 15) Chứng minh rằng nếu n là số tự nhiên và n2 chia hết cho 5 thì n chia hết cho 5.(cùng đề trên với n chia hết cho 3) + Giả sử n không chia hết cho 5 thì n phải có dạng n = 5k  1 hoặc n = 5k  2, k  * TH1/ Nếu n = 5k  1 thì n2 = 25k2  10k + 1 không chia hết cho 5, trái giả thiết. TH2/ Nếu n = 5k  2 thì n2 = 25k2  20k + 4 không chia hết cho 5, trái giả thiết. + Vậy cả hai trường hợp đều dẫn đến trái giả thiết. KL : n là số tự nhiên và n2 chia hết cho 5 thì n chia hết cho 5 Chứng minh tương tự + Giả sử n không chia hết cho 3 thì n phải có dạng n = 3k  1 , k  * n2 = 9k2  6k + 1 không chia hết cho 3, trái giả thiết. + Vậy n là số tự nhiên và n2 chia hết cho 3 thì n chia hết cho 3 16) Chứng minh rằng nếu 5n + 4 là lẻ thì n lẻ. Giả sử n là số chẵn, thì n = 2k, k   Khi đó : 5n + 4 = 5.2k + 4 là số chẵn, trái giả thiết Vậy n phải là số lẻ. KL : 5n + 4 là lẻ thì n lẻ. 17) Cho ba số a, b, c  (0 ; 1). Chứng minh rằng có ít nhất một trong các bất đẳng thức sau là sai : 1 a(1 – b) > 4 1 b(1 – c) > 4 1 c(1 – a) > 4 (1) (2) (3) Giả sử cả ba bất đẳng thức (1), (2), (3) đều đúng, Khi đó, nhân theo vế của (1) , (2), (3) ta được : 1 1 1 1 a(1 – b). b(1 – c) .c(1 – a) > . . = 4 4 4 64 1 Hay : a(1 – a). b(1 – b) .c(1 – c) > (*) 64 2 1 1 1 � � Ta có : a(1 – a) =  a2 + a =  �a  �� 4 � 2� 4 1 Do : 0 < a < 1  0< a(1 – a)  (4) 4 1 Tương tự : 0< b(1 – b)  (5) 4 1 0< c(1 – c)  (6) 4 Nhân theo vế (4), (5), (6) ta được : 1 a(1 – a). b(1 – b) .c(1 – c)  (**) 64 Bất đẳng thức (**) mâu thuẫn (*), do đó cả ba bất đẳng thức (1), (2), (3) không thể đồng thời đúng. Vậy có ít nhất một trong các bất đẳng thức này là sai. (đpcm) 18) Cho a.b.c  0, chứng minh rằng có ít nhất một trong ba phương trình sau có nghiệm : ax 2  2bx  c  0 (1) bx2  2cx  a  0 (2) cx 2  2ax  b  0 (3) Giả sử cả ba phương trình trên đều vô nghiệm, thì 1 '  b2  ac  0  2 '  c2  ab  0 3 '  a 2  bc  0  1 '  2 ' 3 '  a 2  b2  c2  ab  bc  ca  0 1 2 2 2 � ( a  b )  ( b  c )  ( c  a )  0 (vô lí)  � � � 2 Vậy có ít nhất một trong ba phương trình trên có nghiệm. 19) Cho các số a, b, c thỏa các điều kiện : abc  0 (1) � � ab  bc  ca  0 (2) � � abc  0 (3) � Chứng minh a  0 , b  0 , c  0 Giả sử ba số a, b, c không đồng thời là số dương. Vậy có ít nhất một số không dương. Do a, b, c có vai trò bình đẳng nên ta có thể giả sử : a �0 + Nếu a  0 thì mâu thuẫn với (3) + Nếu a  0 thì từ (3)  bc  0 Ta có (2)  a(b  c)  bc  a(b  c)  0  b  c  0  a  b  c  0 mâu thuẫn (1). Do đó a  0 . Chứng minh tương tự : b  0, c  0 Vậy a  0 , b  0 , c  0 20) Chứng minh rằng “Nếu a, b, c là ba số dương thì a3 + b3 + c3  3abc” Giả sử ngược lại : a3 + b3 + c3 < 3abc (*) Khi đó : (*)  (a + b +c)(a2 + b2 + c2 – ab – bc – ca) < 0  (a + b + c)[(a – b)2 + (b – c)2 + (c – a)2 ] < 0 Do giả thiết a, b, c > 0 nên bất đẳng thức cuối cùng sai, vậy a3 + b3 + c3  3abc. GV: HUỲNH ĐẮC NGUYÊN – THPT VÕ MINH ĐỨC