Difference between revisions of "2009 OIM Problems/Problem 4"

(Created page with "== Problem == Let <math>ABC</math> be a triangle with <math>AB \ne AC</math>. Let <math>I</math> be the incenter of <math>ABC</math> and <math>P</math> the other point of inte...")
 
 
Line 5: Line 5:
  
 
== Solution ==
 
== Solution ==
{{solution}}
+
Clearly <math>P</math> is the midpoint of arc <math>BAC</math>. Let <math>BI</math>, <math>CI</math> intersect the circumcircle of <math>ABC</math> at <math>D</math>, <math>E</math> respectively. It is well known that <math>PDIE</math> is a parallelogram. Therefore, <math>\angle ICJ=\angle ECJ=\angle EPJ=\angle BEJ</math>, which implies BI tangent to the circumcircle of <math>JIC</math>. Similarly, <math>CI</math> is tangent to the circumcircle of <math>JIB</math>.
  
 
== See also ==
 
== See also ==
 
[[OIM Problems and Solutions]]
 
[[OIM Problems and Solutions]]

Latest revision as of 03:59, 26 March 2024

Problem

Let $ABC$ be a triangle with $AB \ne AC$. Let $I$ be the incenter of $ABC$ and $P$ the other point of intersection of the exterior bisector of angle $A$ with the circumcircle of $ABC$. The line $PI$ intersects for the second time the circumcircle of $ABC$ at point $J$. Show that the circumcircles of triangles $JIB$ and $JIC$ are tangent to $IC$ and $IB$, respectively.

~translated into English by Tomas Diaz. ~orders@tomasdiaz.com

Solution

Clearly $P$ is the midpoint of arc $BAC$. Let $BI$, $CI$ intersect the circumcircle of $ABC$ at $D$, $E$ respectively. It is well known that $PDIE$ is a parallelogram. Therefore, $\angle ICJ=\angle ECJ=\angle EPJ=\angle BEJ$, which implies BI tangent to the circumcircle of $JIC$. Similarly, $CI$ is tangent to the circumcircle of $JIB$.

See also

OIM Problems and Solutions