In the proof, what is the reason for (3)?
definition of a perpendicular bisector
sides opposite equal angles are equal
def. of an altitude
reflexive property
def. of a right triangle
