mày bị điên đứa nào thích thì mà đứa nào chơi truy kích cho tao nick

Xét hiệu \(\left(a_1+a_2+a_3\right)\left(b_1+b_2+b_3\right)-3\left(a_1b_1+a_2b_2+a_3b_3\right)\)        

  \(=a_1\left(b_1+b_2+b_3\right)+a_2\left(b_1+b_2+b_3\right)+a_3\left(b_1+b_2+b_3\right)-3a_1b_1-3a_2b_2-3a_3b_3\)

  \(=a_1\left(b_1+b_2+b_3-3b_1\right)+a_2\left(b_1+b_2+b_3-3b_2\right)+a_3\left(b_1+b_2+b_3-3b_3\right)\)

  \(=a_1\left(b_2+b_3-2b_1\right)+a_2\left(b_1+b_3-2b_2\right)+a_3\left(b_1+b_2-2b_3\right)\)

 \(=a_1\left[\left(b_2-b_1\right)-\left(b_1-b_3\right)\right]+a_2\left[\left(b_3-b_2\right)-\left(b_2-b_1\right)\right]+a_3\left[\left(b_1-b_3\right)-\left(b_3-b_2\right)\right]\)

\(=a_1\left(b_2-b_1\right)-a_1\left(b_1-b_3\right)+a_2\left(b_3-b_2\right)-a_2\left(b_2-b_1\right)+a_3\left(b_1-b_3\right)-a_3\left(b_3-b_2\right)\)

\(=\left(a_1-a_2\right)\left(b_2-b_1\right)+\left(a_3-a_1\right)\left(b_1-b_3\right)+\left(a_2-a_3\right)\left(b_3-b_2\right)\)

Do giả thiết nên dễ thấy từng số hạng trên đều nhỏ hơn 0 nên tổng nhỏ hơn 0 

=> ĐPCM

Dấu "=" khi \(\hept{\begin{cases}a_1=a_2=a_3\\b_1=b_2=b_3\end{cases}}\)

Đặt \(f\left(x\right)=\left(a_1x-b_1\right)^2+...+\left(a_nx-b_n\right)^2\)

\(\Rightarrow f\left(x\right)\ge0\) với mọi x

Mặt khác : \(f\left(x\right)=\left(a_1^2+...+a_n^2\right)x^2-2\left(a_1b_1+...+a_nb_n\right)x+\left(b_1^2+...+b_n^2\right)\)

\(\Rightarrow\Delta'\le0\)

\(\Rightarrow\left(a_1b_1+...+a_nb_n\right)^2\le\left(a_1^2+...+a_n^2\right)\left(b_1^2+...+b_n^2\right)\)

\(\Rightarrow\left|a_1b_1+...+a_nb_n\right|\le\sqrt{\left(a_1^2+...+a_n^2\right)\left(b_{1^{ }}^2+...+b_n^2\right)}\)

Áp dụng bđt bunhia copski, ta có \(\left(a_1b_1+...+a_nb_n\right)^2\le\left(a_1^2+...+a_n^2\right)\left(b_1^2+...+b_2^2\right)\Leftrightarrow\sqrt{\left(a_1b_1+...+a_nb_n\right)^2}\le\sqrt{\left(a_1^2+...+a_n^2\right)\left(b_1^2+...+b_2^2\right)}\Leftrightarrow\left|a_1b_1+...+a_nb_n\right|\le\sqrt{\left(a_1^2+...+a_n^2\right)\left(b_1^2+...+b_2^2\right)}\)

Dấu bằng xảy ra khi \(\dfrac{a_1}{b_1}=...=\dfrac{a_n}{b_n}\)

Vậy \(\left|a_1b_1+...+a_nb_n\right|\le\sqrt{\left(a_1^2+...+a_n^2\right)\left(b_1^2+...+b_2^2\right)}\)

Giả sử 2 phương trình đã cho đều vô nghiệm

=> \(\Delta_1< 0\Leftrightarrow a_1^2-4b_1< 0\Leftrightarrow a_1^2< 4b_1\)

     \(\Delta_2< 0\Leftrightarrow a_2^2-4b_2< 0\Leftrightarrow a_2^2< 4b_2\)

\(\Rightarrow a_1^2+a_2^2< 4\left(b_1+b_2\right)\)(1)

Lại có: \(a_1.a_2\ge2\left(b_1+b_2\right)\)

\(\Leftrightarrow2a_1.a_2\ge4\left(b_1+b_2\right)\) (2)

Từ (1) và  (2) \(\Rightarrow a_1^2+a_2^2< 2a_1a_2\) (3)

Mặt khác:\(\left(a_1-a_2\right)^2\ge0\Leftrightarrow a_1^2+a_2^2\ge2a_1_1b_1\)trái với (3)

=> giả sử sai

=> ít nhất một trong 2 phương trình đã cho có nghiệm.

Sai thì thôi nhé~