Proof By Induction:

We see {Pascal 1} = [1] is correct and so is {Pascal 2} = [1 1].

Assume {Pascal N-1} is correct. Then

{Pascal N} = {AddList {ShiftLeft {Pascal N-1}} {ShiftRight {Pascal N-1}}}

is nth row of pascal's triangle. Hence {Pascal N} is correct.

Note: Actually we should also prove that all three auxiliary functions are

also correct, which will be similar arguments.

Subscribe to:
Post Comments (Atom)

## No comments:

## Post a Comment