ThmDex – An index of mathematical definitions, results, and conjectures.
F9744
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}
Then \begin{equation} \left\{ x \in \mathbb{R} : x^2 - x - 1 = 0 \right \} = \{ \varphi, \varphi_* \} \end{equation}