document.write( "<A HREF=/cgi-bin/jump-to-question.mpl?question=498507>Question 498507</A>: <I><SPAN STYLE=\"word-break: break-all;\"> in an indirect proof, when i have to write the statements and the reasons myself, does it matter what order its in?<BR>\n" );
document.write( " </SPAN>\n" );
document.write( "</I><HR><TABLE width=100%><TR><TD><B><A HREF=http://www.algebra.com/>Algebra.Com's</A> Answer #337054 by </B><A HREF=/tutors/aboutme.mpl?userid=MathLover1><B>MathLover1(20850)</B></A><img src=\"/images/stars/stars-13.gif\" alt=\"\" >&nbsp;<A HREF=/tutors/aboutme.mpl?userid=MathLover1><IMG SRC=http://www.algebra.com/images/aboutme-small.gif BORDER=0 alt=\"About Me\" VALIGN=MIDDLE></A>&nbsp;<IMG SRC=http://www.algebra.com/cgi-bin/show-face.mpl?user=MathLover1><BR>You can <A HREF=\"/cgi-bin/embed-solution.mpl?show=1&solution=337054\">put this solution on YOUR website!</A><BR><SPAN STYLE=\"word-break: break-all;\"> In an indirect proof, we do not directly prove that a given statement is true, but show that <IMG STYLE=\"max-width:80%;\" SRC=/cgi-bin/plot-formula.mpl?expression=all ALIGN=MIDDLE  ALT=\"all\"   DISABLED_style= \"max-width:90%; height:auto;\" > <IMG STYLE=\"max-width:80%;\" SRC=/cgi-bin/plot-formula.mpl?expression=alternatives ALIGN=MIDDLE  ALT=\"alternatives\"   DISABLED_style= \"max-width:90%; height:auto;\" > are false. \r<BR>\n" );
document.write( "\n" );
document.write( "Indirect proofs <IMG STYLE=\"max-width:80%;\" SRC=/cgi-bin/plot-formula.mpl?expression=assume ALIGN=MIDDLE  ALT=\"assume\"   DISABLED_style= \"max-width:90%; height:auto;\" > the negative, or <IMG STYLE=\"max-width:80%;\" SRC=/cgi-bin/plot-formula.mpl?expression=negation ALIGN=MIDDLE  ALT=\"negation\"   DISABLED_style= \"max-width:90%; height:auto;\" >, of the proof to be solved. \r<BR>\n" );
document.write( "\n" );
document.write( "For example, if, given limited information, we had to prove that two angles of an isosceles triangle are congruent, we would use the indirect proof principle to first assume that they are different. This is a negation. \r<BR>\n" );
document.write( "\n" );
document.write( "The idea is to <IMG STYLE=\"max-width:80%;\" SRC=/cgi-bin/plot-formula.mpl?expression=show ALIGN=MIDDLE  ALT=\"show\"   DISABLED_style= \"max-width:90%; height:auto;\" > that this <IMG STYLE=\"max-width:80%;\" SRC=/cgi-bin/plot-formula.mpl?expression=negation ALIGN=MIDDLE  ALT=\"negation\"   DISABLED_style= \"max-width:90%; height:auto;\" > is <IMG STYLE=\"max-width:80%;\" SRC=/cgi-bin/plot-formula.mpl?expression=false ALIGN=MIDDLE  ALT=\"false\"   DISABLED_style= \"max-width:90%; height:auto;\" >. To this end, an indirect proof relies on <IMG STYLE=\"max-width:80%;\" SRC=/cgi-bin/plot-formula.mpl?expression=contradictions ALIGN=MIDDLE  ALT=\"contradictions\"   DISABLED_style= \"max-width:90%; height:auto;\" > in the proof <IMG STYLE=\"max-width:80%;\" SRC=/cgi-bin/plot-formula.mpl?expression=statements ALIGN=MIDDLE  ALT=\"statements\"   DISABLED_style= \"max-width:90%; height:auto;\" >. </SPAN>\n" );
document.write( "</TD></TR></TABLE>\n" );