---

Step * of Lemma sum_arith1

∀[n:ℕ]. ∀[a,b:ℤ].  ((Σ(a + (b * i) | i < n) * 2) = (n * (a + a + (b * (n - 1)))) ∈ ℤ)
BY
{ SumInd }

---

Latex:

---

Latex:
\mforall{}[n:\mBbbN{}].  \mforall{}[a,b:\mBbbZ{}].    ((\mSigma{}(a  +  (b  *  i)  |  i  <  n)  *  2)  =  (n  *  (a  +  a  +  (b  *  (n  -  1)))))


By

---

Latex:
SumInd

---

Home Index