Monografias.com > Computación > Programación
Descargar Imprimir Comentar Ver trabajos relacionados

Congruencias




Enviado por Aladar Peter Santha



Partes: 1, 2

  1. Congruencias en el
    conjunto de los números naturales
  2. Congruencias en el
    conjunto de los números enteros
  3. Resolución
    de congruencias de primer grado
  4. Resolución
    de congruencias de grado superior
  5. Sistemas de
    congruencias de primar grado
  6. Sistemas de
    congruencias de grado superior
  7. Bibliografía

§1.
Congruencias en el conjunto de los números
naturales.

Definición 1: Si Monografias.comMonografias.comy Monografias.comse dice que Monografias.comson congruentes módulo m si en la
división entera por m dan el mismo resto y en este caso,
se escribe Monografias.com

Con otras palabras Monografias.comsi y solamente si,

Monografias.com

La relación de congruencia es evidentemente una
relación de equivalencia (reflexiva, simétrica y
transitiva) puesto que la relación de igualdad lo
es:

Propiedad reflexiva: Monografias.com

Propiedad simétrica: Monografias.com

Propiedad transitiva: Monografias.com

A partir de la definición de la congruencia de
los números naturales es fácil demostrar las
siguientes propiedades:

Propiedad 1:

Monografias.com

En efecto,

Monografias.comMonografias.com

Así, Monografias.comtiene ser cierto puesto que Monografias.comimplicaría que
Monografias.comes decir
resultaría que Monografias.comPor tanto la diferencia Monografias.comexiste y Monografias.comimplica que Monografias.comes divisible por Monografias.comAl revés, si Monografias.comexiste y es divisible por m entonces
Monografias.comy existe Monografias.comtal que Monografias.comEntonces de la
división euclidea Monografias.com, donde Monografias.comresulta que Monografias.comEsto quiere decir Monografias.comes también el resto de la
división euclidea de Monografias.compor Monografias.comy así Monografias.com

Propiedad 2:

Monografias.com

En efecto, si Monografias.comentonces Monografias.comdivide la diferencia Monografias.comy así según la propiedad 1
Monografias.comSi Monografias.comentonces se puede considerar
la congruencia equivalente: Monografias.comde donde resulta que Monografias.comdivide a Monografias.comPor tanto Monografias.com

Propiedad 3:

Monografias.com

Monografias.com

En efecto, si Monografias.comentonces de Monografias.comresulta que Monografias.comes múltiplo de Monografias.comes decir existe Monografias.comtal que Monografias.comDe aquí resulta que Monografias.comes decir Monografias.comes múltiplo de
Monografias.comy según la
propiedad 1, tendremos la primera implicación. Si
Monografias.comtendremos
también Monografias.comde
donde resulta la segunda implicación.

Propiedad 4:

Monografias.com

En efecto, si Monografias.comentonces según la propiedad 1Monografias.comdivide a Monografias.comy así Monografias.comSi Monografias.comentonces según la propiedad 1
Monografias.comdivide la
diferencia Monografias.comy
así Monografias.com

Propiedad 5:

Monografias.com

En efecto, si Monografias.comsegún la propiedad1 Monografias.comdivide la diferencia
Monografias.comy así
Monografias.comPor tanto,
Monografias.comdivide la
diferencia Monografias.comy
así, utilizando de nuevo la propiedad 1, resulta que
Monografias.comSi Monografias.comhay que razonar de la misma
manera a partir de la congruencia Monografias.com

Propiedad 6: Si Monografias.comes un divisor común de los
números naturales Monografias.comy Monografias.comes un divisor de m, sean Monografias.comEntonces

Monografias.com

En efecto, se puede suponer que Monografias.comPuesto que Monografias.comdivide el número Monografias.com, resulta que Monografias.comdivide a Monografias.comAsí, según la propiedad1
Monografias.comAl revés,
Monografias.comy Monografias.comy así, el
número Monografias.comes un
divisor de Monografias.comPor
tanto Monografias.comserá
un divisor de Monografias.com

