Difference between revisions of "1988 IMO Problems/Problem 1"
(→Solution) |
|||
Line 9: | Line 9: | ||
==Solution== | ==Solution== | ||
− | + | <ol type="i"> | |
− | + | <li> | |
We claim that the value <math>BC^2+CA^2+AB^2</math> stays constant as <math>\angle OPA</math> varies, and thus achieves its maximum at all value of <math>\angle OPA</math>. We have from the Pythagorean Theorem that <math>CA^2=AP^2+PC^2</math> and <math>AB^2=AP^2+PB^2</math> and so our expression becomes | We claim that the value <math>BC^2+CA^2+AB^2</math> stays constant as <math>\angle OPA</math> varies, and thus achieves its maximum at all value of <math>\angle OPA</math>. We have from the Pythagorean Theorem that <math>CA^2=AP^2+PC^2</math> and <math>AB^2=AP^2+PB^2</math> and so our expression becomes | ||
− | < | + | <cmath> BC^2+PB^2+PC^2+2AP^2=2BC^2+2AP^2-2PB\cdot PC </cmath> |
− | Since <math>PB\cdot PC</math> is the power of the point <math>P</math>, it stays constant as <math>A</math> varies. Thus, we are left to prove that the value <math>BC^2+AP^2</math> stays constant as <math>\angle OPA</math> varies. Let <math>G</math> be the midpoint of <math>AP</math> and let <math>H</math> be the midpoint of <math>BC</math>. | + | Since <math>PB\cdot PC</math> is the power of the point <math>P</math>, it stays constant as <math>A</math> varies. Thus, we are left to prove that the value <math>BC^2+AP^2</math> stays constant as <math>\angle OPA</math> varies. Let <math>G</math> be the midpoint of <math>AP</math> and let <math>H</math> be the midpoint of <math>BC</math>. Since <math>OG</math> is perpendicular to <math>AP</math>, we find that <math>PG=r\cos OPA</math>. Similarly, we find that <math>OH=r\sin OPC=r\cos OPA</math>. Thus, by the Pythagorean Theorem, we have |
− | < | + | <cmath> |
− | + | \begin{align*} | |
− | + | BC^2& =4(R^2-r^2\cos^2 OPA) \ | |
+ | AP^2&=4r^2\cos^2OPA | ||
+ | \end{align*} | ||
+ | </cmath> | ||
Now it is obvious that <math>BC^2+AP^2=4R^2</math> is constant for all values of <math>\angle OPA</math>. | Now it is obvious that <math>BC^2+AP^2=4R^2</math> is constant for all values of <math>\angle OPA</math>. | ||
+ | </li> | ||
+ | <li> | ||
− | + | We claim that all points <math>U,V</math> lie on a circle centered at the midpoint of <math>OP</math>, <math>M</math> with radius <math>\frac{R}{2}</math>. Let <math>T</math> be the midpoint of <math>UV</math>. Since <math>H</math> is the midpoint of <math>BC</math>, it is clear that the projection of <math>T</math> onto <math>BC</math> is the midpoint of <math>H</math> and <math>P</math> (the projection of <math>A</math> onto <math>BC</math>). Thus, we have that <math>MT</math> is perpendicular to <math>UV</math> and thus the triangle <math>MUV</math> is isosceles. We have | |
− | + | <cmath> | |
− | We claim that all points <math>U,V</math> lie on a circle centered at the midpoint of <math>OP</math>, <math>M</math> with radius <math>\frac{R}{2}</math>. Let <math>T</math> be the midpoint of <math>UV</math>. Since <math>H</math> is the midpoint of <math>BC</math>, it is clear that the projection of <math>T</math> onto <math>BC</math> is the midpoint of <math>H</math> and <math>P</math> (the projection of <math>A</math> onto <math>BC</math>). Thus, we have that <math>MT</math> is perpendicular to <math>UV</math> and thus the triangle <math>MUV</math> is | + | \begin{align*} |
+ | UT &=\frac{1}{2}UV=\frac{1}{4}BC \mbox{ and } \ | ||
+ | MT &=\frac{1}{2}PG=\frac{1}{4}AP. | ||
+ | \end{align*} | ||
+ | </cmath> | ||
+ | Thus, from the Pythagorean Theorem we have | ||
+ | <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>. | ||
+ | </li> | ||
+ | </ol> |
Revision as of 20:27, 9 May 2011
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
.
i.) For which values of is the sum
extremal?
ii.) 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
.