Key Takeaways:

Ancient Greek mathematicians, such as Euclid, considered area as geometric rather than algebraic. His work, “Elements,” influenced research programs and modern math. Euclid’s concept of “having equal area” is based on cutting up shapes and pasting them back together. This idea has inspired modern math beyond just computing areas of triangles and squares. Euclid’s notion of area is preserved by geometric “cutting-and-pasting,” making the new shape equal to the original piece of construction paper. Euclid’s idea of area is still used in computations, such as computing the area of a pentagon by cutting it up into smaller triangles.


In math class, you probably learned how to compute the area of lots of different shapes by memorizing algebraic formulas. Remember “base x height” for rectangles and “½ base x height” for triangles? Or “? x radius²” for circles?

But if you were in math class in ancient Greece, you might have learned something very different. Ancient Greek mathematicians, such as Euclid, thought of area as something geometric, not algebraic. Euclid’s geometric perspective, recorded in his foundational work “Elements,” has influenced research programs across centuries – even the work of mathematicians today, like the two of us.

A gif of a blue blob bouncing between a triangle, circle and square, along with formulas for their areas.
Math today treats area algebraically, using formulas for simple shapes and calculus for more complicated regions.Maxine Calle, CC BY-ND

Modern mathematicians refer to Euclid’s concept of “having equal area” as “being scissors congruent.” This idea, based on cutting up shapes and pasting them back together in different ways, has inspired interesting mathematics beyond just computing areas of triangles and squares. The story of scissors congruence demonstrates how classical problems in geometry can find new life in the strange world of abstract modern math.

Euclid’s notion of area

Today, people think of the area of a shape as a single number that can be computed using algebraic formulas or calculus. So what does it mean to think of area as something geometric the way the ancient Greeks did.

Imagine you’re back in math class and you have a pair of scissors, some tape and a piece of construction paper. Your teacher instructs you to make a new flat, two-dimensional shape using all of the construction paper and only straight-line cuts. Using your scissors, you cut the paper into a bunch of pieces. You start moving these pieces around – maybe you rotate them or flip them over – and you tape them back together to form a new shape. 

A drawing of a student doodling on some paper. Above them, a pentagon is cut into 3 triangles, and those triangles are reassembled into a new polygon.
What kind of shapes can you make from a pentagon using only scissors and tape? Maxine Calle, CC BY-ND

Using your algebraic formulas for area, you could check that the area of your new shape is equal to the original area of the construction paper. No matter how a 2D shape is cut up – as long as all the pieces are taped back together without overlap – the area of the old and the new shape will always be equal.

A blue pentagon with a central eyeball is cut up into pieces.
You’re not allowed to make curved cuts or tape overlapping pieces. Maxine Calle, CC BY-ND

For Euclid, area is the measurement that is preserved by this geometric “cutting-and-pasting.” He would say that the new shape you made is “equal” to the original piece of construction paper – mathematicians today would say the two are “scissors congruent.”

What can your new shape look like? Because you’re only allowed to make straight-line cuts, it has to be a polygon, meaning none of the sides can be curved.

A gif of a pentagon splitting up into five triangles
When a polygon is cut up into pieces, its area doesn’t change. Maxine Calle, CC BY-ND

Could you have made any possible polygon with the same area as your original piece of paper? The answer, amazingly, is yes – there’s even a step-by-step guide from the 1800s that tells you exactly how to do it. 

In other words, for polygons, Euclid’s notion of area is exactly the same as the modern one. In fact, you may have even used Euclid’s idea of area before in computations without knowing it.

For example, you can use scissors congruence to compute the area of a pentagon. Since area is preserved if you cut the pentagon up into smaller triangles, you can instead find the area of these triangles (using “½ base x height”) and add them up to get the answer.

A pentagon, the same pentagon split up into five triangles, and the five separate triangles
It can be easier to compute the area of a pentagon by chopping it up into smaller triangles. Maxine Calle, CC BY-ND

Hilbert’s third problem

Perhaps the most infamous appearance of scissors congruence is on the famous German mathematician David Hilbert’s list of problems, which consisted of some of the most important mathematical questions of the 1900s. Of the original 23 problems Hilbert proposed, some have been solved, some have been shown to be unsolvable and others are still unresolved. The third problem on the list, and the first to be resolved, is about scissors congruence.

Instead of two-dimensional polygons, Hilbert asked about their three-dimensional cousins: polyhedra. Euclid’s notion of scissors congruence was known to be an accurate description of two-dimensional area, but could it be a good notion of three-dimensional volume?

An illustration of the five platonic solids
There are just five Platonic solids – polyhedra, whose faces are all the same polygon. Maxine Calle, CC BY-ND

The answer came within a year, provided by one of Hilbert’s students, Max DehnDehn’s solution to the problem was very different from the two-dimensional case. He showed that when polyhedra are cut up, volume is not the only thing that is preserved. There is another preserved measurement, now called the Dehn invariant, which is constructed from the lengths of edges and the angles between the faces of the polyhedron. 

