ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F9743 on D2137: Basic real golden ratio
F9743
Formulation 1
The basic real golden ratio is the D993: Real number \begin{equation} \frac{1 + \sqrt{5}}{2} \end{equation}