Propiedad 7: Monografias.com

En efecto, se puede suponer que Monografias.comyMonografias.comLuego, Monografias.comes un divisor común de las diferencias
Monografias.comy Monografias.comde de donde resulta que
Monografias.comdivide a

Monografias.com

, y teniendo en cuenta que Monografias.comresulta que Monografias.com

Por inducción completa de aquí resulta
que

Monografias.com

Propiedad 8: Si Monografias.comy Monografias.comentonces existe Monografias.comtal que

Monografias.com

En efecto, Monografias.comes un divisor de la diferencia Monografias.comy así existe
Monografias.comtal que Monografias.comLa recíproca es
evidente.

Propiedad 9: Monografias.com

En efecto, se puede suponer que Monografias.comEntonces, según la propiedad 8
Monografias.comy Monografias.comy así resulta
que:

Monografias.com

, y así la propiedad queda demostrada.

Por inducción completa también en este
caso resulta que

Monografias.com

Propiedad 10: Monografias.comMonografias.comentontes Monografias.comdonde Monografias.comes el mínimo común
múltiplo de los números Monografias.com

En efecto, se puede suponer que Monografias.comy, según la propiedad 1, Monografias.comes un múltiplo
común de los números Monografias.comEntonces, puesto que cualquier múltiplo
común de ciertos números es múltiplo del
mínimo común múltiplo de estos
números, Monografias.comserá múltiplo de M, es decir
Monografias.com

Observación 1: La relación de
equivalencia Monografias.comdivide
al conjunto N en clases de equivalencia, dos a dos disjuntas y
cada clase contiene los números naturales que dan el mismo
resto en la división por m. La clase a la que pertenece el
número Monografias.comse
notará con Monografias.comLos elementos de las clases se llaman
representantes de la clase. Normalmente se trabaja con el
representante menor. El conjunto de todas las clases de N
respecto al módulo m se nota con Monografias.comy

Monografias.com

Luego, las propiedades siguientes son
evidentes:

Monografias.com

Monografias.com

Monografias.comes
divisible por m.

Monografias.com

Monografias.com

Por ejemplo: Si Monografias.comy Monografias.comentonces Monografias.com, Monografias.comy Monografias.com

Las operaciones en el conjunto de las clases se definen
de la manera siguiente:

Monografias.comMonografias.com, Monografias.comMonografias.comMonografias.com

Estas operaciones no dependen de la elección de
los representantes en las clases. En efecto, si

Monografias.comMonografias.comy Monografias.com, donde Monografias.com. Entonces

Monografias.com

Monografias.com

Obviamente, la conmutatividad y asociatividad de la suma
y de la multiplicación de las clases se reduce a las mimas
propiedades de la suma y de la multiplicación en
N.

En Monografias.comla
resta es siempre posible. En efecto, sean Monografias.com

En efecto, si Monografias.comentonces Monografias.com

Si Monografias.comentonces existe Monografias.comtal que Monografias.come Monografias.com

Puesto que cualquiera que sea Monografias.comMonografias.comy Monografias.comes un elemento opuesto bilateral de Monografias.com, Monografias.comes un grupo conmutativo. Luego, teniendo en
cuenta que la propiedad distributiva de la multiplicación
de las clases respecto a la suma de las clases también se
reduce a la distributividad de la multiplicación respecto
a la suma en N, y que Monografias.comes un elemento neutro en la
multiplicación de las clases, resulta que Monografias.comes un anillo asociativo,
conmutativo y con elemento neutro, que puede tener divisores de
cero (si por ejemplo Monografias.comMonografias.comMonografias.compero Monografias.com). Si m es un número primo entonces
Monografias.comno tiene divisores
de cero y el elemento inverso de Monografias.comdebe existir puesto que los productos Monografias.comson no nulos y dos a dos
diferentes. Si dos de ellos fueran iguales resultaría la
existencia de los divisores de cero: de Monografias.comMonografias.comMonografias.comresultaría que Monografias.comdonde Monografias.comy Monografias.com). Así, alguno de los productos
mencionados debe ser igual a Monografias.comSi Monografias.comy Monografias.comentonces Monografias.comPor tanto si m es un número primo,
Monografias.comes un
cuerpo.

