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.
\(a^2+c^2+2ac+2bd=b^2+d^2+2ac+2bd\)
\(\left(a+c\right)^2-\left(b+d\right)^2=2\left(ac-bd\right)\)
\(\left(a+c+b+d\right)\left(a+c-b-d\right)=2\left(ac-bd\right)\)
Nếu ac =bd => a+c =b+d => a+c+b+d = 2(a +c) => là hợp số
Nếu ac -bd khác 0 => ?????????????????
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
\(a^2+b^2=c^2+d^2\)
\(\Leftrightarrow a^2+b^2+c^2+d^2=2\left(c^2+d^2\right)\)
Do đó \(a^2+b^2+c^2+d^2⋮2\) (1)
Dễ dàng chứng minh \(a^2-a⋮2;b^2-b⋮2;c^2-c⋮2;d^2-d⋮2\)
Do đó \(a^2+b^2+c^2+d^2-\left(a+b+c+d\right)⋮2\) (2)
Từ (1) và (2) suy ra \(a+b+c+d⋮2\) ( đpcm )