Academia Sabatina de Jóvenes Talento

Clase# 2
Curso: Teorı́a de Números
Grupo: Olı́mpico
Fecha: Sábado, 02 de Febrero de 2019
Instructor: Ing. Rolando Vega

2. Principio de Buen Orden.

Introducción
El conjunto N = {0, 1, 2, 3, 4, . . .} de números naturales está dotado con dos operaciones,
adición y multiplicación, que satisfacen las siguientes propiedades para los números
naturales a, b, y c:

1. Clausura: a + b y ab son también números naturales.

2. Ley asociativa: (a + b) + c = a + (b + c) y a(bc) = (ab)c.

3. Ley distributiva: a(b + c) = ab + ac

4. Identidad en la adición 0 + a = a + 0 = a

5. Identidad en la multiplicación: 1a = a1 = a.

Una propiedad poderosa de los números naturales es la siguiente.

Definición 2.1 (Axioma del Buen Orden). Para todo subconjunto no vacı́o ς de los
números naturales tienen un elemento mı́nimo.

Como un buen ejemplo para el uso del Axioma del Buen Orden , probaremos que no
hay números enteros entre 0 y 1.

Ejemplo 2.1. Probar que no existen enteros en el intervalo (0, 1)

Solución. Asumamos lo contrario, que el conjunto ς de enteros en (0, 1) no es vacı́o.

Dado un conjunto de enteros positivos, este debe contener un elemento mı́nimo, digamos
m. Ahora, 0 < m2 < m < 1, y también m2 ∈ ς. Pero esto significa que ς tiene un entero
positivo m2 que es menor que su elemento mı́nimo m. Esto es una contradicción, ası́
que ς = φ.

Nivel Olı́mpico 2018 1 Teorı́a de Números

 Academia Sabatina de Jóvenes Talento
Un número racional es un número que puede ser expresado como la razón ab de dos
enteros, a, b, donde b 6= 0. Denotaremos el conjunto de los números racionales por Q.
Un número irracional es el número que no puede ser expresado como la razón de dos
enteros. Veamos un ejemplo de un número irracional.
√
Ejemplo 2.2. Probar que 2 es irracional.

Sugerencias. Considere los siguientes pasos:

• Prueba por contradicción.

√
• Considerar el conjunto de los múltiplos de 2.
√ √
• Utilizar que 2 − 1 > 0 y que 2 < 2 2 para establecer la contradicción.

Ejemplo 2.3. Sean a, b, c números enteros tal que a6 + 2b6 = 4c6 . Pruebe que a = b =
c = 0.

Sugerencia. Establecer una solución mı́nima para la ecuación y a partir de un análisis

de divisibilidad, mostrar que se obtiene otra inferior.

Problemas
Problema 2.1. Encuentre todos las soluciones enteras de a3 + 2b3 = 4c3 .

Problema 2.2. Probar que la igualdad x2 + y 2 + z 2 = 2xyz puede ocurrir únicamente

cuando x = y = z = 0.
a2 + b 2 a2 + b 2
Problema 2.3. Si a, b son enteros tal que es un entero, entonces es
1 + ab 1 + ab
un cuadrado perfecto.

(IMO-1988)

Problema 2.4. Investigar la demostración del teorema del buen orden

Problema 2.5. Sea A = {1, 2, . . . , 99, 100} el conjunto de los números de 1 a 100 y
de éste extraemos al azar 51 números. Demostrar que entre los números escogidos
siempre existen dos que son consecutivos.

Referencias
[1] David A. SANTOS ((Number Theory for Mathematical Contests)),
Revision Octuber 31,2007.

Nivel Olı́mpico 2018 2 Teorı́a de Números