UNIVERSIDAD NACIONAL DEL

ALTIPLANO

FACULTAD DE CIENCIAS DE LA EDUCACION

ESCUELA PROFESIONAL DE MATEMATICA COMPUTACION E

INFORMATICA

TRABAJO ENCARGADO
PRESENTADO POR: LUIS YANARICO YAPU

CODIGO: 092097

SEMESTRE: III
 CONTENIDO:

I. DOMINIO DE INTEGRIDAD DE LOS NUMEROS ENTEROS

II. EL ANILLO EN LOS NUMEROS ENTEROS
III. DIVISIVILIDAD EN Z
IV. ALGORITMO DE EUCLIDES
V. NÚMEROS PRIMOS
VI. TEOREMA DE FACTORIZACION UNICA
VII. CONGRUENCIA
VIII. TEOREMA CHINO DEL RESTO
 DOMINIO DE INTEGRIDAD DE LOS
NUMEROS ENTEROS
Un dominio de integridad, dominio íntegro, anillo íntegro, dominio entero es un
anillo que carece de elementos divisores de cero por la izquierda y de
elementos divisores de cero por la derecha (con lo cual carece de elementos divisores
de cero).

Un subanillo de un dominio de integridad es también un dominio de integridad.

En la literatura "antigua" se exige (a veces se sobreentiende) que el anillo es

conmutativo y unitario, porque se ignoraba la existencia de anillos no conmutativos
que no tuvieran divisores de cero (por la izquierda o por la derecha). Los dominios de
Mal'cev son un tipo de anillos no conmutativos que carecen de elementos divisores de
cero (ni por la izquierda ni por la derecha). Respecto a dominios íntegros no unitarios,
el conjunto es un subanillo no unitario del dominio de integridad . En este artículo,
un dominio íntegro será siempre un anillo conmutativo y unitario (ya que así se
entiende en la mayor parte de la literatura, señalándose los casos en que no se adopta
estos criterios).

Todo cuerpo es dominio de integridad conmutativo y unitario. Más en general, todo

anillo de división es dominio de integridad unitario.

Dominio de integridad: si un anillo no posee divisores del cero, es un dominio de

integridad (a menudo se suele exigir que además se trate de anillos conmutativos y
unitarios, pero esta exigencia no es aceptada por todos los autores).

PROPOSICION:

Proposición El conjunto Z es un dominio de integridad y, por tanto, se cumple

ab = 0 ⇒ a = 0 o b = 0.

Además Z es dominio de indeales principales (lo que implica que es

dominio de factorización única) y el par (Z, | · |) (donde el valor absoluto es
una aplicación norma euclídea) es un dominio euclídeo.
 EL ANILLO EN LOS NUMEROS ENTEROS

Un conjunto C se dice que tiene estructura de anillo, o que es un anillo cuando en él

están definidas dos operaciones internas, adición y multiplicación, tales que por la
primera es un grupo aditivo conmutativo, y la segunda es asociativa y distributiva
sobre la pritnera. Cuando la segunda es, además, conmutativa, el anillo se llama
conmutativo.
Si la multiplicación posee elemento neutro (unidad), es un anillo unitario. Diremos, por
tanto, que el conjunto Z es un. Anillo conmutativo y unitario. Se trata además de un
dominio de integridad, por ser unitario y no tener divisores de cero, o sea, x• B = 0
implica que x= 0 ó3 = 0.

En álgebra, un anillo es una estructura algebraica formada por un conjunto (A), y dos
operaciones: suma y producto; de modo que (A,+) es un grupo conmutativo con
elemento neutro (que designamos 0), y el producto es asociativo, posee neutro,
llamado unidad (que designamos 1), y tiene la propiedad distributiva respecto de la
suma. Si además el producto es conmutativo hablaremos de un anillo conmutativo.

El ejemplo más intuitivo de un anillo es el conjunto de los números enteros:

... -4, -3, -2, -1, 0, 1, 2, 3, 4, ...

junto con las operaciones binarias de la suma y la multiplicación. La razón por la cual
estas tres cosas forman un anillo, es porque cumplen con las siguientes propiedades:

1. Los números enteros están cerrados bajo la suma: dados dos números enteros
a y b, se cumple que a + b es un número entero.
2. La suma es asociativa: dados tres números enteros a, b y c, se cumple que (a
+ b) + c = a + (b + c).
3. Existe un elemento neutro para la suma: para todo número entero a, a + 0 = 0
+ a = a.
4. Existe un elemento simétrico para la suma: para todo número entero a, siempre
existe algún número entero b, tal que a + b = 0.
5. La suma es conmutativa: dados dos números enteros a y b, se cumple que a +
b = b + a.
6. Los números enteros están cerrados bajo la multiplicación: dados dos números
enteros a y b, se cumple que a × b es un número entero.
7. La multiplicación es asociativa: dados tres números enteros a, b y c, se cumple
que (a × b) × c = a × (b × c).
8. Existe un elemento neutro para la multiplicación: para todo número entero a, a
× 1 = a.
9. La multiplicación es distributiva respecto de la suma: a × (b + c) = (a × b) + (a ×
c).
Anillo de los números enteros

En matemáticas, la frase anillo de los números enteros se puede referir a

 el anillo de todos los enteros (positivos, negativos o cero), usualmente indicado

como Z.
 dado un campo numérico algebraico K, los enteros algebraicos contenidos en
K forman un anillo, el anillo de los enteros de K, comúnmente indicado como
OK.

Usando esta notación, se puede escribir Z = OQ dado que Z es el anillo de enteros del
campo Q de números racionales. Y en efecto por esta razón, en la teoría de números
algebraicos los elementos de Z son comúnmente llamados los "enteros racionales".

El anillo de los números enteros OK tiene una base integral; lo que significa que existe
b1,...,bn ∈ OK (la base integral) tal que cada elemento x en OK puede ser unívocamente
representado como

con ai ∈ Z.

Si ζ es la p-iésima raíz de la unidad y K=Q(ζ) es el campo ciclotómico correspondiente,

entonces una base integral de OK está dada por (1,ζ,ζ2,...,ζp-2).

Si d es un entero cuadrático libre y K=Q(d1/2) es el campo cuadrático correspondiente,

entonces una base integral de OK está dada por (1,(1+d1/2)/2) si d≡1 (mod 4) y por
(1,d1/2) si d≡2 or 3 (mod 4).

DIVISIVILIDAD EN Z
Decimos que un número entero b es divisible entre otro entero a (distinto de cero) si
existe un tercer entero c tal que:

