Mathematical Art
From MathArtPedia, the free mathematical art encyclopedia
| Domain | Visual mathematics |
| Key figures | M. C. Escher, Benoit Mandelbrot, H. S. M. Coxeter |
| Branches | Fractals, tilings, curves, topology |
| Related | Generative art, algorithmic art |
| This site | Neocities |
Mathematical art is a broad field encompassing visual works whose form, concept, or creation is rooted in mathematics. It spans hand-drawn geometric constructions, computer-generated fractals, physical sculptures derived from topology, and algorithmically tiled patterns. Unlike mathematics applied to engineering or science, mathematical art prioritises aesthetic experience alongside intellectual content.
The practice has ancient origins - Islamic geometric tiling, Roman mosaic, and Greek architectural proportion all reflect deep mathematical thinking. In the twentieth century, artists such as M. C. Escher brought tessellations and impossible geometries to wide audiences, while the development of computers enabled entirely new categories of mathematical imagery, most famously the Mandelbrot set and related Julia sets.
Today mathematical art encompasses an enormous range of media: pen-and-paper geometric constructions, digital renders, 3D-printed surfaces, mathematical origami, woven knot diagrams, and browser-based interactive visualisations. This article surveys the major categories with rendered examples.
1 · Fractals
A fractal is a geometric object that exhibits self-similarity at every scale of magnification. The term was coined by Benoit Mandelbrot in 1975, derived from the Latin fractus ("broken" or "fractured"). Fractals frequently arise from simple iterative mathematical rules applied repeatedly, yet produce imagery of extraordinary complexity and beauty.
1.1 · Mandelbrot and Julia sets
The Mandelbrot set is defined as the set of complex numbers c for which the iteration z ↦ z² + c, starting from z = 0, remains bounded. Its boundary is a fractal of infinite complexity. Each Julia set corresponds to a fixed value of c; points c inside the Mandelbrot set yield connected Julia sets, while exterior points yield dust-like Cantor sets. The two objects are therefore deeply related: the Mandelbrot set is a map of all possible Julia set topologies.
Colouring algorithms - escape time, continuous (smooth) colouring, distance estimation, and Buddhabrot - dramatically affect the resulting aesthetics while leaving the underlying mathematics identical. This distinguishes mathematical art from pure mathematics: the choice of visual representation is itself an artistic decision.
1.2 · Iterated function systems
An iterated function system (IFS) is a finite set of contraction mappings on a complete metric space. By Hutchinson's theorem, every IFS has a unique attractor - the fractal produced by repeatedly applying the contractions to any starting set. The Sierpiński triangle, Barnsley fern, and Koch snowflake are all IFS attractors.
The chaos game provides an elegant way to render IFS attractors: begin at a random point, then repeatedly jump a fixed fraction of the distance toward a randomly chosen fixed point (or affine transformation). After discarding initial iterates, the resulting cloud of points traces the attractor.
1.3 · L-systems
Introduced by biologist Aristid Lindenmayer in 1968, an L-system is a formal grammar that rewrites strings of symbols according to production rules. Interpreting the resulting string as turtle-graphics drawing commands produces plant-like structures, fractal trees, and space-filling curves. The dragon curve, Hilbert curve, and Gosper curve can all be expressed as L-systems.
2 · Tilings and tessellations
A tessellation is a covering of the plane by one or more geometric shapes, called tiles, with no gaps or overlaps. The mathematics of tilings connects group theory, crystallography, and number theory, and has inspired some of the most recognisable mathematical art in history.
2.1 · Penrose tilings
Penrose tilings, discovered by Roger Penrose in 1974, are aperiodic: they tile the plane without repeating, yet exhibit long-range fivefold rotational symmetry - a symmetry impossible in any periodic tiling. The two canonical forms use either rhombi (P3) or "kite and dart" shapes (P2), related by inflation and deflation operations that reveal self-similar structure reminiscent of fractals.
Penrose tilings are connected to quasicrystals, discovered experimentally by Dan Shechtman in 1982, which exhibit analogous aperiodic order in three dimensions. The discovery earned Shechtman the 2011 Nobel Prize in Chemistry.
2.2 · Islamic geometric patterns
Islamic geometric patterns represent one of the oldest traditions of mathematical art, flourishing from the 9th century onward in architecture, metalwork, and textiles across the Islamic world. Constructed using only compass and straightedge, these patterns achieve extraordinary complexity through combinations of star polygons, girih tiles, and interlacing bands.
Analysis of the Darb-i Imam shrine in Isfahan (1453) revealed that craftsmen had discovered aperiodic quasicrystalline tilings more than five centuries before Penrose's mathematical formulation - a remarkable instance of artistic discovery preceding formal mathematics.
3 · Mathematical curves
Plane curves have fascinated mathematicians and artists alike since antiquity. Parametric curves - defined by coordinates as functions of a parameter - allow a vast vocabulary of shapes. Lissajous figures arise from two perpendicular harmonic oscillations and appear in oscilloscope art and signal visualisation. Rose curves (r = cos nθ) produce petal patterns whose complexity depends on whether n is rational. Epitrochoids and hypotrochoids, traced by a point on a rolling circle, are the mathematics behind the Spirograph toy.
4 · Minimal surfaces
A minimal surface is one whose mean curvature is zero everywhere - locally, it is the surface of least area spanning a given boundary, like a soap film. Euler found the first non-trivial example, the catenoid, in 1744; Meusnier discovered the helicoid in 1776. More than a century passed before new examples were found, but in recent decades computer graphics have enabled the discovery and visualisation of hundreds of new minimal surfaces.
Notable examples include the gyroid, discovered by Alan Schoen in 1970 and later found to occur in butterfly wing nanostructures; and Costa's surface (1982), the first complete, embedded minimal surface of finite topology discovered since the 19th century, whose visualisation by David Hoffman and James Hoffman using computer graphics was crucial to accepting its validity.
5 · Chaos and attractors
Chaos theory studies deterministic systems exhibiting sensitive dependence on initial conditions. Many chaotic systems possess a strange attractor - a fractal subset of phase space toward which trajectories converge. Strange attractors are among the most aesthetically compelling objects in all of mathematics.
The Lorenz attractor, arising from a simplified model of atmospheric convection, resembles a butterfly or owl mask and has become an icon of both chaos theory and mathematical art. Other celebrated attractors include the Rössler attractor, Duffing attractor, and Clifford attractor, the last generating vivid imagery through simple trigonometric iteration.
6 · Mathematical origami
Mathematical origami applies rigorous geometric and algebraic analysis to paper folding. The Huzita–Hatori axioms formalise the constructible operations of origami and establish that it is strictly more powerful than compass-and-straightedge construction: origami can trisect an angle and double a cube, both classically impossible by ruler and compass.
Robert Lang's TreeMaker software applies circle packing and graph theory to design origami bases for arbitrarily complex creatures from a single uncut sheet. Eric Demaine and collaborators have explored computational origami, including proofs that any polyhedral surface can be folded from a square sheet.
7 · Knot theory art
Knot theory studies mathematical knots: closed curves embedded in three-dimensional space. Two knots are equivalent if one can be continuously deformed into the other without cutting. Distinguishing non-equivalent knots requires knot invariants such as the Jones polynomial and knot group.
Knot diagrams - planar projections with marked over-under crossings - are themselves objects of great visual interest, and knot art appears in Celtic knotwork, Islamic interlacing, and the work of artists such as Frantisek Kupka. Carlo Séquin has created three-dimensional sculptures of knots and Seifert surfaces using computer-aided design and 3D printing.
8 · See also
9 · References
- Mandelbrot, B. (1982). The Fractal Geometry of Nature. W. H. Freeman.
- Penrose, R. (1974). "Role of aesthetics in pure and applied mathematical research". Bull. Inst. Math. Appl. 10: 266–271.
- Lu, P. J.; Steinhardt, P. J. (2007). "Decagonal and Quasi-Crystalline Tilings in Medieval Islamic Architecture". Science 315 (5815): 1106–1110.
- Demaine, E.; O'Rourke, J. (2007). Geometric Folding Algorithms. Cambridge University Press.
- Lorenz, E. N. (1963). "Deterministic Nonperiodic Flow". J. Atmospheric Sci. 20 (2): 130–141.
- Lindenmayer, A. (1968). "Mathematical models for cellular interaction in development". J. Theor. Biol. 18 (3): 280–315.
- Costa, C. (1984). "Example of a complete minimal immersion in R³ of genus one and three embedded ends". Bol. Soc. Bras. Mat. 15: 47–54.
- Barnsley, M. (1988). Fractals Everywhere. Academic Press.
- Lang, R. (2003). Origami Design Secrets. A K Peters/CRC Press.
- Adams, C. (2004). The Knot Book. American Mathematical Society.