Buenas, soy nuevo en esto de las demostraciones. Estuve leyendo en el foro las cosillas que poníais sobre el UTF, las demostraciones que posteabais por aquí y por allá y al ver esta, y ver cuánta complicaera (o a lo mejor es sencillo, pero de seguro difícil para mí que no domino la terminología matemática ni tengo idea alguna de las reglas de demostración, si es que hay) pensé por mi cuenta una vía para demostrarlo.
Y es sencillamente que:

Es decir, definimos el primer miembro como un cuadrado.

Esta ecuación será equivalente a la anterior en tanto en cuanto se arregle el entuerto de la raíz de 2^3, que no es entera. Y por la forma que tiene, la única libertad que tenemos para arreglarlo está en especificar más las características de n. Como el exponente de todos los factores tiene que ser par,

Y sólo así será posible que:

Sea equivalente a la primera.
Por favor, críticas, que es la primera """demostración""" que hago y aún no entiendo muy bien siquiera si he llegado a demostrar algo

Muchas gracias.
P.S. Si interrumpo la conversación, copiadme el mensaje donde sea o respondedme luego, que tampoco quisiera yo interferir. Comenté porque vi que estaba casi-solucionado y ya era roundabout the thread