uciano's webpage

diseccin perfecta de polgonos for dummies

June 15, 2010 at 4:23 pm Filed under favorites, geek, math, procrastination

Por razones que explicar en una prxima entrada de este mismo blog, ltimamente he
estado divagando alrededor del concepto de la diseccin perfecta de polgonos. Y es este
divague el que me gustara compartir con ustedes en este (demasiado) extenso post.

Empezando por el principio, qu es un polgono? En trminos wikipediables:

un polgono es una figura geomtrica formada por segmentos consecutivos no alineados,

llamados lados.

Nos gusta que los segmentos no estn alineados, porque as forman ngulos, que es parte de
la definicin etimolgica. Por otro lado, el hecho de que los segmentos sean consecutivos,
garantiza que la figura quede cerrada. En particular, nos vamos a centrar en polgonos que
sean:

planos. Es decir, bidimensionales, de lo que se pueden dibujar en un papel.

simples. Es decir, que sus lados no se corten entre s.
convexos. Es decir, si al atravesarlo con cualquier recta lo corta en no ms de dos puntos.
con hasta un mximo de 4 lados. Es decir, tringulos y cuadrilteros

En definitiva, vamos a referirnos a figuras sencillas donde algunas regularidades nos sean
agradables, como el hecho de que los lados sean del mismo tamao o que tenga algunos
ngulos iguales.

Una vez acotado el universo de polgonos vayamos a la siguiente parte del asunto: la
diseccin. Esta idea es bastante intuitiva. El objetivo es tomar un polgono y subdividirlo
en otros. A estos otros los vamos a llamar elementos, dado que forman y son parte del
polgono grande inicial. La cantidad de elementos es el orden de la diseccin. Un factor
interesante que vamos a agregar a esta definicin informal es que los elementos solo
pueden variar en su proporcin u orientacin, por ejemplo que sean todos cuadrados o
todos tringulos rectngulos, pero no mezclados.

Vamos a por un ejemplo inicial sencillo. Si tomamos un cuadrado,

podemos dividirlo en cuatro tringulos issceles rectngulos del
mismo tamao, como en la figura de la derecha . As tenemos un
polgono interesante (el cuadrado) que puede ser dividido en cuatro
polgonos interesantes (los tringulos rectngulos issceles). Sin un
gran esfuerzo de imaginacin, tambin podramos dividir un
cuadrado en 4 cuadrados (pero es una imagen que evitaremos, que
me hace acordar a una empresa monopolizadora).

As obtenemos disecciones de polgonos, que a primera vista, no parecen ninguna

genialidad. Sin embargo, algunas ideas interesantes empiezan a surgir. Por ejemplo, dado
que tanto el contenedor como los elementos son interesantes, la nocin recursiva aflora.
Otros conceptos llamativos, como el de teselado regular, temas de empaquetamiento o el
problema de Mrs. Perkinss Quilt pueden desprenderse desde este punto.

Nosotros vamos a tomar otro camino al agregar el ltimo ingrediente de esta receta: la
diseccin perfecta, que pide que los elementos sean todos de distinto tamao. Ac se pone
ms interesante y mucho menos obvio. Volvamos a nuestro ejemplo de dividir un cuadrado
en tringulos rectngulos issceles, pero esta vez hagamos una diseccin perfecta. A
continuacin, la propuesta de Arthur Stone:

El nmero es el largo del cateto de tringulo. Estamos entrando en un terreno donde ahora
las cosas son difciles de imaginar a primera vista. Uno podra empezar a preguntarse en
cuntas formas distintas se pueden hacer estas disecciones, si es que hay mas de una. Y si
hubiese, cmo se pueden construir. En un interesante y largo paper de 1999, Skinner II et.
al. proponen una analoga con la primera ley de Kirchhoff (si, esa sobre los nodos de los
circuitos elctricos) para ayudar a la construccin de disecciones perfectas de cuadrados.
Este mtodo genera disecciones a tringulos rectngulos issceles que cortan la diagonal
principal de cuadrado que los contiene (lo que permite generar disecciones simples,
explicadas ms adelante). Como en el siguiente ejemplo extrado de la pgina 33 del paper:
La siguiente pregunta es si existen disecciones perfectas en otras formas interesantes. Por
ejemplo, Brooks et. al. demostraron que no es posible dividir un tringulo equiltero en
tringulos equilteros de forma perfecta. En ese mismo trabajo de 1940 se seala que, a
diferencia de la perfectibilidad, era posible hacer una diseccin de equilteros en
equilteros que fuese simple.

Se dice que una diseccin es simple cuando ningn subconjunto de 2 o ms elementos

forma una figura de las informalmente definidas como interesante. Por ejemplo, en el caso
de la distribucin propuesta por Stone que ya mencionamos, el subconjunto de elementos
pintado con verde forma un tringulo rectngulo issceles:
Por lo que definimos esta diseccin como compuesta en contraposicin a la simple que expone
Skinner et. al.

Una diseccin puede ser simple y no perfecta, o viceversa. As, y como vena diciendo,
Brooks et. al. dicen que es posible dividir un tringulo equiltero en tringulos equilteros
de forma simple, aunque imperfecta. Dicha forma fue presentada por William Tutte, un
famoso criptoanalista britnico, y es as:

Y como en la vida misma, lo simple y lo perfecto perecen ser cualidades que cuesta ver en
conjunto. Pero que, para belleza de la cosas, no es imposible de encontrar. As es que me gustara
presentarles el cuadrado de menor orden que puede dividirse en cuadrados de forma simple y
perfecta, descubierto por Adrianus Johannes Wilhelmus Duijvestijn la noche del 22 de Marzo de
1978:

Esta diseccin en 21 cuadrados desiguales que no forman subconjuntos de cuadrados es lo

que se conoce como la diseccin de Duijvestijn, y se pueden comprar remeras con su
estampa. Si bien Duijvestijn ya haba descubierto disecciones perfectas simples del
cuadrado de ordenes superiores, haba probado, junto a Bouwkamp, que no era posible
crear estas disecciones en rdenes menores a 20. De ah el esfuerzo por encontrar la ms
pequea de las posibilidades.

Espero no haberlos aburrido en demasa. Para m fue muy entretenido y aprend muchsimo
sobre lgebra y geometra, as como formas de representacin imaginativas de conceptos
geomtricos que permiten razonar de forma algortmica. Si quieren aprender ms sobre los
temas tratados en esta entrada, pueden consultar la pgina Squaring.net que est totalmente
dedicada a este tipo de puzzles e incluye biografa de las personalidades referentes del rea,
as como otros temas relacionados. Este post est fuertemente basado en esta web. El
artculo de Wolfram MathWorld al respecto tambin es muy entretenido. Se puede
chusmear la pgina de wikipedia sobre el problema de Squaring the square para una idea
ms breve de la representacin de Smith.