Como buen cabezota, me sumo a los millones que dieron la cabeza contra la pared. Nada he demostrado (ni podré obviamente). Solamente me encantaría encontrar algo mínimo para iniciar un intento de demostrar el UTF en forma elemental.
\( a^n+b^n=c^n \) (1)
Si a y b fuesen iguales c resultaría irracional. Simbolizo b al mayor. Entonces tengo lo siguiente.
\( \dfrac{a}{b} < 1 \) (2)
Para n>1 la ecuación (1) admite representación geométrica triangular.

Simbolizo x al ángulo que forman a y b en esa representación. Entonces aplico el teorema del coseno.
\( a^2+b^2-2ab \ \cos{x}=C^2 \) (3)
¿ Forman (1),(2),(3) un sistema suficiente para iniciar una demostración del UTF ?