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

(Solution 1)
Line 1: Line 1:
 
== Problem ==
 
== Problem ==
  
A [[circle]] has center on the side <math>\displaystyle AB</math> of the [[cyclic quadrilateral]] <math>\displaystyle ABCD</math>.  The other three sides are [[tangent]] to the circle.  Prove that <math>\displaystyle AD + BC = AB</math>.
+
A [[circle]] has center on the side <math>AB</math> of the [[cyclic quadrilateral]] <math>ABCD</math>.  The other three sides are [[tangent]] to the circle.  Prove that <math>AD + BC = AB</math>.
  
 
== Solutions ==
 
== Solutions ==
Line 11: Line 11:
 
=== Solution 2 ===
 
=== Solution 2 ===
  
Let <math> \displaystyle O </math> be the center of the circle mentioned in the problem, and let <math>\displaystyle T</math> be the point on <math>\displaystyle AB </math> such that <math> \displaystyle AT = AD </math>.  Then <math> \displaystyle \angle DTA = \frac{ \pi - \angle DAB}{2} = \angle DCO</math>, so <math> \displaystyle DCOT </math> is a cyclic quadrilateral and <math> \displaystyle T </math> is in fact the <math> \displaystyle T</math> of the previous solution.  The conclusion follows.
+
Let <math>O </math> be the center of the circle mentioned in the problem, and let <math>T</math> be the point on <math>AB </math> such that <math>AT = AD </math>.  Then <math>\angle DTA = \frac{ \pi - \angle DAB}{2} = \angle DCO</math>, so <math>DCOT </math> is a cyclic quadrilateral and <math>T </math> is in fact the <math>T</math> of the previous solution.  The conclusion follows.
  
 
=== Solution 3 ===
 
=== Solution 3 ===
  
Let the circle have center <math> \displaystyle O </math> and radius <math> \displaystyle r </math>, and let its points of tangency with <math> \displaystyle BC, CD, DA </math> be <math> \displaystyle E, F, G </math>, respectively.  Since <math> \displaystyle OEFC </math> is clearly a cyclic quadrilateral, the angle <math> \displaystyle COE </math> is equal to half the angle <math> \displaystyle GAO </math>.  Then
+
Let the circle have center <math>O </math> and radius <math>r </math>, and let its points of tangency with <math>BC, CD, DA </math> be <math>E, F, G </math>, respectively.  Since <math>OEFC </math> is clearly a cyclic quadrilateral, the angle <math>COE </math> is equal to half the angle <math>GAO </math>.  Then
  
 
<center>
 
<center>
 
<math>
 
<math>
 
\begin{matrix} {CE} & = & r \tan(COE) \\
 
\begin{matrix} {CE} & = & r \tan(COE) \\
& = & \displaystyle r \left( \frac{1 - \cos (GAO)}{\sin(GAO)} \right) \\
+
& = &r \left( \frac{1 - \cos (GAO)}{\sin(GAO)} \right) \\
 
& = & AO - AG \\
 
& = & AO - AG \\
 
\end{matrix}
 
\end{matrix}
Line 26: Line 26:
 
</center>
 
</center>
  
Likewise, <math>\displaystyle DG = OB - EB</math>.  It follows that
+
Likewise, <math>DG = OB - EB</math>.  It follows that
  
 
<center>
 
<center>
 
<math>
 
<math>
\displaystyle {EB} + CE + DG + GA = AO + OB
+
{EB} + CE + DG + GA = AO + OB
 
</math>,
 
</math>,
 
</center>
 
</center>
Line 38: Line 38:
 
=== Solution 4 ===
 
=== Solution 4 ===
  
