\n" );
document.write( "LHS is
+...+
(1)
\n" );
document.write( "RHS is
(2)\r
\n" );
document.write( "
\n" );
document.write( "\n" );
document.write( "Base case:
\n" );
document.write( "n=1: LHS is
= 1
\n" );
document.write( " RHS is
= (4-1)/3 }}} = 1 \r
\n" );
document.write( "\n" );
document.write( "Base case holds.\r
\n" );
document.write( "\n" );
document.write( "Hypothesis:
\n" );
document.write( " Assume LHS = RHS for n=k (*)\r
\n" );
document.write( "
\n" );
document.write( "\n" );
document.write( "Step case:
\n" );
document.write( " Let n=k+1 (recall the index k counts by 1 and the 2k-1 in the LHS & RHS is what makes sure you have odd numbers only)\r
\n" );
document.write( "\n" );
document.write( "What you need to do now, is show LHS=RHS for n=k+1, then the proof is complete.\r
\n" );
document.write( "\n" );
document.write( "LHS is
+...+
+
\n" );
document.write( "Where I have separated the (k+1)th term. The terms in green are the n=k case, which by the hypothesis (*), can be replaced by
, giving:\r
\n" );
document.write( "\n" );
document.write( "LHS =
+
\r
\n" );
document.write( "\n" );
document.write( " ...expand and simplify...
\n" );
document.write( " =
\r
\n" );
document.write( "\n" );
document.write( " ... factor (I used WolframAlpha, you could also guess k+1 as likely
\n" );
document.write( "factor and do the division)...\r
\n" );
document.write( "\n" );
document.write( " = 
\n" );
document.write( "
\n" );
document.write( "Is this last expression the same as (2)?
\n" );
document.write( " Let u=k+1, --> k=u-1
\n" );
document.write( " Then the last expression above, in terms of u, is:
\n" );
document.write( " = 
\n" );
document.write( " = 
\n" );
document.write( " =
Yes, it is the same (replace u with n). Proof complete.\r
\n" );
document.write( "\n" );
document.write( "
\n" );
document.write( "