Sabemos que una ecuación del tipo a\equiv b\,(\text{mod}\,m) tiene solución si y solo si d:=\text{mcd}(a,m)|b. En el caso de admitir solución, resolver dicha ecuación en congruencias es equivalente a resolver la ecuación diofántica lineal ax+my=b, cuya solución general, como ya sabemos, tiene la estructura \{x,y\}=\{ x_0+\dfrac{m}{d}\,\lambda\,\,,\,\,y_0-\dfrac{a}{d}\,\lambda\,\forall\,\lambda \in \mathbb{Z}\}, siendo (x_0,y_0) una solución particular. Por supuesto, de dicha solución general, nos interesan en especial los valores de x que la satisfacen, si bien los de y, pueden ser también de interés "físico" en el caso de que la variable y pueda tener algún significado en el contexto de un problema concreto.
Ejemplo 1
La ecuación 2x\equiv 3\,(\text{mod}\,10) no admite solución, pues d=\text{mcd}(2,10)=2\not |\; 3
Ejemplo 2
Nos proponemos ahora resolver la ecuación 2x\equiv 3\,(\text{mod}\,5), que sí admite solución, ya que d=\text{mcd}(2,5)=1\not |\; 3.
La ecuación diofántica equivalente es 2x+5y=3. Una solución particular de la misma es (x_0=9,y_0=-3), ya que 2\cdot 9+5\cdot (-3)=18-15=3, luego la estructura de la solución general es \{(x,y)\}=\{(9+\dfrac{5}{1}\,\lambda\,\,,\,\,-3-\dfrac{2}{1}\,\lambda)\;\forall\,\lambda \in \mathbb{Z}\}, esto es \{x,y\}=\{ (9+5\,\lambda\,\,,\,\,-3-2\,\lambda)\;\forall\,\lambda \in \mathbb{Z}\} \diamond.
No hay comentarios:
Publicar un comentario