Theorems
Salem number
Pisot numbers
Unequality for rational numbers
The Lagrange points of the restricted three-body problem
Gauss-Lucas theorem
The hard hexagon entropy constant