helphome pageduck scriptspecificationfirst proof pagepage 3page 2 1 2 3

Sum of the First n Natural Numbers


The Induction Step

We want to prove
( N0  : Nat  )
            sum(N0) + sum(N0) = N0 * (s N0)
       implies
            sum(s N0) + sum(s N0) = (s N0) * (s (s N0)) .
We take the following steps:

And thus the main goal is proved.

BOBJ proof scoreLeft    Up    Down    Right   
 

       This page was generated by Kumo on Tue Feb 13 17:31:26 PST 2001.