Mathematica 9 is now available
Student Support Forum
-----
Student Support Forum: 'Simple Proofs using Mathematical Induction' topicStudent Support Forum > General > "Simple Proofs using Mathematical Induction"

Help | Reply To Topic
Author Comment/Response
Daryl Robbins
11/08/02 2:08pm

Is there any simple way to program Mathematica to do or partially do simple proofs using Mathematical Induction? For example, 1 + 2 + 3 + ... + k = k(k+1)/2


Sum[p,{p,1,k}] == k(k+1)/2

I have got it to simplify a sum with symbolic variables to a static expression, but I can't figure out how to make it prove things. Any help would be greatly appreciated, thank you.

/Daryl

URL: ,
Help | Reply To Topic