UNIVERSIDAD PEDAGOGICA NACIONAL

FRANCISCO MORAZAN
Asignatura: Teoría de números

Catedrático: M. Sc. Fray Valentin Cloter

Alumnos: Imer Jose Padilla Escobar

Gerardo Andres Pineda Torres
Wilfredo Alberto Ebanks Zuniga

Fecha: 4 de marzo del 2024

Introducción:
• La teoría de números es el estudio de los números enteros y las
propiedades que los rodean. En este contexto, el Máximo Común
Divisor emerge como una piedra angular, proporcionando una
comprensión más profunda de la estructura de los números enteros y
sus interacciones.
Objetivos:
• El objetivo de esta exposición es proporcionar una comprensión
profunda del concepto de Máximo Común Divisor (MCD) desde la
perspectiva de la clase de teoría de números. Exploraremos cómo el
MCD es una herramienta fundamental en el estudio de los números
enteros, comprendiendo su definición, métodos de cálculo y
aplicaciones en diversos problemas matemáticos.
 Máximo común Divisor
2.2 Definición. Sean a y b enteros no ambos iguales a cero. El
conjuntos de todos los divisores comunes de a y b (un divisor
común de a y b es un entero que divide a ambos números a y b)
es un conjunto finito de números enteros cuyo máximo se
denomina el Máximo Común Divisor de a y b. lo cual notamos
MCD(a,b) o simplemente (a,b).
Puesto que, si x|a entonces x|(-a), es fácil observar que
(a,b) = (a,-b) = (-a,b) = (-a,-b).
2.5 Teorema. Sean a y b enteros no ambos iguales a cero. El
MCD(a,b) es el menor entero positivo que pueda escribirse en la
forma ax + by con x, y enteros
Prueba:
Supongamos que d = (a,b) y sea S =

Definimos g como el mínimo común divisor y lo denotamos como

Vamos a probar que g = d = (a,b). Nótese que:
a = qg + r, 0 ≤ r < g
r = a - q(
r=a-q-q
 r = a(1 - q) + (-q), definimos (1 - q) y = -q
r = a + , si r 0
Entonces r S lo cual contradice la minimalidad de g, en consecuencia r = 0 y así g
| a.

Proba que g | b
Supongamos que d = (a,b) y sea S =

Definimos g como el mínimo común divisor y lo denotamos como

Vamos a probar que g = d = (a,b). Nótese que:
b = pg + t, 0 ≤ t < g
t = b - p(
t=b-p-p
t = b(1 - p+ (-p), definimos -py = (1 - p
Entonces t S lo cual contradice la minimalidad de g, en consecuencia t = 0 y así g | b.

Como d = (a , b) y g es un divisor común entonces g ≤ d.

Lo anterior se cumple también para g, por lo tanto d ≤ g y en consecuencia d = g.

Igualmente es importante observar que el solo hecho de escribir un entero

positivo d, en la forma d = ax + by no garantiza que d = (a, b). Solamente
podemos afirmar que (a, b) | d.
Por ejemplo,
4 = (6)(3) + (2)(−7) y sin embargo (6, 2) = 2 4
2.6 Teorema. Sean a y b enteros no ambos ceros. Entonces d = (a,b) sii
d satisface las siguientes propiedades:

1. d > 0
2. d | a y d | b
3. Si f | a, f | b entonces f | d

2.7 Teorema. Si a = bq + r entonces (a , b) = (b , r)