Concept

Inscribed polygon — where it appears

The largest regular polygon that fits inside a given shape. It is a natural optimisation for a folder and it crosses awkwardly with constructibility, since the best-fitting polygon need not be one any tool reaches.

Named by 7 essays across one field — each of them below, with the objects they name alongside it.

tilted 15.00°side 1.0352846.41% of the sheetand the same answer twicea corner construction givesside 1.03528from a quadratic, sharing no codethe width maximisation and the closed form agree to nine figures

The largest triangle in a square

The biggest equilateral triangle a square sheet holds is tilted by exactly fifteen degrees and uses 46.4% of the paper. Both numbers come out of a quadratic — which means a compass reaches this optimum too, and folding's advantage is not needed here at all.

construction · Optimal constructions
sidesshare of the sheet the largest one usestilt346.4%15.00°4100.0%45.00°567.4%9.00°669.6%15.00°772.9%6.43°882.8%22.50°975.1%5.00°1075.3%9.00°1176.3%4.09°1280.4%15.00°1376.9%17.31°1476.9%6.43°1577.3%3.00°1679.6%11.25°the 8-sided polygon is the peak, and every one of the 8 polygons after it does worse

The biggest one that can also be folded

Which regular polygon uses a square sheet best, and which of them a fold can actually construct, are two questions with completely different pedigrees. Answered side by side over sixteen polygons, they turn out to agree — and the reason is that both are questions about the arithmetic of the same number.

construction · Optimal constructions
the same census, on four sheetsshare of the sheet used, at each polygon's own best rotationsidessquareA series3 : 26 : 5346.4%40.8%38.5%48.1%4100.0%70.7%66.7%83.3%567.4%51.4%48.4%60.5%669.6%61.2%57.7%72.2%772.9%53.5%50.5%63.1%882.8%58.6%55.2%69.0%975.1%54.4%51.3%64.1%1075.3%57.4%54.2%67.7%1176.3%54.8%51.6%64.5%1280.4%56.8%53.6%67.0%best after the square: square 8 · A series 6 · 3 : 2 6 · 6 : 5 6each polygon at its own best rotation on each sheet · the square uses all of a square and 70.7% of the next sheet along

The square is in the answer

The largest regular polygon a square sheet holds is not increasing in the number of sides, and the octagon's win is the striking part: it uses 82.8% of the paper against the twelve-gon's 80.4% and the hexagon's 69.6%. Run the same census over rectangles and the octagon's advantage is gone — on every proportion tried the hexagon leads, and the order among the even-sided polygons reverses outright.

construction · Optimal constructions
which tool the best polygon on each sheet needseach polygon at its own best rotation; the rank counts every polygon from three sides to twenty-foursheetbest polygonbest a compass buildsbest only a fold buildsbest no fold buildssquare8-gon · 82.8%8-gon21-gon · 7th · 77.9%23-gon · 6th11 : 108-gon · 75.3%8-gon14-gon · 4th · 72.6%22-gon · 9th6 : 56-gon · 72.2%6-gon14-gon · 5th · 66.6%22-gon · 9thA series6-gon · 61.2%6-gon14-gon · 5th · 56.5%22-gon · 9th3 : 26-gon · 57.7%6-gon14-gon · 5th · 53.3%22-gon · 9th2 : 16-gon · 43.3%6-gon14-gon · 5th · 39.9%22-gon · 9th3 : 16-gon · 28.9%6-gon14-gon · 5th · 26.6%22-gon · 9ththe square itself is left out; a fold builds an n-gon when the totient of n has no prime factor above three

Every even polygon beats every odd one

Crossed with what each tool can build, the census of the largest regular polygon a sheet holds gives the same verdict on every proportion from a square to three to one: the best polygon is one a compass already builds, and the best polygon only a fold can build places fourth at best. The ranking itself stops moving at a proportion of 1.1284, where the hexagon overtakes the octagon. On every longer sheet only the short side holds a polygon, each polygon's share is a fixed constant divided by the length, and the constant — its area over the square of its least width — comes down to the circle's π⁄4 for even polygons and climbs up to it for odd ones. So every even polygon beats every odd one.

construction · Optimal constructions
the proportion at which the hexagon passes each polygonmeasured on the share curves, and computed as √3⁄2 + ½√(8K⁄3√3 − 1) with K the polygon's constantsidessearchedclosed formdegreeodd primesthe tool it needs71.0696431.069643243one fold81.1284411.1284418nonea compass91.0802961.080296123one fold101.1163331.11633316nonea compass111.0852961.085296405two folds at once121.1097491.1097494nonea compass131.0880641.088064483one fold141.1057721.105772243one fold151.0897621.08976216nonea compass161.1031871.10318716nonea compassthe sheet is one wide; each proportion is where the hexagon's share equals the polygon's, found two ways

The crossing is as hard as the polygon

Lengthen a square sheet and the largest hexagon it holds turns, pressed against all four edges, until it overtakes the polygons held by the short side alone. Every one of those overtakings happens at a proportion with a closed form, √3⁄2 + ½√(8K⁄3√3 − 1), and the number that comes out is exactly as hard to mark as the polygon being overtaken is to build. The octagon's 1.1284 is a compass number of degree eight. The heptagon's 1.0696 has degree twenty-four and needs a fold. The hendecagon's 1.0853 has degree forty and needs two folds at once.

construction · Optimal constructions
the best rank a tool's polygons reach, on a few sheets and on all of thema proportion between the named sheets is where each tool's best polygon does bestthe polygonon seven sheetson every sheetits own sheetonly one fold builds it14 sides · 4th14 sides · 3rd1.0257only two folds at once build it22 sides · 9th22 sides · 5th1.0103no two folds build it47 sides · 12th46 sides · 11th1.0023ranks among every polygon from three sides to 48; the seven sheets run from a square to three to one

The sheet a polygon fits exactly

A regular polygon with 4k + 2 sides has flat edges along one axis and corners along the other, so there is one sheet, 1⁄cos(π⁄n) long, that it touches on all four edges at once. On that sheet it is beaten only by the multiples of four with fewer sides, and so it ranks exactly (n − 2)⁄4. That puts the fourteen-gon, which only a fold builds, third rather than fourth; the twenty-two-gon, which needs two folds at once, fifth rather than ninth; and the forty-six-gon, beyond two folds, eleventh. Seven sheets from a square to three to one had missed all three.

construction · Optimal constructions
11.051.11.151.20.850.90.9511.05the sheet's length, with its width oneshare, over the share on a square6 sides · +7.7%10 sides · +2.6%14 sides · +1.3%22 sides · +0.5%each curve is one polygon's share over its share on the square; the dot is its own sheet

Turning is uphill all the way

A regular polygon of 4k + 2 sides on a sheet a little longer than a square cannot lie flat: it turns, pressed against all four edges, until the sheet is exactly its own. Its share on the way has a closed form, and the closed form's slope is proportional to h² − 1 for every such polygon — flat on the square, rising all the way to the own sheet, and falling after it. So the own sheet is exactly the peak, the gain from the square to it is the average of one and the sheet's length, and the rank the census measured for polygons of this kind, (n − 2)⁄4, is now a theorem.

construction · Optimal constructions

Named alongside it

The objects these essays reach for when they reach for this one.

ConstructibilityOptimalitySheet shapeTotientPierpont primesRotational symmetrySupport widthSymmetryAxiomConstructible numberField extensionPaper proportion

All concepts