[matemáticas]
{\ large \ it \ text {Print Gallery (Escher, 1956) representa a}}
[/matemáticas]
[matemáticas]
{\ large \ it \ text {galería, en la que un niño mira un}}
[/matemáticas]
[matemáticas]
{\ large \ it \ text {imagen de una galería, en la cual}}
[/matemáticas]
[matemáticas]
{\ normalsize \ it \ text {un niño mira una foto de un}}
[/matemáticas]
[matemáticas]
{\ small \ it \ text {galería, en la que se ve un niño}}
[/matemáticas]
[matemáticas]
{\ scriptsize \ it \ text {en una imagen de una galería, en}}
[/matemáticas]
[matemáticas]
{\ tiny \ it \ text {que un niño mira una foto …}}
[/matemáticas]
Todos los trabajos de MC Escher: © Cordon Art-Baarn-the Netherlands.
El arte matemático de Escher
El artista holandés MC Escher es conocido sobre todo por sus increíbles escaleras imposibles …
… y sus patrones de mosaico ‘orgánicos’ …
… sin embargo, lo admiro más por Print Gallery.
- ¿Qué tan bueno es Bill Gates en matemáticas?
- ¿Qué es “reforma matemática”?
- ¿Cómo debo estudiar matemáticas?
- ¿Qué exámenes te enseñan una gran cantidad de matemáticas y CS?
- ¿Cómo fue tu experiencia cuando aprendiste Matemáticas en la escuela?
Sin embargo, no fue amor a primera vista, y fue algo así como:
Solo años después supe que la estructura matemática de este fractal pictórico es casi perfecta. Por prueba y error, Escher obtuvo la única solución matemática para la transformación necesaria que crea:
- inicio exponencial,
- en el que las capas están continuamente conectadas,
- mientras que todos los detalles están mínimamente deformados.
Fractales pictóricos con capas desconectadas
A mediados del siglo XX, algunas compañías hicieron anuncios en los que la imagen principal se repetía recursivamente como imágenes más pequeñas, creando una serie exponencial.
Por ejemplo, la compañía holandesa Droste vendió su cacao en un paquete que representa a una enfermera que lleva un paquete que representa a una enfermera que lleva un paquete … Izquierda: fractal pictórico en el que iterativamente una copia más pequeña de la imagen grande está completamente incrustada en cada versión más grande. Este anidamiento estricto también se ve en las famosas muñecas rusas Matryoshka (derecha).
Escher se preguntaba si era necesario que cada imagen más pequeña estuviera completamente anidada dentro de cada imagen más grande, o si las capas también podían conectarse. Descubrió que tenía que usar una espiral exponencial, lo que resultó en su ‘Galería de impresión’.
El modelo matemático
En 2000, matemáticos de la Universiteit Leiden del grupo de Hendrik Lenstra se propusieron hacer un modelo matemático de la cuadrícula que utilizaba Escher. En la imagen a continuación, puede ver la solución matemática de Lenstra (izquierda) y cuán cerca de la cuadrícula de Escher era perfecta (derecha). Izquierda: la cuadrícula de Lenstra, basada en álgebra compleja, desarrollada por sus estudiantes de doctorado utilizando una computadora. Derecha: la cuadrícula de Eschers , basada en fantasía y estética, desarrollada con una sola mano usando lápiz, papel y regla.
Las diferencias se pueden ver cerca y fuera del cuadrado ABCD, por ejemplo, vea la línea verde cóncava de Lenstra, que es convexa en la cuadrícula de Escher. Estas diferencias son causadas por el hecho de que Escher tenía un requisito adicional; la imagen tuvo que ser enmarcada. No estaba interesado en la continuación matemática externa.
Lenstra mostró que la cuadrícula de Escher se podía obtener transformando una imagen con coordenadas Log-polares (vea algunos ejemplos al final de esta respuesta), seguida de una rotación, y luego realizando la transformación logpolar inversa nuevamente, que se ilustra a continuación: A) Comenzando con una imagen estándar en una cuadrícula regular. (Los cuadrados y la línea azul se agregan como referencia visual).
a-> b) la transformación logpolar corta la cuadrícula en una orientación y abre la imagen.
b) El eje vertical representa la distancia a escala logarítmica del centro de la imagen de la imagen original. El eje horizontal representa el ángulo. Los brazos de los cuadrados están abiertos y extendidos horizontalmente, ya que todos los lados tienen la misma distancia al centro.
b -> c) Al girar la imagen logpolar, los brazos izquierdos se mueven hacia el centro, mientras que los brazos derechos de los cuadrados se alejan del centro.
c) Esto hace que cada brazo izquierdo se conecte al brazo derecho de un cuadrado más pequeño, creando la espiral exponencial.
c -> d) Al ‘cerrar’ los cuadrados nuevamente (con la transformación inversa logarítmica polar) la espiral exponencial se hace visible.
d) Cuadrícula resultante con la espiral exponencial moviéndose hacia dentro en sentido antihorario.
(NB: la última figura (d) ilustra la idea, pero no es realmente precisa. En realidad, el cuadrado rojo no está conectado al cuadrado verde (factor 4 más pequeño) sino a un cuadrado mucho más pequeño (factor 256) pero se obtiene el idea…)
Una animación 3D dinámica de Print Gallery:
La animación 3D a continuación visualiza muy bien la espiral infinita resultante:
https: // www.youtube.com / watch? v = olq5MVoM9ro
Para concluir
Entonces, ¿qué hace que las matemáticas sean tan hermosas? Que al esforzarse por alcanzar la forma perfecta de su objetivo básico (crear un fractal pictórico continuo con mínima deformación), Escher desarrolló naturalmente una transformación que, en retrospectiva, es la solución óptima, con una formulación muy elegante y simple.
Es absolutamente increíble que haya hecho esto sin un título en matemáticas , sin una computadora gráfica . Aunque Escher se consideraba a sí mismo sin capacidad matemática, básicamente inventó la transformación logarítmica * polar para construir la espiral logarítmica necesaria para esta fantástica obra de arte. Estas coordenadas log-pol se usan actualmente en el registro de imágenes (médicas) y en la navegación autónoma para robots y drones.
* Bueno … Escher no lo hizo todo solo, algunos de sus amigos eran matemáticos.
Fuentes / lecturas adicionales
[1] Documento de Lenstra: página en ams.org
[2] http: //archive.bridgesmathart.or…
Apéndice: la transformación Log-Polar
La transformación logarítmica polar se explica mejor con algunas imágenes.
Primer ejemplo
En la siguiente caricatura de xkcd, el eje vertical es exponencial, el eje horizontal representa (una parte de) el ángulo de visión azimutal:
Fuente: xkcd
Segundo ejemplo
¡También puede hacer hojas de ruta en coordenadas log-polares!
Supongamos que está visitando Europa, y después de visitar la Torre Eiffel (parte inferior de la imagen) quiere conducir a Suiza. Entonces, un mapa log-polar es bastante intuitivo, mostrando en un mapa todo lo que necesita saber:
- Cómo salir de la plaza de aparcamiento.
- cómo encontrar un supermercado para hacer algunas últimas compras
- cómo encontrar la ‘Périphérie’
- Cómo encontrar el camino más corto a Suiza
- qué ciudades pasarás
Todo en una vista!
Fuente: Dmitry Shintyakov