Incenter

It is a theorem in Euclidean geometry that the three interior angle bisectors of a triangle meet in a single point. In Euclid's Elements, Proposition 4 of Book IV proves that this point is also the center of the inscribed circle of the triangle. The incircle itself may be constructed by dropping a perpendicular from the incenter to one of the sides of the triangle and drawing a circle with that segment as its radius. The incenter lies at equal distances from the three line segments forming the sides of the triangle, and also from the three lines containing those segments. It is the only point equally distant from the line segments, but there are three more points equally distant from the lines, the excenters, which form the centers of the excircles of the given triangle. The incenter and excenters together form an orthocentric system. The medial axis of a polygon is the set of points whose nearest neighbor on the polygon is not unique: these points are equidistant from two or more sides of the polygon. One method for computing medial axes is using the grassfire transform, in which one forms a continuous sequence of offset curves, each at some fixed distance from the polygon; the medial axis is traced out by the vertices of these curves. In the case of a triangle, the medial axis consists of three segments of the angle bisectors, connecting the vertices of the triangle to the incenter, which is the unique point on the innermost offset curve. The straight skeleton, defined in a similar way from a different type of offset curve, coincides with the medial axis for convex polygons and so also has its junction at the incenter. ==Proofs==

Ratio proof Let the bisection of \angle{BAC} and \overline{BC} meet at D, and the bisection of \angle{ABC} and \overline{AC} meet at E, and \overline{AD} and \overline{BE} meet at {I}. And let \overline{CI}and \overline{AB} meet at {F}. Then we have to prove that \overline{CI} is the bisection of \angle{ACB}. In \triangle{ACF}, \overline{AC}:\overline{AF}=\overline{CI}:\overline{IF}, by the angle bisector theorem. In \triangle{BCF}, \overline{BC}:\overline{BF}=\overline{CI}:\overline{IF}. Therefore, \overline{AC}:\overline{AF}=\overline{BC}:\overline{BF}, so that \overline{AC}:\overline{BC}=\overline{AF}:\overline{BF}. So \overline{CF} is the bisection of \angle{ACB}. Perpendicular proof A line that is an angle bisector is equidistant from both of its lines when measuring by the perpendicular. At the point where two bisectors intersect, this point is perpendicularly equidistant from the final angle's forming lines (because they are the same distance from this angles opposite edge), and therefore lies on its angle bisector line. ==Relation to triangle sides and vertices==

Trilinear coordinates The trilinear coordinates for a point in the triangle give the ratio of distances to the triangle sides. Trilinear coordinates for the incenter are given by :\frac{IA\cdot IA}{CA \cdot AB}+ \frac{IB \cdot IB}{AB\cdot BC} + \frac{IC \cdot IC}{BC\cdot CA} = 1. Additionally, :IA \cdot IB \cdot IC=4Rr^2, where R and r are the triangle's circumradius and inradius respectively. ==Related constructions==

Other centers The distance from the incenter to the centroid is less than one third the length of the longest median of the triangle. By Euler's theorem in geometry, the squared distance from the incenter I to the circumcenter O is given by :OI^2=R(R-2r), where R and r are the circumradius and the inradius respectively; thus the circumradius is at least twice the inradius, with equality only in the equilateral case. The distance from the incenter to the center N of the nine point circle is :IH^2=2r^2-4R^2\cos A \cos B \cos C. Inequalities include: :IG The incenter is the Nagel point of the medial triangle (the triangle whose vertices are the midpoints of the sides) and therefore lies inside this triangle. Conversely the Nagel point of any triangle is the incenter of its anticomplementary triangle. The incenter must lie in the interior of a disk whose diameter connects the centroid G and the orthocenter H (the orthocentroidal disk), but it cannot coincide with the nine-point center, whose position is fixed 1/4 of the way along the diameter (closer to G). Any other point within the orthocentroidal disk is the incenter of a unique triangle. Euler line The Euler line of a triangle is a line passing through its circumcenter, centroid, and orthocenter, among other points. The incenter generally does not lie on the Euler line; it is on the Euler line only for isosceles triangles, for which the Euler line coincides with the symmetry axis of the triangle and contains all triangle centers. Denoting the distance from the incenter to the Euler line as d, the length of the longest median as v, the length of the longest side as u, the circumradius as R, the length of the Euler line segment from the orthocenter to the circumcenter as e, and the semiperimeter as s, the following inequalities hold: :\frac{d}{s} :d :d Area and perimeter splitters Any line through a triangle that splits both the triangle's area and its perimeter in half goes through the triangle's incenter; every line through the incenter that splits the area in half also splits the perimeter in half. There are either one, two, or three of these lines for any given triangle. Relative distances from an angle bisector Let X be a variable point on the internal angle bisector of A. Then X = I (the incenter) maximizes or minimizes the ratio \tfrac{BX}{CX} along that angle bisector. ==References==