Foros de matemática
15/12/2017, 08:44:16 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: ¡Atención! Hay que poner la matemática con LaTeX, y se hace así (clic aquí):
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Ecuación diofántica lineal: ax+by=c  (Leído 12272 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 40.608


Ver Perfil
« : 05/11/2009, 12:55:14 pm »

Dada la ecuación:

 [texx]ax+by=c[/texx]

con [texx]a,b,c[/texx] enteros se trata de calcular todos los pares de enteros [texx](x,y)[/texx] que verifican la ecuación.

Teorema:

 La ecuación [texx]ax+by=c[/texx] anterior tiene solución si y sólo si [texx]m.c.d.(a,b)[/texx] divide a [texx]c.[/texx]

Método sistemático para hallar la solución:

Spoiler (click para mostrar u ocultar)

Ejemplo I:

Hallar todas las soluciones de la ecuación diofántica [texx]12x+10y=6[/texx].

Spoiler (click para mostrar u ocultar)
En línea
Click
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 160


Ver Perfil
« Respuesta #1 : 31/05/2010, 02:56:27 pm »

Muy interesante, estoy buscando soluciones para este tipo de ecuaciones pero en n variables.
Pude hallar soluciones particulares. Pero no he podido hallar las generales
Quiciera saber si existe una expresión que represente la solución general para ecuaciones diofánticas de n variables?

Saludos
En línea
Virgi7
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Femenino
Argentina Argentina

Mensajes: 4


Ver Perfil
« Respuesta #2 : 30/07/2011, 11:38:58 am »

Al igual que Click me interesa conocer cómo resuelvo una ecuación diofántica con más de dos incógnitas. En realidad algo he leído pero no logro poner en común todas las fuentes. Es decir, por un método hallo cierta solución general pero por otro, una que es diferente. ¿Puede ser que haya distintas maneras de expresar la solución general (como sucede con las ecuaciones dofánticas de dos variables)? ¿Esto depende de con qué solución particular partimos? Me parece que todo depende de eso.

Por ejemplo: al resolver la ecuación x+2y+5z=29 tengo que las soluciones son:
y=5n+2x+2,
z=-2n-x+5; con n entero.

Utilizando otro método obtuve:
x=29-2t+5s,
y=t,
z=s;

Y otro:
x=12+15t+2s,
y=-4-5t-s.
En línea
teeteto
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 2.618


Dormirás por una eternidad ¡Despierta!


Ver Perfil
« Respuesta #3 : 07/08/2012, 11:54:49 am »

Para [texx]n[/texx] variables la cosa funciona del mismo modo porque la Identidad de Bézout se puede generalizar.
Para encontrar la solución particular se puede recurrir también al Algoritmo de Euclides sin más que darse cuenta de que [texx]$\gcd(a,b,c)=\gcd(\gcd(a,b),c)$[/texx] y así sucesivamente.

No sé si se habrá aclarado algo el asunto.

Saludos.
En línea

Debemos saber...sabremos (David Hilbert)
Hernan_ER
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Uruguay Uruguay

Mensajes: 1.452


Ver Perfil
« Respuesta #4 : 16/03/2013, 04:37:45 pm »

Muchas gracias el_manco. Me sirvió mucho. Estaba leyendo en un libro sobre las ecuaciones diofánticas donde tuve que leer toda la parte de congruencia modulo n anteriormente para que luego sólo mostrara que algunas (no solo lineales) no tenían solución.  Necesitaba saber como hallar las soluciones de las lineales solamente.

Edición: ¿Hay alguna demostración o justificación de por qué sirve el método?
En línea
Carlos Ivorra
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 8.467


Ver Perfil WWW
« Respuesta #5 : 04/04/2013, 07:11:16 pm »

Edición: ¿Hay alguna demostración o justificación de por qué sirve el método?

En el punto 1) no hay nada que justificar.

El punto 2) es fácil: si se cumple [texx]ax+by=c[/texx], es obvio que todo divisor común de a y b divide a c.

El punto 3) lo puedes comprobar sin más que sustituir en la ecuación.