If two polyhedra are scissors congruent, then they have to have the same Dehn invariant. So, if Dehn could find two polyhedra with the same volume but different values of this invariant, that would prove the answer to Hilbert’s third problem is no – scissors congruence doesn’t precisely capture 3D volume.

A tetrahedron splits into pieces. In its thought bubble is a cube, also splitting into pieces.
There is no way to cut a tetrahedron into pieces and glue them back together to make a cube with the same volume.Maxine Calle, CC BY-ND

This is exactly what Dehn did, showing that the invariants associated to a cube and tetrahedron with the same volume are different. This means that there’s no possible way to cut up a tetrahedron into a finite number of pieces and reassemble them back into a cube with the same volume.

Are volume and the Dehn invariant all we need to know? If two polyhedra have the same volume and the same Dehn invariant, does that tell us they’re scissors congruent? It took mathematicians another 60 years to answer this question. In 1965, Jean-Pierre Sydler confirmed that the answer is yes, closing this chapter on scissors congruence.

Strange shapes and stranger connections

But the story doesn’t end there. Mathematics is full of shapesliving in higher dimensions – like 4D, 100D, 3,485D or any dimension you can imagine – which are impossible to visualize. An active new research area called generalized scissors congruence seeks to uncover whether Hilbert’s question about scissors congruence can also be stated – and maybe even solved – for these strange shapes. 

An illustration of various shapes lining a landscape, with arrows pointing between them. Some resemble waves.
Mathematicians study other strange kinds of geometries, like hyperbolic and spherical geometry.Maxine Calle, CC BY-ND

However, what it means for two things to be scissors congruent is now far more complicated. While Hilbert and Dehn cared about things like volume and angles, other mathematicians could exchange these physical traits for something far less tangible

A recent research program pioneered by mathematicians Jonathan Campbell and Inna Zakharevich proposes a unifying framework for generalized scissors congruence. This framework is built using a very abstract, seemingly unrelated mathematical toolkit called algebraic K-theory

A triangle jumps into a machine and splits into three triangles.
Algebraic K-theory was developed in the late 20th century in the field of abstract math known as algebraic topology.Maxine Calle, CC BY-ND

The big idea of K-theory is that mathematical objects can be understood by how they decompose into fundamental building blocks – much like molecules are broken up into atoms. With a little bit of adjustment, mathematicians can harness the machinery of K-theory and apply it to generalized scissors congruence problems.

This use of K-theory reimagines the problem of scissors congruence and opens the doors for future research. But at the end of the day, scissors congruence is a concrete idea that you don’t need fancy math to understand – just some patience, creativity, a pair of scissors and a lot of tape.

Contributor

Recently Published

Key Takeaway: The concept of the “cosmic censorship conjecture” suggests that singularities within the universe are hidden within black holes, providing a protective barrier. However, the integration of quantum mechanics challenges this idea, creating “quantum black holes” that obey the subatomic world’s rules. These quantum entities must account for effects like negative energy, which does […]
Key Takeaway: The second, the fundamental unit of time, is being refined through advancements in timekeeping technology. Throughout history, humans have sought to track time with greater precision, starting with the Neolithic site of Newgrange in Ireland. In 1967, the International System of Units established that a second corresponds to 9,192,631,770 oscillations of radiation emitted […]

Top Picks

Key Takeaway: A visiting professor from Canada delivered lectures on complex dynamics, revealing breathtaking visuals of fractals, a realm pioneered by Benoit Mandelbrot. Mandelbrot’s groundbreaking work transformed how mathematicians approached their work, legitimizing the use of pictures in mathematics and challenging the field’s traditional reliance on purely analytical methods. His groundbreaking work, “The Fractal Geometry […]
Key Takeaway: Recent research by physicists has revealed that our universe may not be optimal for intelligent life. The mysterious force known as dark energy accelerates the universe’s expansion, but its value is far smaller than theoretical expectations. Researchers used anthropic reasoning to explain this, arguing that the properties of the universe must align with […]
Key Takeaway: Scale AI has launched the initiative “Humanity’s Last Exam” to determine the capabilities of cutting-edge large language models (LLMs) like Google Gemini and OpenAI’s o1. The initiative aims to determine how close we are to achieving AI systems that rival human expertise. The challenge lies in evaluating intelligence in machines that can already […]
Key Takeaway: Volkswagen, once a symbol of German industry and co-management between shareholders and unions, is facing a crisis due to strategic missteps, a convoluted governance structure, and a culture that often prioritizes control over innovation. The company’s journey began in 1937 with the Beetle, which became the world’s largest carmaker in the 1980s and […]

Trending

I highly recommend reading the McKinsey Global Institute’s new report, “Reskilling China: Transforming The World’s Largest Workforce Into Lifelong Learners”, which focuses on the country’s biggest employment challenge, re-training its workforce and the adoption of practices such as lifelong learning to address the growing digital transformation of its productive fabric. How to transform the country […]

Join our Newsletter

Get our monthly recap with the latest news, articles and resources.

Login

Welcome to Empirics

We are glad you have decided to join our mission of gathering the collective knowledge of Asia!
Join Empirics