This document discusses using triangle congruence and angle bisectors to construct perpendicular lines. It defines an angle bisector as a line that cuts an angle exactly in half and states that any point on an angle bisector is equidistant from the sides of the angle, according to the Angle Bisector Theorem. The document also reviews triangle congruence theorems and solving simple equations before asking multiple choice questions to test understanding.