от Anubis » 30 Сеп 2012, 12:20
[tex]x^2+(a+2)x+a+b+2=0[/tex]
[tex]D=(a+2)^2-4(a+b+2)=a^2-4b-4[/tex] и искаме [tex]a^2-4b-4 \ge 0[/tex], за да има поне един корен.
За мое улеснение [tex]a=x_{1}, \, b=x_{2}[/tex], защото иначе се обърквам с буквите. Стигаме до
задачата на математическото оптимиране
[tex]\begin{array}{||} \operatorname{min} z(x)=x_{1}^2+x_{2}^2 \\ x_{1}^2-4x_{2}-4 \ge 0 \end{array} \quad \sim \quad \begin{array}{||} \operatorname{min} z(x)=x_{1}^2+x_{2}^2 \\ -x_{1}^2+4x_{2}+4 \le 0 \end{array}, \quad g(x) = -x_{1}^2+4x_{2}+4 \le 0[/tex].
Функциите [tex]z(x), \quad g(x)[/tex] са изпъкнали. В точката [tex](0; \, -5)[/tex] неравенството [tex]g(x) \le 0[/tex] се изпълнява
като строго неравенство. Това ни позволява да приложим теоремата на Кун — Такър.
Функцията на Лагранж е [tex]L(x_{1}; \, x_{2}; \, \lambda) = z(x)+\lambda g(x) = x_{1}^2+x_{2}^2+\lambda (-x_{1}^2+4x_{2}+4), \quad \lambda \ge 0[/tex].
Системата на Кун — Такър е:
[tex]\begin{array}{||} \frac{\partial L}{\partial x_{1}}=0 , \quad \frac{\partial L}{\partial x_{2}}=0 \\ \frac{\partial L}{\partial \lambda} \le 0, \quad \lambda \frac{\partial L}{\partial \lambda} = 0 \end{array} \quad \quad \Rightarrow \quad \quad \begin{array}{||} 2x_{1}-2\lambda x_{1}=0 \\ 2x_{2}+4\lambda=0 \\ -x_{1}^2+4x_{2}+4 \le 0 \\ \lambda (-x_{1}^2+4x_{2}+4) = 0 \end{array} \quad \quad \Rightarrow \quad \quad \begin{array}{||} x_{1}=\lambda x_{1} \\ x_{2} = -2\lambda \\ -x_{1}^2+4x_{2}+4 \le 0 \\ \lambda (x_{1}^2-4x_{2}-4) = 0 \end{array}[/tex]
1 случай (последното уравнение). [tex]\fbox{\lambda = 0} \Rightarrow x_{1}=x_{2}=0[/tex], което е невъзможно. Така [tex]\lambda \neq 0[/tex].
2 случай. [tex]\fbox{x_{1}^2-4x_{2}-4=0}[/tex], тогава решаваме системата
[tex]\begin{array}{||} x_{1} = \lambda x_{1} \\ x_{2}=-2\lambda \\ x_{1}^2-4x_{2}-4 = 0 \end{array} \quad \quad \Rightarrow \quad \quad \frac{x_{1}}{x_{2}} = -\frac{x_{1}}{2} \Rightarrow \frac{x_{1}}{x_{2}}+\frac{x_{1}}{2}=0 \Rightarrow x_{1}(2+x_{2})=0[/tex]
а) [tex]x_{1}=0 \Rightarrow 4x_{2}=-4 \Rightarrow x_{2}=-1; \quad \fbox{(x_{1}; \, x_{2}) = (0; \, -1)}[/tex]
б) [tex]x_{2}=-2 \Rightarrow x_{1}^2+4=0[/tex], което няма действителни корени.
Така [tex]x^{*} = (x_{1}; \, x_{2}) = (0; \, -1)[/tex] и [tex]\lambda = 1 \ge 0, \, z^{*} = z_{\operatorname{min}} = 1[/tex].