Day 25 · 2026.07.17

Mathematics & Art

The structure, symmetry, and visual geometry hidden behind beauty
"Mathematics, rightly viewed, possesses not only truth, but supreme beauty." — Bertrand Russell

Tessellation & Wallpaper Groups

The grammar of repetition
Geometry / Group Theory
Intuition

Escher’s lizards, angels and devils lock together to cover an entire wall. Fix your eyes on one small patch and you realize the whole picture is just “one base motif + a few repeating moves.” There are only four such moves: translation, rotation, reflection, and glide reflection (mirror then slide).

The astonishing fact: no matter how ornate the pattern, the number of essentially different ways to repeat it in the plane is exactly 17 — the “wallpaper groups.” The Moorish artisans of the Alhambra had, by intuition, laid out nearly all 17 centuries before the theorem was proved. Beauty, boxed in by a precise finite number.

unit cell
Formal definition

A wallpaper group is a discrete subgroup of the plane’s isometries (distance-preserving maps) that contains two independent translation directions. Plane isometries come in just four kinds: translation, rotation, reflection, glide reflection. How they may combine is ruled by the crystallographic restriction theorem: a periodic pattern’s rotational symmetry can only have order 1, 2, 3, 4, or 6 — never 5. Exhaust the classification and the answer is exactly 17.

Why it’s beautiful

A purely artistic question — “how many kinds of wallpaper are possible?” — has a clean, finite answer: 17. This is one of those rare moments where an aesthetic space is fully exhausted by mathematics. More beautiful still, Escher broke out of the Euclidean plane late in life: in hyperbolic geometry (his Circle Limit prints), one fish can shrink infinitely to tile a disk, because a hyperbolic plane has “infinite area” — here 5-fold and 7-fold symmetry are legal, and the tilings become infinitely many. The flat world’s constraint loosens in a curved one.

Applications

Crystallography: X-ray diffraction reads off a lattice’s symmetry group, which directly determines a material’s properties (in 3D there are 230 space groups). Deep learning: the core assumption of a convolutional network is translation equivariance — a cat shifted over is still a cat, and the CNN welds this symmetry into its architecture, which is why it is parameter-thrifty and generalizes well. Quasicrystals (2011 Nobel Prize) exhibit the forbidden 5-fold symmetry, overturning the century-old dogma that crystals must be periodic.

Essence
The freedom of ornament is locked by the grammar of symmetry into just 17 forms.
Question
Why can no periodic tiling have 5-fold rotational symmetry? Try tiling a floor with regular pentagons — gaps always remain. That “cannot-fill” geometric fact and the reason quasicrystals are revolutionary are, in the end, the same thing.

The Projective Geometry of Perspective

Making parallel lines meet
Projective Geometry
Intuition

Railroad tracks are plainly parallel, yet in a painting they meet at a single point on the horizon. Renaissance painters discovered the “vanishing point” without realizing they had invented a geometry. The core insight: treat the eye as a center of projection casting the 3D world onto a canvas — parallel lines meet because the point where they “meet at infinity” is projected onto a real, visible point on the horizon.

Projective geometry is simply “the geometry of the plane after adding points at infinity.” Here “parallel” is no longer special; any two lines intersect, some just at infinity.

horizon (line at infinity) vanishing pt V
Formal definition

The projective plane = the ordinary plane + one “line at infinity” (each direction gives one point at infinity). A projective transformation changes lengths, angles, and parallelism, yet always preserves one quantity called the cross-ratio. For four collinear points:

$(A,B;C,D)=\dfrac{\overline{AC}\cdot\overline{BD}}{\overline{BC}\cdot\overline{AD}}$

The four letters are four points on one line; the fraction is a ratio of signed lengths. Perspective stretches everything, but leaves this ratio untouched — it is the “conserved quantity” of projection, like energy in physics.

Why it’s beautiful

In Euclidean geometry “point” and “line” are unequal; in projective geometry they are perfectly symmetric — swap “point ↔ line” and “lies on ↔ passes through” in any theorem and you get another theorem. This is the principle of duality. Two points determine a linetwo lines determine a point, buy one get one free. And the parallel postulate that vexed Euclid for two millennia simply evaporates: there is no such thing as “parallel.” A trick invented for painting grew into a geometry more symmetric than Euclid’s.

