A circle that in internally tangent to two sides of a triangle and to the circumcircle is called a mixtilinear incircle. There are three mixtilinear incircles, one corresponding to each angle of the triangle.
The radius of the -mixtilinear incircle inscribed in is given by
(1)
|
where is the inradius of the reference triangle (Durell and Robson 1935), and the center function is
(2)
|
These can be derived by considering exact trilinear coordinates and noting the condition that the -circle be tangent to sides and means that
(3)
|
Let be the distance between the centers of the -circle and circumcircle which can be found using the trilinear distance formula, then since these two circles are tangent internally,
(4)
|
Combining this with the condition for exact trilinears then gives two equation that can be solved for the two unknowns and .
The points of contact of the -mixtilinear incircle with the sides and are found by intersecting these sides with the line through the incenter perpendicular to the angle bisector (Veldkamp 1976-1977).
The radical line of the two mixtilinear incircles tangent to side passes through the midpoint of the arc not containing , and through the midpoint of the tangent radius of the incircle to (Nguyen and Salazar 2006).
Let be the point of tangency of the mixtilinear incircle inscribed in and the circumcircle. Similarly define and . Then the lines , , and are concurrent. The point of concurrency is the external similitude center of the circumcircle and incircle, which is Kimberling center (Yiu 1999).
The triangle joining the centers is the mixtilinear triangle and its circumcircle is the mixtilinear circle.