Let be a square in the plane . Find the minimum and the maximum values of the function defined by
where is the set of all real numbers.
, 2012
Solutions — 2
Solution 1
We have . We will prove that this value is the minimum of function , or in other words,
for all .
Applying Ptolemy's inequality for the points , , , , we have , that is
Applying Ptolemy's inequality for the points , , , we have , that is
Adding these inequalities we get
hence the desired inequality.
By Ptolemy's Theorem it follows that the minimum is attained if and only if the point belongs to the arc of the circumcircle of the square.
If is the symmetric of with respect to the center of the square, then . It follows that the maximum of the function is and it occurs exactly at the points on the arc of the circumcircle of the square.
Solution 2
Place the square in the Cartesian plane with the vertices at , , , . Use the polar coordinates to obtain
The change of variables , reduces the problem to showing that
for .
Note that this expression is decreasing in for constant , and decreasing in for constant . On the unit circle , the tangent half-angle substitutions , give
which reduces to in the first quadrant (that is, for ) and to in the third quadrant (that is, for ) finishing the proof.