ThmDex – An index of mathematical definitions, results, and conjectures.
Integer power recurrence of basic real golden ratio
Formulation 0
Let $\varphi : = (1 + \sqrt{5}) / 2$ be the D2137: Basic real golden ratio such that
(i) \begin{equation} \varphi_* : = 1 - \varphi \end{equation}
Let $n \in \mathbb{Z}$ be a D995: Integer.
Then
(1) \begin{equation} \varphi^n = \varphi^{n - 1} + \varphi^{n - 2} \end{equation}
(2) \begin{equation} \varphi^n_* = \varphi^{n - 1}_* + \varphi^{n - 2}_* \end{equation}