Properties used in Proofs Angle bisector-divides angle into two congruent parts Reflective property—a line segment or angle is congruent to itself Definition of midpoint—a midpoint divides a line segment into two congruent parts SSS SAS ASA AAS HL Alternate Interior angles—if two parallel lines are cut by a transversal the alternate interior angles are congruent CPCTC-corresponding parts of congruent triangles are congruent; this is almost always used after the triangles are proven congruent