Teorema 0:

Monografias.com

Monografias.com

En efecto:

Monografias.com

Monografias.com

Monografias.com

La segunda propiedad se demuestra de manera
análoga.

Por definición, dos números naturales son
primos entre sí (o son primos relativos) si su
máximo común divisor es 1, es decir Monografias.com

Teorema 1: Los números Monografias.comson primos relativos, si y
solamente sí, Monografias.comes un elemento inversible del anillo Monografias.com

En efecto si Monografias.comson primos relativos resulta que existen
Monografias.comtal que Monografias.com

Entonces en Monografias.comtienen lugar las implicaciones
siguientes:

Monografias.com

Por tanto Monografias.comes inversible en Monografias.comAl revés si Monografias.comes inversible en Monografias.comexiste Monografias.comtal que

Monografias.com

Así el único divisor común de
Monografias.comes el número
1 y por consiguiente Monografias.comson primos relativos.

Teorema 2 (de Fermat): Si p es un número
primo y Monografias.comentonces
Monografias.com

En efecto, el teorema se cumple para Monografias.comSi Monografias.comy teniendo en cuenta que Monografias.comes un grupo, el elemento
Monografias.comes de índice
1(ver [8]) y si Monografias.comes
el elemento inverso de Monografias.comentonces

Monografias.com

Multiplicando ambas partes de la congruencia Monografias.comcon Monografias.comresulta que

Monografias.com

Por definición, si Monografias.comy Monografias.comes el indicador de Euler entonces Monografias.comy para Monografias.comMonografias.comes el número de aquellos números
naturales Monografias.comno nulos
y menores que Monografias.compara
los cuales Monografias.comson
primos relativos.

Teorema 3 (de Euler): Si Monografias.comson números naturales y Monografias.comson primos relativos,
entonces Monografias.com

En efecto, sean Monografias.comlos números naturales no nulos, menores
que m y primos relativos conMonografias.comPuesto que Monografias.comson primos relativos,

Monografias.com

, tendremos

Monografias.com

, y así

Monografias.com

Según el teorema 1, Monografias.comson inversibles en Monografias.comy, como producto de elementos inversibles,
Monografias.comlo es
también. Entonces,

Monografias.com

, yMonografias.com

Monografias.com

Finalmente, Monografias.comy el teorema queda demostrado.

Observación 2: El Teorema de Fermat es
consecuencia del teorema de Euler puesto que si Monografias.comes un número primo,
entonces Monografias.com

Teorema 4 (de Wilson): p es un número
primo si, y solamente si,

Monografias.com

Antes de demostrar el teorema hay que averiguar
cuáles de las clases Monografias.comcoinciden con su clase inversa, es decir
cuáles cumplen las igualdades

Monografias.com

Primero hay que observar que en Monografias.comno hay divisores de cero y por
tanto

Monografias.com

Monografias.com

Luego, teniendo en cuenta que al multiplicar todos los
elementos de un grupo finito multiplicativo, el producto
será igual con el producto de aquellos elementos que
coinciden con su inverso,

Monografias.com

Por tanto Monografias.com

Al revés, si el número p que cumple la
condición Monografias.comno
fuera primo, debería tener una descomposición
Monografias.comdonde Monografias.comAl ser u un divisor de p, u
tendría que ser un divisor común de Monografias.comy Monografias.comy así u debería dividir la
diferencia Monografias.comlo que
es imposible, al ser u mayor que 1. La contradicción
obtenida demuestra que p tiene que ser un número
primo.

§2.
Congruencias en el conjunto de los números
enteros.

Si Monografias.com,
Monografias.comy Monografias.comse dice que a y b son
congruentes módulo m, si m divide la diferencia Monografias.comy se escribe Monografias.comCon otras
palabras,

