The contact triangle of a triangle , also called the intouch triangle, is the triangle
formed by the points of
tangency of the incircle of
with
.
The contact triangle is therefore the pedal triangle of
with respect to the incenter
of
. It is also the Cevian
triangle of
with respect to the Gergonne point Ge (Kimberling
1998, p. 158) and the cyclocevian triangle
with respect to the same point.
The contact triangle is the polar triangle of the incircle.
The contact triangle has equivalent trilinear vertex matrices
(1)
| |||
(2)
|
The side lengths of
are
(3)
| |||
(4)
| |||
(5)
|
The area is given by
(6)
| |||
(7)
| |||
(8)
|
where ,
,
, and
are the area, inradius, semiperimeter, and circumradius, respectively,
of the reference triangle
. This is the same area as the extouch
triangle.
Beginning with an arbitrary triangle , find the contact triangle
. Then find the contact triangle
of that triangle, and so on. Then the resulting triangle
approaches an equilateral
triangle (Goldoni 2003). The analogous result also holds for iterative construction
of excentral triangles (Johnson 1929, p. 185;
Goldoni 2003).
The Gergonne point Ge of is equivalent to the symmedian
point
of
.
The following table gives the centers of the contact triangle in terms of the centers of the reference triangle for Kimberling centers
with
.