ThmDex – An index of mathematical definitions, results, and conjectures.
F11613
Formulation 1
Let $q \in [0, 1)$ be an D4767: Unsigned real number.
Let $N \in 1, 2, 3 \ldots$ be a D5094: Positive integer.
Then \begin{equation} q^0 + q^1 + q^2 + \cdots + q^N = \frac{1 - q^{N + 1}}{1 - q} = \frac{q^{N + 1} - 1}{q - 1} \end{equation}