The Mannheim circles of a triangle are three circles each tangent to two sides and tangent internally to the circumcircle. The Mannheim circles are also called mixtilinear incircles.
Mannheim_circles.mac