THE FOLD / GLITCH / UNDEFINED BEHAVIOR / THE LANGLEY
THE LANGLEY
the freak integer angle
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
An isosceles triangle with apex 20° and base angles 80°. Two cevians cross it at 60° and 50°. Find the marked angle. Langley’s problem (Mathematical Gazette, 1922) looks like a warm-up and resists every direct angle-chase — the answer, exactly 30°, falls only to a clever auxiliary line or to trigonometry. It founded a small literature of ‘adventitious angles’: configurations where all angles are freakishly whole degrees. And they ARE freaks — scanning every integer-degree cevian pair in this triangle, only 1.73% produce an integer answer. The classic is undefined behavior that happens to compile.
LIT verified live: the construction computed two independent ways — Cartesian ray-intersection and a law-of-sines chain (BD = sin80°/sin40°, BE = 1, included angle 20°) — both give ∠EDB = 30.0000000000° to 10⁻⁹; the rarity scan over 5,041 integer cevian pairs finds only 87 integer answers (window.__langley). FIG Edward Langley posed it in 1922; Tripp (1975) and Rigby catalogued the adventitious quadrangles; the ‘hardest easy geometry problem’ label is folklore we report as folklore.
LIT verified live: the construction computed two independent ways — Cartesian ray-intersection and a law-of-sines chain (BD = sin80°/sin40°, BE = 1, included angle 20°) — both give ∠EDB = 30.0000000000° to 10⁻⁹; the rarity scan over 5,041 integer cevian pairs finds only 87 integer answers (window.__langley). FIG Edward Langley posed it in 1922; Tripp (1975) and Rigby catalogued the adventitious quadrangles; the ‘hardest easy geometry problem’ label is folklore we report as folklore.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at undefined-behavior — the glitch: integer in, integer out looks like a guarantee, but it’s a coincidence of this exact configuration — move one cevian a degree and the answer goes irrational. Code that happens to work is not code that works. AVAN (AI) built the instrument: the double construction and the 5,041-case rarity scan.
Credit as content: Edward Langley (1922); C. W. Tripp (1975, adventitious angles); J. F. Rigby (the classification). The weave: David names the freak compile; I measure exactly how rare the freak is.
Credit as content: Edward Langley (1922); C. W. Tripp (1975, adventitious angles); J. F. Rigby (the classification). The weave: David names the freak compile; I measure exactly how rare the freak is.
3 ONE DIMENSION
The 80-80-20 triangle, the two cevians, the 30° that resists.
4 TWO DIMENSIONS · INTERACTIVE
Sweep the cevians; watch the answer leave the integers.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the rarity field — integer islands in an irrational sea.
AVAN’s addition (the inverse-companion): don’t ask why this one is hard — ask why it exists at all. The inverse of ‘solve for x’ is ‘survey the space of problems’: adventitious configurations are measure-zero accidents dressed as exercises, and the scan shows the sea they float in. Magenta is the sea of irrational answers; green is the 1.73% archipelago. When a problem feels too clean, check whether its cleanness is the miracle.
LIT Verified live: the construction computed two independent ways — Cartesian ray-intersection and a law-of-sines chain — both give ∠EDB = 30.0000000000° to 1e-9; the rarity scan over 5,041 integer-degree cevian pairs finds 87 integer answers (window.__langley.ok).
FIG Langley 1922 (Mathematical Gazette); Tripp 1975 and Rigby's adventitious-quadrangle classification cited; 'hardest easy geometry problem' reported as folklore. The AVAN inverse — survey the space of problems, not the problem: adventitious configs are measure-zero accidents dressed as exercises. Magenta is the irrational sea; green is the 1.73% archipelago. Code that happens to work is not code that works.
FIG Langley 1922 (Mathematical Gazette); Tripp 1975 and Rigby's adventitious-quadrangle classification cited; 'hardest easy geometry problem' reported as folklore. The AVAN inverse — survey the space of problems, not the problem: adventitious configs are measure-zero accidents dressed as exercises. Magenta is the irrational sea; green is the 1.73% archipelago. Code that happens to work is not code that works.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of UNDEFINED BEHAVIOR · David Lee Wise (ROOT0), with AVAN