Difference between revisions of "2006 IMO Problems/Problem 1"
(→See Also) |
Spacephysics (talk | contribs) (→Solution) |
||
Line 23: | Line 23: | ||
minor edits by lpieleanu | minor edits by lpieleanu | ||
+ | <math>\textbf{Second solution:}</math> | ||
+ | |||
+ | Firstly, call <math>x=\angle PBC + \angle PCB =\angle PBA + \angle PCA</math> | ||
+ | Then, by the triangle sum of <math>\triangle ABC</math> and <math>\triangle BPC</math>, we have: | ||
+ | <math>\angle BAC +2x=180°</math> and <math>\angle BPC +x=180°</math> | ||
+ | <math>\Rightarrow \angle BPC = 90°+\frac{\angle BAC}{2} </math> | ||
+ | |||
+ | Therefore, since <math>\angle BAC</math> is fixed and looks at fixed segment <math>BC</math>, <math>P</math> is contained within a circle <math>\pi</math> that passes through <math>B</math>, <math>C</math> and <math>I</math> (since we can quickly access that it satisfies <math>\angle BIC = 90°+\frac{\angle BAC}{2} </math>). | ||
+ | Hence, to prove <math>AP \geq AI</math> it suffices to show that <math>AI</math> meets the center <math>O</math> of circle <math>\pi</math>, since that would directly imply that <math>I</math> is the closest point to <math>A</math> on the circle. | ||
+ | <cmath>\angle BOC=2(180°-\angle BPC)=180°-\angle BAC</cmath> | ||
+ | It follows that <math>O</math> is contained within the circumcircle of <math>\triangle ABC</math>.But since <math>O</math> is the center of circle <math>\pi</math>, <math>OB=OC=Radius</math>, meaning <math>O</math> sits at the middle point of arc <math>BC</math> of the circumcircle, therefore proving that it is contained in the angle bissector of <math>A</math> <math>\boxed{}</math>. | ||
+ | |||
+ | By Pietro Leão Baruffato :P | ||
==See Also== | ==See Also== | ||
{{IMO box|year=2006|before=First Problem|num-a=2}} | {{IMO box|year=2006|before=First Problem|num-a=2}} |
Revision as of 18:47, 20 May 2025
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
and similarly
Since
, we have
It follows that Hence,
and
are concyclic.
Let ray meet the circumcircle of
at point
. Then, by the Incenter-Excenter Lemma,
.
Finally, (since triangle APJ can be degenerate, which happens only when
), but
; hence
and we are done.
By Mengsay LOEM , Cambodia IMO Team 2015
latexed by tluo5458 :)
minor edits by lpieleanu
Firstly, call
Then, by the triangle sum of
and
, we have:
and
Therefore, since is fixed and looks at fixed segment
,
is contained within a circle
that passes through
,
and
(since we can quickly access that it satisfies
).
Hence, to prove
it suffices to show that
meets the center
of circle
, since that would directly imply that
is the closest point to
on the circle.
It follows that
is contained within the circumcircle of
.But since
is the center of circle
,
, meaning
sits at the middle point of arc
of the circumcircle, therefore proving that it is contained in the angle bissector of
.
By Pietro Leão Baruffato :P
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 |