b=a·c

Se suele expresar de la forma a|b, que se lee a divide a b, o a es divisor de b, o

también b es múltiplo de a. Por ejemplo, 6 es divisible por 3, ya que 6 = 3·2; pero no
es divisible por 4, pues no existe un entero c tal que 6 = 4·c. Es decir, el resto de la
división euclídea (entera) de 6 entre 4 no es cero. Véase el algoritmo de la división.
Todo número entero es divisible por 1 y por sí mismo. Los números mayores que 1
que no admiten más que estos dos divisores se denominan números primos. Los que
admiten más de dos divisores se llaman números compuestos.

Divisibilidad entera
Definición

Sean a, b ∈ Z, a ≠ 0. Se dice que «a divide a b», denotado por a|b, si existe

q ∈ Z tal que b = aq.
Se dice que a es divisor de b si b es múltiplo de a.

Además, todo número a (a ≠ 0) tiene siempre como divisores a los números

±1 y ±a. Cualquier divisor distinto de ±1 y ±a se llama divisor propio.

Nota: en otros contextos, a los números ±1 y ±a se les llama divisores

Impropios.

DIVISIBILIDAD ENTERA:PROPIEDADES

La divisibilidad verifica las siguientes propiedades:

(Reflexividad) a|a.
(Transitividad) a|b y b|c ⇒ a|c.
(Producto/escalar) a|b⇒a|by para y ∈ Z.
(Combinación lineal) a|b y a|c⇒a|αb + βc para α, β∈ Z.
(Valor absoluto) a|b y b≠ 0 ⇒|a| ≤ |b|.
(Reciprocidad) a|b y b|a⇒|a| = |b|.

ALGORITMO DE LA DIVISION

Si a, b ∈ Z, b ≠0, entonces existen q, r ∈ Z tales que

a = bq + r.

Los números enteros q y r, no necesariamente únicos, se llaman cociente y

resto de la división de a entre b.

Demostración:
Basta elegir arbitrariamente q ∈ Z y r = a − bq.
Obsérvese que la división de 5 entre 2 nos proporciona las relaciones
5=2·2+1
5 = 2 · 10 + (−15)
5 = 2 · (−5) + 15)

DIVISION CLÁSICA

PROPOSICIÓN

Si a, b ∈ Z, b≠0, entonces existen q, r ∈ Z, con 0 ≤ r < |b|, únicos, tales que

a = bq + r.

Demostración:
Existencia: Aplicar principio de buena ordenación a
S = {a − xb : x ∈ Z; a − xb ≥ 0} 6= ∅.
Unicidad: sean (q1, r1) y (q2, r2) pares de números enteros verificando
a = bq1 + r1 con 0 ≤ r1 < |b|,
a = bq2 + r2 con 0 ≤ r2 < |b|.
Las desigualdades anteriores encadenan 0 ≤ |r2 − r1| < |b|; además
b(q2 − q1) = r2 − r1; luego b|(r2 − r1), lo que solamente es posible si
r2 − r1 = 0; consecuentemente, también q1 = q2.

APLICACIÓN DE ALGORITMO DE DIVISIÓN

Ejercicio: Demostrar que cualquier cuadrado es un número de la forma 4k o

4k + 1.
El algoritmo de la división proporciona: n = 4q + r con r = 0, 1, 2, 3
y, por tanto: n2 = 16q2 + 8qr + r2 = 4k + r2,
pero

r 0 1 2 3
r 2 0 1 4 9

luego, en cualquier caso, se obtiene 4k′ o 4k′ + 1.

Observación: una solución más rápida se obtiene escribiendo n = 2q + r y,

además, el cuadrado conserva la paridad.

Divisibilidad en un dominio íntegro (conmutativo y unitario) cualquiera

Quizás el aspecto más interesante que ofrecen los dominios íntegros es el de poder
genralizar a ellos muchas de las propiedades sobre divisibilidad que conocemos en el
anillo de los números enteros .

En adelante, a,b,c,d,r,x,y,m,u representarán elementos en el dominio íntegro R (i.e.

).

Se dice que a y b son asociados si existe un de manera que .

Se denota por .
Se dice que a divide a b si existe un de manera que . Se denota
por a | b. Si a y b son asociados, entonces a divide a b y b divide a a.

Se dice que un elemento a de un dominio íntegro R es un átomo o elemento

irreducible (a veces se dice simplemente que es un irreducible) de R si ,

, y si entonces o bien es o bien (o los

dos).

Se dice que un elemento a de un dominio es un elemento primo (o simplemente

primo) si el ideal generado por a es ideal primo de R.

Lo cierto es que la notación es un poco confusa cuando nos referimos a los números
enteros. En ese caso, el concepto de número primo corresponde con el de elemento
irreducible (que además sea positivo), y tedríamos que el 0 y el 1 serían elementos
primos de , aunque no serían números primos.

Si a es elemento primo del dominio íntegro R, y entonces a es

irreducible.

ALGORITMO DE EUCLIDES
Euclid's algorithm appears as the solution to the Proposition VII.2 in the : El
algoritmo de Euclides aparece como la solución a la Proposición VII.2 en los
elementos:

Dados los números primos no el uno al otro, para encontrar

su mayor acción común

What Euclid called "common measure" is termed nowadays a . Lo que Euclides llama
"acción común" que se denomina hoy en día un factor común o un divisor común .
Euclid VII.2 then offers an for finding the (gcd) of two integers. Euclides VII.2 a
continuación ofrece un algoritmo para encontrar el máximo común divisor (mcd) de dos
números enteros. Not surprisingly, the algorithm bears Euclid's name. Como era de
esperar, el algoritmo lleva el nombre de Euclides.

The algorithm is based on the following two observations: El algoritmo se basa en las
siguientes observaciones:
 1. If b|a then (a, b) = b. Si b | a entonces mcd (a, b) = b.

This is indeed so because no number (b, in particular) may have a divisor

greater than the number itself (I am talking here of non-negative integers.) Esto
es así porque de hecho no hay ningún número (b, en particular) puede tener un
divisor mayor que el número en sí (estoy hablando de números enteros no
negativos.)

2. If a = bt + r, for integers t and r, then gcd(a, b) = gcd(b, r). Si un bt = + r, t de

números enteros y r, entonces mcd (a, b) = mcd (b, r).

