Đặ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)}\)
