This document discusses perpendicular bisectors, angle bisectors, and how to use them to find the circumcenter and incenter of a triangle. The perpendicular bisector theorem states that if a point is on the perpendicular bisector of a segment, it is equidistant from the endpoints. The angle bisector theorem similarly states that if a point is on the bisector of an angle, it is equidistant from the sides of the angle. The circumcenter is defined as the intersection of the perpendicular bisectors of a triangle, while the incenter is the intersection of the angle bisectors.