Difference between revisions of "1999 USAMO Problems/Problem 6"

(Solution)
(Solution)
Line 3: Line 3:
  
 
== Solution ==
 
== Solution ==
ABCD is cyclic since it is an isosceless trapezoid. AD=BC. Triangle ADC and triangle BCD are reflections of each other with respect to diameter which is perpendicular to AB. Let the incircle of triangle ADC touch DC at K. The reflection implies that DK=DE, which then implies that the excircle of triangle ADC is tangent to DC at E. Since EF is perpendicular to DC which is tangent to the excircle, this implies that EF passes through center of excircle of triangle ADC.
+
Quadrilateral <math>ABCD</math> is cyclic since it is an isosceles trapezoid. <math>AD=BC</math>. Triangle <math>ADC</math> and triangle <math>BCD</math> are reflections of each other with respect to diameter which is perpendicular to <math>AB</math>. Let the incircle of triangle <math>ADC</math> touch <math>DC</math> at <math>K</math>. The reflection implies that <math>DK=DE</math>, which then implies that the excircle of triangle <math>ADC</math> is tangent to <math>DC</math> at <math>E</math>. Since <math>EF</math> is perpendicular to <math>DC</math> which is tangent to the excircle, this implies that <math>EF</math> passes through center of excircle of triangle <math>ADC</math>.
  
We know that the center of the excircle lies on the angular bisector of DAC and the perpendicular line from DC to E. This implies that F is the center of the excircle.  
+
We know that the center of the excircle lies on the angular bisector of <math>DAC</math> and the perpendicular line from <math>DC</math> to <math>E</math>. This implies that <math>F</math> is the center of the excircle.  
  
Now angle GFA = angle GCA = angle DCA.  
+
Now <math>\angle GFA=\angle GCA=\angle DCA</math>.  
Angle ACF = 90+angle DCA/2.
+
<math>\angle ACF=90+\frac{\angle DCA}{2}</math>.
This means that angle AGF = 90-ACD/2 (due to cyclic quadilateral ACFG as given).
+
This means that <math>\angle AGF=90-\frac{\angle ACD}{2}</math>. (due to cyclic quadilateral <math>ACFG</math> as given).
Now angle FAG = 180-(AFG+FGA) = 90-ACD/2 = angle AGF.
+
Now \angle FAG 180-(\angleAFG+\angleFGA)=90-\frac{\angle ACD}{2}=\angle AGF<math>.
  
Therefore angle FAG = angle AGF.  
+
Therefore </math>\angle FAG=\angle AGF$.  
 
QED.
 
QED.
 
{{solution}}
 
{{solution}}

Revision as of 21:49, 28 October 2013

Problem

Let $ABCD$ be an isosceles trapezoid with $AB \parallel CD$. The inscribed circle $\omega$ of triangle $BCD$ meets $CD$ at $E$. Let $F$ be a point on the (internal) angle bisector of $\angle DAC$ such that $EF \perp CD$. Let the circumscribed circle of triangle $ACF$ meet line $CD$ at $C$ and $G$. Prove that the triangle $AFG$ is isosceles.

Solution

Quadrilateral $ABCD$ is cyclic since it is an isosceles trapezoid. $AD=BC$. Triangle $ADC$ and triangle $BCD$ are reflections of each other with respect to diameter which is perpendicular to $AB$. Let the incircle of triangle $ADC$ touch $DC$ at $K$. The reflection implies that $DK=DE$, which then implies that the excircle of triangle $ADC$ is tangent to $DC$ at $E$. Since $EF$ is perpendicular to $DC$ which is tangent to the excircle, this implies that $EF$ passes through center of excircle of triangle $ADC$.

We know that the center of the excircle lies on the angular bisector of $DAC$ and the perpendicular line from $DC$ to $E$. This implies that $F$ is the center of the excircle.

Now $\angle GFA=\angle GCA=\angle DCA$. $\angle ACF=90+\frac{\angle DCA}{2}$. This means that $\angle AGF=90-\frac{\angle ACD}{2}$. (due to cyclic quadilateral $ACFG$ as given). Now \angle FAG 180-(\angleAFG+\angleFGA)=90-\frac{\angle ACD}{2}=\angle AGF$.

Therefore$ (Error compiling LaTeX. Unknown error_msg)\angle FAG=\angle AGF$. QED. This problem needs a solution. If you have a solution for it, please help us out by adding it.

See Also

1999 USAMO (ProblemsResources)
Preceded by
Problem 5
Followed by
Last Question
1 2 3 4 5 6
All USAMO Problems and Solutions

The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions. AMC logo.png