Indeed, every common divisor of a and b also divides r. De hecho, cada divisor
común de ayb también divide a r. Thus gcd(a, b) divides r. Por lo tanto mcd (a,
b) divide r. But, of course, gcd(a, b)|b . Pero, por supuesto, mcd (a, b) | b.
Therefore, gcd(a, b) is a common divisor of b and r and hence gcd(a, b) ≤
gcd(b, r). The reverse is also true because every divisor of b and r also divides
a. Por lo tanto, mcd (a, b) es un divisor común de B y R y, por tanto mcd (a, b)
≤ mcd (b, r). Lo contrario también es cierto porque todos los divisores de b y r
también divide a a.

Example Ejemplo

Let a = 2322, b = 654. Sean a, b = 2322 = 654.

2322 = 654·3 + 360 gcd(2322, 654) = gcd(654, 360)

2322 = 654,3 + 360 mcd (2322, 654) = mcd (654, 360)

654 = 360·1 + 294 gcd(654, 360) = gcd(360, 294) mcd

654 = 360,1 + 294 (654, 360) = mcd (360, 294)

360 = 294·1 + 66 gcd(360, 294) = gcd(294, 66) mcd

360 = 294,1 + 66 (360, 294) = mcd (294, 66)

294 = 66·4 + 30 294 gcd(294, 66) = gcd(66, 30) mcd

= 66,4 + 30 (294, 66) = mcd (66, 30)

66 = 30·2 + 6 66 = gcd(66, 30) = gcd(30, 6) mcd (66,

30,2 + 6 30) = mcd (30, 6)

30 = 6·5 30 = 6.5 gcd(30, 6) = 6 mcd (30, 6) = 6

Therefore, gcd(2322,654) = 6. Por lo tanto, mcd (2322,654) = 6.

For any pair a and b, the algorithm is bound to terminate since every new step
generates a similar problem (that of finding gcd) for a pair of smaller integers. Para
cualquier par a y b, el algoritmo está obligado a cancelar ya que cada nuevo paso
genera un problema similar (el de encontrar mcd) para un par de números enteros más
pequeños. Let Eulen(a,b) denote the length of the Euclidean algorithm for a pair a,b.
Eulen(2322, 654) = 6, Eulen(30, 6) = 1. I'll use this notation in the proof of the following
very important consequence of the algorithm: Vamos a Eulen (a, b) indican la longitud
del algoritmo de Euclides para un par a, b. Eulen (2322, 654) = 6, Eulen (30, 6) = 1.
Voy a usar esta notación en la prueba de la siguientes consecuencia muy importante
del algoritmo:

Corollary Corolario

Por cada par de los números enteros ay b existen dos enteros s y t de tal manera que
como + bt= mcd(a,b).

Example

Ejemplo

2322×20 + 654×(-71) = 6. 2322 × 654 × 20 + (-71) = 6.

Proof Prueba

Let a > b. Vamos a> b. The proof is by induction on Eulen(a, b). La prueba es por
inducción sobre Eulen (a, b). If Eulen(a, b) = 1, ie, if b|a, then a = bu for an integer u. Si
Eulen (a, b) 1, es decir, =, si b | a, entonces un bu = un número entero de u. Hence, a
+ (1 - u)b = b = gcd(a, b). We can take s = 1 and t = 1 - u. Por lo tanto, a + (1 - u) b = b
= mcd (a, b). - Podemos tomar s = 1 yt = 1 u.

Assume the Corollary has been established for all pairs of numbers for which Eulen is
less than n. Suponga que el Corolario se ha establecido para todos los pares de
números para los que Eulen es menor que n. Let Eulen(a, b) = n. Apply one step of the
algorithm: a = bu + r. Eulen(b, r) = n - 1. By the inductive assumption, there exist x and
y such that bx + ry = gcd(b,r) = gcd(a,b). Express r as r = a - bu. Hence, ry = ay - buy;
bx + (ay - buy) = gcd(a, b). Finally, b(x - uy) + ay = gcd(a, b) and we can take s = x - uy
and t = y. Vamos a Eulen (a, b) = n. Aplicar un paso del algoritmo: = + bu r. Eulen (b, r)
= n - 1. En el supuesto de una inductiva, existen x e y tales que bx + ry = mcd (b, r) =
mcd (a, b) comprar. Express r como r = a -; bu. Por lo tanto, ry = ay - + (ay - compra) =
mcd (a, b). bx Por último, b ( x - uy) + ay mcd (a, b), y podemos tomar s = = x - uy y t =
y.

There is also a that employs the . También hay una prueba simple que emplea el
principio de las casillas .

Remark Observación

Note that any linear combination as + bt is divisible by any common factor of a and b.
In particular, any common factor of a and b also divides gcd(a, b). In a "reverse"
application, any linear combination as + bt is divisible by gcd(a, b). From here it follows
that gcd(a, b) is the least positive integer representable in the form as + bt. Tenga en
cuenta que cualquier combinación lineal como + bt es divisible por ningún factor
común de ay b. En particular, cualquier factor común de ayb también divide mcd (a, b).
En una "marcha atrás" de aplicación, cualquier combinación lineal + bt es divisible por
mcd (a, b). A partir de aquí se sigue que mcd (a, b) es el entero positivo por lo que
puede representarse en la forma como + bt. All the rest are multiples of gcd(a, b). The
generalization of the Corollary to an arbitrary is known as or after the French
mathematician Éttiene Bézout (1730-1783), so it often happens that the result stated in
the Corollary is also often referred to as or . Todo lo demás son múltiplos de mcd (a,
b). La generalización de la Corolario a una arbitraria de campo que se conoce como la
identidad de Bézout o de Lema Bézout después de que el matemático francés Ettiene
Bézout (desde 1730 hasta 1783), por lo que suele suceder que el resultado
mencionado en el corolario es también a menudo se conoce como la identidad de
Bézout o de Lema Bézout.

Para primos entre sí los números que obtenemos existencia de s y t de tal manera que
como + bt = 1. Este corolario es una herramienta de gran alcance. It appeared in the
and problems. Al parecer, en el vidrio 3 y el reloj de arena problemas. For example,
let's prove the Euclid's Proposition VII.30 Por ejemplo, vamos a probar la Proposición
de Euclides VII.30

Si dos números multiplicados entre si, hacen algún numero, y cualquier numero primo
mide el producto, entonces también las medidas de uno de los números originales.

