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

(Solution)
(Solution)
Line 10: Line 10:
 
<math>\angle ACF=90+\frac{\angle DCA}{2}</math>.
 
<math>\angle ACF=90+\frac{\angle DCA}{2}</math>.
 
This means that <math>\angle AGF=90-\frac{\angle ACD}{2}</math>. (due to cyclic quadilateral <math>ACFG</math> as given).
 
This means that <math>\angle AGF=90-\frac{\angle ACD}{2}</math>. (due to cyclic quadilateral <math>ACFG</math> as given).
Now <math>\angle FAG 180-(\angleAFG+\angleFGA)=90-\frac{\angle ACD}{2}=\angle AGF</math>.
+
Now <math>\angle FAG -(\angleAFG+\angleFGA)=90-\frac{\angle ACD}{2}=\angle AGF</math>.
  
 
Therefore <math>\angle FAG=\angle AGF</math>.  
 
Therefore <math>\angle FAG=\angle AGF</math>.  
 
QED.
 
QED.
{{solution}}
 
  
 
== See Also ==
 
== See Also ==

Revision as of 20:50, 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 -(\angleAFG+\angleFGA)=90-\frac{\angle ACD}{2}=\angle AGF$ (Error compiling LaTeX. Unknown error_msg).

Therefore $\angle FAG=\angle AGF$. QED.

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