< Return to Video

Fermat and Euler (18 min)

  • 0:00 - 0:04
    En los segmentos anteriores hablamos sobre inversión modular y dijimos que el algoritmo
  • 0:04 - 0:08
    de Euclides nos proporciona una forma eficiente de encontrar la inversa de un elemento módulo N
  • 0:08 - 0:12
    En este segmento iremos hacia adelante en el tiempo y nos moveremos al
  • 0:12 - 0:16
    siglo diecisiete y dieciocho donde hablaremos de
  • 0:16 - 0:20
    las contribuciones de Fermat y Euler. Antes de eso, hagamos una revisión rápida de
  • 0:20 - 0:24
    lo que discutimos en los segmentos previos. Como es usual voy a dejar que N denote el
  • 0:24 - 0:28
    entero positivo y sólo digamos que N es un entero de n-bits, en otras
  • 0:28 - 0:32
    palabras, es entre 2^n y 2^(n-1), como es usual vamos a dejar que P
  • 0:32 - 0:37
    denote un número primo. Ahora dijimos que ZN es un conjunto de enteros desde cero
  • 0:37 - 0:41
    a N-1 y dijimos que podemos sumar y multiplicar elementos en el conjunto módulo N.
  • 0:41 - 0:46
    También dijimos que ZN* es básicamente el conjunto de elementos invertibles en ZN. Y probamos
  • 0:46 - 0:51
    un simple lemma para decir que, X es inversible si y sólo si X es relativamente
  • 0:51 - 0:56
    primo a N. Y no sólo entendimos completamente qué elementos
  • 0:56 - 1:01
    son inversibles y cuáles no lo son, también mostramos un algoritmo muy eficiente basado en
  • 1:01 - 1:06
    el algoritmo extendido de Euclides, para buscar la inversa de un elemento X en ZN. Y dijimos
  • 1:06 - 1:10
    que el tiempo de ejecución de este algoritmo es básicamente del órden de n cuadrado, donde
  • 1:10 - 1:16
    nuevamente, n es el número de bits del número N mayúscula. Entonces, como dijimos, ahora
  • 1:16 - 1:21
    vamos a movernos de los tiempos de Grecia todo el camino hasta el siglo diceisiete y
  • 1:21 - 1:26
    hablaremos sobre Fermat. Fermat hizo un importante número de teoremas. El que quiero
  • 1:26 - 1:31
    mostrarles aquí hoy es el siguiente. Supongan que les doy un primo P. Entonces
  • 1:31 - 1:36
    de hecho para cualquier elemento X en ZP*, sucede que si miro a X y la elevo
  • 1:36 - 1:41
    a la potencia P-1 voy a obtener una, en ZP. Entonces tomemos un rápido ejemplo
  • 1:41 - 1:46
    Supongamos que P es igual a 5. Y busco 3 elevado a la
  • 1:46 - 1:51
    potencia P-1. En otras palabras, 3^4. Tres a la cuarta es 81
  • 1:51 - 1:55
    que de hecho, es uno módulo cinco. Este ejemplo satisface el teorema de Fermat.
  • 1:55 - 2:00
    Es interesante que Fermat de hecho no probó este teorema por sí mismo. La prueba
  • 2:00 - 2:04
    tuvo que esperar hasta Euler, que lo logró 100 años después.
  • 2:04 - 2:09
    Y de hecho, probó una visión mucho más general de este teorema. Veamos una
  • 2:09 - 2:14
    simple aplicación del teorema de Fermat. Supongamos que tomo un elemento X en ZP*
  • 2:14 - 2:19
    Y quiero recordarte aquí que P [inaudible] debe ser un primo. Bueno, entonces ¿qué
  • 2:19 - 2:25
    sabemos? Sabemos que X a la P-1 es igual a uno. Bueno, podemos escribir
  • 2:25 - 2:30
    x^(p-1) como x*x^(p-2). Bueno, entonces ahora sabemos que
  • 2:30 - 2:34
    x*x^(p-2) resulta ser 1. Y lo que eso
  • 2:34 - 2:39
    nos dice es que realmente la inversa de X modulo P, es simplemente x^(p-2).
  • 2:39 - 2:44
    Entonces esto nos otorga otro algoritmo para encontrar la inversa de X modulo un primo.
  • 2:44 - 2:49
    Simplemente elveamos X a la potencia de p - 2, y eso nos dará la inversa de X
  • 2:49 - 2:54
    Resulta ser que en realidad esto es una manera correcta de calcular inversas módulo un primo.
  • 2:54 - 2:58
    Pero tiene dos deficiencias comparado con el algoritmo de Euclides. Primero que todo, sólo
  • 2:58 - 3:03
    trabaja módulo primos, mientras que el algoritmo de Euclides trabaja módulo compuestos también
Title:
Fermat and Euler (18 min)
Video Language:
English
videla.lucas edited Spanish, Argentinian subtitles for Fermat and Euler (18 min)
videla.lucas edited Spanish, Argentinian subtitles for Fermat and Euler (18 min)
videla.lucas added a translation

Spanish, Argentinian subtitles

Incomplete

Revisions