от kmitov » 10 Фев 2014, 08:01
Мойте сметки беха следните.
Нека числата са [tex]x_1, x_2,\ldots,x_n[/tex].
Ясно е, че ако сред тях има 0, то произведението ще е 0 за каквото и да е n. Затова, ще предполагам, че всичките числа са различни от 0.
Търсим най-голямата стойност на функцията [tex]\Pi=x_1x_2\ldots x_n[/tex] при следните ограничения
[tex]x_1+x_2+\ldots+x_n=0[/tex]
[tex]x_1^2+x_2^2+\ldots+x_n^2-n=0[/tex]
Функцията на Лагранж е
[tex]F(x_1,x_2,\ldots,x_n)=x_1.x_2.\ldots.x_n-\lambda(x_1+x_2+\ldots+x_n)-\mu(x_1^2+x_2^2+\ldots+x_n^2-n)[/tex]
Като пресметнем частните производни и ги приравним на 0, получаваме системата:
[tex]\left|\begin{array}{l}
\Pi-\lambda x_1-2\mu x_1^2=0\\
\Pi-\lambda x_2-2\mu x_2^2=0\\
\ldots\\
\ldots\\
\Pi-\lambda x_n-2\mu x_n^2=0\\
x_1+x_2+\ldots+x_n=0\\
x_1^2+x_2^2+\ldots+x_n^2-n=0\\
\end{array}\right.[/tex]
Kато сумираме първите n уравнения и използваме последните две получаваме [tex]\Pi=2\mu[/tex]
Така системата става
[tex]\left|\begin{array}{l}
2\mu-\lambda x_1-2\mu x_1^2=0\\
2\mu-\lambda x_2-2\mu x_2^2=0\\
\ldots\\
\ldots\\
2\mu-\lambda x_n-2\mu x_n^2=0\\
x_1+x_2+\ldots+x_n=0\\
x_1^2+x_2^2+\ldots+x_n^2-n=0\\
\end{array}\right.[/tex]
От първите n уравнения получаваме [tex]x_i=\frac{-\lambda \pm \sqrt{\lambda^2+16\mu^2}}{4\mu}[/tex] за всички [tex]i=1,2,\ldots, n[/tex]
Ясно е сега, че няма как да имаме различен брой положителни и отрицателни x-ове. Следователно [tex]n=2k[/tex] и трябва да вземем равен брой отрицателни и положителни числа.
Нека [tex]x_i=\frac{-\lambda + \sqrt{\lambda^2+16\mu^2}}{4\mu}[/tex] за [tex]i=1,2,\ldots, k[/tex]
и
[tex]x_i=\frac{-\lambda - \sqrt{\lambda^2+16\mu^2}}{4\mu}[/tex] за [tex]i=k+1,k+2,\ldots, 2k[/tex]
Като заместим в последното уравнение, получаваме
[tex]k\left(\frac{\lambda^2-\2\lambda\sqrt{\lambda^2+16\mu^2}+\lambda^2+16\mu^2}{16\mu^2}\right) + k\left(\frac{\lambda^2+\2\lambda\sqrt{\lambda^2+16\mu^2}+\lambda^2+16\mu^2}{16\mu^2}\right) =2k[/tex]
От тук следва, че
[tex]\frac{4\lambda^2+32\mu^2}{16\mu^2}=2[/tex]
Taка [tex]\lambda =0[/tex] и за произволно [tex]\mu \ne 0[/tex] намираме, че за всяко
[tex]x_i=\frac{-0 \pm \sqrt{0^2+16\mu^2}}{4\mu}=\pm 1[/tex]
Сега произведението [tex]\Pi=(-1)^k.(1)^k=(-1)^k[/tex] и ще е 1 ако и [tex]k[/tex] е четно, т.е. [tex]n=4k.[/tex]