Para el punto 4), si tienes otra solución [texx](x,y)[/texx], entonces restando las ecuaciones [texx]ax+by=c[/texx] y [texx]ax_0+by_0=c[/texx] obtienes que [texx](x-x_0, y-y_0)[/texx] es solución de la ecuación [texx]ax+by=0[/texx], luego se trata de resolver esta ecuación. Observa que es equivalente a dividir entre el mcd de a y b, por lo que puedes suponer que a y b son primos entre sí y luego sustituir a y b en la solución por a/mcd(a) y b/mcd(b).

Así pues, se trata de ver que si a y b son primos entre sí, las soluciones de  [texx]ax+by=0[/texx] son las de la forma [texx]k(b,-a)[/texx]. Se comprueba sustituyendo que todos los pares de esta forma son solución. Si [texx](x,y)[/texx] es una solución arbitraria, llama k = mcd(x,y), y entonces [texx](x,y)=k(x_0, y_0)[/texx], donde [texx](x_0, y_0)[/texx] es solución con componentes primas entre sí. Ahora, si [texx]ax_0=-by_0[/texx], con a y b primos entre sí y [texx]x_0, y_0[/texx] también, necesariamente [texx]x_0\mid b[/texx] y [texx]b\mid x_0[/texx], luego [texx]x_0=\pm b[/texx], e igualmente [texx]y_0=\pm a[/texx], para que se cumpla la ecuación los signos deben ser opuestos.
En línea
Hernan_ER
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Uruguay Uruguay

Mensajes: 1.452


Ver Perfil
« Respuesta #6 : 06/04/2013, 05:14:48 pm »

Muchas gracias
En línea
BernardRiemann
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 8


Ver Perfil
« Respuesta #7 : 28/07/2013, 11:02:25 pm »

Acabo de realizar un programa desarrollado en Java que resuelve ecuaciones diofanticas, aquel que este interesado en tenerla, que me escriba. Saludos
En línea
kiragoras
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Femenino
Chile Chile

Mensajes: 5


Ver Perfil
« Respuesta #8 : 17/09/2013, 04:06:13 am »

Las soluciones son enteras, ¿cierto?

Porque respecto a la pregunta de un usuario, para ecuaciones con [texx]n[/texx] variables, se puede encontrar un caso particular de combinatoria ... pero se discriminan casos,  uno es para soluciones enteras positivas y el otro es para soluciones enteras no negativas...

Saludos.
En línea
numerosprimos
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Femenino
España España

Mensajes: 11


Ver Perfil
« Respuesta #9 : 22/11/2014, 10:38:39 am »

Buenas, lo que no entiendo es cómo calcular los números x' y y' que dices. Por ejemplo, en la ecuación 7x-5a=1.
El primer paso es hallar el mcd (7,5) que es igual a 1; y como 1 es múltiplo de 1 pues la ecuación tiene soluciones enteras.
Ahora bien, para calcular la solución particular ¿cómo lo hago?
Me lo he leído todo pero no logro entender cómo hallar esta solución particular.

Muchas gracias.

P.S. Si no recuerdo mal, había un método para calcularla que se basa en realizar una caja pero el problema es que tampoco me acuerdo de cómo se hacía :indeciso:
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 40.608


Ver Perfil
« Respuesta #10 : 22/11/2014, 02:50:45 pm »

Hola

Buenas, lo que no entiendo es cómo calcular los números x' y y' que dices. Por ejemplo, en la ecuación 7x-5a=1.
El primer paso es hallar el mcd (7,5) que es igual a 1; y como 1 es múltiplo de 1 pues la ecuación tiene soluciones enteras.
Ahora bien, para calcular la solución particular ¿cómo lo hago?
Me lo he leído todo pero no logro entender cómo hallar esta solución particular.

Muchas gracias.

P.S. Si no recuerdo mal, había un método para calcularla que se basa en realizar una caja pero el problema es que tampoco me acuerdo de cómo se hacía :indeciso:

Tienes que usar el algortimo extendido de Eculides. Lo tienes (con ejemplos) descrito aquí:

http://rinconmatematico.com/foros/index.php/topic,26742.0.html