Let a prime p divide the product ab. Deja que un primo p divide el producto ab. Assume
p Suponga que p a. a. Then gcd(a, p) = 1. By Corollary, ax + py = 1 for some x and y.
Entonces mcd (p,) = 1. Corolario, ax + py = 1 por algunos xe y. Multiply by b: abx + pby
= b. Now, p|ab and p|pb. Multiplicar por b: ABX + PBY = b. Ahora, p | ab y p | pb.
Hence, p|b. Por lo tanto, p | b.

Actually, this proves a generalization of the Proposition VII.30 I used several times on
these pages: En realidad, esto demuestra una generalización de la Proposición VII.30
he usado varias veces en estas páginas:

Let m|ab and gcd(a, m) = 1. Sea m | ab y mcd

(a, m) = 1. Then m|b. Entonces m | b.

Proposition VII.30 immediately implies the Fundamental Theorem of Arithmetic

although Euclid has never stated it explicitly. Proposición VII.30 implica
inmediatamente el teorema fundamental de la aritmética de Euclides, aunque nunca lo
ha declarado explícitamente. The first time it was formulated in 1801 by Gauss in his .
La primera vez que fue formulada en 1801 por Gauss en sus Disquisitiones
Arithmeticae.

Fundamental Theorem of Arithmetic Teorema fundamental de la aritmética

Any integer N can be represented as a product of primes. Cualquier

número entero N se puede representar como un producto de primos. Such
a representation is unique up to the order of prime factors. Tal
representación es única hasta la orden de los factores principales.

Since, by definition, a number is if it has factors other than 1 and itself, and these
factors are bound to be smaller than the number, we can keep extracting the factors
until only prime factors remain. Dado que, por definición, un número es compuesto si
tiene otros factores que 1 y sí mismo, y estos factores están obligados a ser más
pequeño que el número, podemos mantener la extracción de los factores hasta que
sólo quedan los factores primos. This shows existence of the representation: N =
pqr ..., where all p, q, r,... Esto demuestra la existencia de la representación: N =
pqr ..., donde todos los p, q, r, ... are prime. son primos. To prove uniqueness, assume
there are two representations: N = pqr ... Para probar la unicidad, supongamos que
hay dos representaciones: N = pqr ... = uvw.... We see that p divides uvw... By
Corollary, it divides one of the factors u, v, w, ... UVW = .... Vemos que p divide
UVW ... Como corolario, se divide en uno de los factores u, v, w, ... Cancel them out.
Cancelar a cabo. We can go on chipping away on the factors left and right until no
factors remain. Podemos seguir socavando los factores izquierda y derecha hasta que
los factores no quedan.

Representation of a number as the product of primes is called or .

Representación de un número como el producto de los números primos
se llama descomposición de los números primos o factores primos. The
Fundamental Theorem of Arithmetic asserts that each integer has a
unique prime number decomposition. El teorema fundamental de la
aritmética afirma que cada número entero tiene una única
descomposición de los números primos.

Note : Euclid's algorithm is not the only way to determine the greatest common factor
of two integers. Nota: El algoritmo de Euclides no es la única manera de determinar el
máximo común divisor de dos números enteros. If you can find the prime factorizations
of the two numbers you can easily determine their gcd as the formed by their prime
factors. offer a convenient bookkeeping for finding prime factorizations of integers. Si
usted puede encontrar los factores primos de los dos números que pueden determinar
su mcd como la intersección de los conjuntos múltiples formados por sus factores
primos. Factor de árboles ofrecen una contabilidad conveniente para encontrar
factores primos de números enteros. Euclid's Algori
 NÚMEROS PRIMOS
Son aquellos números que son divisibles por sí mismos y por la unidad; es decir
estos números solamente presentan dos divisores. Es decir los números primos
tienen sólo 2 divisores. También llamados números primos absolutos.

• Un número natural distinto de 1 es un número primo si sólo tiene dos divisores,

él mismo y la unidad.
• Un número natural es un número compuesto si tiene otros divisores además
de él mismo y la unidad.
Ejemplos:

3 es un número primo porque sus únicos divisores son 1 y 3.

4 es un número compuesto porque sus divisores son 1, 2 y 4.

Divisores de 3= {1, 3} => es primo

D(7)={1, 7} => es primo
D(9)={1, 3, 9} => no es primo, es divisible por 3 además de 1 y 9

  Los siguientes números son primos:

1; 2; 3; 5; 7; 11; 13; 17; 19; 23; 29; 31; 37; 41; 43; 47; 53; 59;
61; 67; 71; 73; 79; 83; 89; 97...

Notas:

El 1 se considera primo en muchos casos, aunque sólo tiene un divisor. Depende de

las listas, de las definiciones, del libro o de la "cultura" se considera o no primo. P. Ej.
Los antiguos griegos consideraban que los numeros empezaban en el 2. Para ellos el
1 no era un número, sólo la unidad. No sotros tampoco lo consideraremos primo.

El 2 también cumple las características de número primo; y es el único número primo

que es par.
 
  Números gemelos: son los números primos cuya diferencia es 2 (p. ej. 5 es primo y
7 es primo, y 7-5=2; 31-29=2; etc)
Primos de Mersenne: son los números primos que se pueden expresar como
N=(2^n)-1 donde n es cualquier número y N es el primo de Mersenne. De momento
sólo se han descubierto 37. Un número primo es un número primo de Mersenne si al
sumarle 1 el resultado es una potencia de 2. Por ejemplo, 7 es un número primo de
Mersenne al cumplirse (7 + 1 = 8 = 2³)

Se denominan así en memoria del filósofo del siglo XVII Marin Mersenne quien realizó
una serie de postulados sobre ellos que sólo pudo refinarse tres siglos después.

Los ocho primeros números primos de Mersenne son:

3, 7, 31, 127, 8191, 131071, 524287, 2147483647.

En la actualidad solo se conocen 44 números primos de Mersenne, el ultimo fue

descubierto el 4 de septiembre 2006.

Número primo de Sophie Germain.Un número primo es un número de Sophie

Germain si al multiplicarlo por 2 y sumarle 1 el resultado es también un número primo.
Ejemplo: El 2 es número primo de Sophie Germain por ser un numero primo y
cumplirse 2x2+1=5 siendo 5 también número primo.

Números primos de Sophie Germain menores de 1000.

2 3 5 11 23 29 41 53 83 89
113 131 173 179 191 233 239 251 281 293
359 419 431 443 491 509 593 641 653 659
683 719 743 761 809 911 953

Número primo de Fermat

Un número primo de Fermat es un número primo que cimple la ecuacion:

siendo n un número natural.

Sólo se conocen cinco primos de Fermat:

