1 00:00:00,000 --> 00:00:08,599 Bueno, gracias a todos por venir, soy Luis Arana, hoy voy a presentar mi trabajo acerca de, bueno, el último tema de la jornada, titulado La Máscara con los Checos. 2 00:00:09,400 --> 00:00:18,640 Bueno, antes de nada quiero agradecer a mi editor y a la jornada, a todos los que me han ayudado a que este proyecto se diera a cabo. 3 00:00:18,640 --> 00:00:23,640 este es el índice de lo que se está anunciando hoy 4 00:00:23,640 --> 00:00:26,640 y los objetivos de este proyecto son 5 00:00:26,640 --> 00:00:28,640 recopilar conocimientos históricos y matemáticos 6 00:00:28,640 --> 00:00:31,640 en el periodo de construcción del teorema 7 00:00:31,640 --> 00:00:33,640 traducir el castellano entre cuatro documentos 8 00:00:33,640 --> 00:00:36,640 siendo originales algunas traducciones 9 00:00:36,640 --> 00:00:38,640 analizar los conocimientos históricos y matemáticos 10 00:00:38,640 --> 00:00:42,640 tratando de demostrar el conocimiento de una supuesta demostración a la longitud 11 00:00:42,640 --> 00:00:47,640 lo vemos ahora, y finalmente su calibre cultural y administrativo. 12 00:00:47,640 --> 00:00:52,640 Pero antes de saber cuál es esta conjetura, tenemos que saber quién la propuso. 13 00:00:52,640 --> 00:00:59,640 Y esta persona fue Pierre de Fermat. Pierre de Fermat nacía en 1801 en Mont-de-la-Marge, en Francia. 14 00:00:59,640 --> 00:01:07,640 Y bueno, nacía en una unidad de comerciantes que, rápidamente, lo mandaron a estudiar a tres unidades diferentes. 15 00:01:07,640 --> 00:01:10,640 La de Toulouse, la de Bourdeaux y la de Grenoble. 16 00:01:10,640 --> 00:01:17,640 Es curioso saber que Fermat realizó su carrera profesional como abogado, no como matemático. 17 00:01:17,640 --> 00:01:26,640 Sin embargo, su afición por esta ciencia lo convirtió en uno de los paréntesis más importantes de la teoría de números en general de todo el mundo. 18 00:01:26,640 --> 00:01:42,640 Bueno, sus estudios, solamente publicó un estudio, y sus conocimientos se ven recopilados en los márgenes de los libros de la colega y en la correspondencia con otros matemáticos. 19 00:01:42,640 --> 00:01:54,640 Esos dos libros, bueno, realizó sus estudios en las situaciones geofánticas, la gran mayoría de sus estudios están recogidos en las instituciones geofánticas que tenemos aquí, 20 00:01:54,640 --> 00:02:04,640 Y las ecuaciones dinámicas son estas, que tienen esta pinta, que son x más b y x igual a c, siendo a, b, c pertenecientes al conjunto de los números enteros. 21 00:02:04,640 --> 00:02:08,639 Y siempre se buscan soluciones enteras para este tipo de ecuaciones. 22 00:02:08,639 --> 00:02:16,639 Es en la matemática de Alejandro, precisamente, donde Fermat propuso lo siguiente. 23 00:02:16,639 --> 00:02:20,639 Es imposible separar un cubo de dos cubos, o un bicuadrado de dos bicuadrados, 24 00:02:20,639 --> 00:02:25,639 cualquier potencia de grado mayor que 2 en potencias de un mismo exponente, para no ser superpositiva. 25 00:02:25,639 --> 00:02:33,639 Y dijo lo siguiente, he encontrado una demostración de una palabra para explicar el efecto, que no se puede entender bien en esta manera de hablar. 26 00:02:33,639 --> 00:02:35,639 Esto se puede ver más o menos así. 27 00:02:35,639 --> 00:02:41,639 x a la n más y a la n es igual a z a la n, siendo y sin z, menos y. 28 00:02:41,639 --> 00:02:45,639 Si n es igual a 2, es el diálogo del coincidente de la metáfora. 29 00:02:45,639 --> 00:02:49,639 Por ejemplo, vamos a encontrar que 3 al cuadrado más 4 al cuadrado es igual a 5 al cuadrado. 30 00:02:49,639 --> 00:03:09,639 Sin embargo, si aumentamos esta n a, por ejemplo, 3, 4, 5 o cualquier otro número, veremos que nunca existen estos tres números, salvo las llamadas soluciones triviales, que son las calificaciones, las combinaciones de unos y ceros, tal que, por ejemplo, vemos que 0 al cubo más 1 al cubo, efectivamente, es 1 al cubo, o 0 al cubo más 0 al cubo. 31 00:03:09,639 --> 00:03:15,639 Estas no cuentan y, salvo este tipo de solución, no vamos a encontrar ninguna. 32 00:03:15,639 --> 00:03:29,639 Y es curioso que antes, bastante antes de que Germán propusiera esto, unos árabes ya lo habían intentado demostrar. Habían intentado demostrar que x al cubo más y al cubo nunca era cero al cubo. 33 00:03:29,639 --> 00:03:41,639 Fueron unos árabes, completamente en el año 972 d.C., que vengan los daños, escribieron un manuscrito que otro matemático, llamado Al-Qoyandi, había encontrado una demostración precisamente para esto. 34 00:03:41,639 --> 00:03:50,659 Sin embargo, este manuscrito fue perdido y se considera que Ciro después, Leonardo Euler, se aproximó mucho a la demostración. 35 00:03:51,860 --> 00:03:56,800 También es cierto que Euler nunca consiguió demostrar la conjetura para m es igual a 3. 36 00:03:58,120 --> 00:04:01,539 Sin embargo, se aproximó tanto que se considera que... 37 00:04:02,840 --> 00:04:03,759 Volviendo a Fermat. 38 00:04:03,939 --> 00:04:10,300 Fermat, aparte de escribir eso y decir que tenía una demostración, sí que realizó cosas realmente capaces. 39 00:04:10,300 --> 00:04:17,500 Por ejemplo, demostró su conjetura para N sobre la 4, que aquí la vemos escrita, y que si se utiliza la 4, más I a la 4, nunca vaya a ser Z a la 4. 40 00:04:19,360 --> 00:04:30,259 Mientras que su método de senso infinito, que esto es un método para resolver problemas que desarrolló él mismo, basándose en reducción al absurdo y siendo muy parecido al método de Newton. 41 00:04:30,259 --> 00:04:45,579 Un siglo después, Leonhard Euler escribió lo siguiente en una carta a Lars. Dijo que estaba profundamente convencido que a menos que no rehúse a buscar las emociones perdidas de Fermat, siempre estarían perdidas. 42 00:04:45,579 --> 00:04:56,680 Es decir, dijo que todos sus estudios habían sido en vano, incluidos en probar que la emoción de Fermat era siempre imposible, salvo que el exponente no sea mayor que 2. 43 00:04:56,680 --> 00:05:05,680 Entonces nos planteamos y decimos que, si Euler no fue capaz de demostrar este teorema con los conocimientos bastante más avanzados que éste tenía con respecto a Fermat, 44 00:05:05,680 --> 00:05:09,680 un siglo después, es bastante improbable que Fermat también fuera capaz de hacerlo. 45 00:05:09,680 --> 00:05:23,269 En el siglo XIX nos encontramos con esta matemática, Sophie Werner. Nació en París y uno de sus mayores sueños fue poder estudiar, 46 00:05:23,269 --> 00:05:30,269 cosa que era muy difícil en la época, que una mujer pudiese realizar cualquier tipo de estudios universitarios. 47 00:05:30,269 --> 00:05:39,269 Completamente la Academia de Francia no concedía premios a mujeres y ella recibió un premio dos años antes de su muerte, en 1823, 48 00:05:39,269 --> 00:05:48,269 que se lo entregaron a Le Gendre, que era hombre, y pues recopiló sus estudios, publicó su nombre y lo hicieron. 49 00:05:48,269 --> 00:05:58,269 Sofía Hermet desarrolló los llamados números primos de Sofía Hermet, que son aquellos números primos tal que 2P más 1 cambia a ser primo. 50 00:05:58,269 --> 00:06:05,269 Por ejemplo, 5 se dice que es primo y Hermet porque 5 por 2 es 10, más 1 que es 11, que es primo. 51 00:06:05,269 --> 00:06:14,269 Sin embargo, no todos son así. Por ejemplo, el número 7 no es primo y Hermet, pues 7 por 2 es 14, más 1 que es 15, que se puede representar como 5 por 3. 52 00:06:14,269 --> 00:06:25,269 Sofía Hermes intentó demostrar la imposibilidad de la opción de forma interesante para este tipo de números primos, cosa que consiguió, 53 00:06:25,269 --> 00:06:36,269 y anteriormente a esto se había desarrollado la demostración para los primos de la forma A7, por ejemplo, el 23, que es 8x2, y 16x7. 54 00:06:36,269 --> 00:06:49,810 Esto lo demostró, se lo escribió a Gauss, y bueno, aquí vemos cómo era tan complicada la situación para las mujeres en la época que ella firmaba sus cartas con el pseudónimo de Sibelman. 55 00:06:49,810 --> 00:07:06,050 Y aquí lo vemos. En esta carta, que está cerca, podemos ver adjetivos como persuadido, por ejemplo, la traducción, persuadido o que usted no le señala en el absoluto, esto es adicionado, entonces ya está en la ciencia. 56 00:07:06,050 --> 00:07:11,050 Es decir, empleaba adjetivos y hablaba de un mal tratado. 57 00:07:11,050 --> 00:07:21,050 Posteriormente, Raúl se enteró de Sofía Virgen la Mujer y, al contrario que se puede esperar, le gustó y le apoyó en sus estudios. 58 00:07:23,050 --> 00:07:27,050 En el siglo XX se desarrollaron muchísimas matemáticas. 59 00:07:27,050 --> 00:07:31,050 Entre ellas, se desarrolló todo el estudio de las llamadas curvas eléctricas. 60 00:07:31,050 --> 00:07:36,050 Las curvas eléctricas tienen más o menos esta forma y se rigen por esta ecuación. 61 00:07:36,050 --> 00:07:43,050 Es una cosa muy complicada de explicar, pero está detrás de todos nosotros, está detrás de empresas tan importantes como Google o Bitcoin. 62 00:07:43,050 --> 00:07:49,050 Y es que es precisamente por estas ecuaciones que se ha desarrollado gran parte de la criptografía moderna. 63 00:07:49,050 --> 00:07:55,050 Es decir, todas nuestras contras bancarias, nuestras contraseñas, las protege la base. 64 00:07:55,050 --> 00:08:20,089 Y pues un matemático japonés, Taniyawa, recogió algunas cuestiones, escribió algunas cuestiones acerca de estas curvas, y unos años después, en 1964, en 1967, dos matemáticos, Shimura y Pai, la recogieron y la escribieron formando la conjetura con el original nombre de conjetura de Shimura Taniyawa Pai. 65 00:08:20,089 --> 00:08:33,950 Un matemático alemán posteriormente se dio cuenta de que la conjetura de Fermat, la de x a la n más y a la n es igual a z a la n, es un caso particular de estas, en relación a las curvas elípticas. 66 00:08:35,289 --> 00:08:40,610 Y pues se acortó muchísimo el margen de la clasificación. 67 00:08:40,610 --> 00:08:57,610 Ya pasamos a hablar de Sir Andrew Wiles, que es un académico nacido en 1953 en Cambridge, que se graduó en el 74 con la Universidad de Oxford y rápidamente se lanzó a intentar demostrar la cultura de Fernando. 68 00:08:57,610 --> 00:09:01,149 se encerró en su ático en Londres durante muchos años 69 00:09:01,149 --> 00:09:04,929 y se puso a estudiar de forma totalmente secreta 70 00:09:04,929 --> 00:09:07,950 por la importancia de su investigación 71 00:09:07,950 --> 00:09:11,909 acerca de mostrar ese caso particular de la conjetura de Branyama 72 00:09:11,909 --> 00:09:16,789 y en 1993 propuso sus resultados 73 00:09:16,789 --> 00:09:19,830 y se encontró un gravísimo error 74 00:09:19,830 --> 00:09:23,149 se volvió a encerrar en su ático 75 00:09:23,149 --> 00:09:33,029 y dos años después, en 1995, contactó con su amigo Richard Taylor, que terminó de ayudar a cumplir una demostración 76 00:09:33,029 --> 00:09:40,330 y publicó a la final a los dos matemáticos, en el año 1995, la demostración de la arquitectura de un caso particular 77 00:09:40,330 --> 00:09:44,669 y la arquitectura de la arquitecturía y, por tanto, demostrando el último de las herramientas. 78 00:09:45,570 --> 00:09:51,269 Recibió, años después, la medalla Abel, que es equivalente al premio Nobel en matemáticas, pues este no existe. 79 00:09:51,269 --> 00:10:04,269 Es curioso saber que Richard Taylor, el amigo que le ayudó a demostrar la conjetura, años después, en 2001, demostró para todos los casos posibles la conjetura de Tania. 80 00:10:04,269 --> 00:10:12,269 Bueno, analizando los conocimientos anemáticos de la época de Fermat, apenas se conocían 81 00:10:12,269 --> 00:10:16,269 negociaciones de carácter errado, derivadas, carácter infinitesimal, todo esto recogido 82 00:10:16,269 --> 00:10:22,269 en la dinámica de Llefanto, y lo metía en el mental, por lo que es muy improbable que 83 00:10:22,269 --> 00:10:26,269 con esos conocimientos, como habíamos dicho, Eduard tampoco fue capaz, y la demostración 84 00:10:26,269 --> 00:10:32,269 que se realizó, evidentemente, no se conocía lo que era una curva elíptica en el tiempo 85 00:10:32,269 --> 00:10:36,269 el tipo de Fermat. Por tanto, es muy probable que Fermat lo hiciera. 86 00:10:36,269 --> 00:10:40,269 Existen los llamados fermatianos, que se autodenominan así, 87 00:10:40,269 --> 00:10:45,269 y que intentan demostrar el último teorema de Fermat con los conocimientos de Fermat. 88 00:10:45,269 --> 00:10:51,269 Y a día de hoy, todavía no lo han conseguido. Es muy probable. 89 00:10:51,269 --> 00:10:57,269 Vemos que la fe en el margen es un comportamiento muy reiterado de Fermat. 90 00:10:57,269 --> 00:11:01,269 Es decir, en una carta que escribió Tomás Galánico acerca de su pequeño teorema, 91 00:11:01,269 --> 00:11:07,269 también indicó que no tenía espacio en la propia carta para la demostración. 92 00:11:07,269 --> 00:11:11,269 Y por ejemplo, tenemos otra cosa que escribió en otro margen, que dijo 93 00:11:11,269 --> 00:11:14,269 el área de un triángulo metabólico no puede ser un número al cuadrado. 94 00:11:14,269 --> 00:11:18,269 Dice, la demostración de este problema la he obtenido después de un ambiente de horas de estudio 95 00:11:18,269 --> 00:11:25,269 y, cómo no, el margen es insuficiente para dar los detalles del triángulo metabólico. 96 00:11:25,269 --> 00:11:36,269 Entonces, analizando, por ejemplo, siempre se ha creído que la conjetura de Fermat no tenía cierta aplicación, que salía desarrollando muchísimas matemáticas, pero que no tenía una aplicación directa. 97 00:11:37,269 --> 00:11:53,269 Y yo per se, viendo que para la demostración de Weiss se crearon cosas como vueltos o curvas elípticas, que su mayor aplicación está en criptografía, ¿acaso no puede tener una aplicación criptográfica? 98 00:11:53,269 --> 00:12:14,350 Entonces escribí, escribí un correo electrónico sin ansias de que nadie me contestase y recibí el siguiente correo, de nada más y nada menos que Harry Walsh, que en extracto y en súper cortada a mi cuestión, es el primer defensor de una posible aplicación al punto de refermar en criptografía. 99 00:12:14,350 --> 00:12:27,350 Me comentó que la gente actualmente trabaja en escritografía cuántica y que es muy probable que se continúen estos estudios, pero que por un poco de suyo y la labor de Higgs, estaba intentando presentar esta no posible aplicación en el terreno. 100 00:12:31,620 --> 00:12:37,620 Entonces, aunque no tenga aplicación, no la tuviese que yo. 101 00:12:37,620 --> 00:12:50,740 que yo, el anterior, y vemos que Andy White, pensamos que sí, este pequeño teorema ha supuesto muchísimos avances en la matemática 102 00:12:50,740 --> 00:12:56,700 desde que se conocían las mecánicas de ecuaciones de tercer grado hasta ahora que se conocen por las eléctricas. 103 00:12:56,879 --> 00:13:02,860 Entonces tenemos que agradecer a la farmacia, al socio teorema, y aunque no tenga la aplicación, yo creo que si la tiene, les agradezco. 104 00:13:02,860 --> 00:13:06,059 esta es la bibliografía que he creado 105 00:13:06,059 --> 00:13:12,009 y muchas gracias