Monografias.com

La relación de congruencia es evidentemente una
relación de equivalencia (reflexiva, simétrica y
transitiva):

Propiedad reflexiva: Monografias.comya que m divide la diferencia Monografias.com

Propiedad simétrica: Monografias.compuesto que si m divide a la diferencia
Monografias.comdividirá
también la diferencia Monografias.com

Propiedad transitiva: Monografias.com

En efecto, si m divide a Monografias.comy Monografias.comentonces m dividirá a Monografias.com

A partir de la definición de la congruencia de
los números enteros es fácil demostrar las
siguientes propiedades:

Monografias.com

Monografias.com

En efecto, m divide a las diferencias Monografias.comPor tanto

Monografias.com

Monografias.com

En efecto, m divide la diferencia Monografias.comal ser m un divisor de
Monografias.com

Monografias.com

Esta ultima propiedad es evidente puesto que u es
divisor de m, m es divisor de Monografias.comy así u es divisor de Monografias.com

Si Monografias.comes el
máximo común divisor de los números enteros
Monografias.comy d es un divisor
de m, Monografias.comentonces

Monografias.com

En efecto, Monografias.comy Monografias.comdivide a Monografias.comresulta que Monografias.comy así Monografias.comes decir Monografias.comPor tanto, Monografias.comdivide a Monografias.comAl revés de Monografias.comresulta que Monografias.comes un divisor de Monografias.comy así Monografias.comserá un divisor Monografias.com

La relación de equivalencia Monografias.comdivide al conjunto Z en
clases de equivalencia, dos a dos disjuntas y cada clase contiene
los números enteros tales que la diferencia de dos
cualesquiera de ellos sea un múltiplo de m. La clase a la
que pertenece el número Monografias.comse notará con Monografias.comLos elementos de las clases se llaman
representantes de la clase. Normalmente se trabaja con el
representante mayor o igual a cero. El conjunto de todas las
clases de Z respecto al módulo m se nota con Monografias.comy

Monografias.com

Luego, las propiedades siguientes son
evidentes:

Monografias.com

Monografias.com

Por ejemplo: Si Monografias.comy Monografias.comentonces Monografias.com, Monografias.comy Monografias.com

Las operaciones en el conjunto de las clases se definen
de la manera siguiente:

Monografias.comMonografias.com, Monografias.com.

Estas operaciones no dependen de la elección de
los representantes en las clases. En efecto, si

Monografias.comMonografias.com

Entonces,

Monografias.com

Monografias.com

Teorema 5:

Monografias.com

Monografias.com

En efecto: Monografias.com

Monografias.com

Monografias.com

Obviamente la conmutatividad y asociatividad de la suma
y de la multiplicación de las clases se reduce a las mimas
propiedades de la suma y la multiplicación en
Z.

