document.write( "Question 935779: How do I prove that the angle bisector of the vertex angle of an isosceles triangle is an altitude? \n" ); document.write( "
Algebra.Com's Answer #569198 by KMST(5328)\"\" \"About 
You can put this solution on YOUR website!

\n" ); document.write( "The angle bisector (ray OB) divides the vertex angle AOC into two congruent angles (angle AOB and angle COB).
\n" ); document.write( "It also divides the triangle into two triangles (triangle AOB and triangle COB).
\n" ); document.write( "You can prove that those two triangles are congruent.
\n" ); document.write( "They have one pair of congruent angles (angle AOB and angle COB).
\n" ); document.write( "Those angles are flanked by pairs of congruent sides,
\n" ); document.write( "because side OA is congruent with side OC (by definition of isosceles triangle),
\n" ); document.write( "and side OB is congruent with itself.
\n" ); document.write( "So, by SAS congruency, triangle AOB and triangle COB are congruent.
\n" ); document.write( "Then, by CPCTC (Congruent Parts of Congruent Triangles are Congruent),
\n" ); document.write( "angle ABO and angle CBO are congruent,
\n" ); document.write( "but since points A, B, and C are colinear,
\n" ); document.write( "angles ABO and CBO being congruent means they are right angles.
\n" ); document.write( "
\n" ); document.write( "Segment BO is the altitude of triangle ACO,
\n" ); document.write( "because it is perpendicular to base AC,
\n" ); document.write( "and goes from a point on line AC to vertex O.
\n" ); document.write( "
\n" );