cho a^2 + b^2 + ( a - b )^2 = c^2 + d^2 + ( c - d ) ^2
chứng minh a^4 + b^4 + ( a - b )^4 = c^4 + d^4 + ( c - d ) ^4
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.
BĐT này do giáo sư Vasile đề xuất, và đây là lời giải của ông ấy:
Do vai trò của các biến là như nhau, ko mất tính tổng quát, giả sử \(a^2=max\left\{a^2;b^2;c^2;d^2\right\}\)
\(\Rightarrow a^2\ge\dfrac{b^2+c^2+d^2}{3}\)
Đặt \(x^2=\dfrac{b^2+c^2+d^2}{3}\Rightarrow x^2\le a^2\) (1)
Đồng thời \(x^2=\dfrac{b^2+c^2+d^2}{3}\ge\dfrac{1}{9}\left(b+c+d\right)^2=\dfrac{a^2}{9}\Rightarrow a^2\le9x^2\) (2)
\(\left(1\right);\left(2\right)\Rightarrow\left(a^2-x^2\right)\left(a^2-9x^2\right)\le0\) (3)
Ta có:
\(b^4+c^4+d^4=\left(b^2+c^2+d^2\right)^2-2\left(b^2c^2+c^2d^2+b^2d^2\right)\le\left(b^2+c^2+d^2\right)^2-\dfrac{2}{3}\left(bc+cd+bd\right)^2\)
\(=\left(b^2+c^2+d^2\right)^2-\dfrac{1}{6}\left[\left(b+c+d\right)^2-\left(b^2+c^2+d^2\right)\right]^2=9x^4-\dfrac{1}{6}\left(a^2-3x^2\right)^2=\dfrac{45x^4+6a^2x^2-a^4}{6}\)
Do đó:
\(12\left(a^4+b^4+c^4+d^4\right)\le12a^4+12.\dfrac{45x^4+6a^2x^2-a^4}{6}=90x^4+12a^2x^2+10a^4\)
Nên ta chỉ cần chứng minh:
\(7\left(a^2+3x^2\right)^2\ge90x^4+12a^2x^2+10a^4\)
\(\Leftrightarrow a^4-10a^2x^2+9x^4\le0\)
\(\Leftrightarrow\left(a^2-9x^2\right)\left(a^2-x^2\right)\le0\) (đúng theo (3))
Vậy BĐT được chứng minh hoàn tất.
Dấu "=" xảy ra khi \(b=c=d=-\dfrac{a}{3}\) và các hoán vị của chúng
a2 + b2 + (a + b)2 = c2 + d2 + (c +d)2 => 2.(a2 + b2) + 2ab = 2.(c2 + d2) + 2cd
=> a2 + b2 + ab = c2 + d2 + cd (1)
+) a4 + b4 + (a + b)4 = (a2 + b2)2 - 2a2.b2 + (a + b)4 = [(a2 + b2)2 - a2.b2] + [(a + b)4 - a2.b2]
= (a2 + b2 - ab). (a2 + b2 + ab) + [(a + b)2 - ab].[(a+ b)2 + ab]
= (a2 + b2 - ab). (a2 + b2 + ab) + (a2 + b2 + ab). (a2 + b2 + 3ab) = (a2 + b2 + ab). [(a2 + b2 - ab) + (a2 + b2 + 3ab)]
= 2.(a2 + b2 + ab).(a2 + b2 + ab) = 2.(a2 + b2 + ab)2 (2)
Tương tự: c4 + d4 + (c+d)4 = 2. (c2 + d2 + cd)2 (3)
Từ (1)(2)(3) => đpcm
Ta có: a2+b2+(a-b)2=c2+d2+(c-d)2
=> [a2+b2+(a-b)2]2=[c2+d2+(c-d)2]2
=>a4+b4+(a-b)4+2.[a2b2+a2.(a-b)2+b2.(a-b)2] = c4+d4+(c-d)4+2.[c2d2+c2.(c-d)2+d2.(c-d)2]
=> a4+b4+(a-b)4+2.[a2b2+(a-b)2.(a2+b2)] = c4+d4+(c-d)4+2.[c2d2+(c-d)2.(c2+d2)] (1)
Mặt khác a2+b2+(a-b)2=c2+d2+(c-d)2
=> 2.(a2+b2-ab)=2.(c2+d2-cd)
=> a2+b2-ab=c2+d2-cd
=> (a2+b2-ab)2=(c2+d2-cd)2
=> (a2+b2)2-2ab.(a2+b2)+a2b2= (c2+d2)2-2cd(c2+d2)+c2d2
=> a2b2+(a2+b2)(a2+b2-2ab)= c2d2+(c2+d2)(c2+d2-2cd)
=> a2b2+(a2+b2)(a+b)2=c2d2+(c2+d2)(c-d)2 (2)
Lấy (1) trừ (2) vế với vế ta được:
a4+b4+(a-b)4=c4+d4+(c-d)4
=> đpcm