Los métodos utilizados para resolver el problema son más interesantes que solo resolverlo, en sí mismo. Wiles no probó toda la conjetura de modularidad (Teorema de modularidad – Wikipedia). Probó que era suficiente para probar el último teorema de Fermat. Pero el método que usó podría ser generalizado por otros para probar todo.
El teorema de la modularidad es de interés de una manera más obvia, porque nos dice algo sobre ecuaciones cúbicas en dos variables en general.
La mayoría de las personas en la escuela aprenden algo de álgebra, lo suficiente como para lidiar con ecuaciones lineales (ecuaciones de grado uno) en una variable. Tratar ecuaciones lineales en varias variables requiere un poco más de trabajo, pero los principios son muy parecidos. Resolver ecuaciones cuadráticas (grado dos) en una variable es un tema común. Parece que el tiempo dedicado a las secciones cónicas (dado por ecuaciones de grado dos en dos variables) no se ha mantenido consistente con los cambios en el plan de estudios, sino que solía considerarse un tema clásico de las matemáticas elementales. Se dijo un poco sobre las superficies cuádricas.
- ¿Cuáles son algunos términos de argot utilizados en la comunidad matemática?
- ¿Cómo resuelvo (1+ | xy-1 |) <(1+ | y-1 |) (1+ | x-1 |)?
- ¿Puede demostrar que si [math] z [/ math] no es real y [math] \ dfrac {1 + z + z ^ 2} {1-z + z ^ 2} [/ math] es real, entonces [math ] | z | = 1 [/ matemáticas]?
- ¿Qué tipos de matemáticas hay en el SAT?
- Dados los números, del 1 al 1000, ¿cuál es el número máximo de conjeturas (siguiendo una estrategia de conjetura óptima) necesaria para encontrar un número específico si se le da la pista "más alto" o "más bajo" para cada suposición que haga?
¿Cuál podría ser el próximo tema natural? Resolver ecuaciones cúbicas en una variable que no tiene en cuenta coeficientes racionales fue más importante en el siglo XVI de lo que es ahora. Resulta que el siguiente paso en esta progresión, las curvas cúbicas en el plano (en dos variables) abre un mundo de problemas más sutiles. Dada una curva cúbica no singular con un punto designado, se puede definir una curva en el espacio proyectivo conocida como curva elíptica (Curva elíptica – Wikipedia). (De alguna manera, los singulares son más simples).
El teorema de la modularidad nos dice que cada curva elíptica tiene una parametrización especial. Un ejemplo mucho más simple de una parametrización es la parametrización racional del círculo [matemática] x ^ 2 + y ^ 2 = 1 [/ matemática] dada por [matemática] (x, y) = ((1-t ^ 2) / (1 + t ^ 2), 2t / (1 + t ^ 2)) [/ matemáticas]. Esa parametrización pierde el punto [matemática] (- 1,0) [/ matemática] pero ese es el punto que corresponde en cierto sentido a dejar que [matemática] t [/ matemática] vaya al infinito. Todos los otros puntos en el círculo que tienen coordenadas racionales corresponden a valores racionales de [math] t [/ math]. Los puntos racionales [matemática] (a / c, b / c) [/ matemática] están asociados con triples pitagóricos, [matemática] a ^ 2 + b ^ 2 = c ^ 2 [/ matemática], y la parametrización racional le permite encuentre todos los triples pitagóricos sistemáticamente. La parametrización modular de una curva elíptica es más técnica, pero es básica para la teoría de las curvas elípticas.