Maths Olympiad Prep

Library / IMO Hk TST /35 of 119

IMO Hk TST

Geometry Difficulty 7.7 National Olympiad, round 2 Prove it Hong Kong

Let AA, BB and CC be real numbers such that
(i) sin⁡Acos⁡B+∣cos⁡Asin⁡B∣=sin⁡A∣cos⁡A∣+∣sin⁡Bcos⁡B∣\sin A \cos B + |\cos A \sin B| = \sin A |\cos A| + |\sin B \cos B|,
(ii) tan⁡C\tan C and cot⁡C\cot C are defined.
Find the minimum value of (tan⁡C−sin⁡A)2+(cot⁡C−cos⁡B)2(\tan C - \sin A)^2 + (\cot C - \cos B)^2.

Solution

The minimum value is 3−223 - 2\sqrt{2}.
Condition (i) can be rewritten as
(sin⁡A−∣sin⁡B∣)(cos⁡B−∣cos⁡A∣)=0. (\sin A - |\sin B|)(\cos B - |\cos A|) = 0.
If sin⁡A=∣sin⁡B∣\sin A = |\sin B|, then we have sin⁡2A=sin⁡2B=1−cos⁡2B\sin^2 A = \sin^2 B = 1 - \cos^2 B.
If cos⁡B=∣cos⁡A∣\cos B = |\cos A|, then we have cos⁡2B=cos⁡2A=1−sin⁡2A\cos^2 B = \cos^2 A = 1 - \sin^2 A.
Therefore, in any case, (sin⁡A,cos⁡B)(\sin A, \cos B) is a point on the unit circle on the coordinate plane. Since the steps are reversible, it can be any point on the unit circle.
Figure 1
Next, (tan⁡C,cot⁡C)(\tan C, \cot C) can be any point on the hyperbola xy=1xy = 1. Therefore, we are asked to find the minimum distance between a point on the unit circle and a point on the hyperbola. In view of the geometry, since the line y=xy = x is an axis of symmetry of both geometric objects, the minimum distance is attained

between points on the line y=xy = x. By symmetry, it suffices to consider x>0x > 0. Clearly, (12,12)\left(\frac{1}{\sqrt{2}}, \frac{1}{\sqrt{2}}\right) is a solution to x2+y2=1x^2 + y^2 = 1 and y=xy = x, while (1,1)(1, 1) is a solution to xy=1xy = 1 and y=xy = x. Therefore, the minimum distance is
(1−12)2+(1−12)2=3−22, \left(1 - \frac{1}{\sqrt{2}}\right)^2 + \left(1 - \frac{1}{\sqrt{2}}\right)^2 = 3 - 2\sqrt{2},
and we are done.

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.