Por tanto si a y b son primos entre si, el algoritmo siempre te dara el inverso multiplicativo, ¿es asi?.
El inverso multiplicativo es tal que si se tiene un número “x” (o la letra que sea) existe (a veces) otro número “a” tal que \( ax\equiv1
\) para el módulo que se esté considerando; es decir, tal que "ax" dividido del módulo deja resto 1.
Este hilo está “conectado” con este otro (también de Luis):
https://foro.rinconmatematico.com/index.php?topic=26781.0Si el mcd existe y no es uno en la ecuación \( ax+by=d
\), se puede dividir por el mcd a los dos lados de forma que quede otra ecuación, equivalente, en la que sí lo sea: \( \dfrac{ax}{d}+\dfrac{by}{d}=1
\); y la puedes reescribir con las letras que quieras \( ax_{0}+by_{0}=1
\).
Esa igualdad existe por el teorema de Bézout.
Entonces, en módulo “b” (o módulo “y sub cero”, las letras dan igual, son letras) al dividir \( by_{0}
\) por “b” da resto cero, con lo que al dividir \( ax_{0}
\) por b tiene que dar resto 1, necesariamente, para que se cumpla la ecuación.
(ya ha contestado Luis)
Saludos.