Geometry and design examples

These examples are problems of plane geometry with a known answer, from Archimedes and Hippocrates to the moving sofa and the packing of circles and squares. planex2d keeps lines, arcs and circles exact, so a result can be checked to many digits. The lune of Hippocrates has exactly the area of its triangle, Prince Rupert’s cube lets a cube of side \(3\sqrt{2}/4\) pass, and the Koch snowflake encloses 8/5 of its triangle. Others are design tasks, as a rose window from circles that touch, the planex2d logo from its own SVG and the section properties of steel profiles against the tables.

In this section

Runs in the browserPenrose tiling
Penrose tilingGolden triangles deflated, with the area kept exactly and the thick-to-thin ratio tending to φ.
Runs in the browserRose window
Rose windowGothic tracery from circles that touch circles, bars as offsets.
Runs in the browserPath planning
Path planningObstacles grown by offsets, and the shortest path through a visibility graph.
Runs in the browserThe moving sofa
The moving sofaThe largest sofa around a corner as one intersection, Hammersley's exactly and Gerver's within 0.00012.
Prince Rupert's cube
Prince Rupert's cubeA cube through a hole in a cube of its size, the largest one 3√2/4 to twelve digits.
The coastline paradox
The coastline paradoxRichardson's dividers on the Koch snowflake and on the coast of Great Britain.
The pole of inaccessibility
The pole of inaccessibilityThe point of Great Britain farthest from the sea, as the largest circle inside its coast.
Runs in the browserSection properties of steel profiles
Section properties of steel profilesSecond moments of area, an IPE 200 and an unequal angle against the steel tables, Mohr's circle.
Runs in the browserThe spirograph
The spirographWhen a pattern closes and how many petals it has, its length as an elliptic integral, the deltoid and the astroid.
Runs in the browserThe Hausdorff distance
The Hausdorff distanceHow far a polygon lies from its circle, Archimedes' 96-gons and the chord tolerance of a tessellation.
Runs in the browserThe isoperimetric inequality
The isoperimetric inequalityWhy the circle encloses the most: quotients of shapes against their exact values, and Dido's problem.
Runs in the browserThe lune of Hippocrates
The lune of HippocratesA crescent of exactly a triangle's area as one Boolean difference, and the lunes of Alhazen.
Runs in the browserCircle packing in a square
Circle packing in a squareEqual circles spread by SciPy, checked as exact discs against the proven best packings.
Runs in the browserThe problem of Apollonius
The problem of ApolloniusCircles tangent to three given circles from a constraint sketch: Descartes' two and all eight.
Drawing a logo
Drawing a logoThe planex2d mark from its own SVG: Bézier curves as exact B-splines, a Reuleaux triangle of constant width.
Runs in the browserWhy bees build hexagons
Why bees build hexagonsCells of equal area glued: the hexagon needs the least wall, half its perimeter per cell.
Vaults and Steinmetz solids
Vaults and Steinmetz solidsGroin and cloister vaults from two barrels, crossed cylinders and the sphere inside.
Gabriel's horn
Gabriel's hornA horn of finite volume and endless surface, from one exact rational B-spline.
Runs in the browserBuffon's needle
Buffon's needleNeedles dropped on lines estimate π, and a bent noodle crosses 2L/(πd) lines whatever its shape.
Runs in the browserPick's theorem
Pick's theoremThe area of a polygon on a grid from the points inside it and on its boundary, with and without holes.
Runs in the browserThe Steiner tree problem
The Steiner tree problemThe shortest network joining points, with 120° junctions placed by the solver, checked to twelve digits.
Runs in the browserSunflower seeds and the golden angle
Sunflower seeds and the golden angleVogel's model: at the golden angle the seeds keep their distance, a tenth of a degree off they crowd.
Runs in the browserDrawing with epicycles
Drawing with epicyclesThe letter π drawn by a chain of rotating circles, its area from the Fourier coefficients.
Runs in the browserKepler's second law
Kepler's second lawEqual areas in equal times: sectors of an orbit from Kepler's equation, cut from the exact ellipse.
Runs in the browserThe Bézier circle
The Bézier circleFour cubic quarters off the circle by at most 0.027 %, a better handle, and the exact rational quarter.
Runs in the browserThe Sierpiński triangle
The Sierpiński triangleMiddle triangles cut out until the area is gone and the boundary endless, and the carpet full of holes.
Runs in the browserSquare packing
Square packing5, 10 and 17 unit squares in the smallest known squares, checked free of overlaps.
Runs in the browserThe Koch snowflake
The Koch snowflakeAn endless boundary around 8/5 of a triangle, inside a circle, checked step by step.
Runs in the browserLissajous curves
Lissajous curvesThe oscilloscope curves cut at their own crossings, 2ab − a − b of them, and the frequency ratio from the touches.
Runs in the browserThe golden spiral and the Fibonacci spiral
The golden spiral and the Fibonacci spiralFibonacci squares, their quarter circles and the true golden spiral a hundredth of the radius away.
Runs in the browserThe squircle and the superellipse
The squircle and the superellipseSuperellipse areas from the Gamma function, and why a squircle looks smoother than a rounded square: its curvature.
Runs in the browserSquaring the square
Squaring the squareDuijvestijn's 21 different squares from their Bouwkamp code, and the electrical network whose currents are their sides.
Runs in the browserThe pizza theorem
The pizza theoremEight slices cut through any point share pizza and crust equally; with other cuts, the center decides who gets more.
Runs in the browserThe Seven Bridges of Königsberg
The Seven Bridges of KönigsbergThe graph read from a map of the river and its bridges: Euler's criterion for the seven, and a walk over the five of today.

See Examples for the other collections.