The Double Subdivision-Network Method

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
Two polygons and
are equivalent (
) if they have the same area. In the article "On the Degree of Equivalence of Polygons", Tarski defines the degree of equivalence
of two equivalent polygons
and
as the least integer
for which there exists an
-piece dissection of
to
.
Contributed by: Izidor Hafner (May 2017)
Open content licensed under CC BY-NC-SA
Snapshots
Details
The method used in the proof of the theorem that two polygons equivalent to a third are equivalent to each other is called the double subdivision-network.
Reference
[1] A. McFarland, J. McFarland and J. T. Smith, eds., Alfred Tarski: Early Work in Poland—Geometry and Teaching, Basel: Birkhäuser, 2014 pp. 137–138.
Permanent Citation