Angle bisector — where it appears
Named by 2 essays across 2 fields — each of them below, with the objects they name alongside it.
One straight cut
Any drawing made of straight lines can be folded so that the whole drawing lands on a single line, and one cut releases it. The construction is a shrinking process, and it explains itself the moment the shrinking is drawn.
The axiom that names two folds
Bring one line onto another and the operation is satisfied by either of two folds, always exactly perpendicular to one another, creasing the paper in completely different places. Over four thousand random line pairs on a square, both folds land on the sheet two thousand nine hundred and sixty-five times, and the statement of the axiom does not say which one is meant. The fifth axiom is worse: its two answers are at any angle at all, from half a degree apart to square.
Named alongside it
The objects these essays reach for when they reach for this one.
AmbiguityAxiomConstructionConstructive proofEquidistanceThe fold-and-cut theoremFold lineThe Huzita–Hatori axiomsReference pointSheet shapeStraight skeleton