---

Step * 1 of Lemma rsum-rminus


1. [n] : ℤ
2. [m] : ℤ
3. [x] : {n..m + 1-} ⟶ ℝ
4. Σ{r(-1) * x[k] | n≤k≤m} = (r(-1) * Σ{x[k] | n≤k≤m})
⊢ Σ{-(x[k]) | n≤k≤m} = -(Σ{x[k] | n≤k≤m})
BY
{ (nRNorm (-1) THEN Auto) }

---

Latex:

---

Latex:

1.  [n]  :  \mBbbZ{}
2.  [m]  :  \mBbbZ{}
3.  [x]  :  \{n..m  +  1\msupminus{}\}  {}\mrightarrow{}  \mBbbR{}
4.  \mSigma{}\{r(-1)  *  x[k]  |  n\mleq{}k\mleq{}m\}  =  (r(-1)  *  \mSigma{}\{x[k]  |  n\mleq{}k\mleq{}m\})
\mvdash{}  \mSigma{}\{-(x[k])  |  n\mleq{}k\mleq{}m\}  =  -(\mSigma{}\{x[k]  |  n\mleq{}k\mleq{}m\})


By

---

Latex:
(nRNorm  (-1)  THEN  Auto)

---

Home Index