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

(Solution)
Line 9: Line 9:
 
==Solution==
 
==Solution==
  
'''i.)'''
+
<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
  
<math>BC^2+PB^2+PC^2+2AP^2=2BC^2+2AP^2-2PB\cdot PC</math>
+
<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>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  
+
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  
  
<math>BC^2=4(R^2-r^2\cos^2 OPA)</math>
+
<cmath>
 
+
\begin{align*}
<math>AP^2=4r^2\cos^2OPA</math>
+
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>
  
'''ii.)'''
+
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 iscoceles.  We have <math>UT=\frac{1}{2}UV=\frac{1}{4}BC</math> and <math>MT=\frac{1}{2}PG=\frac{1}{4}AP</math>. Thus, from the Pythagorean Theorem we have <math>MV^2=MU^2=\frac{1}{16}\left(BC^2+AP^2\right)</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>.
+
\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 19:27, 9 May 2011

Problem

Consider 2 concentric circles with radii $R$ and $r$ ($R>r$) with center $O$. Fix $P$ on the small circle and consider the variable chord $AP$ of the small circle. Points $B$ and $C$ lie on the large circle; $B,P,C$ are collinear and $BC$ is perpendicular to $AP$.

i.) For which values of $\angle OPA$ is the sum $BC^2+CA^2+AB^2$ extremal?

ii.) What are the possible positions of the midpoints $U$ of $AB$ and $V$ of $AC$ as $A$ varies?


Solution

  1. We claim that the value $BC^2+CA^2+AB^2$ stays constant as $\angle OPA$ varies, and thus achieves its maximum at all value of $\angle OPA$. We have from the Pythagorean Theorem that $CA^2=AP^2+PC^2$ and $AB^2=AP^2+PB^2$ and so our expression becomes \[BC^2+PB^2+PC^2+2AP^2=2BC^2+2AP^2-2PB\cdot PC\] Since $PB\cdot PC$ is the power of the point $P$, it stays constant as $A$ varies. Thus, we are left to prove that the value $BC^2+AP^2$ stays constant as $\angle OPA$ varies. Let $G$ be the midpoint of $AP$ and let $H$ be the midpoint of $BC$. Since $OG$ is perpendicular to $AP$, we find that $PG=r\cos OPA$. Similarly, we find that $OH=r\sin OPC=r\cos OPA$. Thus, by the Pythagorean Theorem, we have \begin{align*} BC^2& =4(R^2-r^2\cos^2 OPA) \\ AP^2&=4r^2\cos^2OPA \end{align*} Now it is obvious that $BC^2+AP^2=4R^2$ is constant for all values of $\angle OPA$.
  2. We claim that all points $U,V$ lie on a circle centered at the midpoint of $OP$, $M$ with radius $\frac{R}{2}$. Let $T$ be the midpoint of $UV$. Since $H$ is the midpoint of $BC$, it is clear that the projection of $T$ onto $BC$ is the midpoint of $H$ and $P$ (the projection of $A$ onto $BC$). Thus, we have that $MT$ is perpendicular to $UV$ and thus the triangle $MUV$ is isosceles. We have \begin{align*} UT &=\frac{1}{2}UV=\frac{1}{4}BC \mbox{ and } \\ MT &=\frac{1}{2}PG=\frac{1}{4}AP. \end{align*} Thus, from the Pythagorean Theorem we have \[MV^2=MU^2=\frac{1}{16}\left(BC^2+AP^2\right).\] Since we have shown already that $BC^2+AP^2=4R^2$ is constant, we have that $MV=MU=\frac{R}{2}$ and the locus of points $U,V$ is indeed a circle of radius $\frac{R}{2}$ with center $M$.