


\n" );
document.write( "\r\n" );
document.write( "induction proof:\r\n" );
document.write( " \r\n" );
document.write( "First let's see what Pk+1 would be:\r\n" );
document.write( "[That's always the first thing to do. Before you start an induction\r\n" );
document.write( "proof, you should calculate Pk+1 to see where you're headed]:\r\n" );
document.write( "To do that, replace n by k+1 in
to see what Pk+1 is, \r\n" );
document.write( "for that is what we are going for, and if we have that beforehand,\r\n" );
document.write( "we'll know when we have arrived and the proof is finished.\r\n" );
document.write( "\r\n" );
document.write( "Substituting k+1 for n in
, we have\r\n" );
document.write( "\r\n" );
document.write( "
or \r\n" );
document.write( "\r\n" );
document.write( "
or\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "Now that we know what Pk+1 is, we know where we're going, \r\n" );
document.write( "and we'll know we have arrived if and when we get
. \r\n" );
document.write( "\r\n" );
document.write( "So now we can start the proof:\r\n" );
document.write( "\r\n" );
document.write( "P1: substitute n=1, \r\n" );
document.write( "







,\r\n" );
document.write( "which is true.\r\n" );
document.write( "\r\n" );
document.write( "Assume Pk: 

\r\n" );
document.write( "\r\n" );
document.write( "Add (k+1)³ to both sides:\r\n" );
document.write( "\r\n" );
document.write( "

\r\n" );
document.write( " \r\n" );
document.write( "Get an LCD of 4\r\n" );
document.write( "\r\n" );
document.write( "

\r\n" );
document.write( "\r\n" );
document.write( "

\r\n" );
document.write( "\r\n" );
document.write( "Factor out (k+1)² in the numerator on the right:\r\n" );
document.write( "\r\n" );
document.write( "

\r\n" );
document.write( "\r\n" );
document.write( "Distribute on right:\r\n" );
document.write( "\r\n" );
document.write( "

\r\n" );
document.write( "\r\n" );
document.write( "Factor on right:\r\n" );
document.write( "\r\n" );
document.write( "

\r\n" );
document.write( "\r\n" );
document.write( "

\r\n" );
document.write( "\r\n" );
document.write( "and now we see that we have gotten Pk+1 that we found in the \r\n" );
document.write( "beginning that we were going for.\r\n" );
document.write( "\r\n" );
document.write( "So the proof is finished.\r\n" );
document.write( "\r\n" );
document.write( "So since P1 is true, P1 proves P2, P2 proves P3, P3 proves P4,\r\n" );
document.write( "etc., etc., ad infinitum.\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\r
\n" );
document.write( "
\n" );
document.write( "
\n" );
document.write( "\n" );
document.write( " \n" );
document.write( "