Mira que en matemáticas hay teoremas curiosos, extraños, intuitivamente paradójicos,…(podéis añadir aquí multitud de adjetivos que indiquen sorpresa), y todavía, después de conocer muchos de ellos, podemos encontrar alguno que nos llame la atención por lo interesante y sugerente del resultado. A mí me ocurrió cuando supe de la existencia del denominado teorema de Bolyai-Gerwien.
Vamos a introducir el resultado con un caso particular. Imaginad que tenemos un cuadrado de lado 2 y un triángulo rectángulo de catetos 2 y 4, como los que aparecen en la figura:
El área del cuadrado es , y la del triángulo es
. Vamos, que tienen áreas iguales. Y aquí viene la pregunta:
Para resolverla quizás lo más divertido y educativo sea tomar papel y tijeras y pensar. Para los que no lo hagáis, os comento que la respuesta está en Gaussianos, mezclando estos dos artículos.
Bien, creo que a raíz de esto la pregunta es obligada: ¿se podrá hacer siempre esto? Es decir: ¿entre qué polígonos se puede conseguir que una cierta disección de uno de ellos pueda reordenarse formando el otro? Veamos un enunciado informal del teorema:
Teorema de Bolyai-Gerwien:
Dados dos polígonos cualesquiera de la misma área, es posible cortar uno de ellos en un número finito de piezas poligonales de forma que estas piezas puedan reordenarse formando exactamente el otro polígono.
Vamos, que lo que hemos comentado antes se puede hacer siempre. Una demostración intuitiva (aunque también informal) de este resultado es la siguiente:
Todo polígono puede cortarse en piezas triangulares que se puede reordenar para formar rectángulos. Estos rectángulos a su vez puede colocarse para formar un rectángulo más grande, que después puede recortarse en piezas que formen un cuadrado, que tiene la misma área que el polígono inicial.
Como esto lo podemos hacer con los dos polígonos, podemos llevar uno de ellos hasta un cuadrado y después llevar ese cuadrado hasta el otro polígono (invirtiendo el proceso descrito en el párrafo anterior). Así conseguimos pasar de uno de los polígonos al otro.
Quizás ahora, después de ver el ejemplo y una demostración informal, penséis que el resultado es evidente, pero seguro que cuando habéis leído el enunciado del mismo os habéis sorprendido un poco.
Este teorema fue conjeturado por Farkas Bolyai (el padre de Janos Bolyai) sobre 1790, y fue demostrado por William Wallace (el matemático) en 1807. Posteriormente, en 1833, Gerwien (de quien solamente he encontrado esto) lo demostró sin conocer la existencia de la prueba de Wallace. En 1835 Bolyai también encontró una prueba sin saber nada sobre las anteriores.
¿Qué ocurre en tres dimensiones
Después de conocer esto parece natural preguntarse si en 3 dimensiones ocurre lo mismo. Pues la respuesta es no, en general no se puede diseccionar un poliedro en poliedros más pequeños tales que se puedan reordenar para conseguir cualquier otro poliedro. De hecho éste fue el tercer problema de la lista de Hilbert del año 1900, y fue resuelto por Max Dehn, alumno del propio Hilbert, en el mismo año 1900.
¿Se puede pasar de un círculo a otro polígono?
Y otra pregunta interesante que podríamos hacernos es si podríamos cortar un círculo en una cantidad finita de piezas que pudieran ser reordenadas para formar un polígono, por ejemplo un cuadrado, de la misma área que el círculo inicial. La respuesta es no, ¿verdad? Claro, ya sabemos que la cuadratura del círculo es imposible…con regla y compás. ¿Y si quitamos esa restricción? Esto es, ¿podría pasarse del círculo al cuadrado teóricamente, aunque físicamente no se pueda? La respuesta es sí, es decir, podemos recortar un círculo en un número finito de piezas que luego se pueden reordenar para formar un cuadrado de la misma área que el círculo, pero no podemos reproducirlo físicamente. ¿Por qué no podemos? Pues por la misma razón que nos impide reproducir físicamente lo que describe la paradoja de Banach-Tarski: porque las piezas en las que hay que dividir el círculo son no medibles.
Por cierto, este problema se denomina Tarski’s circle-squaring problem y fue propuesto por Alfred Tarski en 1925 y demostrado por Miklós Laczkovich en 1990, cuya descomposición usa unas piezas. Ahí es nada…
La imagen de Farkas Bolyai la he tomado de aquí y la de Alfred Tarski de aquí.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Información Bitacoras.com…
Valora en Bitacoras.com: Mira que en matemáticas hay teoremas curiosos, extraños, intuitivamente paradójicos,…(podéis añadir aquí multitud de adjetivos que indiquen sorpresa), y todavía, después de conocer muchos de ellos, podemos encontrar……
excelente articulo.
excelente articulo.
Me pregunto qué ocurrirá con un parábola o cualquier otra curva, especialmente con las cónicas; y con politopos de dimensión mayor que tres. ¿Se podrá hacer lo mismo?
Se me vino a la cabeza el tema de la teselación del cuadrado, si mal no recuerdo, cualquier forma obtenida a partir de un cuadrado (o bien de un poligono) puede teselar el plano, en este caso se podría hacer cortando el cuadrado desde la mitad del lado superior hasta la esquine inferior izquierda y reordenando los dos trozos para obtener el triángulo de la figura, y así mismo para obtener el cuadrado a partir del triángulo. Si no me equivoco esto es posible con cualquier poligono regular.
Gran artículo !!!!
Respecto al «Tarski’s circle-squaring problem», no he indagado mucho, pero no entiendo cómo a Laczkovich le han podido salir 10^50 piezas en su demostración, por muy no-medibles que éstas sean. Ese número surgiría de alguna necesidad o restricción, pero mi intuición me dice que no debe ser precisamente el mínimo (será una cota superior). Es evidente que se trata de un número finito, y sin embargo, tan lejos de infinito está 10^50 como, p.ej., 67. A donde quiero llegar es a que 10^50 parece un poco grande como para ser un número especial por algo (definible como el número de… Lee más »
[…] El teorema de Bolyai-Gerwien (y un par de resultados chocantes relacionados con él), Gaussianos, 2011 […]
[…] Gaussianos, El teorema de Bolyai-Gerwien (y un par de resultados chocantes relacionados con él) […]
Hay un libro de divulgación sobre esto que se llama figuras equivalentes y equicompuestas
https://drive.google.com/file/d/1KFVurZJJ1uFPu2HgUTzSHjXm0b02B2d3/view?usp=sharing
Martín, no conocía ese libro. Muchas gracias por tu aporte :).