section_path: Properties/Points, lines, and circles associated with a triangle
section_name: Points, lines, and circles associated with a triangle
paragraph_text: Points, lines, and circles associated with a triangle
  
  Each triangle has many special points inside it, on its edges, or otherwise associated with it. They are constructed by finding three lines associated symmetrically with the three sides (or vertices) and then proving that the three lines meet in a single point. An important tool for proving the existence of these points is Ceva's theorem, which gives a criterion for determining when three such lines are concurrent. Similarly, lines associated with a triangle are often constructed by proving that three symmetrically constructed points are collinear; here Menelaus' theorem gives a useful general criterion. In this section, just a few of the most commonly encountered constructions are explained.
  
  A perpendicular bisector of a side of a triangle is a straight line passing through the midpoint of the side and being perpendicular to it, forming a right angle with it. The three perpendicular bisectors meet in a single point, the triangle's circumcenter; this point is the center of the circumcircle, the circle passing through all three vertices. Thales' theorem implies that if the circumcenter is located on the side of the triangle, then the angle opposite that side is a right angle. If the circumcenter is located inside the triangle, then the triangle is acute; if the circumcenter is located outside the triangle, then the triangle is obtuse.
  
  An altitude of a triangle is a straight line through a vertex and perpendicular to the opposite side. This opposite side is called the base of the altitude, and the point where the altitude intersects the base (or its extension) is called the foot of the altitude. The length of the altitude is the distance between the base and the vertex. The three altitudes intersect in a single point, called the orthocenter of the triangle. The orthocenter lies inside the triangle if and only if the triangle is acute.
  
  An angle bisector of a triangle is a straight line through a vertex that cuts the corresponding angle in half. The three angle bisectors intersect in a single point, the incenter, which is the center of the triangle's incircle. The incircle is the circle that lies inside the triangle and touches all three sides. Its radius is called the inradius. There are three other important circles, the excircles; they lie outside the triangle and touch one side, as well as the extensions of the other two. The centers of the incircles and excircles form an orthocentric system. The midpoints of the three sides and the feet of the three altitudes all lie on a single circle, the triangle's nine-point circle. The remaining three points for which it is named are the midpoints of the portion of altitude between the vertices and the orthocenter. The radius of the nine-point circle is half that of the circumcircle. It touches the incircle (at the Feuerbach point) and the three excircles. The orthocenter (blue point), the center of the nine-point circle (red), the centroid (orange), and the circumcenter (green) all lie on a single line, known as Euler's line (red line). The center of the nine-point circle lies at the midpoint between the orthocenter and the circumcenter, and the distance between the centroid and the circumcenter is half that between the centroid and the orthocenter. Generally, the incircle's center is not located on Euler's line.
  
  A median of a triangle is a straight line through a vertex and the midpoint of the opposite side, and divides the triangle into two equal areas. The three medians intersect in a single point, the triangle's centroid or geometric barycenter. The centroid of a rigid triangular object (cut out of a thin sheet of uniform density) is also its center of mass: the object can be balanced on its centroid in a uniform gravitational field. The centroid cuts every median in the ratio 2:1, i.e. the distance between a vertex and the centroid is twice the distance between the centroid and the midpoint of the opposite side. If one reflects a median in the angle bisector that passes through the same vertex, one obtains a symmedian. The three symmedians intersect in a single point, the symmedian point of the triangle.