2. To bisect an angle
In the construction for bisecting an angle, we are
Given: AB = AC, BD = CD
To prove: angle BAD = angle CAD