ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Binary cartesian set product
▼ Binary relation
▼ Binary endorelation
▼ Preordering relation
▼ Partial ordering relation
▼ Ordering relation
▼ Ordered set
▼ Dedekind cut
▼ Set of real numbers
▼ Real number
Definition D2137
Basic real golden ratio
Formulation 1
The basic real golden ratio is the D993: Real number \begin{equation} \frac{1 + \sqrt{5}}{2} \end{equation}
Results
▶ R4206: Basic real golden ratio is a root of a quadratic basic real polynomial