Glossary

Exact geometric, trigonometric, and number-theoretic terms referenced across the GEOMETOR Knott Mathematical Catalog.

Golden Ratio (Φ, φ)

Knott: Φ = (1+√5)/2, φ = (√5−1)/2

Positive root Φ = (1+√5)/2 ≈ 1.6180339887 of x^2 − x − 1 = 0, paired in Dr. Ron Knott’s notation with its reciprocal φ = Φ − 1 = 1/Φ ≈ 0.6180339887 (corresponding to SymPy/GEOMETOR sp.GoldenRatio and 1/sp.GoldenRatio).

Extreme and Mean Ratio

ἄκρος καὶ μέσος λόγος (Euclid VI.def.3)

Division of a straight segment AB at G such that the whole AB is to the greater part AG as AG is to the lesser part GB (AB : AG = AG : GB = Φ).

Cross-Ratio

(A, B; C, D)

Projective four-point invariant (A−C)(B−D) / ((A−D)(B−C)) preserved under all central projections and linear fractional transformations.

Golden Rectangle

1 × Φ or φ × 1 rectangle

Rectangle whose side lengths stand in the Golden Ratio Φ : 1; removing a square gnomon leaves a congruent-shaped daughter golden rectangle rotated by 90°.

Gnomon

γνώμων

Geometric figure which, when added to or removed from a given figure, leaves a new figure similar to the original (such as a unit square adjoined to a golden rectangle or an obtuse golden triangle adjoined to an acute golden triangle).

Quadrance

Q(A, B) = (x₂−x₁)² + (y₂−y₁)²

Exact squared Euclidean separation between two points in Rational Trigonometry, remaining purely polynomial over the coordinate field without square roots.

Spread

s(l₁, l₂) = sin² θ

Exact Rational Trigonometry measure of separation between two lines, defined algebraically in [0, 1] with s = 0 for parallel lines and s = 1 for perpendicular lines.

Golden Triangle (Acute)

72°–72°–36° isosceles triangle

Euclid IV.10 isosceles triangle with leg-to-base ratio Φ : 1 and exact spreads s(72°) = (5+√5)/8 and s(36°) = (5−√5)/8.

Golden Gnomon (Obtuse)

36°–36°–108° isosceles triangle

Obtuse isosceles triangle with base-to-leg ratio Φ : 1 (or 1 : φ) and apex spread s(108°) = (5+√5)/8.

Pentagram

{5/2} regular star pentagon

Five-pointed star formed by the five diagonals of a regular pentagon, cutting every diagonal into segments in geometric progression φ² : φ : 1 : Φ.

Kepler Triangle

(1, √Φ, Φ) right triangle

Unique right triangle up to similarity whose side lengths (1, √Φ, Φ) — and side quadrances (1, Φ, Φ²) — form a geometric progression.

Penrose Prototiles (P2 / P3)

Kite & Dart / Thick & Thin Rhombs

Roger Penrose’s golden-triangle and golden-gnomon prototile pairs with exact area ratio Φ : 1 that tile the plane only nonperiodically under matching rules.

Constructible Angle

Straightedge-and-compass angle

Angle whose sine and cosine lie in an iterated quadratic extension of Q; integer-degree constructible angles are exactly the multiples of 3°.

Golden Rhombohedra

Acute (prolate) & Obtuse (oblate) 3D tiles

Pair of hexahedra bounded by six congruent golden rhombi of diagonal ratio Φ : 1 with volume ratio Φ : 1, serving as 3D quasicrystal and rhombic-triacontahedron building blocks.

Simple Continued Fraction

[a₀; a₁, a₂, …]

Canonical nested-reciprocal representation of a real number; Φ = [1; 1, 1, …] has minimal partial quotients and slowest possible rational convergence.

Cassini’s Identity

F_{n−1} F_{n+1} − F_n² = (−1)ⁿ

Determinant invariant of the Fibonacci Q-matrix ((1, 1), (1, 0))ⁿ governing convergent errors, area-paradox dissections, and Fibonacci arctangent telescoping.

Phigit (Base-Φ Digit)

George Bergman’s base-Φ numeral

Binary digit in {0, 1} weighting integer powers Φ^k; canonical minimal phigit form forbids adjacent 1s via the carry law 011_Φ = 100_Φ.

Zeckendorf Representation

Canonical non-consecutive Fibonacci sum

Unique representation of every positive integer N as a sum of non-adjacent Fibonacci numbers F_{k₁} + … + F_{k_r} (k_i ≥ k_{i+1} + 2, k_r ≥ 2).

Golden String (Fibonacci Word)

1011010110110101101…

Infinite Sturmian sequence fixed by the substitution 1 ↦ 10, 0 ↦ 1 and generated equivalently by Beatty differences ⌊(n+1)φ⌋ − ⌊nφ⌋ or lattice crossings of y = φ x.

Beatty Complementary Pair

(⌊nΦ⌋, ⌊nΦ²⌋)

Disjoint, exhaustive partition of the positive integers into lower Wythoff numbers A_n = ⌊nΦ⌋ and upper Wythoff numbers B_n = ⌊nΦ²⌋ = A_n + n.

Wythoff Array

W(r, c) = ⌊(r+1)Φ⌋ F_{c+2} + r F_{c+1}

Bijective two-dimensional interspersion array of all positive integers whose rows are generalized Fibonacci sequences classified by Zeckendorf shift classes.

Stolarsky Array

Nearest-integer Golden Ratio interspersion

Bijective array of all positive integers seeded by missing minimal integers and the nearest-integer Golden Ratio recurrence b = ⌊aΦ + 1/2⌋.

Fibonomial Coefficient

C(k, j)_F

Fibonacci analogue of the binomial coefficient formed from descending and ascending products of Fibonacci numbers, governing linear recurrences of k-th powers F_n^k.

Golden Angle

360° / Φ² = 360° φ² ≈ 137.50776°

Minor circular sector obtained by dividing a full 2π revolution in extreme and mean ratio, optimizing radial packing in botanical phyllotaxis.

Parastichy

Opposing Fibonacci contact spirals (F_k, F_{k+1})

Left- and right-handed visible spiral families in cylindrical or planar phyllotaxis whose counts advance through consecutive Fibonacci pairs.