√2 is the length of the diagonal of the unit square and φ is the length of the diagonal of the regular pentagon with side 1Fermat's Library @fermatslibrary · 2026-10-26