We use the notation of the previous solution.  Let <math>\displaystyle X</math> be the point on the ray <math>\displaystyle AD</math> such that <math> \displaystyle AX = AO</math>.  We note that <math>\displaystyle OF = OG = r </math>; <math> \angle OFC = \angle OGX = \frac{\pi}{2} </math>; and <math> \angle FCO = \angle GXO = \frac{\pi - \angle BAD}{2}</math>; hence the triangles <math>\displaystyle OFC, OGX</math> are congruent; hence <math> \displaystyle GX = FC = CE </math> and <math> \displaystyle AO = AG + GX = AG + CE</math>.  Similarly, <math> \displaystyle OB = EB + GD </math>.  Therefore <math> \displaystyle AO + OB = AG + GD + CE + EB </math>, Q.E.D.
+
We use the notation of the previous solution.  Let <math>X</math> be the point on the ray <math>AD</math> such that <math>AX = AO</math>.  We note that <math>OF = OG = r </math>; <math> \angle OFC = \angle OGX = \frac{\pi}{2} </math>; and <math> \angle FCO = \angle GXO = \frac{\pi - \angle BAD}{2}</math>; hence the triangles <math>OFC, OGX</math> are congruent; hence <math>GX = FC = CE </math> and <math>AO = AG + GX = AG + CE</math>.  Similarly, <math>OB = EB + GD </math>.  Therefore <math>AO + OB = AG + GD + CE + EB </math>, Q.E.D.
  
  
 
{{alternate solutions}}
 
{{alternate solutions}}
 +
 +
Observations
 +
Observe by take <math>M</math>, <math>N</math> on <math>AD</math> extended and
 +
<math>BC</math>
 +
  
  

Revision as of 12:14, 9 March 2018

Problem

A circle has center on the side $AB$ of the cyclic quadrilateral $ABCD$. The other three sides are tangent to the circle. Prove that $AD + BC = AB$.

Solutions

Solution 1

Let $O$ be the center of the circle mentioned in the problem. Let $T$ be the second intersection of the circumcircle of $CDO$ with $AB$. By measures of arcs, $\angle DTA = \angle DCO = \frac{\angle DCB}{2} = \frac{\pi}{2} - \frac{\angle DAB}{2}$. It follows that $AT = AD$. Likewise, $TB = BC$, so $AD + BC = AB$, as desired.

Solution 2

Let $O$ be the center of the circle mentioned in the problem, and let $T$ be the point on $AB$ such that $AT = AD$. Then $\angle DTA = \frac{ \pi - \angle DAB}{2} = \angle DCO$, so $DCOT$ is a cyclic quadrilateral and $T$ is in fact the $T$ of the previous solution. The conclusion follows.

Solution 3

Let the circle have center $O$ and radius $r$, and let its points of tangency with $BC, CD, DA$ be $E, F, G$, respectively. Since $OEFC$ is clearly a cyclic quadrilateral, the angle $COE$ is equal to half the angle $GAO$. Then

$\begin{matrix} {CE} & = & r \tan(COE) \\ & = &r \left( \frac{1 - \cos (GAO)}{\sin(GAO)} \right) \\ & = & AO - AG \\ \end{matrix}$

Likewise, $DG = OB - EB$. It follows that

${EB} + CE + DG + GA = AO + OB$,

Q.E.D.

Solution 4

We use the notation of the previous solution. Let $X$ be the point on the ray $AD$ such that $AX = AO$. We note that $OF = OG = r$; $\angle OFC = \angle OGX = \frac{\pi}{2}$; and $\angle FCO = \angle GXO = \frac{\pi - \angle BAD}{2}$; hence the triangles $OFC, OGX$ are congruent; hence $GX = FC = CE$ and $AO = AG + GX = AG + CE$. Similarly, $OB = EB + GD$. Therefore $AO + OB = AG + GD + CE + EB$, Q.E.D.


Alternate solutions are always welcome. If you have a different, elegant solution to this problem, please add it to this page.

Observations Observe by take $M$, $N$ on $AD$ extended and $BC$


1985 IMO (Problems) • Resources
Preceded by
First question
1 2 3 4 5 6 Followed by
Problem 2
All IMO Problems and Solutions