(8steps total) PrintForm Definitions Lemmas graph 1 1 Sections Graphs Doc

At: sum arith 1

1. n:
2. a:
3. b:
4. sum(a+bi | i < n)2 = n(a+a+b(n-1))
sum(a+bi | i < n) = ((n(a+a+b(n-1))) 2)

By: Using [`n',2] (BackThru Thm* a,b:, n:. na = nb a = b)

Generated subgoal:

1 2sum(a+bi | i < n) = 2((n(a+a+b(n-1))) 2)6 steps

About:
intnatural_numberaddsubtractmultiplydivideequalimpliesall

(8steps total) PrintForm Definitions Lemmas graph 1 1 Sections Graphs Doc