3 (n=0), 5 (n=1), 17 (n=2), 257 (n=3) y 65537 (n=4).
 TEOREMA DE FACTORIZACION
UNICA
En matemática, y particularmente en la teoría de números, el teorema fundamental
de la Aritmética o teorema de factorización única afirma que todo entero positivo se
puede representar de forma única como producto de factores primos. Por ejemplo,

No existe ninguna otra factorización de 6936 y 1200 en números primos. Como la

multiplicación es conmutativa, el orden de los factores es irrelevante; por esta razón,
usualmente se enuncia el teorema como factorización única salvo en el orden de los
factores.

Por definición, un producto vacío tiene por resultado 1, con lo cual el teorema vale
también para 1 si se toma como el producto de cero factores.

Aplicaciones

El teorema establece la importancia de los números primos. Éstos son los "ladrillos
básicos" con los que se "construyen" los enteros positivos, en el sentido de que todo
entero positivo puede construirse como producto de números primos de una única
manera.

Conocer la factorización en primos de un número permite encontrar todos sus

divisores, primos o compuestos. Por ejemplo, la factorización anteriormente dada de
6936 muestra que cualquier divisor positivo 6936 debe tener la forma: ,
donde 0 ≤ a ≤ 3 (4 valores posibles), 0 ≤ b ≤ 1 (2 valores posibles), y 0 ≤ c ≤ 2 (3
valores posibles). Multiplicando el número de opciones independientes se obtiene un
total de divisores positivos

Una vez que se conoce la factorización en primos de dos números, se pueden hallar
fácilmente su máximo común divisor y mínimo común múltiplo. Por ejemplo, de las
factorizaciones anteriores de 6936 y 1200 se puede deducir que su máximo común
divisor es 2³ · 3 = 24. Sin embargo, si no se conoce la factorización en primos, usar el
algoritmo de Euclides en general requiere muchos menos cálculos que factorizar los
dos números.

El teorema fundamental implica que las funciones aritméticas aditivas y multiplicativas

están completamente determinadas por sus valores en las potencias de los números
primos.
Demostración

El teorema fue prácticamente demostrado por primera vez por Euclides, aunque la
primera prueba completa apareció en las Disquisitiones Arithmeticae de Carl Friedrich
Gauss.

Aunque a primera vista el teorema parezca "obvio", no vale en sistemas numéricos

más generales, entre estos muchos anillos de enteros algebraicos. Ernst Kummer fue
el primero en notar esto en 1843, en su trabajo sobre el último teorema de Fermat. El
reconocimiento de este fallo es uno de los primeros avances de la teoría de números
algebraicos.

Demostración de Euclides

La demostración se hace en dos pasos. En el primero se demuestra que todo número

es un producto de primos (incluido el producto vacío). En el segundo se demuestra
que cualesquiera dos representaciones son iguales.

Descomposición en primos

Supóngase que existe algún entero positivo que no puede representarse como
producto de primos. Entonces debe haber un mínimo número n con esa propiedad.
Este número n no puede ser 1, por la convención anterior. Tampoco puede ser un
primo, porque todo primo es el producto de un único número primo: él mismo.
Así pues, n = ab, donde a y b son enteros positivos menores que n. Como n es el
mínimo entero positivo para el que falla el teorema, tanto a como b pueden escribirse
como producto de primos. Pero entonces n = ab también puede escribirse como
producto de primos, lo que es contradictorio.

Unicidad

La demostración de la unicidad se apoya en el siguiente hecho: si un número primo p

divide a un producto ab, entonces divide a a o divide a b (lema de Euclides). Para
demostrar este lema, si se supone que p no divide a a, entonces p y a son primos
entre sí y por la identidad de Bézout existen x e y enteros tales que px + ay = 1.
Multiplicando por b se obtiene pbx + aby = b, y puesto que los dos sumandos del lado
izquierdo son divisibles por p, el término de la derecha también es divisible por p.

Dados dos productos de primos que tengan igual resultado, tómese un primo p del
primer producto. Divide al primer producto, y por lo tanto también al segundo. Por el
hecho anterior, p debe dividir al menos a un factor del segundo producto; pero los
factores son todos primos, así que p debe ser igual a uno de los factores del segundo
producto. Se puede entonces cancelar a p de ambos productos. Siguiendo de esta
forma se cancelarán todos los factores de ambos productos, con lo cual éstos deben
coincidir exactamente.
Prueba por descenso infinito

Otra prueba de la unicidad de las factorizaciones en primos de un entero dado utiliza el

método del descenso infinito.

Supóngase que cierto número entero se puede escribir como producto de factores
primos de (al menos) dos maneras distintas. Entonces, debe existir un mínimo entero
s con esa propiedad. Sean p1·...·pm y q1·...·qn dos factorizaciones distintas de s. Ningún
pi (con 1 ≤ i ≤ m) puede ser igual a algún qj (con 1 ≤ j ≤ n), pues de lo contrario habría
un número menor que s que se podría factorizar de dos maneras (obtenido al quitar
factores comunes a ambos productos) contradiciendo la suposición anterior. Se puede
entonces suponer sin pérdida de generalidad que p1 es un factor primo menor que
todos los qj (con 1 ≤ j ≤ n). Considérese en particular q1. Entonces existen enteros d y r
tales que

y 0 < r < p1 < q1 (r no puede ser 0, puesto que en tal caso q1 sería un múltiplo de p1 y
por lo tanto compuesto). Al multiplicar ambos lados por s / q1, resulta

El segundo término de la última expresión debe ser igual a un entero (pues lo son
también los otros términos), al que se llamará k; esto es,

de donde se obtiene,

El valor de los dos lados de esta ecuación es obviamente menor que s, pero sigue
siendo lo bastante grande como para ser factorizable. Como r es menor que p1, las
dos factorizaciones obtenidas en ambos lados después de haber escrito k y r como
producto de primos deben ser diferentes. Esto contradice la suposición de que s es el
entero más pequeño que se puede factorizar en más de una forma. Por tanto, la
suposición inicial debe ser falsa.
 CONGRUENCIA
Congruencia es un término usado en la teoría de números, para designar que dos
números enteros a y b tienen el mismo resto al dividirlos por un número natural m,
llamado el módulo; esto se expresa utilizando la notación

que se expresa diciendo que a es congruente con b módulo m. Las siguientes

expresiones son equivalentes:

 a Es congruente con b módulo m

 El resto de a entre m es el resto de b entre m

 m divide exactamente a la diferencia de a y b

 a se puede escribir como la suma de b y un múltiplo de m

