Difference between revisions of "2006 IMO Problems/Problem 1"
Mengsay loem (talk | contribs) (→Solution) |
(latexed) |
||
Line 3: | Line 3: | ||
==Solution== | ==Solution== | ||
− | We have angle | + | We have |
− | and similarly angle | + | <cmath>\angle IBP = \angle IBC - \angle PBC = \frac{1}{2} \angle ABC - \angle PBC = \frac{1}{2}(\angle PBA - \angle PBC)</cmath> (1) |
− | + | and similarly <cmath>\angle ICP = \angle PCB - \angle ICB = \angle PCB - \frac{1}{2} \angle ACB = \frac{1}{2}(\angle PCB - \angle PCA)</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. | |
+ | |||
+ | Let ray <math>AI</math> meet the circumcircle of <math>\Delta 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), 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 :) |
Revision as of 17:41, 18 August 2017
Problem
Let be triangle with incenter . A point in the interior of the triangle satisfies . Show that , and that equality holds if and only if
Solution
We have (1) and similarly (2). Since , we have (3).
By (1), (2), and (3), we get ; hence are concyclic.
Let ray meet the circumcircle of at point . Then, by the Incenter-Excenter Lemma, .
Finally, (since triangle APJ can be degenerate), but ; hence and we are done.
By Mengsay LOEM , Cambodia IMO Team 2015
latexed by tluo5458 :)