Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

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

(→‎Solution)
(→‎Solution)
Line 13: Line 13:
 
Now, <math>\angle{ABM} = \angle{BMD}</math> since <math>CD</math> is parallel to <math>AB</math>. But <math>AB</math> is tangent to the circumcircle of <math>\triangle{BMD}</math> hence <math>\angle{ABM} = \angle{BDM}</math> and that implies <math>\angle{BMD} = \angle{BDM} . </math>So<math>\triangle{BMD}</math> is isosceles and <math>BM=BD</math>.
 
Now, <math>\angle{ABM} = \angle{BMD}</math> since <math>CD</math> is parallel to <math>AB</math>. But <math>AB</math> is tangent to the circumcircle of <math>\triangle{BMD}</math> hence <math>\angle{ABM} = \angle{BDM}</math> and that implies <math>\angle{BMD} = \angle{BDM} . </math>So<math>\triangle{BMD}</math> is isosceles and <math>BM=BD</math>.
  
−
By simple parallel line rules, <math>\angle{ABM}=\angle{BMD}=\angle{BDM}=\angle{EBA}</math>. Similarly, <math>\angle{BAM}=\angle{EAB}</math>, so by <math>\textit{ASA}</math> criterion, <math>\triangle{ABM}</math> and <math>\triangle{ABE}</math> are congruent.  
+
By simple parallel line rules, <math>\angle{EBA}=\angle{BDM}</math>=\angle{ABM}<math>. Similarly, </math>\angle{BAM}=\angle{EAB}<math>, so by </math>\textit{ASA}<math> criterion, </math>\triangle{ABM}<math> and </math>\triangle{ABE}<math> are congruent.  
  
−
We know that <math>BE=BM=BD</math> so a circle with diameter <math>ED</math> can be circumscribed around <math>\triangle{EMD}</math>. Join points <math>E</math> and <math>M</math>, <math>EM</math> is perpendicular on <math>PQ</math>, previously we proved <math>MP = MQ</math>, hence <math>\triangle{EPQ}</math> is isoscles and <math>EP = EQ</math> .
+
We know that </math>BE=BM=BD<math> so a circle with diameter </math>ED<math> can be circumscribed around </math>\triangle{EMD}<math>. Join points </math>E<math> and </math>M<math>, </math>EM<math> is perpendicular on </math>PQ<math>, previously we proved </math>MP = MQ<math>, hence </math>\triangle{EPQ}<math> is isoscles and </math>EP = EQ$ .
  
 
==See Also==
 
==See Also==
  
 
{{IMO box|year=2000|before=First Question|num-a=2}}
 
{{IMO box|year=2000|before=First Question|num-a=2}}

Revision as of 14:12, 21 June 2024


Problem

Two circles $G_1$ and $G_2$ intersect at two points $M$ and $N$. Let $AB$ be the line tangent to these circles at $A$ and $B$, respectively, so that $M$ lies closer to $AB$ than $N$. Let $CD$ be the line parallel to $AB$ and passing through the point $M$, with $C$ on $G_1$ and $D$ on $G_2$. Lines $AC$ and $BD$ meet at $E$; lines $AN$ and $CD$ meet at $P$; lines $BN$ and $CD$ meet at $Q$. Show that $EP=EQ$.

Solution

$\textbf{Lemma:}$ Given a triangle, $ABC$ and a point $P$ in its interior, assume that the circumcircles of $\triangle{ACP}$ and    $\triangle{ABP}$ are tangent to $BC$. Prove that ray $AP$ bisects $BC$.
$\textbf{Proof:}$ Let the intersection of $AP$ and $BC$ be $D$. By power of a point, $BD^2=AD(PD)$ and $CD^2=AD(PD)$, so $BD=CD$.

$\textbf{Proof of problem:}$ Let ray $NM$ intersect $AB$ at $X$. By our lemma, $\textit{(the two circles are tangent to AB)}$, $X$ bisects $AB$. Since $\triangle{NAX}$ and $\triangle{NPM}$ are similar, and $\triangle{NBX}$ and $\triangle{NQM}$ are similar implies $M$ bisects $PQ$.

Now, $\angle{ABM} = \angle{BMD}$ since $CD$ is parallel to $AB$. But $AB$ is tangent to the circumcircle of $\triangle{BMD}$ hence $\angle{ABM} = \angle{BDM}$ and that implies $\angle{BMD} = \angle{BDM} .$So$\triangle{BMD}$ is isosceles and $BM=BD$.

By simple parallel line rules, $\angle{EBA}=\angle{BDM}$=\angle{ABM}$. Similarly,$\angle{BAM}=\angle{EAB}$, so by$\textit{ASA}$criterion,$\triangle{ABM}$and$\triangle{ABE}$are congruent.

We know that$ (Error compiling LaTeX. Unknown error_msg)BE=BM=BD$so a circle with diameter$ED$can be circumscribed around$\triangle{EMD}$. Join points$E$and$M$,$EM$is perpendicular on$PQ$, previously we proved$MP = MQ$, hence$\triangle{EPQ}$is isoscles and$EP = EQ$ .

See Also

2000 IMO (Problems) • Resources
Preceded by
First Question 		1 • 2 • 3 • 4 • 5 • 6 Followed by
Problem 2
All IMO Problems and Solutions
Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2000_IMO_Problems/Problem_1&oldid=220893"