Maths Olympiad Prep

Library / /2 of 11

, 2013

Algebra Difficulty 7.7 National olympiad, round 2 Prove it Saudi Arabia

Find the maximum and the minimum values of
S=(1x1)(1y1)+(1x2)(1y2) S = (1 - x_{1})(1 - y_{1}) + (1 - x_{2})(1 - y_{2})
for real numbers x1,x2,y1,y2x_{1}, x_{2}, y_{1}, y_{2} with x12+x22=y12+y22=2013x_{1}^{2} + x_{2}^{2} = y_{1}^{2} + y_{2}^{2} = 2013.

Solution

We present for this problem two solutions, one using trigonometric functions and the other using classical inequalities.

First solution. The condition x12+x22=y12+y22=c2x_{1}^{2} + x_{2}^{2} = y_{1}^{2} + y_{2}^{2} = c^{2}, here c2=2013c^{2} = 2013, is equivalent to saying that there exist α,βR\alpha, \beta \in \mathbb{R} such that
x1=ccosα,x2=csinα,y1=ccosβ, and y2=csinβ. x_{1} = c \cos \alpha, \quad x_{2} = c \sin \alpha, \quad y_{1} = c \cos \beta, \quad \text{ and } \quad y_{2} = c \sin \beta.
Therefore
S=(1x1)(1y1)+(1x2)(1y2)=2(x1+x2+y1+y2)+x1y1+x2y2=2c(cosα+sinα+cosβ+sinβ)+c2(cosαcosβ+sinαsinβ)=22c(sin(α+π4)+sin(β+π4))+c2cos(αβ)=(2c2)22csin(α+β2+π4)cos(αβ2)+2c2cos2(αβ2)=(2c2)22cst+2c2t2 \begin{aligned} S & = (1 - x_{1})(1 - y_{1}) + (1 - x_{2})(1 - y_{2}) = 2 - (x_{1} + x_{2} + y_{1} + y_{2}) + x_{1} y_{1} + x_{2} y_{2} \\ & = 2 - c(\cos \alpha + \sin \alpha + \cos \beta + \sin \beta) + c^{2}(\cos \alpha \cos \beta + \sin \alpha \sin \beta) \\ & = 2 - \sqrt{2} c \left( \sin \left( \alpha + \frac{\pi}{4} \right ) + \sin \left( \beta + \frac{\pi}{4} \right ) \right ) + c^{2} \cos (\alpha - \beta) \\ & = (2 - c^{2}) - 2 \sqrt{2} c \sin \left( \frac{\alpha + \beta}{2} + \frac{\pi}{4} \right ) \cos \left( \frac{\alpha - \beta}{2} \right ) + 2 c^{2} \cos^{2} \left( \frac{\alpha - \beta}{2} \right ) \\ & = (2 - c^{2}) - 2 \sqrt{2} c s t + 2 c^{2} t^{2} \end{aligned}
where
s=sin(α+β2+π4), and t=cos(αβ2) s = \sin \left( \frac{\alpha + \beta}{2} + \frac{\pi}{4} \right ), \quad \text{ and } \quad t = \cos \left( \frac{\alpha - \beta}{2} \right )
are two independent variables, since α+β\alpha + \beta and αβ\alpha - \beta are independent, taking all the real values between 1-1 and 11 included.

Hence, the maximum of SS is equal to 2+c2+22c=2015+240262 + c^{2} + 2 \sqrt{2} c = 2015 + 2 \sqrt{4026}, and is reached when s=t=±1s = -t = \pm 1. That is precisely when x1=x2=y1=y2=40262x_{1} = x_{2} = y_{1} = y_{2} = -\frac{\sqrt{4026}}{2}.

For the minimum, notice that
S=(2c2)s2+(2cts)2 S = (2 - c^{2}) - s^{2} + (\sqrt{2} c t - s)^{2}
Therefore, the minimum of SS is equal to 1c2=20121 - c^{2} = -2012, and is reached when s=±1s = \pm 1 and t=2s2c=±40264026t = \frac{\sqrt{2} s}{2 c} = \frac{\pm \sqrt{4026}}{4026}. That is precisely when
x1=y2=1+40252 and x2=y1=140252, x_{1} = y_{2} = \frac{1 + \sqrt{4025}}{2} \quad \text{ and } \quad x_{2} = y_{1} = \frac{1 - \sqrt{4025}}{2},
or vice-versa.

Second solution. For the maximum, we have by Cauchy-Schwartz inequality
S=2(x1+x2+y1+y2)+x1y1+x2y22+4(x12+x22+y12+y22)+(x12+x22)(y12+y22)2015+24026 \begin{aligned} S & = 2 - (x_{1} + x_{2} + y_{1} + y_{2}) + x_{1} y_{1} + x_{2} y_{2} \\ & \leq 2 + \sqrt{4 \cdot (x_{1}^{2} + x_{2}^{2} + y_{1}^{2} + y_{2}^{2})} + \sqrt{(x_{1}^{2} + x_{2}^{2})(y_{1}^{2} + y_{2}^{2})} \\ & \leq 2015 + 2 \sqrt{4026} \end{aligned}
and the equality holds when x1=x2=y1=y2=40262x_{1} = x_{2} = y_{1} = y_{2} = -\frac{\sqrt{4026}}{2}.

For the minimum, we have
S=2(x1+y1)(x2+y2)+(x1+y1)22+(x2+y2)22c2=(1c2)+(x1+y11)22+(x2+y21)221c2=2012 \begin{aligned} S & = 2 - (x_{1} + y_{1}) - (x_{2} + y_{2}) + \frac{(x_{1} + y_{1})^{2}}{2} + \frac{(x_{2} + y_{2})^{2}}{2} - c^{2} \\ & = (1 - c^{2}) + \frac{(x_{1} + y_{1} - 1)^{2}}{2} + \frac{(x_{2} + y_{2} - 1)^{2}}{2} \\ & \geq 1 - c^{2} = -2012 \end{aligned}
where c2=2013c^{2} = 2013.

Thus the minimum of SS is 2012-2012 and is reached when y1=1x1,y2=1x2y_{1} = 1 - x_{1}, y_{2} = 1 - x_{2} and x12+x22=y12+y22=2013x_{1}^{2} + x_{2}^{2} = y_{1}^{2} + y_{2}^{2} = 2013. This is equivalent to
x1=y2=1+40252 and x2=y1=140252 x_{1} = y_{2} = \frac{1 + \sqrt{4025}}{2} \quad \text{ and } \quad x_{2} = y_{1} = \frac{1 - \sqrt{4025}}{2}

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.