Applications

The bedrock of computer vision: camera imaging is essentially a projective transformation, and SLAM, 3D reconstruction, and AR all rest on it. The homography matrix stitches panoramas and pastes virtual images onto real planes. Cross-ratio invariance is used to recover true dimensions from an obliquely shot photo (surveying, forensics). GPUs use homogeneous coordinates (i.e. projective coordinates) to unify translation, rotation, and projection into a single matrix multiply.

Essence
The vanishing point is no illusion — it is a point at infinity made flesh on a finite canvas.
Question
Why does perspective change lengths yet spare the cross-ratio? Hint: the cross-ratio is a “ratio of ratios”; dividing twice cancels the uniform scaling projection introduces. What other “quantities of quantities” survive violent transformations?

The Golden Ratio, Critically

Genuinely beautiful — just not where you were told
Number Theory / Aesthetics
Intuition

“The golden ratio $\varphi\approx1.618$ is the most beautiful proportion; the Parthenon, the Mona Lisa, even credit cards hide it” — this most-repeated claim is largely pseudoscience. Split the truth in two: as an aesthetic law it is almost entirely a retrofit, forced on with a magnifying glass (for that “golden rectangle” you first get to choose where to measure from and to); but as the mathematics of nature, $\varphi$ is real and deep. Strip off the myth and what remains is more beautiful.

φ ≈ 1.618
Formal definition

$\varphi=\dfrac{1+\sqrt5}{2}$ is the unique positive number satisfying $\varphi^2=\varphi+1$ — the cut where “whole : long part = long part : short part.” It is the limit of ratios of consecutive Fibonacci numbers ($1,1,2,3,5,8,13\ldots$), and it is the continued fraction made entirely of 1s:

$\varphi = 1+\cfrac{1}{1+\cfrac{1}{1+\cfrac{1}{1+\cdots}}}$

All 1s means it converges the slowest and is the hardest of all numbers to approximate by any fraction — hence its nickname: “the most irrational number.”

Why it’s beautiful

The real beauty of $\varphi$ is not in art criticism but in the sunflower. Plants grow leaves and seeds at the “golden angle” $\approx137.5°$ tied to $\varphi$. Why that angle? Because “hardest to approximate by a rational” means every new seed always lands in the largest gap left by earlier ones, never lining up into a wasteful row — so they pack most densely. This is not an aesthetic choice but the mathematical optimum evolution was forced into for packing efficiency. The beauty of $\varphi$ is the structure nature reveals when driven to the optimum — not a preference of the human eye.

Applications

Botany uses it to model phyllotaxis, predicting the spiral counts of pinecones, pineapples, and sunflowers (always consecutive Fibonacci numbers). Algorithms have “golden-section search,” which exploits $\varphi$’s self-similarity to pin down the extremum of a 1D function with the fewest probes. It is useful in the negative too: the golden-ratio myth is a textbook case of numerology and confirmation bias — the moment you hear “some mystical constant is everywhere,” be on guard.

Essence
The beauty of $\varphi$ is real — just mostly not in the places you were told.
Question
A paradox: precisely because $\varphi$ is the “most irrational, hardest to approximate” number, it is “most useful” in phyllotaxis and search. Why does the “hardest to exploit” property become the “most useful” one? What does “hard to approximate” buy you in each case?

Bézier Curves

Every elegant arc on your screen
Geometry / Computation
Intuition

The curve of every letter on your phone, the rounded corner of every app icon, the “accelerate then decelerate” rhythm of an animation — behind almost all of it is one thing: the Bézier curve. Its magic: you never write a complex equation; you just drag a few “control points” and the curve follows smoothly, as if pulled by magnets — yet it never passes through the two middle control points, only gets “pulled” into an elegant arc by them. The control points are the reins; the curve is the tamed horse.

P₀ P₁ P₂ P₃ B(0.5)
Formal definition

A cubic Bézier curve is defined by four points, tracing a curve as the parameter $t$ runs from 0 to 1:

$B(t)=(1-t)^3 P_0+3(1-t)^2t\,P_1+3(1-t)t^2\,P_2+t^3 P_3$