El término congruencia se utiliza además con dos sentidos ligeramente diferentes: por
un lado con el sentido de identidad matemática, como ejemplo de este uso tenemos el
pequeño teorema de Fermat que asegura que para cada primo p y cada entero a no
divisible por p tenemos la congruencia:

Por otro lado se utiliza en el sentido de ecuación, donde aparecen una o más
incógnitas, y nos preguntamos si una congruencia tiene solución y en caso afirmativo
cuales son todas sus soluciones, por ejemplo la congruencia

, tiene solución, y todas sus soluciones vienen dadas por

y , es decir x puede ser cualquier entero
de las sucesiones 11k + 4 y 11k + 7. Contrariamente la congruencia

, no tiene solución.

La notación y la relación terminología fueron introducidas por Carl Friedrich Gauss en

su libro Disquisitiones Arithmeticae en 1801. Su utilización se ha extendido a muchos
otros entornos en los que podemos hablar de divisibilidad, por ejemplo a polinomios
con coeficientes en un cuerpo, a ideales de anillos de números algebraicos, etc.

Propiedades

La relación de congruencia tiene muchas propiedades en común con la igualdad, por

citar alguna:

 La congruencia para un módulo fijo m es una relación de equivalencia ya que

se verifican las propiedades:

1. reflexividad:
2. simetría: si entonces también
3. transitividad: si y entonces también
.

 Si a es coprimo con m y , entonces b también es coprimo

con m.

 si y k es un entero entonces también se cumple

y:

−1
 si además k es coprimo con m, entonces podemos encontrar un entero k , tal
que

y entonces tiene perfecto sentido hablar de la división y también es cierto que

donde por definición ponemos a / k = ak − 1.

 Como consecuencia de lo anterior, si tenemos dos congruencias con igual

módulo:

podemos sumarlas, restarlas o multiplicarlas de forma que también se verifican las

congruencias

y
 TEOREMA CHINO DEL RESTO

According to D. Wells, the following problem was posed by Sun Tsu Suan-Ching (4th
century AD): Según D. Wells, el siguiente problema se planteó por parte de Sun Tsu
Suan-Ching (4 º siglo dC):

There are certain things whose number is unknown. Hay ciertas cosas
cuyo número se desconoce. Repeatedly divided by 3, the remainder is 2;
by 5 the remainder is 3; and by 7 the remainder is 2. Varias veces dividido
por 3, el resto es de 2; por 5 el resto es de 3 y un 7 el resto es de 2. What
will be the number? ¿Cuál será el número?

Oystein Ore mentions another puzzle with a dramatic element from (Brahma's Correct
System) by Brahmagupta (born 598 AD): Oystein Ore menciona otro puzzle con un
elemento dramático de Brahma-Sphuta-Siddhanta (es correcto Brahma System) por
Brahmagupta (nacido el 598 dC):

An old woman goes to market and a horse steps on her basket and
crashes the eggs. Una anciana va al mercado y los pasos a caballo en su
cesta y accidentes de los huevos. The rider offers to pay for the damages
and asks her how many eggs she had brought. El piloto se ofrece a pagar
por los daños y le pregunta cuántos huevos que había traído. She does
not remember the exact number, but when she had taken them out two at
a time, there was one egg left. Ella no recuerda el número exacto, pero
cuando se los había llevado a cabo dos a la vez, hubo un huevo izquierdo.
The same happened when she picked them out three, four, five, and six at
a time, but when she took them seven at a time they came out even. Lo
mismo ocurrió cuando los recogió a tres, cuatro, cinco, y seis a la vez,
pero cuando se los llevó a siete a la vez que salió incluso. What is the
smallest number of eggs she could have had? ¿Cuál es el menor número
de huevos que pudo haber tenido?

Problems of this kind are all examples of what universally became known as the .
Problemas de este tipo son ejemplos de lo que universalmente se conoce como el
teorema chino del resto. In mathematical parlance the problems can be stated as
finding n, given its remainders of division by several numbers m 1 , m 2 , ..., m k : En el
lenguaje de los problemas matemáticos puede expresarse como n encontrar, dada su
restos de la división por m, varios números 1, m 2, ..., m k:

(1) (1) n = n 1 (mod m 1 )

 n = n 1 (mod m 1)
n = n 2 (mod m 2 )
n = n 2 (mod m 2)
... ...
n = n k (mod m k )
n = n k (k mod m)

The modern day theorem is best stated with a couple of useful notations. El teorema
de hoy en día es el mejor indicado con un par de anotaciones útiles. For non-negative
integers m 1 , m 2 , ..., m k , their is defined as Para negativos enteros m-no 1, m 2, ..., k
m, su máximo común divisor se define como

gcd(m 1 , m 2 , ..., m k ) = max{s: s|m i , for i = 1, ..., k},

mcd (m 1, m 2, ..., m k) = max {s: s | m i, para i = 1, ..., k},

where, as always, "s|m" means that s divides m exactly. donde, como siempre, "s | m"
significa que m s se divide exactamente. The of k numbers is defined as El mínimo
común múltiplo de números k se define como

lcm(m 1 , m 2 , ..., m k ) = min{s: s > 0 and m i |s, for i = 1, ..., k},

mcm (m 1, m 2, ..., m k) = min {s: s> 0 y m i | s, para i = 1, ..., k},

Both gcd() and lcm() are symmetric functions of their arguments. Ambos mcd () y mcm
() son funciones simétricas de sus argumentos. They are complementary in the sense
that, for k = 2, Ellos son complementarios en el sentido de que, para k = 2,

gcd(m 1 , m 2 )·lcm(m 1 , m 2 ) = m 1 · m 2 .
mcd (m 1, m 2) · mcm (m 1, m 2) = m 1 · m 2.

(A proof and an interactive illustration for this identity appears .) (Una prueba y una
ilustración interactiva para esta identidad aparece en otros lugares .)

However, for k > 2 a similar identity does not in general hold. Sin embargo, para k> 2
una identidad similar no en la bodega general. For an example, consider two triplets:
{2, 4, 16} and {2, 8, 16}. Both have exactly the same gcd and lcm but obviously
different products. Por ejemplo, considere dos tríos: {2, 4, 16} y {2, 8, 16} productos.
Ambos tienen exactamente el mismo mcd y mcm obviamente diferentes, pero. On the
other hand, both gcd and lcm are : Por otra parte, tanto mcd y mcm son asociativas:

