.

  • Written by Maxine Calle, Ph.D. Candidate in Mathematics, University of Pennsylvania
A brief illustrated guide to 'scissors congruence' − an ancient geometric idea that’s still fueling cutting-edge mathematical research

In math class, you probably learned how to compute the area[1] 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[2], thought of area as something geometric, not algebraic. Euclid’s geometric perspective, recorded in his foundational work “Elements[3],” has influenced research programs across centuries – even the work of mathematicians today, like the two[4] of us[5].

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[6]

Modern mathematicians refer to Euclid’s concept of “having equal area” as “being scissors congruent[7].” 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[8]

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[9]

For Euclid, area is the measurement that is preserved by this geometric “cutting-and-pasting.” He would say[10] 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[11]

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[12] 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[13]

Hilbert’s third problem

Perhaps the most infamous appearance of scissors congruence is on the famous German mathematician David Hilbert[14]’s list of problems[15], which consisted of some of the most important mathematical questions of the 1900s. Of the original 23 problems[16] 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[17]. 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[18]

The answer came within a year, provided by one of Hilbert’s students, Max Dehn[19]. Dehn’s solution[20] 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[21], 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[22]

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[23] 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 shapes[24] living 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[25] 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[26]

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[27].

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

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[32]

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[33] 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.

References

  1. ^ compute the area (www.cuemath.com)
  2. ^ such as Euclid (www.britannica.com)
  3. ^ Elements (www.claymath.org)
  4. ^ the two (scholar.google.com)
  5. ^ of us (web.sas.upenn.edu)
  6. ^ CC BY-ND (creativecommons.org)
  7. ^ being scissors congruent (dx.doi.org)
  8. ^ CC BY-ND (creativecommons.org)
  9. ^ CC BY-ND (creativecommons.org)
  10. ^ He would say (aleph0.clarku.edu)
  11. ^ CC BY-ND (creativecommons.org)
  12. ^ step-by-step guide (dmsm.github.io)
  13. ^ CC BY-ND (creativecommons.org)
  14. ^ David Hilbert (www.britannica.com)
  15. ^ list of problems (aleph0.clarku.edu)
  16. ^ Of the original 23 problems (www.simonsfoundation.org)
  17. ^ polyhedra (www.mathsisfun.com)
  18. ^ CC BY-ND (creativecommons.org)
  19. ^ Max Dehn (www.britannica.com)
  20. ^ Dehn’s solution (doi.org)
  21. ^ the Dehn invariant (www.youtube.com)
  22. ^ CC BY-ND (creativecommons.org)
  23. ^ Jean-Pierre Sydler confirmed (doi.org)
  24. ^ full of shapes (theconversation.com)
  25. ^ generalized scissors congruence (www.nsf.gov)
  26. ^ CC BY-ND (creativecommons.org)
  27. ^ far less tangible (doi.org)
  28. ^ Jonathan Campbell (www.jonathanacampbell.com)
  29. ^ Inna Zakharevich (pi.math.cornell.edu)
  30. ^ unifying framework (dx.doi.org)
  31. ^ algebraic K-theory (bookstore.ams.org)
  32. ^ CC BY-ND (creativecommons.org)
  33. ^ apply it (www.quantamagazine.org)

Authors: Maxine Calle, Ph.D. Candidate in Mathematics, University of Pennsylvania

Read more https://theconversation.com/a-brief-illustrated-guide-to-scissors-congruence-an-ancient-geometric-idea-thats-still-fueling-cutting-edge-mathematical-research-210612

Metropolitan republishes selected articles from The Conversation USA with permission

Visit The Conversation to see more