Cho a, b, c, d là các số tự nhiên khác 0 và a/b < c/d. Chứng tỏ rằng a × d < b × c
Hãy nhập câu hỏi của bạn vào đây, nếu là tài khoản VIP, bạn sẽ được ưu tiên trả lời.
Ta có \(a^2+b^2=c^2+d^2\)
<=> a2 +b2 +c2 +d2 = 2(c2 +d2)\(⋮2\)(1)
Mặt khác (a2 + b2 + c2 +d2) - (a+b+c+d)= a2 -a +b2 - b +c2 -c +d2-d= a(a-1)+b(b-1)+c(c-1)+d(d-1) \(⋮2\)(2)
Từ (1) và (2) suy ra a+b+c+d \(⋮2\)
mà a, b, c, d là các số tự nhiên khác 0 nên a+b+c+d>2. Do đó a+b+c+d là hợp số
Do a;b;c và d là các số tự nhiên >0 =>
a + b + c < a + b + c + d
a + b + d < a + b + c + d
a + c + d < a + b + c + d
b + c + d < a + b + c + d
=> a/(a + b + c) > a/(a + b + c + d) (1)
b/(a + b + d) > b/(a + b + c + d) (2)
c/(b + c + d) > c/(a + b + c + d) (3)
d/(a + c + d) > d/(a + b + c + d) (4)
Từ (1);(2);(3) và (4)
=> a/(a + b + c) + b/(a + b + d) + c/(b + c + d) + d/(a + c + d) > a/(a + b + c + d) + b/(a + b + c + d) + c/(a + b + c + d) + d/(a + b + c + d)
=> a/(a + b + c) + b/(a + b + d) + c/(b + c + d) + d/(a + c + d) > (a + b + c + d)/(a + b + c + d)
=> a/(a + b + c) + b/(a + b + d) + c/(b + c + d) + d/(a + c + d) > 1
=> B > 1 (*)
Ta có: (a + b + c)(a + d) - a(a + b + c + d)
= a² + ad + ab + bd + ac + cd - (a² + ab + ac + ad)
= a² + ad + ab + bd + ac + cd - a² - ab - ac - ad
= bd + cd
Do a;b;c và d là số tự nhiên >0
=> bd + cd > 0
=> (a + b + c)(a + d) - a(a + b + c + d) > 0
=> (a + b + c)(a + d) > a(a + b + c + d)
=> (a + d)/(a + b + c + d) > a/(a + b + c) (5)
Chứng minh tương tự ta được:
(b + c)/(a + b + c + d) > b/(a + b + d) (6)
(a + c)/(a + b + c + d) > c/(b + c + d) (7)
(b + d)/(a + b + c + d) > d/(a + c + d) (8)
Cộng vế với vế của (5);(6);(7) và (8) ta được:
(a + d)/(a + b + c + d) + (b + c)/(a + b + c + d) + (a + c)/(a + b + c + d) + (b + d)/(a + b + c + d) > a/(a + b + c) + b/(a + b + d) + c/(b + c + d) + d/(a + c + d)
=> (a + d + b + c + a + c + b + d)/(a + b + c + d) > B
=> 2(a + b + c + d)/(a + b + c + d) > B
=> 2 > B (*)(*)
Từ (*) và (*)(*)
=> 1 < B < 2
=> B không phải là số tự nhiên
A = a/a+b+c + b/a+b+d + c/b+c+d + d/a+c+d
A > a/a+b+c+d + b/a+b+c+d + c/a+b+c+d + d/a+b+c+d
A > a+b+c+d/a+b+c+d
A > 1 (1)
Áp dụng a/b < 1 => a/b < a+m/b+m (a,b,m thuộc N*)
A = a/a+b+c + b/a+b+d + c/b+c+d + d/a+c+d
A < a+d/a+b+c+d + b+c/a+b+c+d + a+c/a+b+c+d + d+b/a+b+c+d
A < 2.(a+b+c+d)/a+b+c+d
A < 2 (2)
Từ (1) và (2) => 1 < A < 2
=> A không phải số nguyên ( đpcm)