IMO 2000/1
Two circles $\Gamma _{1}$ and $\Gamma _{2}$ intersect at $M$ and $N$.Let $l$ be the common tangent to $\Gamma _{1}$ and $\Gamma _{2}$ so that $M$ is closer to $l$ than $N$ is.Let $l$ touch $\Gamma _{1}$ at $A$ and $\Gamma _{2}$ at $B$.Let the line through $M$ parallel to $l$ meet the circle $\Gamma _{1}$ again at $C$ and the circle $\Gamma _{2}$ again at $D$.Lines $CA$ and $DB$ meet at $E$;lines $AN$ and $CD$ meet at $P$;lines $BN$ and $CD$ meet at $Q$.Show that $EP=EQ$.
[Though this is an IMO problem,this is not so hard!]
[Though this is an IMO problem,this is not so hard!]
"Questions we can't answer are far better than answers we can't question"
-
- Posts:53
- Joined:Wed Nov 28, 2012 12:48 pm
Re: IMO 2000/1
As $AB || CD$, we get $\angle EBA = \angle EDC$.
Again by Alternate Segment Theorem, $\angle ABM = \angle BDM$.
So, $\angle EBA = \angle ABM$.
Similarly we get $\angle EAB = \angle BAM$.
So,we get $\triangle EBA \cong \triangle ABM$ by the ASA theorem.
Then, we get $EM \perp AB.$
Now, let the segment $NM$ intersect $AB$ at $F$.
Now, as $FA$ is tangent to $\Gamma_{1}$ we get, $FA^2 = FM.MN$.
Similarly we get $FB^2 = FM.MN$.
So, $FA = FB$.
Now as $PQ || AB$, we get $PM = MQ$.
So, finally as $\triangle EPM \cong \triangle EQM$ by the SAS theorem, we get $EP = EQ$.
Again by Alternate Segment Theorem, $\angle ABM = \angle BDM$.
So, $\angle EBA = \angle ABM$.
Similarly we get $\angle EAB = \angle BAM$.
So,we get $\triangle EBA \cong \triangle ABM$ by the ASA theorem.
Then, we get $EM \perp AB.$
Now, let the segment $NM$ intersect $AB$ at $F$.
Now, as $FA$ is tangent to $\Gamma_{1}$ we get, $FA^2 = FM.MN$.
Similarly we get $FB^2 = FM.MN$.
So, $FA = FB$.
Now as $PQ || AB$, we get $PM = MQ$.
So, finally as $\triangle EPM \cong \triangle EQM$ by the SAS theorem, we get $EP = EQ$.
Last edited by Prosenjit Basak on Fri Sep 04, 2015 11:11 pm, edited 2 times in total.
Yesterday is past, tomorrow is a mystery but today is a gift.
Re: IMO 2000/1
I think this is $\triangle EBA \cong \triangle ABM$.Prosenjit Basak wrote: So,we get $\triangle EBA \cong \triangle ABN$.
BTW,I have got the same solution
"Questions we can't answer are far better than answers we can't question"
-
- Posts:5
- Joined:Mon Aug 17, 2015 2:24 pm
Re: IMO 2000/1
But, when the area of $\Gamma_{1}$ and $\Gamma_{2}$ aren't equal, EN isn't perpendicular to ABProsenjit Basak wrote:As $AB || CD$, we get $\angle EBA = \angle EDC$.
Again by Alternate Segment Theorem, $\angle ABM = \angle BDM$.
So, $\angle EBA = \angle ABM$.
Similarly we get $\angle EAB = \angle BAM$.
So,we get $\triangle EBA \cong \triangle ABN$ by the ASA theorem.
Then, we get $EN \perp AB.$
Now, let the segment $NM$ intersect $AB$ at $F$.
Now, as $FA$ is tangent to $\Gamma_{1}$ we get, $FA^2 = FM.MN$.
Similarly we get $FB^2 = FM.MN$.
So, $FA = FB$.
Now as $PQ || AB$, we get $PM = MQ$.
So, finally as $\triangle EPM \cong \triangle EQM$ by the SAS theorem, we get $EP = EQ$.
Re: IMO 2000/1
I think he had made a mistake.It should be $EM \perp AB$.Tariq Hasan Rizu wrote:But, when the area of $\Gamma_{1}$ and $\Gamma_{2}$ aren't equal, EN isn't perpendicular to ABProsenjit Basak wrote:As $AB || CD$, we get $\angle EBA = \angle EDC$.
Again by Alternate Segment Theorem, $\angle ABM = \angle BDM$.
So, $\angle EBA = \angle ABM$.
Similarly we get $\angle EAB = \angle BAM$.
So,we get $\triangle EBA \cong \triangle ABN$ by the ASA theorem.
Then, we get $EN \perp AB.$
Now, let the segment $NM$ intersect $AB$ at $F$.
Now, as $FA$ is tangent to $\Gamma_{1}$ we get, $FA^2 = FM.MN$.
Similarly we get $FB^2 = FM.MN$.
So, $FA = FB$.
Now as $PQ || AB$, we get $PM = MQ$.
So, finally as $\triangle EPM \cong \triangle EQM$ by the SAS theorem, we get $EP = EQ$.
"Questions we can't answer are far better than answers we can't question"
-
- Posts:53
- Joined:Wed Nov 28, 2012 12:48 pm
Re: IMO 2000/1
Yeah, I meant $EM$. And I meant $\triangle ABM$ too. It was just a typo.I don't know what happened to my typing. I edited it though. Thanks for pointing out the mistakes.
Yesterday is past, tomorrow is a mystery but today is a gift.
-
- Posts:2
- Joined:Sat Aug 29, 2015 11:04 pm
Re: IMO 2000/1
You guys missed the fact that the Power of Point Theorem actually shows that $FA^2 = FM.FN $.
Not $FA^2 = FM.MN$
Not $FA^2 = FM.MN$