Difference between revisions of "2006 IMO Problems/Problem 1"
Spacephysics (talk | contribs) (→Solution) |
Spacephysics (talk | contribs) (→Solution) |
||
Line 35: | Line 35: | ||
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>. | 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 | + | By Pietro Leão Baruffato(a.k.a Spacephysics) :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:49, 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(a.k.a Spacephysics) :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 |