Generator

More sides is not more paper

A generator in the axioms and construction library, called 74 times across 13 essays. Below: what it draws with nothing specified and with the settings the essays give it, what it checked while drawing, and everywhere it is used.

inscribed-polygons is one function. Everything below was drawn by it when the site was last published, at settings taken from the essays rather than invented for this page — so a figure here is the same figure a reader meets in an essay, and when the generator changes, this page changes with it.

With nothing specified

More sides is not more paperThe area of the largest regular polygon of each number of sides that fits inside a square sheet. The square and the octagon share the sheet's own symmetry and do well by it; the polygons between and after them do not, and the sequence goes up and down rather than up.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°the 8-sided polygon is the peak, and every one of the 4 polygons after it does worse

view: "regular", show: "ranking", sheet: 3

What a triangle of paper holds bestThe regular polygons from three to 24 sides ranked by the share of a regular triangle of paper the largest of each takes, with the largest circle's share marked. Every polygon whose sides are a multiple of 3 is above the circle and every other one below it; the tool each needs is printed beside it.the largest regular polygon a triangle of paper holds, for each number of sides, best firstshaded: sides a multiple of 3; plain: the rest; the upright line is the largest circle, 60.5%bars start at 50%3 sides100.0% · compass6 sides66.7% · compass9 sides63.0% · one fold12 sides61.9% · compass15 sides61.4% · compass18 sides61.1% · one fold21 sides60.9% · one fold24 sides60.8% · compass23 sides60.2% · neither22 sides60.1% · two folds at once20 sides60.1% · compass19 sides60.0% · one fold17 sides59.9% · compass16 sides59.9% · compasscircle

view: "regular", show: "drawn", sheet: 3, ns: [6, 9, 12, 4, 5, 7]

Sharing the triangle's circle, or notThe largest regular 6-, 9-, 12-, 4-, 5-, 7-gons that fit in a regular triangle of paper, each drawn in the sheet with the sheet's inscribed circle dashed. The polygons whose sides are a multiple of 3 have that circle as their own and touch every side of the sheet with a side; the others cannot, and fall short of the circle.the largest hexagon, nonagon, dodecagon, square, pentagon, heptagon in a triangle of paperdashed: the circle the sheet holds; shaded: the polygon, with its share of the sheet6 sides · 66.7%9 sides · 63.0%12 sides · 61.9%4 sides · 49.7%5 sides · 53.9%7 sides · 57.2%

view: "regular", show: "approach", sheet: 3

Two families closing on the circleFor every regular polygon from three to 40 sides but the triangle itself, the share of a triangle of paper it takes over the share the largest circle takes. The multiples of 3 come down to the circle from above and the rest climb to it from below; none crosses.each polygon's share of a triangle of paper, over the circle'sfilled: sides a multiple of 3; open: the rest; the level line is the circle0.8000.90011.1010203040sidesshare over the circle'smultiples of 3the restnearest miss from below: the 40-gon, 0.9984 of the circle

What it checked while it drew

Collected while it drew, not written by hand. The count is how many separate times that claim was put to the test.

Where it is called

Every figure listed here is drawn by the same rule, so a mistake in the rule would be in all of them at once, and so would a correction.

A sheet rewards the multiples of its sides

On a rectangle every odd polygon fits exactly as its double does, because a box measures widths and a width cannot see a half-turn. A triangle of paper has no half-turn, and the ranking it gives is a different kind of thing. On a regular sheet of m sides, a regular polygon beats the largest circle exactly when its sides are a multiple of m — it can then face every side of the sheet with one of its own and share the sheet's circle, taking n·tan(π/n) over m·tan(π/m) of it — and every other polygon to forty sides falls short. On a triangle that puts the triangle first, the hexagon second at two thirds, and the nonagon third: the first sheet on which a polygon only a fold can build takes a place on the podium.

An odd polygon fits like its double

A regular polygon with an odd number of sides has a corner opposite every flat, so it looked as if the closed form for the turning polygons of 4k + 2 sides would need redoing with a different offset. It does not. An odd polygon is exactly as wide, in every direction, as the regular polygon with twice its sides — that polygon is the odd one averaged with its half-turn — and a box sees only widths. So the triangle fits wherever a hexagon fits, the heptagon wherever a fourteen-gon does, and on every sheet the odd polygon's share is its double's times 2 − sec²(π/2n). It peaks on its double's own sheet with the same gain; on a square it is tilted π/4n, the triangle's fifteen degrees; and on its own sheet it beats nothing but smaller odd polygons, never once passing the circle.

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.

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.

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.

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.

The rule has a width

On an equilateral triangle of paper the regular polygons that beat the largest circle are exactly the multiples of three. Tilt the apex a degree and every one of them loses share in proportion, while the circle loses almost nothing — a multiple's advantage is a corner and the circle's is a hilltop. So the rule holds only in a window, 44° to 79° of apex for the hexagon and 56° to 65° for the 24-gon, and past it the second place goes to polygons like the hendecagon that no single fold can build.

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.

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.

The window has an exact edge

How far an isosceles triangle may stray from equilateral before its largest regular hexagon falls behind its inscribed circle was measured — 15.6 degrees closing the apex, 19.1 opening it — and estimated to first order as the polygon's lead over its rate. Neither number needs measuring. The fitting problem has three sides and three unknowns, so its bound is an equality, the polygon keeps a side on the base, and its share is one line. That line carries the same factor as the circle's, so the circle's own loss cancels out of the comparison entirely, and each edge of the window is an angle in closed form. The opening half is wider because opening the apex lengthens the perimeter. And the window does not shrink as ninety degrees over the sides, as the first-order estimate says, but as (2 − √2)·180° over them — about 105 — because the corner's reach bends back as fast as it rises.

The worst angle sets the price

On a triangle of paper that is nearly equilateral, the largest regular hexagon loses 0.448 percentage points of the sheet for every degree the triangle is out of true, the nonagon 0.267 and the dodecagon 0.193. Those rates were measured. They have a closed form, 2n tan²(π/n) / 9√3 a radian, and it depends only on the worst of the triangle's three angles, whatever its shape. Rate times sides falls to 2π² / 9√3, and the window in which each polygon beats the circle shrinks as ninety degrees over its number of sides.

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.

Two sides at sixty are enough

On a nearly equilateral triangle every multiple of three beats the inscribed circle, and to first order how long it keeps doing so depends only on the worst of the triangle's angle errors, which makes the window a hexagon in the plane of two errors. Fitted exactly, the window is a scalloped star. It reaches furthest — 21.8 degrees for the hexagon, against 15.6 and 19.1 on isosceles triangles — where one angle opens and another closes with the third left at sixty, because two sides still meet at sixty and the polygon can lie flush against both. Far outside it, wherever all three sides lie along the polygon's own directions, the polygon wins again.

All the figures · The axioms and construction field · The patterns a reader can fold