Cho \(n\) số \(a_1,a_2,...,a_n\in\left[0;1\right]\)
CMR:\(\left(1+a_1+a_2+a_3+...+a_n\right)^2\ge4\left(a^2_1+a^2_2+a^2_3+...+a^2_n\right)\)
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) Đặt \(d=\left(a_1,a_2,...,a_n\right)\Rightarrow\left\{{}\begin{matrix}a_1=dx_1\\a_2=dx_2\\...\\a_n=dx_n\end{matrix}\right.\) (với \(\left(x_1,x_2,...,x_n\right)=1\)).
Ta có \(A_i=\dfrac{A}{a_i}=\dfrac{d^nx_1x_2...x_n}{dx_i}=d^{n-1}\dfrac{x_1x_2...x_n}{x_i}=d^{n-1}B_i\forall i\in\overline{1,n}\).
Từ đó \(\left[A_1,A_2,...,A_n\right]=d^{n-1}\left[B_1,B_2,...,B_n\right]\).
Mặt khác do \(\left(x_1,x_2,...,x_n\right)=1\Rightarrow\left[B_1,B_2,...B_n\right]=x_1x_2...x_n\).
Vậy \(\left(a_1,a_2,...,a_n\right)\left[A_1,A_2,...,A_n\right]=d.d^{n-1}x_1x_2...x_n=d^nx_1x_2...x_n=A\).
ÁP DỤNG BĐT Cauchy ta có :
\(\text{a}_1+\text{a}_2+...+\text{a}_n\ge n^n\sqrt{\text{a}_1.\text{a}_2....\text{a}_n}\) (1)
\(\frac{1}{\text{a}_1}+\frac{1}{\text{a}_2}+...+\frac{1}{\text{a}_n}\ge n^n\sqrt{\frac{1}{\text{a}_1}\cdot\frac{1}{\text{a}_2}\cdot...\cdot\frac{1}{\text{a}_n}}\)(2)
Nhân (1) và (2) vế với vế tương ứng ta có được BĐT (*)
Đẳng thức xảy ra \(\Leftrightarrow\hept{\begin{cases}\text{a}_1=\text{a}_2=...=\text{a}_n\\\frac{1}{\text{a}_1}=\frac{1}{\text{a}_2}=...=\frac{1}{\text{a}_n}\end{cases}}\)
\(\Leftrightarrow\text{a}_1=\text{a}_2=...=\text{a}_n\)
Do \(a_1;a_2;...a_n\in\left[0;1\right]\Rightarrow\left\{{}\begin{matrix}0\le a_1\le1\\0\le a_2\le1\\...\\0\le a_n\le1\end{matrix}\right.\)
\(\Rightarrow\left\{{}\begin{matrix}a_1\left(1-a_1\right)\ge0\\a_2\left(1-a_2\right)\ge0\\...\\a_n\left(1-a_n\right)\ge0\end{matrix}\right.\)
\(\Rightarrow\left\{{}\begin{matrix}a_1\ge a_1^2\\a_2\ge a_2^2\\...\\a_n\ge a_n^2\end{matrix}\right.\)
\(\Rightarrow a_1^2+a_2^2+...+a_n^2\le a_1+a_2+...+a_n\)
Do đó ta chỉ cần chứng minh:
\(\left(1+a_1+a_2+...+a_n\right)^2\ge4\left(a_1+a_2+...+a_n\right)\)
\(\Leftrightarrow1+2\left(a_1+a_2+...+a_n\right)+\left(a_1+a_2+...+a_n\right)^2\ge4\left(a_1+a_2+...+a_n\right)\)
\(\Leftrightarrow\left(a_1+a_2+...+a_n\right)^2-2\left(a_1+a_2+...+a_n\right)+1\ge0\)
\(\Leftrightarrow\left(a_1+a_2+...+a_n-1\right)^2\ge0\) (luôn đúng)
Dấu "=" xảy ra tại \(\left(a_1,a_2,...,a_n\right)=\left(0,0,..,1\right)\) và các hoán vị