Trigonometry/Circles and Triangles/The Incircle

The incircle of a triangle is the unique circle that has the three sides of the triangle as tangents. It is the largest circle lying entirely within a triangle.

Its centre, the incentre of the triangle, is at the intersection of the bisectors of the three angles of the triangle. This can be explained as follows:

• The bisector of $\mathrm{\angle }ABC$ is the set of points equidistant from the line $\overline{AB}$ and $\overline{BC}$.
• The bisector of $\mathrm{\angle }ACB$ is the set of points equidistant from the line $\overline{BC}$ and $\overline{AC}$.
• The point where those two lines intersect is both equidistant from $\overline{AB}$ and $\overline{BC}$ and equidistant form $\overline{BC}$ and $\overline{AC}$. So the intersection point's distance from $\overline{AB}$ is the same as its distance to $\overline{BC}$ is the same as its distance to $\overline{AC}$. So it is equidistant from $\overline{AB}$ and $\overline{AC}$ and hence lies on the bisector of $\mathrm{\angle }BAC$.
• Where the three bisectors cross is equidistant from $\overline{AB}$,$\overline{BC}$ and $\overline{AC}$. Hence a circle with that point as centre can be tangent to all three lines.

Calculating the radius

Its radius, the inradius (usually denoted by r) is given by r = K/s, where K is the area of the triangle and s is the semiperimeter (a+b+c)/2 (a, b and c being the sides). To prove this, note that the lines joining the angles to the incentre divide the triangle into three smaller triangles, with bases a, b and c respectively and each with height r. The total area of these three triangles, hence the area K of the original triangle, is ar/2 + br/2 + cr/2. Rearranging, the result follows.

Applying Heron's theorem, $r=\sqrt{(s-a)(s-b)(s-c)/s}$

If the circumradius of the triangle is R, K$R=\frac{abc}{4}$. Combining this with the formula for r, $Rr=\frac{abc}{4s}$.

The distance of the incentre from A is 4Rsin(Template:Frac)sin(Template:Frac), and similarly for the other vertices.

The square of the distance between the circumcentre and incentre is R(R-2r). It follows that R > 2r unless the two centres coincide (which only happens for an equilateral triangle).

Another formula for the radius

Let I be the incentre. Consider the triangle BIC. Let D be the point where the incircle touches BC; the angles IDB, IDC are right angles.

Angle IBD = Template:Frac and angle ICD = Template:Frac.

BD = r cot(Template:Frac); CD = r cot(Template:Frac); BD+CD = BC = a.

$r(\cot \left(\frac{B}{2}\right)+\cot \left(\frac{C}{2}\right))=a$

$r=\frac{a}{\cot (\frac{B}{2})+\cot (\frac{C}{2})}=a\frac{\sin (\frac{B}{2})\sin (\frac{C}{2})}{\cos (\frac{A}{2})}$

By symmetry, there are two other formulae involving b and c respectively.

Substituting a = 2Rsin(A), it follows that

$r=4R\sin \left(\frac{A}{2}\right)\sin \left(\frac{B}{2}\right)\sin \left(\frac{C}{2}\right)$.

Template:Frac thus equals Template:Frac for an equilateral triangle, and it can be shown that it is less than this for any other triangle.

The Equal Incircles Theorem

Consider a straight line and a point X not on that line. Choose points A, B, C, D, E, F ... such that the triangles XAB, XBC, XCD, XDE, XEF, ... have equal inradii. Then the triangles XAC, XBD, XCE, XDF, ... will have inradii equal to each other (though larger than the inradius of XAB). Similarly, the triangles XAD, XBE, XCF, will have inradii equal to each other and so on.

Another circle

There are three points where the angle bisectors intersect the opposite sides. These three points define a circle that will, in general, cut each side twice, defining three chords of the circle. (In an isosceles triangle, the base is a tangent to the circle; in an equilateral triangle, all three sides are tangents.) The length of the longest chord equals the sum of the lengths of the other two chords.