The four coefficients are the expansion of the binomial $(1-t+t)^3$ (the Bernstein polynomials), and they sum to exactly 1. So every point on the curve is a weighted average of the four control points, held firmly inside their convex hull, never straying out. $P_0,P_3$ are the endpoints; $P_1,P_2$ only control the direction of departure and arrival.

Why it’s beautiful

One curve has two faces: an algebraic formula (Bernstein polynomials) and a pure geometric construction — de Casteljau’s algorithm: take a point at the same proportion on each control edge, connect, take points again, “cut corners” repeatedly, and the point it converges to lies on the curve (the gold and red points in the figure). This recursive corner-cutting, expanded out, equals the binomial coefficients exactly. More beautiful still, it is affine invariant: rotate or scale the control points and the curve follows automatically, no recomputation — because a weighted average inherently respects affine maps. Simple enough to do by hand, powerful enough to hold up the entire digital visual world.

Applications

Every vector font: TrueType uses quadratic, PostScript/OpenType outlines use cubic Béziers to trace each glyph. The pen tool in Illustrator and Figma draws exactly this; CSS animation’s cubic-bezier() easing uses it to define pacing. It also powers robot path planning and car body surface design — in fact Bézier curves were invented by Renault engineer Pierre Bézier to design car bodies.

Essence
Four points, one convex hull, holding up every elegant arc on the screen.
Question
Why does the single fact that Bernstein coefficients sum to 1 guarantee the curve never “flies off” beyond the control points? (Hint: think about where a weighted average with non-negative weights summing to 1 can possibly land.) What is its hidden kinship with a probability distribution?
— Going Deeper —
Why do periodic tilings allow only 2-, 3-, 4-, and 6-fold rotation, and how do quasicrystals get around it?
If a pattern has both translational periodicity and $n$-fold rotation, the two constrain each other — a rotation must carry one lattice point onto another, and geometrically only $n=1,2,3,4,6$ are self-consistent ($\cos(2\pi/n)$ must land on the lattice). 5-fold is doomed to leave gaps. Quasicrystals can display 5-fold and 10-fold symmetry because they give up strict periodicity: they have long-range order without repetition, tiling the plane aperiodically with two rhombi, as in a Penrose tiling. When Shechtman saw 5-fold diffraction spots in 1982 he was mocked as absurd; in 2011 he won the Nobel — dogma overturned by a single diffraction image.
What deeper structure does projective duality hint at?
Point-line duality is no coincidence but a symmetry built into the projective plane. Algebraically, a projective point is a homogeneous coordinate $[x:y:z]$ and a projective line is an equation $ax+by+cz=0$ — both are triples, and “point lies on line” is $ax+by+cz=0$, an expression perfectly symmetric between the “point triple” and the “line triple.” Duality is thus inevitable at the coordinate level. This idea — that an object and its constraint can be interchanged — rises in modern mathematics to dual spaces and in optimization to “primal ↔ dual problems,” a recurring deep motif.
The golden-ratio aesthetic myth is so stubborn — what does that itself tell us?
It is a perfect specimen of “confirmation bias + narrative appetite.” The brain hunts for patterns, $1.618$ sits close to many common proportions (4:3 and 3:2 are not far off), so given free choice of where to measure, almost any rectangle can be made to “measure” golden; add a stirring story (nature, the divine, the ultimate code of beauty) and every ingredient for viral spread is present. True scientific literacy is not memorizing how beautiful $\varphi$ is, but building the reflex: the moment a constant is claimed to be “everywhere,” ask “what would falsification look like?” A claim that cannot answer is mostly numerology.
When generative AI draws symmetric patterns or beautiful curves, does it “understand” the mathematics?
Almost certainly not — at least not the way we do. Diffusion models statistically infer “what pixel arrangements look symmetric/elegant”; they approximate a data distribution, not the theorems of wallpaper groups or Bernstein polynomials. They can generate convincing Escher-style images yet often break on strict periodicity (look closely and the seams misalign). This raises a deeper question: is writing structure explicitly into the architecture (as a CNN builds in translation equivariance) or letting a model learn structure implicitly from data the path closer to “understanding”? This is one of the most active frontiers of geometric deep learning.