\r\n" );
document.write( "\r\n" );
document.write( "if two sides of one triangle are congruent to two sides of another triangle, then\r\n" );
document.write( "the third side of the triangle with the larger included angle is longer. \r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "GA congruent to GB\r\n" );
document.write( "angle A congruent to angle B\r\n" );
document.write( "AX congruent to YB\r\n" );
document.write( "GX congruent to GY\r\n" );
document.write( "triangle XGY is isosceles\r\n" );
document.write( "GX congruent to GY\r\n" );
document.write( "AX congruent to XY\r\n" );
document.write( "angles GXY and GYX are acute (base angles of an isosceles triangle)\r\n" );
document.write( "angle GXA is obtuse (supplementary to an acute angle)\r\n" );
document.write( "GA > GX (by the SAS inequality theorem.\r\n" );
document.write( "GA > GY (since GX is congruent to GY <-----------STEP M \r\n" );
document.write( "\r\n" );
document.write( "For contradiction, assume angle XGY congruent to angle XGA \r\n" );
document.write( "\r\n" );
document.write( "Extend GX to twice its length to E such that GX congruent to EX.\r\n" );
document.write( "Draw YE \r\n" );
document.write( "AX congruent to XY (given)\r\n" );
document.write( "GX congruent to EX (by construction)\r\n" );
document.write( "angle GXA congruent to angle EXY (vertical angles are congruent)\r\n" );
document.write( "triangle GAX and triangle EYX are congruent by SAS\r\n" );
document.write( "GA congruent to EY (c.p.c.t) <----------------- STEP N \r\n" );
document.write( "angle XGA congruent to angle YEX (c.p.c.t.)\r\n" );
document.write( "angle YEX congruent to angle XGY\r\n" );
document.write( "Triangle GYE is isosceles (base angles congruent)\r\n" );
document.write( "GY congruent to EY (c.p.c.t) <------------------ STEP P\r\n" );
document.write( " \r\n" );
document.write( "From steps N and P above,\r\n" );
document.write( "GA is congruent to GY <----------------- Step Q\r\n" );
document.write( "\r\n" );
document.write( "Step Q contradicts Step M.\r\n" );
document.write( "\r\n" );
document.write( "Therefore, the assumption that angle XGY congruent to angle XGA\r\n" );
document.write( "is false, so the student did not trisect angle AGB. \r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" );
document.write( "