Every shape can be cut in half at any angle (and why humans can't eyeball it)
Bisecto is a precision shape-slicing browser game.<br>Play the game →
Take any bounded 2D region with positive area. Make it ugly. Add dents. Stretch it. Punch holes in it.
Now choose any direction on the compass.
There is a clean mathematical guarantee: there is always at least one straight line, oriented in that exact direction, that divides your shape into two pieces of identical area.
You don't need to guess if a solution exists; the mathematics guarantees it is there. The interesting part is trying to find it anyway.
I recently built a small browser game around this idea called Bisecto, and while implementing the cutting engine, I stumbled into a fascinating gap between mathematical certainty and human perception.
1. The Guarantee: A Smooth Sweep Across Flatland
Why is a perfect cut guaranteed for any direction? The foundation is a basic consequence of continuity: the Intermediate Value Theorem (IVT) .
(Here we're talking about a 2D region and a 1D straight line. In 3D, the same argument works with a plane and volume.)
Consider a bounded 2D region S with finite positive area A > 0. Pick any line orientation θ. Imagine sliding a straight line with that orientation continuously across the shape from one side to the other, parameterized by its position offset t.
Let f(t) be the area of the shape lying on one side of the line:
f(t) = Area of S lying on the left side of the line at position t
Consider what happens as the line sweeps across:
When the line is placed entirely to the left of the shape, f(t) = 0.
When the line sweeps completely past the shape to the right, f(t) = A.
Because area accumulates continuously, f(t) is a continuous, monotonically non-decreasing function.
Because 0 A/2 A, the Intermediate Value Theorem guarantees that f(t) must hit exactly A/2 at some point:
f(t*) = ½ A
For every orientation, a perfect cut exists. While shapes with internal voids can sometimes allow a small range of offsets that yield a 50/50 split, there is always at least one valid cutting line.
2. The Surprising Part: Existence Does Not Help You Find It
The theorem solves the existence problem. It does not solve the search problem.
And this is where the mathematics stops helping you.
The theorem tells us that a perfect cut exists. It does not tell a human player where to put the knife.
When you give someone an irregular polygon and ask them to cut it in half, they have to rely almost entirely on visual intuition. We naturally use visual shortcuts, but those shortcuts become unreliable for irregular shapes.
3. Why the Obvious Answer Fails: The Center-of-Mass Trap
When people try to divide an unfamiliar shape, a natural instinct is to search for the center of mass (the centroid).
The assumption feels obvious: "If my cut line passes through the balance point of the shape, both sides must have equal area."
⚠️ The Centroid Fallacy
For centrally symmetric shapes (like circles, rectangles, and regular polygons), every line through the center of symmetry bisects the area. For asymmetric shapes, however, passing through the centroid is generally not enough.
The Right Triangle Counterexample
Consider a simple right-angled triangle with base b and height h. Its center of mass is located at height y = h/3.
If you make a horizontal cut straight through that centroid:
The top piece is a smaller similar triangle with height ⅔ h.
Because area scales quadratically with linear height:
Areatop = (⅔)2 × Total Area = 4/9 ≈ 44.44%
The bottom trapezoid receives the remaining 5/9 ≈ 55.56%.
Slicing through the centroid produces a 44.44% / 55.56% split: an 11.11 percentage-point gap between the two sides.
To get a true 50/50 split, the horizontal cut actually needs to sit at y = (1 − 1/√2) h ≈ 0.2929 h, noticeably lower than the centroid.
Why? The centroid is defined by first moments of area: points farther from a reference axis contribute more strongly to the moment. An equal-area cut has a different goal: it simply asks for the same amount of area on each side, regardless of distance.
For a general asymmetric shape, the 50/50 cuts at different angles do not all pass through one common point.
4. It Gets Stranger: The Ham Sandwich Theorem
What happens if you have two independent shapes on the plane, like a pool of ink and a slice of bread? Can a single straight line bisect both of them simultaneously?
Yes. The two-dimensional case is sometimes called the pancake theorem, a special case of the Ham Sandwich Theorem .
The geometric intuition behind the 2D case is elegant: for well-behaved shapes where the bisecting line moves continuously with the angle θ, we can track how that line interacts with the second shape:
For each angle θ, consider a line L1(θ) that bisects Shape 1.
Now measure how that line splits Shape 2. Define the difference:
g(θ) = Area2(left side) − Area2(right side)
Rotate your angle by 180 degrees (π...