In plane geometry, a mixtilinear incircle of a triangle is a circle which is tangent to two of its sides and internally tangent to its circumcircle. The mixtilinear incircle of a triangle tangent to the two sides containing vertex A {\displaystyle A} is called the A {\displaystyle A} -mixtilinear incircle. Every triangle has three unique mixtilinear incircles, one corresponding to each vertex.
Proof of existence and uniqueness The A {\displaystyle A} -excircle of triangle A B C {\displaystyle ABC} is unique. Let Φ {\displaystyle \Phi } be a transformation defined by the composition of an inversion centered at A {\displaystyle A} with radius A B ⋅ A C {\displaystyle {\sqrt {AB\cdot AC}}} and a reflection with respect to the angle bisector on A {\displaystyle A} . Since inversion and reflection are bijective and preserve touching points, then Φ {\displaystyle \Phi } does as well. Then, the image of the A {\displaystyle A} -excircle under Φ {\displaystyle \Phi } is a circle internally tangent to sides A B , A C {\displaystyle AB,AC} and the circumcircle of A B C {\displaystyle ABC} , that is, the A {\displaystyle A} -mixtilinear incircle. Therefore, the A {\displaystyle A} -mixtilinear incircle exists and is unique, and a similar argument can prove the same for the mixtilinear incircles corresponding to B {\displaystyle B} and C {\displaystyle C} .
Construction
The A {\displaystyle A} -mixtilinear incircle can be constructed with the following sequence of steps.
Draw the incenter I {\displaystyle I} by intersecting angle bisectors. Draw a line through I {\displaystyle I} perpendicular to the line A I {\displaystyle AI} , touching lines A B {\displaystyle AB} and A C {\displaystyle AC} at points D {\displaystyle D} and E {\displaystyle E} respectively. These are the tangent points of the mixtilinear circle. Draw perpendiculars to A B {\displaystyle AB} and A C {\displaystyle AC} through points D {\displaystyle D} and E {\displaystyle E} respectively and intersect them in O A {\displaystyle O_{A}} . O A {\displaystyle O_{A}} is the center of the circle, so a circle with center O A {\displaystyle O_{A}} and radius O A E {\displaystyle O_{A}E} is the mixtilinear incircle This construction is possible because of the following fact:
Verrier's lemma The incenter is the midpoint of the touching points of the mixtilinear incircle with the two sides.
… excerpt ends here. Continue reading the full article.



