▾ 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
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
» R4207:
» R4208:
» R4211: Basic real golden ratio is limit of successive terms in the Fibonacci natural number sequence
» R4661: Integer power recurrence of basic real golden ratio