16 votos

4545 Cubo de Rubik: demostración arccos(2214)arccos(2214) ¿es un ángulo irracional?

He estado trabajando en un problema relacionado con el cubo de Rubik 3x3x3 en el que se permite girar las caras por 4545 en lugar del habitual 9090 . Sabemos que para el 3x3x3 estándar el cubo se divide en 27 regiones y 26 de ellas son las piezas externas del puzzle (8 esquinas + 12 aristas + 6 centros de caras).

Para el 4545 Cubo de Rubik, cuando giras una cara por 4545 hay que añadir cortes adicionales para que las caras adyacentes puedan girar. Una propiedad interesante es que no importa cuántos cortes se añadan, parece que todavía hay configuraciones en las que las caras se bloquean a menos que se añadan más cortes. La comunidad de rompecabezas twisty llama a esta propiedad mezclando cuando se requiere un número infinito de cortes. Estoy tratando de demostrar que el 4545 Rompecabezas del cubo de Rubik.

A continuación se muestra un ejemplo de cubo de Rubik al que se han añadido algunos cortes para permitir algunos 4545 vueltas antes de que las cosas se bloqueen. En esta foto la cara izquierda con el centro octagonal amarillo se torció 4545 y luego la cara derecha con el centro del octágono rojo se torció 4545 . Ahora la cara amarilla no puede retorcerse más sin añadir más cortes a través de las piezas que la bloquean: 45 degree Rubik's Cube after two twists

Llamo a la secuencia anterior [45F 45R] .

Para tratar de demostrar que se requiere un número infinito de cortes, me propuse mostrar algo más simple que implica que. A saber, que un punto en el rompecabezas se hace girar alrededor de algún eje por un ángulo irracional si se repite [45F 45R] . Si al repetir estos dos movimientos una y otra vez los puntos giran un ángulo irracional, entonces el orden de la secuencia (el periodo) es infinito y hay que añadir un número infinito de cortes, lo que implica que el puzzle se desordena. Aquí hay una animación que muestra cómo se mueve el punto de la esquina cuando se hace [45F 45R] repetidamente: corner point rotating animation

Así que construyo la matriz de rotación para 45F y 45R y hallamos la matriz de rotación combinada:

(2/22/201/21/22/21/21/22/2)

Si haces algún trabajo adicional en esa matriz encontrarás que los puntos del eje están siendo rotados alrededor es [1, 2+1, 1] y el ángulo de rotación de los puntos es arccos(2214)

A continuación se muestra un gráfico de varios puntos diferentes a través de unos cientos de aplicaciones de [45F 45R] y un gráfico del eje calculado a partir de la matriz de rotación: the orbit of several points about the axis

Ahora sólo queda demostrar que θ=arccos(2214) es un ángulo irracional. Por irracional ángulo Quiero decir que θ no es de la forma mnπ .

La estrategia que he probado es asumir que θ=mnπ y luego demostrar que conduce a una contradicción. Esto parece una buena manera de hacerlo porque cos(nθ)=Tn(cos(θ)) donde Tn es el nth Polinomio de Chebyshev. Esto es sencillo porque nθ=nmnπ=mπ donde m es un número entero. cos(mπ)=±1

Como sabemos cos(θ)=2214 si podemos demostrar Tn(2214)±1 para cualquier Tn entonces θ no puede ser de la forma mnπ lo que es una contradicción y demostraría que el ángulo es irracional.

Por desgracia, estoy atascado. He intentado expandir varios polinomios de Chebyshev y sustituirlos por y para 2 conectando y214 y ciertamente parece que los poderes impar de y nunca podría anularlo del todo, pero no puedo resolver los detalles.

Entonces, ¿hay alguna manera de probar arccos(2214) ¿es un ángulo irracional?

2 votos

Hay una prueba en arxiv.org/abs/1006.2938 . Alguien podría escribirlo como respuesta...

0 votos

@ChrisCulter gracias por el enlace. De hecho, ayer leí este artículo varias veces mientras intentaba responder a la pregunta. Había mucho contenido que no entendía y los enteros algebraicos era una de esas cosas. No me di cuenta de que no eran sólo un número entero. ¿Tenías en mente algún aspecto de ese documento aparte de los enteros algebraicos que Will Jagy utilizó en su respuesta?

11voto

Stephan Aßmus Puntos 16

Libro http://www.amazon.com/Irrational-Numbers-Carus-Mathematical-Monographs/dp/0883850389

página 37, Teorema 3.9, debido a Lehmer: dados enteros n>2 y k, entonces 2cos(2kπn) es un entero algebraico de grado ϕ(n)/2.

El doble de su coseno es t=212. Esto satisface 4t2+4t7=0 y es un número algebraico pero no un entero algebraico. Véase https://en.wikipedia.org/wiki/Algebraic_integer#Non-example

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X