Art of Problem Solving

2006 IMO Problems/Problem 1: Difference between revisions

Smileapple (talk | contribs)
mNo edit summary
Spacephysics (talk | contribs)
 
(9 intermediate revisions by 4 users not shown)
Line 4: Line 4:
==Solution==
==Solution==
We have  
We have  
<cmath>\angle IBP = \angle IBC - \angle PBC = \frac{1}{2} \angle ABC - \angle PBC = \frac{1}{2}(\angle PCB - \angle PCA)</cmath> (1)
<cmath>\angle IBP = \angle IBC - \angle PBC = \frac{1}{2} \angle ABC - \angle PBC = \frac{1}{2}(\angle PCB - \angle PCA).</cmath>
and similarly <cmath>\angle ICP = \angle PCB - \angle ICB = \angle PCB - \frac{1}{2} \angle ACB = \frac{1}{2}(\angle PBA - \angle PBC)</cmath> (2).
Since <math>\angle PBA + \angle PCA = \angle PBC + \angle PCB</math>, we have <math>\angle PBA -
\angle PBC = \angle PCB - \angle PCA</math> (3).


By (1), (2), and (3), we get <math>\angle IBP = \angle ICP</math>; hence <math>B,I,P,C</math> are concyclic.
and similarly <cmath>\angle ICP = \angle PCB - \angle ICB = \angle PCB - \frac{1}{2} \angle ACB = \frac{1}{2}(\angle PBA - \angle PBC).</cmath>
Since <math>\angle PBA + \angle PCA = \angle PBC + \angle PCB</math>, we have <math>\angle PCB - \angle PCA = \angle PBA - \angle PBC.</math>  


Let ray <math>AI</math> meet the circumcircle of <math>\triangle  ABC</math> at point <math>J</math>. Then, by the Incenter-Excenter Lemma, <math>JB=JC=JI=JP</math>.  
It follows that <cmath>\angle IBP = \frac{1}{2} (\angle PCB - \angle PCA) = \frac{1}{2} (\angle PBA - \angle PBC) = \angle ICP.</cmath> Hence, <math>B,P,I,</math> and <math>C</math> are concyclic.
 
 
Let ray <math>AI</math> meet the circumcircle of <math>\triangle  ABC\, </math> at point <math>J</math>. Then, by the Incenter-Excenter Lemma, <math>JB=JC=JI=JP</math>.  


Finally, <math>AP+JP \geq AJ = AI+IJ</math> (since triangle APJ can be degenerate, which happens only when <math>P=I</math>), but <math>JI=JP</math>; hence <math>AP \geq AI</math> and we are done.
Finally, <math>AP+JP \geq AJ = AI+IJ</math> (since triangle APJ can be degenerate, which happens only when <math>P=I</math>), but <math>JI=JP</math>; hence <math>AP \geq AI</math> and we are done.


By Mengsay LOEM  , Cambodia IMO Team 2015
By Mengsay LOEM  , Cambodia IMO Team 2015


latexed by tluo5458 :)
latexed by tluo5458 :)
minor edits by lpieleanu
==See Also==
{{IMO box|year=2006|before=First Problem|num-a=2}}

Latest revision as of 18:04, 20 May 2025

Problem

Let $ABC$ be triangle with incenter $I$. A point $P$ in the interior of the triangle satisfies $\angle PBA+\angle PCA = \angle PBC+\angle PCB$. Show that $AP \geq AI$, and that equality holds if and only if $P=I.$

Solution

We have \[\angle IBP = \angle IBC - \angle PBC = \frac{1}{2} \angle ABC - \angle PBC = \frac{1}{2}(\angle PCB - \angle PCA).\]

and similarly \[\angle ICP = \angle PCB - \angle ICB = \angle PCB - \frac{1}{2} \angle ACB = \frac{1}{2}(\angle PBA - \angle PBC).\] Since $\angle PBA + \angle PCA = \angle PBC + \angle PCB$, we have $\angle PCB - \angle PCA = \angle PBA - \angle PBC.$

It follows that \[\angle IBP = \frac{1}{2} (\angle PCB - \angle PCA) = \frac{1}{2} (\angle PBA - \angle PBC) = \angle ICP.\] Hence, $B,P,I,$ and $C$ are concyclic.


Let ray $AI$ meet the circumcircle of $\triangle  ABC\,$ at point $J$. Then, by the Incenter-Excenter Lemma, $JB=JC=JI=JP$.

Finally, $AP+JP \geq AJ = AI+IJ$ (since triangle APJ can be degenerate, which happens only when $P=I$), but $JI=JP$; hence $AP \geq AI$ and we are done.


By Mengsay LOEM , Cambodia IMO Team 2015

latexed by tluo5458 :)

minor edits by lpieleanu

See Also

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