More sides is not more paper
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
view: "regular", show: "ranking", sheet: 3
view: "regular", show: "drawn", sheet: 3, ns: [6, 9, 12, 4, 5, 7]
view: "regular", show: "approach", sheet: 3
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.
- each polygon is drawn at the rotation and size the search found, and every vertex lies inside the 1 by 1.026 sheet ×7
- the 3-gon's gain from the square to its own sheet, 1.1547 long, is the mean of one and that length, 1.077350 ×4
- the 8-sided polygon uses more of the square than any of the 4 polygons with more sides ×3
- and it is exactly as wide as the 3-gon across and along the sheet, 1.0000 by 1.1547 ×2
- on a triangle with its apex opened 19.1°, the largest hexagon keeps an edge on the base and meets each slanted side at a single corner, taking 57.6 per cent against 66.7 on the equilateral ×2
- the 3-gon averaged with its half-turn is a regular 6-gon of circumradius R·cos(π⁄6), 0.5774 against 0.5774 ×2
- where the hexagon passes each polygon, the proportion found by searching the two share curves agrees with the closed form √3⁄2 + ½√(8K⁄3√3 − 1) to 7e-16, on all 10 polygons ×2
- a corner construction solving a quadratic agrees with the width maximisation to nine figures ×1
- a tenth of a degree either side of the equilateral the hexagon's share is 66.67 less 0.448 points a degree, to within two per cent of the loss ×1
- across every sheet tried, the best place each tool's polygons reach is held by its first polygon of 4k + 2 sides on that polygon's own sheet — 14 sides 3rd, 22 sides 5th, 46 sides 11th — against 4th, 9th, 12th on the seven sheets named ×1
- along the isosceles directions the fitted edge is 15.57° closing the apex and 19.11° opening it ×1
- and at the equilateral the ratio is n tan(π⁄n) ⁄ π — 1.1027 for the hexagon, 1.0427 for the nonagon, 1.0235 for the dodecagon, 1.0058 for the 24-gon — the polygon's perimeter over the circle's, for figures sharing an incircle ×1
- and both edges of the hexagon's window, 44.43° and 79.11°, lie inside that range ×1
- and each odd polygon's best is (2 − sec²x)·tan x ⁄ x with x = π⁄2n, on its own sheet: 0.7351, 0.9251, 0.9641, 0.9789, 0.9860, 0.9901 ×1
- and the best polygon only a fold can build never ranks higher than fourth — 21-gon 7th on square, 14-gon 4th on 11 : 10, 14-gon 5th on 6 : 5, 14-gon 5th on A series, 14-gon 5th on 3 : 2, 14-gon 5th on 2 : 1, 14-gon 5th on 3 : 1 ×1
- and the odd primes in each crossing's degree are exactly the odd primes in the polygon's own totient — 17: 64, 18: 12, 19: 72, 20: 16, 21: 24, 22: 40, 23: 88, 24: 8 — so marking the proportion takes the same tool as building the polygon ×1
- and the odd primes in each crossing's degree are exactly the odd primes in the polygon's own totient — 7: 24, 8: 8, 9: 12, 10: 16, 11: 40, 12: 4, 13: 48, 14: 24, 15: 16, 16: 16 — so marking the proportion takes the same tool as building the polygon ×1
- at the equilateral triangle every multiple of three loses share at first order whichever way the apex moves — the hexagon 0.45 points a degree, the nonagon 0.27 points a degree, the dodecagon 0.20 points a degree — while the circle's loss starts at 0.005 points a degree ×1
- at the window's corner the hexagon lies flush against two sides of the triangle; at the isosceles edges, against one ×1
- each multiple of three beats the circle on isosceles triangles only within a window round the equilateral, and the window narrows as the sides multiply: the hexagon from 44.4° to 79.1°, the nonagon from 49.2° to 72.5°, the dodecagon from 51.7° to 69.2°, the 15-gon from 53.3° to 67.3°, the 18-gon from 54.4° to 66.1°, the 21-gon from 55.1° to 65.2°, the 24-gon from 55.7° to 64.5° ×1
- each polygon is drawn at the rotation and size the search found, and every vertex lies inside the square ×1
- each polygon passes the circle part of the way from the square to its own sheet — 61.2%, 62.6%, 62.9%, 63.2% of the way — and the share tends to 2√(2/3) − 1 as the sides grow ×1
- each polygon's line K⁄h meets the hexagon's curve at the proportion the closed form gives — 8 sides at 1.1284, 7 sides at 1.0696, 11 sides at 1.0853 ×1
- every share is a maximisation over the polygon's own rotation on each sheet, so no proportion is being compared at somebody else's best angle ×1
- every window edge from the closed form agrees with the edge found by fitting polygons and bisecting, to within 0.0000° — the hexagon from 44.43° to 79.11°, the 24-gon from 55.73° to 64.51° ×1
- every window is wider opening than closing, both halves are wider than the first-order estimate, and the asymmetry fades as the sides multiply — 1.227, 1.150, 1.112, 1.089, 1.074, 1.063, 1.055 ×1
- every window is wider than its first-order estimate on both sides, the estimate falls as 90° ⁄ n — the 24-gon's is 3.73° against 3.75° — and the measured halves follow it from 15.6° and 19.1° at six sides to 4.3° and 4.5° at twenty-four ×1
- every window lies inside the range of apex over which its polygon keeps a side on the base — the 24-gon's window from 55.7° to 64.5° inside 51.0° to 71.0° ×1
- followed across every proportion from the square to 1.06, each polygon's best rank is the one it holds on its own sheet — 14 sides 3rd, 22 sides 5th, 18 sides 4th ×1
- for every multiple of three from 6 to 24 sides the closed form for the wedged polygon gives the fit's corner to a hundredth of a degree, and the corner reaches further than either isosceles edge ×1
- from 33.0° to 114.8° of apex the one-line share of the hexagon with a side on the base agrees with a polygon fitted with every turn and position free, to within 6.7e-16 of the sheet; outside that range the fitted polygon turns off the base and takes more ×1
- measured in units of ninety degrees over the sides, both halves of every window exceed one and close on 4 − 2√2 = 1.1716: at 96 sides the closing half is 1.164 and the opening half 1.179, so the window shrinks as (2 − √2)·180° ⁄ n, about 105.4° over the sides ×1
- no odd polygon uses more of any sheet from the square to 1.4 than the circle does: the closest, the 13-gon, reaches 0.9901 of it ×1
- not one of the 3 rectangles has the same best polygon as the square — every one of them prefers the 6-gon ×1
- on 72 random triangles whose angles are each within 0.4° of sixty, the share each multiple of three loses is ⅔ tan(π/n) of its equilateral share times the largest angle error, to within 2.3 per cent ×1
- on a sheet 3 times as long as it is wide every polygon's share times the length is its area over its least width squared, to 1e-15 — above π⁄4 for every even polygon and below it for every odd one, so every even polygon beats every odd one ×1
- on a square the best polygon after the square itself is the octagon, at 82.8% of the sheet — computed here rather than carried over ×1
- on a triangle of paper the first polygon a compass cannot build ranks 3, the nonagon at 63.0% ×1
- on a triangle of paper the odd polygon no longer takes its double's share times 2 − sec²(π⁄2n): the triangle 100.0% against 44.4%, the nonagon 63.0% against 59.2%, the pentagon 53.9% against 52.7% ×1
- on a triangle of paper, the polygons from three to 24 sides that take more of it than the largest circle are exactly the multiples of 3: 3, 6, 9, 12, 15, 18, 21, 24 ×1
- on a triangle, every polygon to 40 sides with a multiple of 3 sides beats the circle and every other one falls short of it; the nearest miss, the 40-gon, reaches 0.9984 of it ×1
- on an isosceles triangle with an apex of 80°, the largest regular polygons from three to 24 sides rank triangle 68.81%, 11-gon 58.61%, octagon 58.15%, 14-gon 57.92%, and 7 of them beat the circle's 57.32% ×1
- on every sheet the best polygon after the square is one a compass already builds, so the best a fold builds is the same polygon — the 8-gon on square, the 8-gon on 11 : 10, the 6-gon on 6 : 5, the 6-gon on A series, the 6-gon on 3 : 2, the 6-gon on 2 : 1, the 6-gon on 3 : 1 ×1
- on its own sheet each polygon uses exactly (1 + L)/2 times the share it used on the square, L being the own sheet's length ×1
- on its own sheet every odd polygon from 3 to 15 uses its 2n-gon's share times 2 − sec²(π⁄2n) ×1
- on its own sheet, 1⁄cos(π⁄n) long, every polygon of 4k + 2 sides from 6 to 46 uses (n⁄4)·sin(π⁄n) of it to 8e-16 and ranks exactly (n − 2)⁄4 among every polygon up to 60 sides ×1
- on the 22-gon's own sheet every polygon of 4k + 2 sides with fewer sides is still turning, below its own peak, and every such peak is below the 22-gon's share there ×1
- on the triangle with angles 90, 60 and 30 the largest dodecagon lies flush against all three sides, as it does on the equilateral triangle, and beats the circle by 1.14 points against 1.42 there ×1
- on the triangle, square, pentagon, hexagon, octagon of paper, to 40 sides, the polygons that beat the circle are exactly the multiples of the sheet's sides ×1
- the closed-form share agrees with a direct search over rotations to a part in a billion, at 7 sheets for each of 4 polygons ×1
- the even-sided polygons rank 8 > 10 > 6 on a square and 6 > 8 > 10 on a rectangle — the order is reversed, not merely disturbed ×1
- the even-sided polygons rank 8 > 12 > 10 > 6 on a square and 6 > 8 > 10 > 12 on a rectangle — the order is reversed, not merely disturbed ×1
- the exact window contains the first-order one everywhere: its edge runs from 15.57° to 21.85° of worst angle error, against a first-order 13.86° in every direction ×1
- the hexagon's share searched at 21 proportions agrees with the closed form to 7e-16 — held by both widths up to 2⁄√3 and by the short side after ×1
- the largest equilateral triangle comes out at 2√3 − 3 of the sheet, tilted by 15° ×1
- the largest square inside a square is that square, which the search finds without being told ×1
- the loss a degree measured by fitting each polygon two hundredths of a degree either side of the equilateral matches 2n tan²(π/n) ⁄ 9√3 to within 0.27 per cent from three sides to forty-eight, and rate times sides falls toward 2.210 ×1
- the octagon and the hexagon use the same share of a sheet 1.1284 times as long as it is wide, 73.4%, and from there on the whole ranking of polygons stops moving ×1
- the odd polygons' share, as the 6-, 10-, 14-, 18-gons' times 2 − sec²(π⁄2n), agrees with a direct search over rotations to a part in a billion at 7 sheets each ×1
- the polygon's share divided by the circle's is exactly one at both closed-form edges, for the hexagon, nonagon, dodecagon, 24-gon ×1
- the tilt the search settles on is the one the closed form gives, at four sheets for each polygon ×1
- turning the square through a whole symmetry step of 90 degrees in a triangle, no angle gives it more than the 49.74% the search finds ×1
- where one angle opens and another closes by the same amount, the hexagon keeps its lead out to 21.85° — the closed form for a polygon wedged flush in the remaining sixty-degree corner, and the fit's edge in every such direction, 21.85, 21.85, 21.85, 21.85 ×1
- with one angle opened and another closed by the same amount, the lead falls below the circle's and returns: the dodecagon leads again by 1.14 points at 30°, the 18-gon leads again by 0.57 points at 20°, where every side of the triangle lies along a side direction of the polygon ×1
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