Es ampliamente conocido que podemos cuadrar un cuadrado, lo cual se define de la siguiente manera:
"Cuadrar un cuadrado" es cubrir un cuadrado con longitudes laterales enteras con cuadrados más pequeños con longitudes laterales enteras.
En realidad es muy simple; podemos, por ejemplo, cubrir un cuadrado de $2\times2$ con cuatro cuadrados unitarios. Así, la gente ha pensado en la restricción de que todas las baldosas deben tener diferentes tamaños, a la que han llamado perfecta. Resulta que esto es posible, siendo el cuadrado perfectamente cuadrado más pequeño un cuadrado de $112\times112$:
Mi pregunta es simple: ¿podemos hacer lo mismo con triángulos equiláteros? ¿Significa esto que podemos cubrir un triángulo equilátero con longitudes laterales enteras con triángulos equiláteros más pequeños con longitudes laterales enteras (pero todas diferentes)? Si es así, ¿cuál sería el triángulo perfectamente triangular más pequeño?
EDITAR:
He estado pensando y creo que estoy acercándome.
Echemos un vistazo a la tesela de triángulo más pequeña (la llamaremos $\tau$). Vamos a dividir los casos.
Caso 1: $\tau$ está en un vértice. Si el pequeño triángulo es una ficha en uno de los tres vértices del triángulo principal, entonces le queda un borde; solo triángulos más pequeños o del mismo tamaño que $\tau$ pueden llenar ese borde, pero $\tau$ era el triángulo más pequeño. Esto es imposible.
Caso 2: $\tau$ está en el borde. Si $\tau$ está en el borde del triángulo principal, pero no en la esquina, entonces uno de los lados de $\tau$ está tocando el de un triángulo más grande, lo que hace que esas dos baldosas vecinas se solapen. Esto también es imposible.
Supongamos ahora que $\tau$ no está en el borde del triángulo principal.
Caso 3: Un borde de $\tau$ está tocando un vértice. Si un borde está tocando un vértice, entonces, dado que las baldosas vecinas son más grandes, tenemos lo siguiente (la baldosa naranja siendo $\tau$, ignore que el triángulo azul es del mismo tamaño, no importa):
Lo cual hace que este caso sea equivalente al caso 2.
Y luego el último caso es cuando ninguno de los anteriores se cumple, pero estoy bastante atascado en eso.
1 votos
cambridge.org/core/journals/… Según este artículo, parece que la respuesta es negativa. Lo siento, pero no puedo acceder a él para más detalles.
1 votos
Aquí hay un pdf. carlo-hamalainen.net/stuff/…