gcd(m 1 , (gcd(m 2 , m 3 )) = gcd(gcd(m 1 , m 2 ), m 3 )

mcd (m 1, (mcd (m 2, m 3)) = mcd (mcd (m 1, m 2), m 3)

and, both equal gcd(m 1 , m 2 ,m 3 ). y, por tanto la igualdad de mcd (m 1, m 2, m 3).

Similarly, Del mismo modo,

 lcm(m 1 , (lcm(m 2 , m 3 )) = lcm(lcm(m 1 , m 2 ), m 3 )
mcm (1 m, (mcm (m 2, m 3)) = mcm (mcm (m 1, m 2), m 3)

Note Nota

If, for a prime p, p alpha i |m i , with alpha i being the largest exponent with that property,
then p alpha lcm(m 1 , m 2 , ..., m k ), where α = max{ i } and α is the largest exponent with
that property. Si, por un primo p, alfa i p | m i, con i alfa ser el mayor exponente con que
la propiedad, alfa mcm p, entonces (m 1, m 2, ..., k m), donde α = max {i } y α es el mayor
exponente con esa propiedad. Similarly, the greatest common divisor of several
numbers is the product of the largest powers of the primes that divide all the given
numbers. Del mismo modo, el máximo común divisor de varios números es el producto
de las mayores potencias de los primos que dividen a todos los números dados.

Associativity allows one to proceed a step at a time with an inductive argument without
putting all eggs into a basket at once. La asociatividad permite proceder paso a la vez
con un argumento inductivo sin poner todos los huevos en una cesta a la vez. Jumping
at the opportunity I'll prove the most basic case of k = 2. Saltando a la oportunidad que
te probar la base caso más de k = 2.

Theorem 1 Teorema 1

Two simultaneous congruences Dos congruencias simultáneas

n = n 1 (mod m 1 )
and n = n 1 (mod m
1) y
n = n 2 (mod m 2 ) n
= n 2 (mod m 2)

are only solvable when n 1 = n 2 (mod gcd(m 1 , m 2 )). The solution is

unique modulo lcm(m 1 , m 2 ). sólo se pueden resolver cuando n 1 = n 2
(mod mcd (m 1, m 2)). La solución es mcm módulo único (m 1, m 2).

(When m 1 and m 2 are coprime their gcd is 1. By convention, a = b (mod 1) holds for
any a and b.) (Cuando m 1 y m 2 son primos entre sí su máximo común divisor es 1.
Por convención, a = b (mod 1) se cumple para cualquier ay b.)
Proof Prueba

By a of the Euclid's algorithm, there are integers s and t such that En una
generalización del algoritmo de Euclides, no son números enteros s y t tal que

tm 1 + sm 2 = gcd(m 1 , m 2 ).
tm 1 + 2 = sm mcd (m 1, m 2).

Since n 2 - n 1 = 0 (mod gcd(m 1 , m 2 )), for some, possibly different t and s, Puesto que
n 2 - n 1 = 0 (mod mcd (m 1, m 2)), para algunos, posiblemente diferentes t y s,

tm 1 + sm 2 = n 2 - n 1 .
(2) (2)
tm 1 + sm 2 n = 2 - n 1.

Then n = tm 1 + n 1 = -sm 2 + n 2 satisfies both congruences in the theorem. Entonces n

= tm 1 + n 1 = 2 + sm-n 2 satisfaga a ambas congruencias en el teorema. This proves
the existence of a solution. Esto demuestra la existencia de una solución.

To prove the uniqueness part, assume n and N satisfy the two congruences. Para
probar la parte singularidad, asumir n y N cumplen los dos congruencias. Taking the
differences we see that Tomando las diferencias, vemos que

N - n = 0 (mod m 1 ) and N - n = 0 (mod

m 2 ) N - n = 0 (mod m 1) y N - n = 0 (mod
m 2)

which implies N - n = 0 (mod lcm(m 1 , m 2 )). lo que implica N - n = 0 (mcm mod (m 1, m

2)).

As was previously stated, a more general theorem can now be proved by . Como se
dijo anteriormente, un teorema más general, ahora se puede probar por inducción .

Theorem 2 Teorema 2

The simultaneous congruences Las congruencias simultáneas (1)

n = n 1 (mod m 1 )
n = n 1 (mod m 1)
n = n 2 (mod m 2 )
n = n 2 (mod m 2)
... ...
n = n k (mod m k )
n = n k (k mod m)
 are only solvable when n i = n j (mod gcd(m i , m j )), for all i and j, i ≠ j. The
solution is unique modulo lcm(m 1 , m 2 , ..., m k ). sólo se pueden resolver
cuando n = j (mod mcd (m i, m j)), para todo i y j, i ≠ j. La solución es mcm

módulo único (m 1, m 2, k m ... ).

Proof Prueba

Theorem 1 serves the initial step verification. Teorema 1 sirve la verificación paso
inicial. Assume the theorem holds for k congruences and consider k + 1 of them.
Supongamos que el teorema es válido para k congruencias y considerar k + 1 de ellos.

n = n 1 (mod m 1 ) n =
n 1 (mod m 1)
n = n 2 (mod m 2 ) n =
n 2 (mod m 2)
... ...
n = n k (mod m k ) n =
n k (k mod m)
n = n k+1 (mod m k+1 )
n = k n +1 (m mod k +1)

Let s be a solution to the first k equations. Sea s una solución a las ecuaciones k
primero. Then the congrurence n = s (mod lcm(m 1 , m 2 , ..., m k )) has a solution.
Entonces n = s congrurence (mcm mod (m 1, m 2, ..., m k)) tiene una solución. (Observe
that every solution of the latter also satisfies the first k congruences.) To be able to
apply the already proven Theorem 1, we need to show that (Obsérvese que todas las
soluciones de esta última también satisface las congruencias k en primer lugar.) Para
poder aplicar el teorema 1 ya ha demostrado, tenemos que mostrar que

s = n k+1 (mod gcd(lcm(m 1 , ..., m k ), m k+1 )). s

(3) (3)
= k n +1 (mod mcd (mcm (m 1, ..., m k), k m +1)).

Let's write g u = gcd(m u , m k+1 ), u = 1, ..., k. Vamos a escribir u g mcd (m, u m +1 k), u = =
1, ..., k. Then we know that n u = n k+1 (mod g u ) for these values of u. Entonces
sabemos que u n = k n +1 (g u mod) para estos valores de u. But n u = s + t u m u , for
some t u , implying n k+1 = s + t u m u (mod g u ) so that Pero u = n + t u s u m, por unos u t,
lo que supone k = n +1 + u t s u m (mod u g) para que

s = n k+1 (mod g u ), u = 1, 2, ..., k.

s = k n +1 (u g mod), u = 1, 2, ..., k.

If so, Si es así,

s =n k+1 (mod lcm(g 1 , ..., g k )) n k = 1 (mod mcm (g 1, ..., g

 s k))

= n k+1 (mod lcm(gcd(m 1 , m k+1 ), ..., gcd(m k , m k+1 ))). K =

n +1 (mcm mod (mcd (m 1, k m +1), ..., mcd (k m, k m +1))).

= n k+1 (mod gcd(lcm(m 1 , ..., m k ), m k+1 )) K = n + 1 (mod

mcd (mcm (m 1, ..., m k), k m +1))

lcm(gcd(m 1 , m k+1 ), ..., gcd(m k , m k+1 )) = gcd(lcm(m 1 , ..., m k ), m k+1 ). por mcm
(mcd (m 1, k m +1), ..., mcd (k m, k m +1)) = mcd (mcm (m 1, ..., m k), k m +1) .

Thus the system Así, el sistema

n = s (mod lcm(m 1 , m 2 , ..., m k ))

n = s (mcm mod (m 1, m 2, ..., m k))
n = n k+1 (mod m k+1 ) n = k n +1 (m
mod k +1)

has a solution which is unique modulo lcm(lcm(m 1 , m 2 , ..., m k ), m k+1 ) = lcm(m 1 , m

2 , ..., m k , m k+1 ). It also satisfies the whole set of k + 1 congruences. tiene una

solución que es mcm módulo único (mcm (m 1, m 2, ..., m k), m k +1) = mcm (m 1, m 2, ..., m
k, k m +1 ). También se cumple el conjunto de k + 1 congruencias.

Corollary COROLARIO

The simultaneous congruences Las congruencias simultáneas (1)

n = n 1 (mod m 1 )
n = n 1 (mod m 1)
n = n 2 (mod m 2 )
n = n 2 (mod m 2)
... ...
n = n k (mod m k )
n = n k (k mod m)

where all m i 's are pairwise coprime has a unique solution modulo m 1 ·m 2
· ... donde todos los m i 's son primos entre sí por parejas tiene una
solución m módulo único de 1 · m 2 · ... ·m k . · K m.

If some m i 's are not mutually prime, a solution may not exist unless the corresponding
congruence agree. Si algunos m i 's no son mutuamente primos, una solución no
puede existir a menos que la congruencia que corresponde de acuerdo. For example,
the system n = 1 (mod 2) and n = 2 (mod 4) has not solution, while the system n = 1
(mod 2) and n = ±1 (mod 4) does. Por ejemplo, el sistema de n = 1 (mod 2) y n = 2
(mod 4) no ha solución, mientras que el sistema de n = 1 (mod 2) y n = ± 1 (mod 4) lo
hace.

Let's now solve the two problems we started the page with. Ahora vamos a resolver los
dos problemas que empezamos con la página.

Problem #1 PROBLEMA # 1

Solve Resolver

x = 2 (mod 3)
p1: p1:
x = 2 (mod 3)

x = 3 (mod 5)
p2: p2:
x = 3 (mod 5)

x = 2 (mod 7)
p3: p3:
x = 2 (mod 7)

From p1, x = 3t + 2, for some integer t. Desde p1, x = 3t + 2, para algún entero t.
Substituting this into p2 gives 3t = 1 (mod 5). Looking up 1/3 in the modulo 5, this
reduces to a simpler equation Sustituyendo esto en p2 da 3t = 1 (mod 5). Mirando
hacia arriba 1 / 3 en la tabla de la división módulo 5, esto se reduce a una ecuación
simple

t = 2 (mod 5)
p4: p4:
t = 2 (mod 5)

which, in turn, is equivalent to t = 5s + 2 for an integer s. que, a su vez, es equivalente

a t = 5s + 2 para un número entero s. Substitution into x = 3t + 2 yields x = 15s + 8.
This now goes into p3: 15s + 8 = 2 (mod 7). gives s = 1 (mod 7). From here, s = 7u + 1
and, finally, x = 105 u + 23. La sustitución en x = 3t + 2 = x rendimientos 15s + 8:.
Ahora esto va a p3 8 = 2 (mod 7). Casting 15 años de 7 da s = 1 (mod 7). + A partir de
aquí, s = 7u + 1 y, por último, x = 105 u + 23.

Note that 105 = lcm(3, 5, 7). Tenga en cuenta que 105 mcm = (3, 5, 7). Thus we have
solutions 23, 128, 233, ... Así pues, tenemos soluciones 23, 128, 233, ...

Problem #2 PROBLEMA # 2

Solve Resolver

q1: Q1: x = 1 (mod 2)

 x = 1 (mod 2)

x = 1 (mod 3)
q2: Q2:
x = 1 (mod 3)

x = 1 (mod 4)
q3: Q3:
x = 1 (mod 4)

x = 1 (mod 5)
q4: P4:
x = 1 (mod 5)

x = 1 (mod 6)
q5: Q5:
x = 1 (mod 6)

x = 0 (mod 7)
q6: P6:
x = 0 (mod 7)

With the experience we acquired so far, the combination of q1-q5 is equivalent to Con
la experiencia adquirida hasta la fecha, la combinación de Q1-Q5 es equivalente a

x = 1 (mod 60)
q7: Q7:
x = 1 (mod 60)

x = 60t + 1. x = 60t + 1. Plugging this into q6 gives 60t = -1 (mod 7). 7 simplifies this to
4t = 6 (mod 7) and then 2t = 3 (mod 7). From the modulo 7, 3/2 = 5 (mod 7).
Therefore, t = 7u + 5. Finally, x = 420u + 301. Allowing for an average size farmer, the
most likely number of eggs she might expect to be compensated for is 301. Al conectar
este en Q6 da 60t = -1 (mod 7). Casting de 7 simplifica esto 4t = 6 (mod 7) y, a
continuación 2t = 3 (mod 7). Desde la división de las tablas de módulo 7, 3 / 2 = 5
( mod 7). Por lo tanto, t = 7u + 5. Por último, x = 420u + 301. Teniendo en cuenta un
agricultor de tamaño medio, el número más probable de los huevos se puede esperar
a ser compensado por es de 301.