Determine the minimum value of a2+b2 when (a,b) traverses all the pairs of real numbers for which the equation x4+ax3+bx2+ax+1=0 has at least one real root.
Problem
Source: IMO ShortList 1973, Sweden 2, IMO 1973, Day 1, Problem 3
Tags: algebra, polynomial, roots, minimum value, IMO, IMO 1973, coefficients
30.10.2005 13:31
By Cauchy-Schwarz Inequality, (12a2+b2+12a2)(2x6+x4+2x2)≥(ax3+bx2+ax)2=(x4+1)2 So a2+b2≥(x4+1)22x6+x4+2x2≥45 The last inequality is equivalent to 5(x8+2x4+1)≥4(2x6+x4+2x2)0⇔(x2−1)2(5x4+2x2+5)≥0
30.10.2005 18:56
It is also necessary to prove that if a2+b2≥45 then the given equation has at least one real root.
30.10.2005 20:03
Since x=0 isn't the solution of the given equation, we can rewrite as follows. x4+ax3+bx2+ax+1=0⟺x2+ax+b+ax+1x2=0 (x≠0). By |x+1x|=|x|+1|x|≥2√|x|⋅1|x|=2 when the eqality holds when |x|=1|x| (x≠0)⟺x=±1. Let x+1x=t, we are to find the condition for which the equation with respect to t, t2+at+b−2=0 has at least one real root at t≤−2 or t≥2. The condition for which a, b should satisfy this is given by 2|a|−2≤b≤14a2+2 and |a|≥4 ⋯[A], |b+2|≥2|a| ⋯[B]. Sketching the distribution satisfying [A] or [B] on a−b plane gives the answer, a2+b2 has the minimum value of 45 when (a, b)=(±45, 25) which are the intersection points between two graphs of b=2|a|−2 and b=−|a|.
10.08.2006 23:46
Lemma. For k>0 the function f:[k,∞)→R , f(x)=x+k2x is increasing. Particularly, 0<k≤a≤x⟹a+k2a≤x+k2x with equality iff x=a . Indeed, for 0≤k≤u<v we have f(u)−f(v)=(u−v)(uv−k2)uv<0, i.e. f(u)<f(v) because uv>0, u−v<0 and u≥k>0 , v>k>0⟹uv>k2 . Example. m=min \min_{y>0}\frac{\left(y^{2}+1\right)^{2}}{y\left(y^{2}+3y+1\right)}= \min_{y>0}\frac{\left(y+\frac{1}{y}\right)^{2}}{\left(y+\frac{1}{y}\right)+3}= \min_{z\ge 2}\frac{z^{2}}{z+3}= \min_{t\ge 5}\frac{(t-3)^{2}}{t}, where x\ne 0 \Longleftrightarrow y=x^{2}>0 \Longleftrightarrow z=y+\frac{1}{y}\ge 2 \Longleftrightarrow t=z+3\ge 5\ . Thus, m=\min_{t\ge 5}\left(t+\frac{9}{t}-6\right)=-6+\min_{t\ge 5}\left(t+\frac{9}{t}\right)\ . Using the above lemma (3=k<a=5\le t), obtain m=-6+\left(5+\frac{9}{5}\right)=\frac{4}{5} and the minimum points are x\in \{\pm 1\} because t=5\Longleftrightarrow z=2\Longleftrightarrow y=1\Longleftrightarrow x\in \{\pm\ 1\}\ . The proof of the proposed problem. Can consider that the relation x(x^{2}+1)\cdot \underline a+x^{2}\cdot \underline b+(x^{4}+1)=0, x\in R^{*} is the equation of a mobile line din the analytical plane aOb\ . Thus, square of the distance PO, where P(a,b)\in d\ ,\ OP\perp d is a^{2}+b^{2}=\frac{(x^{4}+1)^{2}}{x^{2}(x^{2}+1)^{2}+(x^{2})^{2}}=\frac{(x^{4}+1)^{2}}{x^{2}(x^{4}+3x^{2}+1)}\equiv f(x)\ . Therefore, m=\min_{P(a,b)\in d}\{a^{2}+b^{2}\}=\min_{x\ne 0}f(x)=\frac{4}{5} and x\in \{\pm 1\} (from the above example), i.e. the minimum points are the solutions of the systems 2\epsilon a+b+2=0\ ,\ a-2\epsilon b=0, where \epsilon^{2}=1\ . In conclusion, a_{\mathrm{min}}=\frac{4\epsilon}{5} and b_{\mathrm{min}}=-\frac{2}{5}, where \epsilon^{2}=1\ .
04.06.2007 04:17
Proof for the proposed problem. Since x=0 isn't the solution of the given equation, we can rewrite as follows. x^{4}+ax^{3}+bx^{2}+ax+1=0\Longleftrightarrow x^{2}+ax+b+\frac{a}{x}+\frac{1}{x^{2}}=0\ (x\neq 0). By \left|x+\frac{1}{x}\right|=|x|+\frac{1}{|x|}\geq 2\sqrt{|x|\cdot\frac{1}{|x|}}=2 when the eqality holds when |x|=\frac{1}{|x|}\ (x\neq 0)\Longleftrightarrow x=\pm 1. Let x+\frac{1}{x}=t, then |t|\ge 2 and the given equation becomes: t^{2}+at-b-2=0\iff t^{2}-2=-at-b We have: (a^{2}+b^{2})(t^{2}+1)\ge (at+b)^{2}=(t^{-}2)^{2}\implies a^{2}+b^{2}\ge\frac{t^{4}-4t^{2}+4}{t^{2}+1}\quad (1) On the otherhand, \frac{t^{4}-4t^{2}+4}{t^{2}+1}-\frac{4}{5}=\frac{(5t^{2}-4)(t^{2}-4)}{5(t^{2}+1)}\ge 0\quad (2) From (1) and (2) we have: a^{2}+b^{2}\ge\frac{4}{5}
04.06.2007 04:31
Remark. We also have: a^{2}+(b-2)^{2}>3 Indeed, we have: t^{2}=-(at+b-2)\implies t^{4}=\left(at+b-2\right)^{2}\le\left[a^{2}+(b-2)^{2}\right]\left(t^{2}+1\right)\\ \implies a^{2}+(b-2)^{2}\ge\frac{t^{4}}{t^{2}+1}>t^{2}-1>3 And if the given equation is: x^{4}+ax^{3}+bx^{2}+cx+1=0 then a^{2}+b^{2}+c^{2}\ge\frac{4}{3}
11.06.2007 19:20
a nice solution pco but i am asking too about [the equation of a mobile line]i need more informations because it s the first time time that i heard about that.
06.06.2011 15:41
After making the substitution t=x+1/x, analyse the 3 different cases. Either both roots of the quadratic are greater than 2 in absolute value and have same sign or both are greater than 2 in absolute value and have opposite sign or there is exactly 1 root between -2 and 2. Using properties of quadratic expressions we get the desired result.