Saludos.
En línea
numerosprimos
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Femenino
España España

Mensajes: 11


Ver Perfil
« Respuesta #11 : 22/11/2014, 04:31:48 pm »

Muchas gracias, ya lo he entendido.
Saludos.
En línea
minette
Pleno*
*****

Karma: +0/-5
Desconectado Desconectado

Sexo: Femenino
España España

Mensajes: 770


Ver Perfil
« Respuesta #12 : 05/01/2015, 08:34:36 am »

Hola

Según el_manco la ecuación [texx]ax+by=c[/texx] tiene la solución particular siguiente cuando
[texx]a[/texx] , [texx]b[/texx] son coprimos:

[texx]x_0=cx'[/texx] ; [texx]y_0=cy'[/texx]

sustituyendo

[texx]acx'+bcy'=c[/texx]

[texx]ax'+by'=1[/texx]

esto es imposible salvo que [texx]x'[/texx] o [texx]y'[/texx] sean uno positivo y otro negativo.

Y también es necesario que [texx]a[/texx], [texx]b[/texx] no sean ambos pares. Lo cual se cumple al ser coprimos.

¿Estáis de acuerdo?

Saludos.
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 40.608


Ver Perfil
« Respuesta #13 : 05/01/2015, 08:58:09 am »

Hola

Según el_manco la ecuación [texx]ax+by=c[/texx] tiene la solución particular siguiente cuando
[texx]a[/texx] , [texx]b[/texx] son coprimos:

[texx]x_0=cx'[/texx] ; [texx]y_0=cy'[/texx]

sustituyendo

[texx]acx'+bcy'=c[/texx]

[texx]ax'+by'=1[/texx]

esto es imposible salvo que [texx]x'[/texx] o [texx]y'[/texx] sean uno positivo y otro negativo.

Y también es necesario que [texx]a[/texx], [texx]b[/texx] no sean ambos pares. Lo cual se cumple al ser coprimos.

¿Estáis de acuerdo?

Si. Aunque no sé si quieres llegar a algún sitio con esa observación.

Saludos.

P.D. Pones "según el_manco"; aclaro que aunque el post es mío, lo que he escrito es la teoría sobre ecuaciones diofánticas lineales que viene en todos los libros que tratan el tema.
En línea
minette
Pleno*
*****

Karma: +0/-5
Desconectado Desconectado

Sexo: Femenino
España España

Mensajes: 770


Ver Perfil
« Respuesta #14 : 05/01/2015, 01:34:34 pm »

Hola

Gracias el_manco.

Esta puntualización mía la puedo poner en Rincón Matemático y no en cualquier libro sobre las ecuaciones diofánticas.

Rincón Matemático, y para sus foristas, lo considero mejor a cualquier libro sobre el asunto. Además hace posible el diálogo.

Pienso que mi observación no es inútil. Y me ayuda a formarme en el tema.

Ahora otra observación.

La solución general que incluyes es

[texx]x=x_0+Kb[/texx] ; [texx]x=cx'+Kb[/texx]
[texx]y=y_0-Ka[/texx] ; [texx]y=cy'-Ka[/texx]

También para [texx]a[/texx], [texx]b[/texx] coprimos.

Mi pregunta ahora es si la solución general también se puede expresar así:

[texx]x=cx'-Kb[/texx]
[texx]y=cy'+Ka[/texx]

Y es equivalente a la anterior.

Saludos.
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 40.608


Ver Perfil
« Respuesta #15 : 07/01/2015, 06:08:40 am »

Hola

La solución general que incluyes es

[texx]x=x_0+Kb[/texx] ; [texx]x=cx'+Kb[/texx]
[texx]y=y_0-Ka[/texx] ; [texx]y=cy'-Ka[/texx]

También para [texx]a[/texx], [texx]b[/texx] coprimos.

Mi pregunta ahora es si la solución general también se puede expresar así:

[texx]x=cx'-Kb[/texx]
[texx]y=cy'+Ka[/texx]

Y es equivalente a la anterior.

Si.

Saludos.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.1 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!