Puesto que cualquiera que sea Monografias.comMonografias.comy Monografias.comes un elemento opuesto bilateral de Monografias.com, Monografias.comes un grupo conmutativo. Luego, teniendo en
cuenta que la propiedad distributiva de la multiplicación
de las clases respecto a la suma de las clases también se
reduce a la distributividad de la multiplicación respecto
a la suma en Z, y que Monografias.comes un elemento neutro en la
multiplicación de las clases, resulta que Monografias.comes un anillo asociativo,
conmutativo y con elemento neutro, que puede tener divisores de
cero (si por ejemplo Monografias.comMonografias.comMonografias.compero Monografias.comSi Monografias.comes un número primo entonces Monografias.comno tiene divisores de cero y
el elemento inverso de Monografias.comdebe existir puesto que los productos Monografias.comson no nulos y dos a dos
diferentes (Si dos de ellos fueran iguales resultaría la
existencia de los divisores de cero: de Monografias.comMonografias.comMonografias.comresultaría que Monografias.comdonde Monografias.comy Monografias.com). Así, alguno de los productos
mencionados debe ser igual a Monografias.comSi Monografias.comy Monografias.comentonces Monografias.comPor tanto si m es un número primo,
Monografias.comes un
cuerpo.

Definición 2: Una congruencia de grado n
tiene la forma

Monografias.com
(1)

, donde Monografias.comes
una función polinomio con coeficientes enteros, Monografias.comes un número natural
mayor que 1 y Monografias.comno es
un múltiplo de Monografias.com

Resolver la congruencia significa hallar todos los
números enteros Monografias.compara los cuales la congruencia es
verdadera.

Una congruencia de primer grado tiene la
forma:

Monografias.com
(2)

, donde Monografias.comno
es múltiplo de Monografias.com

§3.
Resolución de congruencias de primer
grado.

Teorema 6: Si el máximo común
divisor de Monografias.comdivide a
Monografias.comla congruencia (2)
tiene solución. En efecto, la condición es
necesaria puesto que si Monografias.comes una solución

Monografias.com
(3)

Teniendo en cuenta que Monografias.comyMonografias.comde (3) resulta que

Monografias.com

, es decir d tiene que ser un divisor Monografias.comLa condición es
también suficiente, puesto que si el máximo
común divisor de Monografias.comdivide a Monografias.comentonces (según la propiedad
3)

Monografias.com

, donde Monografias.comson primos relativos. Entonces, según el
teorema de Euler Monografias.comdonde Monografias.comAsí, Monografias.comserá una solución de la
congruencia Monografias.comy por
tanto, también de la congruencia Monografias.com

Si Monografias.comes una
solución de la congruencia Monografias.comy Monografias.comes una solución cualquiera entonces la
solución general de esta congruencia
será:

Monografias.com
(3)

En efecto,

Monografias.com

Monografias.com

En el caso Monografias.comMonografias.comy
las soluciones obtenidas son todas las soluciones de la
congruencia (2). Si Monografias.comteniendo en cuenta que las soluciones
correspondientes que se obtienen para Monografias.comson incongruentes respecto al módulo
Monografias.comla solución
general de la congruencia (2) será la
siguiente:

Monografias.com
(4)

Ejemplo 1: Resolver la congruencia:

Monografias.com

Puesto 2 es el máximo común divisor de 4 y
6 y 2 no divide a 3, la congruencia no tiene solución. Se
llegaría a la misma conclusión por el método
directo, es decir averiguando que ninguno de los números
1,2,3,4,5 es solución de la congruencia.

Ejemplo 2: Resolver la congruencia:

Monografias.com

Puesto que 4 y 11 son primos relativos, la congruencia
tiene solución. Calculando los productos Monografias.comMonografias.comy el resto de la división de cada
producto en la división por 11 resulta que Monografias.comPor tanto, la
solución de la congruencia es

Monografias.com

A continuación, el método anterior se
llamará el método directo.

Observando que 11 es un número primo, la
solución se podría obtener también
utilizando el teorema de Fermat:

Monografias.com

Monografias.com

El teorema de Wilson sirve también para resolver
la congruencia anterior. Teniendo en cuenta que según el
teorema de Wilson

Monografias.com

, resultan las equivalencias siguientes:

Monografias.com

Monografias.com

Ejemplo 3: Resolver la congruencia Monografias.com

Utilizando el método directo, se observa
queMonografias.comPor
consiguiente, la solución de la congruencia es Monografias.comPuesto que 12 no es un
número primo, el teorema de Fermat no es utilizable en
este caso. Sin embargo el teorema de Euler es
aplicable.

Teniendo en cuenta que Monografias.com( entre los números
1,2,3,4,5,6,7,8,9,10,11 hay cuatro números que son primos
con 12), resulta que Monografias.comPor consiguiente,

Monografias.com

Ejemplo 4: Resolver la congruencia:

Monografias.com
(5)

Monografias.com
(6)

Por el método directo se obtiene que Monografias.comPor tanto la solución
general de la congruencia (6) es Monografias.comLas soluciones 5 y 12 son incongruentes
respecto al módulo 14 y así la solución
general de la congruencia (5) se escribirá de la manera
siguiente:

Monografias.com

Si los númerosMonografias.comno superan a Monografias.comlos cálculos anteriores se
podrían efectuar con los códigos siguientes (que
corresponden al método directo, al método de Euler
ó al método de Simpson, respectivamente, y el
usuario debe decidir qué método es posible y con
qué método quiere trabajar):

Public Function MetodoDirecto(ByVal a As Long, ByVal b
As Long, ByVal m As Long) As String

Dim s() As Long, ax As Long, bx As Long, i As Long, k As
Long

Dim x As Long, mcd As Long, mx As Long, rc As String, rs
As String

If m < 1 Then

MetodoDirecto = " El módulo tiene que ser un
entero mayor que 1"

Exit Function

End If

rc = Chr$(13) + Chr$(10): mcd = MaxComDiv2(a,
m)

x = b Mod mcd

If x = 0 Then

If mcd = 1 Then

ax = a: bx = b: mx = m

Else

ax = a / mcd: bx = b / mcd: mx = m / mcd

End If

ax = ax Mod mx

bx = bx Mod mx

For i = 1 To mx – 1

x = (ax * i – bx) Mod mx

If x = 0 Then k = i: Exit For

Next i

ReDim s(mcd)

s(1) = k

For i = 2 To mcd: s(i) = s(i – 1) + mx: Next
i

For i = 1 To mcd

rs = rs + rc + "x(" + Str$(i) + ") = " + Str$(s(i)) + "
+ k*" + Str$(m)

Next i

Else

rs = "No hay soluciones"

End If

MetodoDirecto = rs

End Function

Public Function MetodoEuler(ByVal a As Long, ByVal b As
Long, ByVal m As Long) As String

Dim s() As Long, ax As Long, bx As Long, cx As Long, rc
As String

Dim x As Long, mcd As Long, mx As Long, em As Long, rs
As String

If m < 1 Then

MetodoEuler = " El módulo tiene que ser un entero
mayor que 1"

Exit Function

End If

rc = Chr$(13) + Chr$(10): mcd = MaxComDiv2(a,
m)

x = b Mod mcd

If x = 0 Then

If mcd = 1 Then

ax = a: bx = b: mx = m

Else

ax = a / mcd: bx = b / mcd: mx = m / mcd

End If

ax = ax Mod mx

bx = bx Mod mx

For i = 2 To Sqr(m)

x = m Mod i

If x = 0 Then Exit For

Next i

If i > Sqr(m) Then em = m – 1 Else em =
Euler(mx)

x = bx

For i = 1 To em – 1

x = x * ax

x = x Mod mx

Next i

ReDim s(mcd)

s(1) = x

For i = 2 To mcd: s(i) = s(i – 1) + mx: Next
i

For i = 1 To mcd

rs = rs + rc + "x(" + Str$(i) + ") = " + Str$(s(i)) + "
+ k*" + Str$(m)

Next i

Else

rs = "No hay soluciones"

End If

MetodoEuler = rs

End Function

Public Function MetodoSimpson(ByVal a As Long, ByVal b
As Long, ByVal m As Long) As String

Dim i As Integer, s() As Long, rc As String, rs As
String

Dim x As Long, ax As Long, bx As Long

If m < 1 Then

MetodoSimpson = " El módulo tiene que ser un
entero mayor que 1."

Exit Function

End If

ax = a: bx = b

rc = Chr$(13) + Chr$(10)

mcd = MaxComDiv2(ax, m)

x = bx Mod mcd

If x <> 0 Then

MetodoSimpson = "La congruencia no tiene
soluciones."

Exit Function

End If

If ax < 0 Then ax = -ax: bx = -bx

For i = 2 To Sqr(m)

x = m Mod i

If x = 0 Then

MetodoSimpson = "El módulo no es primo, el
método de Simpson no es utilizable"

Exit Function

End If

Next i

If m < ax Then

MetodoSimpson = "m es primo pero p < Abs(a), el
método de Simpson no es aplicable"

Exit Function

End If

ax = ax Mod m

bx = bx Mod m

x = bx

For i = 2 To m – 1

If i <> Abs(ax) Then

x = i * x

x = x Mod m

End If

Next i

x = -x

rs = "x = " + Str$(x) + " + k*" + Str$(m)

MetodoSimpson = rs

End Function

Public Function MaxComDiv2(ByVal a As Long, ByVal b As
Long) As Long

Dim ax As Long, bx As Long, x As Long, qx As Long, rx As
Long

ax = Abs(a): bx = Abs(b)

If ax < bx Then

x = ax: ax = bx: bx = x

End If

Do

rx = ax Mod bx

If rx = 0 Then Exit Do

ax = bx: bx = rx

Loop

MaxComDiv2 = bx

End Function

Public Function Euler(ByVal m As Long) As
Long

Dim i As Integer, j As Integer, mcd As
Integer

For i = 1 To m – 1

mcd = MaxComDiv2(i, m)

If mcd = 1 Then j = j + 1

Next i

Euler = j

End Function

Ejemplo 5: Al resolver la congruenciaMonografias.compor el método directo
o de Euler, se obtienen las soluciones siguientes Monografias.comdonde

Monografias.com

Monografias.com

Ejemplo 6: Al resolver la congruencia Monografias.compor el método de
Simpson, se obtiene la solución: Monografias.com

Ejemplo 7: La congruencia Monografias.comno tiene soluciones puesto que el
máximo común divisor de los números
Monografias.comes 4 y 4 no divide
el número Monografias.com

La Cuando los número enteros Monografias.comno tienen más de 8
dígitos (las variables son de tipo Long), estos programas
funcionan bien y son más rápidos cuándo el
módulo es menor.

Public Function CongruenciasD(ByVal a As String, ByVal b
As String, ByVal m As String) As String

Dim s() As String, ax As String, bx As String, i As
String, j As String, k As String

Dim mcd As String, mx As String, n As Integer, rt() As
String, rs() As String

Dim x(2) As String, rr As String, dif As String, rc As
String, res As String

rc = Chr$(13) + Chr$(10): n = 7

x(1) = a: x(2) = m: mcd = MaxComDiv(x(), n)

x(1) = b: x(2) = mcd: rt() = DivisionEuclidea(x(),
n)

If rr(2) ="-0" then rr(2) = "0"

If rr(2) = "0" Then

If mcd = "1" Then

ax = a: bx = b: mx = m

Else

x(2) = mcd

x(1) = a: rt() = DivisionEuclidea(x(), n): ax =
rt(1)

x(1) = b: rt() = DivisionEuclidea(x(), n): bx =
rt(1)

x(1) = m: rt() = DivisionEuclidea(x(), n): mx =
rt(1)

End If

If mx = "1" Then

If m = "1" Then

CongruenciasD = "¡El módulo tiedne que ser
mayor que 1!"

Else

CongruenciasD = "Cualquier número natural es
solución."

End If

Exit Function

End If

x(2) = mx

x(1) = ax: rt() = DivisionEuclidea(x(), n): ax =
rt(2)

x(1) = bx: rt() = DivisionEuclidea(x(), n)

If rr(2) ="-0" then rr(2) = "0"

bx = rt(2)

i = "1"

Do

x(1) = ax: x(2) = i: x(1) = Multiplicar(x(),
n)

x(2) = bx: dif = Restar(x(), n)

x(1) = dif: x(2) = mx: rt() = DivisionEuclidea(x(),
n)

If rr(2) ="-0" then rr(2) = "0"

If rt(2) = "0" Then k = i: Exit Do

x(1) = i: x(2) = "1"

i = Sumar(x(), n)

Loop

ReDim s(mcd), rs(mcd)

s(1) = k: i = "1"

If mcd <> "1" Then

Do

x(1) = i: x(2) = "1": j = Sumar(x(), n)

x(1) = s(i): x(2) = mx: s(j) = Sumar(x(), n): i =
j

Loop Until i = mcd

End If

i = "0": res = ""

Do

x(1) = i: x(2) = "1": j = Sumar(x(), n)

rs(j) = rs(j) + rc + "x(" + j + ") = " + s(j) + " + k*"
+ m

res = res + rs(j) + rc: i = j

Loop Until i = mcd

Else

res = "No hay soluciones"

End If

CongruenciasD = res

End Function

Public Function CongruenciasE(ByVal a As String, ByVal b
As String, ByVal m As String) As String

Dim s() As String, ax As String, bx As String, cx As
String, n As Integer, pr As String

Dim xx As String, mcd As String, mx As String, em As
String, x(2) As String, rt() As String

Dim res As String, fi As Integer, fm As Integer, rs() As
String, mcd2 As String, j As String

If m = "1" Then

CongruenciasE = "¡El módulo tiedne que ser
mayor que 1!"

Exit Function

End If

n = 7: x(1) = a: x(2) = m

mcd = MaxComDiv(x(), n)

x(1) = b: x(2) = mcd

rt() = DivisionEuclidea(x(), n)

If rr(2) ="-0" then rr(2) = "0"

xx = rt(2)

If xx = "0" Then

If mcd = 1 Then

ax = a: bx = b: mx = m

Else

'ax = a / mcd: bx = b / mcd: mx = m / mcd

x(2) = mcd

x(1) = a: rt() = DivisionEuclidea(x(), n): ax =
rt(1)

x(1) = b: rt() = DivisionEuclidea(x(), n): bx =
rt(1)

x(1) = m: rt() = DivisionEuclidea(x(), n): mx =
rt(1)

End If

If mx = "1" Then

CongruenciasE = "Cualquier número natural es
solución."

Exit Function

End If

fm = Val(Right$(mx, 1)) ' última cifra de
mx

If fm = 0 Mod 2 Then fm = 0

x(1) = ax: x(2) = mx

rt() = DivisionEuclidea(x(), n): ax = rt(2)

x(1) = bx: x(2) = mx:rt() = DivisionEuclidea(x(),
n)

If rr(2) ="-0" then rr(2) = "0"

bx = rt(2)

'Establecer el valor de
FunciónEuler(m)-1.

i = "1": pr = "0"

Do

x(1) = i: x(2) = "1": i = Sumar(x(), n)

If i = mx Then Exit Do

x(1) = i: x(2) = mx

fi = Val(Right$(i, 1))

If fi = 0 Mod 2 Then fi = 0

If fi <> 0 Or fm <> 0 Then

' cuando i y mx no son pares los dos.

mcd2 = MaxComDiv(x(), n)

If mcd2 = "1" Then

x(1) = pr: x(2) = "1": pr = Sumar(x(), n)

End If

End If

Loop

xx = bx: i = "0"

Do

If i = pr Then Exit Do

x(1) = i: x(2) = "1": i = Sumar(x(), n)

x(1) = xx: x(2) = ax: xx = Multiplicar(x(),
n)

x(1) = xx: x(2) = mx: rt() = DivisionEuclidea(x(),
n)

Partes: 1, 2

Página siguiente 

Nota al lector: es posible que esta página no contenga todos los componentes del trabajo original (pies de página, avanzadas formulas matemáticas, esquemas o tablas complejas, etc.). Recuerde que para ver el trabajo en su versión original completa, puede descargarlo desde el menú superior.

Todos los documentos disponibles en este sitio expresan los puntos de vista de sus respectivos autores y no de Monografias.com. El objetivo de Monografias.com es poner el conocimiento a disposición de toda su comunidad. Queda bajo la responsabilidad de cada lector el eventual uso que se le de a esta información. Asimismo, es obligatoria la cita del autor del contenido y de Monografias.com como fuentes de información.

Categorias
Newsletter