ThmDex – An index of mathematical definitions, results, and conjectures.
F13348
Formulation 0
Let $n \in \mathbb{N}$ be a D996: Natural number.
Then \begin{equation} \sum_{n = 0}^N n = \sum_{n = 0}^N (N - n) \end{equation}