---

Step * 2 1 2 of Lemma triangular-reciprocal-series-sum


1. lim n→∞.r(2) - (r(2)/r(n + 2)) = r(2)
2. ∀i:ℕ. (1 ≤ t(i + 1))
3. ∀i:ℕ. (¬(t(i + 1) = 0 ∈ ℤ))
4. n : ℕ
5. Σ{(r1/r(t(k + 1))) | 0≤k≤n} = Σ{(r(2)/r(k + 1)) + (r(-2)/r(k + 2)) | 0≤k≤n}
⊢ (r(2) - (r(2)/r(n + 2))) = Σ{(r1/r(t(i + 1))) | 0≤i≤n}
BY
{ (RWW "-1 rsum_linearity1" 0⋅ THEN Auto)⋅ }

1
1. lim n→∞.r(2) - (r(2)/r(n + 2)) = r(2)
2. ∀i:ℕ. (1 ≤ t(i + 1))
3. ∀i:ℕ. (¬(t(i + 1) = 0 ∈ ℤ))
4. n : ℕ
5. Σ{(r1/r(t(k + 1))) | 0≤k≤n} = Σ{(r(2)/r(k + 1)) + (r(-2)/r(k + 2)) | 0≤k≤n}
⊢ (r(2) - (r(2)/r(n + 2))) = (Σ{(r(2)/r(i + 1)) | 0≤i≤n} + Σ{(r(-2)/r(i + 2)) | 0≤i≤n})

---

Latex:

---

Latex:

1.  lim  n\mrightarrow{}\minfty{}.r(2)  -  (r(2)/r(n  +  2))  =  r(2)
2.  \mforall{}i:\mBbbN{}.  (1  \mleq{}  t(i  +  1))
3.  \mforall{}i:\mBbbN{}.  (\mneg{}(t(i  +  1)  =  0))
4.  n  :  \mBbbN{}
5.  \mSigma{}\{(r1/r(t(k  +  1)))  |  0\mleq{}k\mleq{}n\}  =  \mSigma{}\{(r(2)/r(k  +  1))  +  (r(-2)/r(k  +  2))  |  0\mleq{}k\mleq{}n\}
\mvdash{}  (r(2)  -  (r(2)/r(n  +  2)))  =  \mSigma{}\{(r1/r(t(i  +  1)))  |  0\mleq{}i\mleq{}n\}


By

---

Latex:
(RWW  "-1  rsum\_linearity1"  0\mcdot{}  THEN  Auto)\mcdot{}

---

Home Index