# Difference between revisions of "1988 IMO Problems/Problem 1"

m (→Solution) |
(→Solution) |
||

Line 39: | Line 39: | ||

<cmath> MV^2=MU^2=\frac{1}{16}\left(BC^2+AP^2\right).</cmath> | <cmath> MV^2=MU^2=\frac{1}{16}\left(BC^2+AP^2\right).</cmath> | ||

Since we have shown already that <math>BC^2+AP^2=4R^2</math> is constant, we have that <math>MV=MU=\frac{R}{2}</math> and the locus of points <math>U,V</math> is indeed a circle of radius <math>\frac{R}{2}</math> with center <math>M</math>. | Since we have shown already that <math>BC^2+AP^2=4R^2</math> is constant, we have that <math>MV=MU=\frac{R}{2}</math> and the locus of points <math>U,V</math> is indeed a circle of radius <math>\frac{R}{2}</math> with center <math>M</math>. | ||

− | |||

</li> | </li> | ||

</ol> | </ol> |

## Revision as of 16:11, 19 October 2020

## Problem

Consider 2 concentric circles with radii and () with center . Fix on the small circle and consider the variable chord of the small circle. Points and lie on the large circle; are collinear and is perpendicular to .

- For which values of is the sum extremal?
- What are the possible positions of the midpoints of and of as varies?

## Solution

- We claim that the value stays constant as varies, and thus achieves its maximum at all value of . We have from the Pythagorean Theorem that and and so our expression becomes Since is the power of the point , it stays constant as varies. Thus, we are left to prove that the value stays constant as varies. Let be the midpoint of and let be the midpoint of . Since is perpendicular to , we find that . Similarly, we find that . Thus, by the Pythagorean Theorem, we have Now it is obvious that is constant for all values of .
- We claim that all points lie on a circle centered at the midpoint of , with radius . Let be the midpoint of . Since is the midpoint of , it is clear that the projection of onto is the midpoint of and (the projection of onto ). Thus, we have that is perpendicular to and thus the triangle is isosceles. We have Thus, from the Pythagorean Theorem we have Since we have shown already that is constant, we have that and the locus of points is indeed a circle of radius with center .