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

At: sum arith

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

By:
Auto
THEN
Inst Thm* n:, a,b:. sum(a+bi | i < n)2 = n(a+a+b(n-1)) [n;a;b]


Generated subgoal:

11. 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)
7 steps

About:
intnatural_numberaddsubtractmultiplydivideequalall

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