03 Números Reales Nota de Clase

Fundamentos de Matemática - 2020B
Capítulo 3: Números Reales
Preparado por:
la Cátedra de Fundamentos de Matemática - EPN

Índice general
1 Números Reales 3
1.1 Conceptos primitivos y axiomas de cuerpo . . . . . . . . . . . . . . . 4
1.1.1 Conceptos primitivos . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.2 Lenguaje y sintaxis . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.3 Axiomas de cuerpo . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.1.4 Teoremas de cuerpo . . . . . . . . . . . . . . . . . . . . . . . . 12
1.2 Axiomas de orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.3 Axioma de completitud . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.4 Los números reales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
1.4.1 Los naturales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
1.4.2 Los enteros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
1.4.3 Los racionales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
1.4.4 Los irracionales . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
1.4.5 Algunos teoremas fundamentales de los números reales . . . 57
1.5 Inducción matemática . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
1.6 Teorema de inducción matemática general . . . . . . . . . . . . . . . . 72
1.7 Ejercicios con solución . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
1.8 Ejercicios Propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
2 Expresiones algebraicas 104

2.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
2.2 Términos y factores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
2.3 La “descomposición en factores” . . . . . . . . . . . . . . . . . . . . . 113
2.4 Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
3 Ecuaciones 126
3.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
3.2 Resolver una ecuación . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
3.3 Ecuación con una incógnita . . . . . . . . . . . . . . . . . . . . . . . . 136
3.4 La ecuación de segundo grado . . . . . . . . . . . . . . . . . . . . . . 144
1
4 Inecuaciones 160
4.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 160
4.2 Intervalos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
4.3 Inecuación con una incógnita . . . . . . . . . . . . . . . . . . . . . . . 168
4.4 Valor absoluto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
EPN - MAYO - 2021 Cátedra: Fundamentos de Matemática 2

Capítulo 1
Números Reales
Resultados de aprendizaje
Conocimientos:
1. Enunciar las propiedades de cuerpo y orden de los números reales.
2. Enunciar la definición y las propiedades del valor absoluto de un número

real.
3. Enunciar el principio de inducción matemática para definiciones y demostra-

ciones.
4. Describir las definiciones de sumatoria y multiplicatoria.
Destrezas:
1. Justificar los argumentos en una demostración de propiedades de números
reales.
2. Operar, descomponer en factores y simplificar expresiones algebraicas racio-

nales.
3. Resolver ecuaciones lineales.
4. Resolver ecuaciones sencillas que involucran valor absoluto o raíces cuadra-

das.
5. Resolver inecuaciones lineales.
6. Resolver inecuaciones sencillas que involucran valor absoluto o raíces cua-

dradas.
7. Racionalizar fracciones.
8. Demostrar proposiciones sobre números naturales mediante inducción mate-

mática.
3
9. Aplicar propiedades de sumatorias y multiplicatorias para calcular su valor.
Introducción
En este capítulo, vamos a sistematizar las nociones que tenemos de los números
reales mediante una teoría axiomática. Para ello, extenderemos la Teoría de Conjun-
tos añadiendo a esta conceptos primitivos propios para los números reales y los
axiomas correspondientes. A esta teoría la llamaremos Números Reales.
Que la teoría Números Reales sea una extensión de la teoría Conjuntos significa
que los conceptos primitivos, definidos, axiomas y teoremas de la primera inclu-
yen los correspondientes de la segunda, a más de los propios para números reales.
En particular, en Números Reales, se verifican las propiedades Reflexiva, Simétrica,
Transitiva y el Axioma de Sustitución para la relación igualdad entre conjuntos. Vol-
veremos sobre estas propiedades en el teorema 1.1 en la página 5.
1.1 Conceptos primitivos y axiomas de cuerpo
1.1.1 Conceptos primitivos

Los conceptos primitivos propios de la teoría Números Reales son: número real,
operación suma, operación producto y número real positivo.
Empecemos con el primer axioma de esta teoría:
A XIOMA 1.1 (Axioma Fundamental)

Existe un conjunto denominado conjunto de los números reales y representado
por R. A cada elemento de este conjunto se le denomina número real.
Antes de enunciar los axiomas que definirán implícitamente los conceptos pri-
mitivos de esta teoría, presentemos su lenguaje y sintaxis.
1.1.2 Lenguaje y sintaxis

El lenguaje de la teoría Números Reales consiste de:
1. Letras minúsculas del alfabeto español:
a, b, c, . . . , x, y, z
para representar números reales. Diremos “a es un número real.”
2. El signo
+
representará el concepto operación suma (o, simplemente suma). La sintaxis

para este signo es:
a + b.

Se leerá “la suma de a y b” o “a más b”.
3. El signo
·
representará el concepto primitivo operación producto (o, simplemente, pro-

ducto o multiplicación). La sintaxis es:
a · b.
Se leerá “el producto de a y b” o “a por b”.
4. Las proposiciones de la teoría Números Reales se definen recursivamente así:
i. Todas las proposiciones de la teoría Conjuntos son proposiciones de la

teoría Números Reales.
ii. a ∈ R es una proposición. Además de leer “a pertenece a R”, también se
leerá así: “a es un número real”.
iii. Si A y B representan proposiciones de la teoría Números Reales,
¬A , A ∧ B, A ∨ B, A ⇒B y A ⇔ B,
también representan proposiciones de esta teoría.

iv. Una proposición de la teoría Números Reales se obtiene únicamente por
la aplicación de las tres reglas anteriores.
Como la teoría Números Reales es una extensión de la teoría de Conjuntos, son

teoremas de la primera las siguientes proposiciones sobre la igualdad de “números
reales”.
T EOREMA 1.1 (Propiedades de la igualdad de números reales).

Dados los números reales a, b y c, se deducen:
1. Reflexiva: a = a.
2. Simétrica: si a = b, entonces b = a.
3. Transitiva: si a = b y b = c, entonces a = c.
4. Sustitución: si A representa una proposición, entonces se tiene que
a = b ⇒ (A (a) ⇔ A (b)),
donde A (b) se obtiene a partir de A (a) al sustituir algunas (no necesariamen-

te todas) de las apariciones del número real a en A por el número real b.
Veamos algunos ejemplos de proposiciones de esta teoría.

Ejemplos: Proposiciones
1. La expresión
¬(a = c)
es una proposición. En efecto, por la regla i. de la definición de proposiciones,
a=c
es una proposición. Luego, por la regla iii. de la definición de proposiciones, se

tiene que
¬(a = c)
también es una proposición.
2. La expresión
A⊆R
es una proposición, por la regla i. de la definición de proposiciones.
3. La expresión
a ∈ R∧b ∈
/R
es una proposición, por las reglas ii. y iii. de la definición de proposiciones.
4. La expresión
R∈U
es una proposición (por el paso i. de la definición de proposición) y, de hecho, es

verdadera (cualquier conjunto pertenece a la clase universal).
5. La expresión
a ∨ b
no es una proposición, porque no se obtiene por ninguna de las reglas de la de-

finición de proposiciones (a y b no representan proposiciones; son conjuntos que
pertenecen a R; es decir, son números reales).
6. La expresión
R \ { a}
no es una proposición, porque no se obtiene por la aplicación de ninguna de las

reglas de la definición de proposiciones.
1.1.3 Axiomas de cuerpo

Los siguientes 11 axiomas definen implícitamente los conceptos de suma y produc-
to y les denomina axiomas de cuerpo.
A XIOMA 1.2 (Clausuras de la suma y el producto)

Si a ∈ R y b ∈ R, entonces
a+b ∈ R y a · b ∈ R.
Este axioma garantiza que la suma y el producto de dos números reales es un

número real. Con esto, tenemos que a + b y a · b no son proposiciones; mientras
que, a + b ∈ R y a · b ∈ R sí lo son.
A XIOMA 1.3 (Conmutativas de la suma y el producto)

Si a ∈ R y b ∈ R, entonces
a+b = b+a y a · b = b · a.
En otras palabras,
la suma de a y b es igual a la suma de b y a
el producto de a y b es igual al producto de b y a.
Dicho de otro modo, este axioma nos permite “intercambiar” entre sí los números
que se suman o que se multiplican, “preservando” la suma o la multiplicación. En
este sentido, decimos que la suma y el producto son operaciones conmutativas.
A XIOMA 1.4 (Asociativas de la suma y el producto)

Si a ∈ R, b ∈ R y c ∈ R, entonces
a + (b + c) = (a + b) + c y a · (b · c) = (a · b) · c.
Este axioma asegura que
la suma de a y la suma de b y c es igual a la suma de la suma de a y b, y

de c,
y también
el producto de a y el producto de b y c es igual al producto del producto

de a y b, y c.
Por el sentido de este axioma, a la suma y al producto se les dice que son operacio-
nes asociativas.
Por la propiedad simétrica de la igualdad, de
a + (b + c) = (a + b) + c,
se deduce
(a + b) + c = a + (b + c).

Luego, la segunda igualdad también es verdadera (ya que la primera lo es, por ser
un axioma); también nos referiremos a esta igualdad como la propiedad asociativa
de la suma. A partir de ahora, no haremos distinción entre las dos proposiciones
cuando hagamos referencia a esta propiedad. Una situación similar aplicaremos a
la propiedad asociativa del producto.
En general, cada vez que establezcamos que una “igualdad es verdadera”, uti-
lizaremos la mayoría de veces la “otra igualdad”, obtenida por la simétrica a partir
de la primera, sin mencionar explícitamente la propiedad simétrica.
Este convenio también aplica a la “desigualdad” a 6= b; es decir, si a 6= b es
verdadera, también lo es b 6= a (ya que la negación “preserva” la doble implicación
y las equivalencias lógicas, como recordarán las lectoras y los lectores).
Lo mismo sucederá con las propiedades conmutativas. Por ejemplo, de
a · (b · c) = (a · b) · c,
por la propiedad conmutativa del producto y el axioma de sustitución, se deducen,

entre otras, las siguientes proposiciones:
a · (c · b) = c · (a · b) y (c · b) · a = (a · b) · c.
En todos los casos, las igualdades obtenidas será referidas como la propiedad aso-
ciativa del producto. Convenio similar aplicará también a la propiedad asociativa de
la suma y, por supuesto, a cada una de las igualdades establecidas en los siguientes
axiomas.
Como hemos indicado en varias ocasiones, usamos los paréntesis para evitar la
ambigüedad en el significado de las expresiones simbólicas. Así, al escribir
a·b+c
sin ningún paréntesis, dejamos abierta la posibilidad de dos lecturas:
(a · b) + c y a · (b + c),
expresiones que representan números reales, en general, distintos (si b = 0, repre-

sentarán el mismo número). La ambigüedad se establece porque no sabemos, de
antemano, “qué operación se realiza primero”: ¿la suma o la multiplicación? La
primera expresión “indica” que se multiplique en primer lugar y luego se sume; la
segunda, en cambio, “indica” que el orden es inverso.
Por otra parte, la presencia de muchos paréntesis en una expresión dificulta la
lectura y comprensión de la misma. Por ello, se adoptan algunas reglas para omi-
tir paréntesis en una expresión sin que se introduzca ambigüedad en la expresión.
Estas reglas nos dicen, fundamentalmente que, en la ausencia de paréntesis, qué
operación se realizará antes; por ello, estas reglas se conocen como reglas de prece-
dencia de las operaciones.

La selección de estas reglas es arbitraria totalmente. En este curso, adoptaremos
las siguientes:
1. Los productos se realizarán antes que las sumas; es decir, el producto tiene
mayor precedencia que la suma.
2. La aplicación de paréntesis se realizará desde la izquierda; es decir, las ope-

raciones que están “más a la izquierda” tienen mayor precedencia.
A la aplicación de estas reglas en una expresión, normalmente se le denomina

“restauración” de paréntesis. Veamos algunos ejemplos.
Ejemplos: Reglas de precedencia
1. En la expresión
a + b · c,
se realizará primero el producto; por tanto, “restaurando” los paréntesis, esta ex-
presión representará de manera unívoca el número
a + (b · c)
y no el número
(a + b) · c.
Por ello, si queremos indicar que se haga el producto en primer lugar, no re-
queriremos colocar paréntesis; simplemente, escribiremos:
a + b · c;
en cambio, si queremos indicar que la suma deberá realizarse en primera lugar,

escribiremos:
(a + b) · c.
2. Al escribir
a · b + d · f,
expresamos
(a · b) + (d · f ).
En efecto, la “restauración” de los paréntesis es la siguiente:
i. a · b + d · f = (a · b) + d · f
ii. a · b + d · f = (a · b) + (d · f )
En el primer paso, aplicamos la regla 2 y luego la regla 1; en el segundo paso, la

regla 1.
3. Restauremos los paréntesis en la expresión
a · (a + b) + b

Para ello, aplicamos la regla 2 (desde la izquierda) y, en seguida aplicamos la
regla 1 para obtener:
(a · (a + b)) + b.
Si en el número
a · (a + b) + b
colocamos paréntesis de la siguiente manera:
a · ((a + b) + b),
obtenemos, en general, un número diferente.

Como se puede apreciar, la expresión
a · (a + b) + b
se “lee mejor” que

(a · (a + b)) + b,
a pesar ser números iguales.
En el último ejemplo, aparecen dos números que “lucen” o se “ven” diferentes:
a · (a + b) + b y a · ((a + b) + b).
Estos números son, en general, diferentes. Decimos “en general”, porque si a es 1 y

b es diferente de 0, los dos números son iguales; en otros casos, no. Hay que evitar
afirmar que dos números no son iguales únicamente porque “se ven diferentes”;
por ejemplo, a + b y b + a son iguales, a pesar de que se “lucen” diferentes.
A XIOMA 1.5 (Distributiva del producto respecto de la suma)

Si a ∈ R, b ∈ R y c ∈ R, entonces
a · (b + c) = a · b + a · c.
Este axioma expresa que
el producto de a y la suma de b y c es igual a la suma de los productos

de a y b y de a y c, respectivamente.
Este axioma establece una relación entre la suma y el producto.

Por lo dicho arriba, entre otras, las igualdades
(b + c) · a = b · a + c · a y a · b + a · c = a · (b + c)
también son verdaderas y serán referidas como la propiedad distributiva del producto
respecto de la suma.
Para evitar un uso inadecuado de la propiedad distributiva del producto respecto
de la suma, es importante observar que ni de este axioma, ni de ningún otro, se

deducirá la “distribución” de la suma respecto de la multiplicación; es decir, no se
postula que el número real
a + (b · c)
sea igual al número

(a + b) · (a + c).
A XIOMA 1.6 (Existencia y unicidad del elemento neutro de la suma)

Existe un único número real, denominado cero y representado por 0, tal que para
todo número real a, se tiene
a + 0 = a.
Que 0 sea único significa que si para todo número real a, se tiene que
a + b = a,
entonces b = 0.
Este axioma asegura que la suma de cualquier número real y 0 siempre es igual
a dicho número real; es decir, la suma de un número y 0 es el mismo número.
Por esta razón, a cero se le conoce también con el nombre de elemento neutro
para la suma1 . La unicidad de 0 nos dice que este es el único número real con esta
propiedad.
A XIOMA 1.7 (Existencia y unicidad del elemento neutro del producto)

Existe un único número real, denominado uno y representado por 1, tal que
1 6= 0
y para todo número real a, se tiene
a · 1 = a.
Que 1 sea único significa que si para todo real a, distinto2 de 0, se tiene que
a · b = a,
entonces b = 1.
Este axioma establece que el producto de cualquier número real y 1 es igual
al mismo número real. Por esta razón a uno se le conoce también con el nombre
de elemento neutro para el producto3 . La unicidad de 1 significa que es el único
número real con esta propiedad.
1 En la literatura, también se le conoce como el “neutro aditivo”.

2 La exclusión del 0 se debe a que a · 0 = 0 es un teorema de esta teoría, como lo veremos más
adelante. Si a = 0, a · b = a nos da 0 · b = 0, de donde b no es necesariamente igual a 0.
3 En la literatura, también se le conoce como el “neutro multiplicativo”.

A XIOMA 1.8 (Existencia y unicidad del inverso aditivo)
Para todo número real a, existe un único número real, denominado inverso aditivo
de a y representado por − a, tal que
a + (− a) = 0.
La unicidad del inverso aditivo de a significa que si b ∈ R tal que
a + b = 0,
entonces b = − a necesariamente.
A XIOMA 1.9 (Existencia del inverso multiplicativo)

Para todo número real a distinto de 0, existe un único número real, denominado
inverso multiplicativo de a y representado por a−1 , tal que
a · a−1 = 1.
Es decir, la proposición
a 6 = 0 ⇒ a · a −1 = 1
es verdadera.
La unicidad de a−1 significa que si a 6= 0 y
a · b = 1,
entonces b = a−1 necesariamente.
1.1.4 Teoremas de cuerpo

A continuación, presentaremos algunas deducciones sencillas de teoremas impor-
tantes de la teoría Números reales.
En primer lugar, veamos que el inverso aditivo de 0 es el mismo 0. En efecto,
del axioma de la existencia del neutro aditivo, tenemos que
0 + 0 = 0;
luego, por la unicidad del inverso aditivo, obtenemos que
0 = −0
(en este caso, se tomó a = 0 y b = 0 en el axioma). Así, por propiedad simétrica de

la igualdad concluimos que
−0 = 0,
como se dijo.

T EOREMA 1.2 (Inverso aditivo de 0).
La proposición
−0 = 0
es verdadera.
De manera similar, mostremos que el inverso multiplicativo de 1 es el mismo 1.

En efecto, del axioma existencia del neutro multiplicativo sabemos que
1·1 = 1
y también que 1 6= 0; luego, por la unicidad del inverso multiplicativo, concluimos que
1 = 1−1 ,
de donde, finalmente, por la propiedad simétrica de la igualdad, aseguramos que
1−1 = 1,
como se afirmó.
T EOREMA 1.3 (Inverso multiplicativo de 1).

La proposición
1−1 = 1
es verdadera.
Los siguientes dos teoremas son fundamentales; especialmente, en la deduc-

ción de muchos teoremas importantes sobre números reales y en la resolución de
ecuaciones, tema que veremos más adelante en este capítulo.
T EOREMA 1.4 (Propiedades aditiva y multiplicativa de la igualdad).

Las proposiciones
a = b ⇒ c+a = c+b y a = b ⇒ c·a = c·b
son verdaderas para todo número real a, todo número real b y todo número real c.
Vamos a demostrar únicamente la primera proposición; la segunda, que se de-

duce de manera similar, se deja como ejercicio.
Demostración. Supongamos que

a=b (1.1)
es verdadera, y probemos que

c+a = c+b
también lo es.
Para ello, de la propiedad reflexiva de la igualdad, tenemos que
c+a = c+a (1.2)

es verdadera; luego, por el axioma de sustitución aplicado a (1.1) y (1.2), concluimos que
c+a = c+b
es verdadera, como se quería probar.
T EOREMA 1.5 (Caracterizaciones del cero y uno).

Sea b ∈ R.
1. Si existe a ∈ R tal que a + b = a, entonces b = 0.
2. Si existe a tal que a 6= 0 y a · b = a, entonces b = 1.
Demostración.
1. De a + b = a, por la propiedad aditiva de la igualdad, obtenemos que
(− a) + (a + b) = (− a) + a,
de donde, por la propiedad asociativa de la suma, deducimos que
((− a) + a) + b = (− a) + a,
lo que nos permite concluir que

0 + b = 0, (1.3)
ya que (− a) + a = 0, por el axioma existencia del inverso aditivo.

Finalmente, como 0 + b = b, por el axioma existencia de 0, y por la propiedad transitiva
de la igualdad aplicada a esta última igualdad y a (1.3), aseguramos que b = 0, como se
quería.
2. De a · b = a, como a 6= 0, tenemos que
a−1 · (a · b) = a−1 · a;
luego, colegimos por la propiedad asociativa del producto que
(a−1 · a) · b = a−1 · a;
es decir, obtenemos que

1 · b = 1,
de donde, concluimos que b = 1, como se quería.
Ahora probemos que el producto de cualquier número y 0 es siempre 0. En

efecto, por el axioma existencia de 0, tenemos que
0 + 0 = 0,
de donde, por la propiedad multiplicativa de la igualdad, obtenemos
a · (0 + 0) = a · 0,

y de esta igualdad, por la propiedad distributiva de la multiplicación respecto de la
suma, colegimos que
a · 0 + a · 0 = a · 0,
de donde, finalmente, por la caracterización de 0 (véase el teorema 1.5), concluimos

que
a·0 = 0
es verdadera, como se quería probar.
T EOREMA 1.6 (Multiplicación por 0).

La proposición
a·0 = 0
es verdadera para todo número real a.
Otro teorema fundamental nos asegura que el inverso multiplicativo no puede

ser igual a 0. Para ello, supongamos que a 6= 0 y demostremos que a−1 6= 0.
Para ello, razonemos por reducción al absurdo. Es decir, supongamos que
a −1 = 0 (1.4)
y derivemos una contradicción.

La propiedad multiplicativa de la igualdad aplicada a (1.4) nos da
a · a−1 = a · 0,
de donde, por el teorema de la multiplicación por 0, obtenemos que
a · a−1 = 0, (1.5)
ya que a · 0 = 0.
Ahora bien, por el axioma existencia del inverso multiplicativo, ya que a 6= 0, tene-
mos que
a · a −1 = 1
que, junto con (1.5) y el axioma de sustitución, colegimos que
1 = 0,
lo que contradice con el axioma existencia de 1, que asegura que 1 6= 0. Por tanto,
(1.4) es falsa; luego,
a −1 6 = 0
es verdadera, como se quería.
T EOREMA 1.7 (Inverso multiplicativo distinto de 0).

La proposición
a 6 = 0 ⇒ a −1 6 = 0
es verdadera para todo número real a.
Los siguientes teoremas son las proposiciones recíprocas de las propiedades

aditiva y multiplicativa de la igualdad (teorema 1.4).
T EOREMA 1.8 (Propiedades cancelativas de la igualdad respecto de la suma y el

producto).
Las proposiciones
1. a + c = b + c ⇒ a = b
2. (c 6= 0 ∧ a · c = b · c) ⇒ a = b
son verdaderas.
Demostremos la propiedad cancelativa del producto respecto de la igualdad; la

otra demostración queda como ejercicio.
Demostración. Supongamos que c 6= 0 y que
a·c = b·c (1.6)
y probemos que
a = b.
Como c 6= 0, existe c−1 . Ahora, de (1.6), por la propiedad multiplicativa, tenemos que
(a · c) · c−1 = (b · c) · c−1 ,
de donde, por la propiedad asociativa del producto, nos da
a · (c · c−1 ) = b · (c · c−1 ).
Así, por el axioma existencia del inverso multiplicativo, colegimos que
a · 1 = b · 1,
ya que c · c−1 = 1 y el axioma de sustitución. Y de esta igualdad, tenemos que
a = b,
pues a · 1 = a y b · 1 = b y el axioma de sustitución, como se quería probar.
Ahora vamos a definir la operación resta (o, simplemente, resta). Nótese que
la definición se realiza únicamente mediante conceptos primitivos o conceptos pre-
viamente definidos en términos de conceptos primitivos.

D EFINICIÓN 1.1 (Operación resta)
Si a ∈ R y b ∈ R, la resta de a y b, representada por a − b, es el número real
a + (−b)
(la suma de a y el inverso aditivo de b). Por tanto,
a − b = a + (−b).
De la definición, se deduce fácilmente que
a − a = 0,
pues a − a = a + (− a) y a + (− a) = 0 (por la definición de resta, el axioma del

inverso aditivo y la transitiva de la igualdad).
Ahora definamos la operación división (o, simplemente, división).
D EFINICIÓN 1.2 (Operación división)

a
Sean a ∈ R y b ∈ R. Si b 6= 0, la división de a por b, representada por , es el
b
número real
a · b −1
(el producto de a y el inverso multiplicativo de b). Por tanto,
a
= a · b −1 .
b
De manera similar al caso de a − a, si a 6= 0, deducimos fácilmente que
a
= 1,
a
ya que
a
= a · a −1 y a · a −1 = 1
a
por la definición de división, el axioma del inverso multiplicativo y la transitiva de la
igualdad.
El siguiente teorema resume estas propiedades básicas de la resta y la división
y, además, muestra cómo se expresan los inversos aditivos y multiplicativos en
términos de estas dos operaciones, respectivamente.
T EOREMA 1.9 .
Las siguientes proposiciones son verdaderas:
a
1. a − a = 0. 3. Si a 6= 0, = 1.
a
1
2. 0 − a = − a. 4. Si a 6= 0, = a −1 .
a

Demostración. De la definición de resta, tenemos
0 − a = 0 + (− a)
y de la existencia de 0,
0 + (− a) = − a.
Así, por la propiedad transitiva de la igualdad, aplicada a estas dos proposiciones, conclui-
mos que
0 − a = − a.
Ahora supongamos que a 6= 0. Luego, por la definición de división, obtenemos
1
= 1 · a −1 .
a
Luego, por la existencia de 1, derivamos
1 · a −1 = a −1 .
Por tanto, por la propiedad transitiva de la igualdad, aplicada a las dos últimas igualdades,
concluimos que
1
= a −1 .
a
En los siguientes ejemplos, vamos a presentar una variedad de propiedades de
los números reales, conocidas de sobra desde nuestros estudios escolares, y las de-
mostraciones que garantizan el hecho de ser verdaderas. El ejercicio para ti lectora
y lector es, principalmente, que por lo menos sepas justificar cada uno de los pasos
de estas demostraciones. Ese es el requerimiento mínimo en un primer estudio. De
todas maneras, si quieres aventurarte a realizar las demostraciones por ti misma o
por ti mismo, adelante.
Ejemplos: Teoremas de cuerpo
1. Para todo número real a, es verdadera la proposición
−(− a) = a.
Podemos parafrasear esta igualdad de la siguiente manera:
El inverso aditivo del inverso aditivo de un número es igual al mismo

número.
Podríamos llamarle “propiedad del doble inverso aditivo”.

La siguiente secuencia presenta una demostración de este teorema:
i. (− a) + a = 0
ii. a = −(− a)
iii. −(− a) = a

Las justificaciones para cada paso en la secuencia son las siguientes:
i. Axioma existencia del inverso aditivo.

ii. De i., por la unicidad del inverso aditivo.
iii. De ii., por la propiedad simétrica de la igualdad.
2. La proposición
(− a) · b = −(a · b)
es verdadera para todo número real a y todo número real b. A esta igualdad le
podríamos llamar ley de signos para el producto.
A continuación, presentamos una demostración de este teorema:
i. a + (− a) = 0
ii. (a + (− a)) · b = 0 · b
iii. a · b + (− a) · b = 0
iv. (− a) · b = −(a · b)
Las justificaciones de cada paso en la secuencia son:
i. El axioma existencia del inverso aditivo.

ii. De i., por la propiedad multiplicativa de la igualdad.
iii. De ii., por la propiedad distributiva del producto respecto de la suma, por el teo-
rema multiplicación por 0 (veáse 1.6 en la página 15) y axioma de sustitución.
iv. De iii., por la unicidad del inverso aditivo.
3. La proposición
a · (−b) = −(a · b)
es verdadera. A esta igualdad también podemos llamarla ley de signos para el pro-
ducto.
La siguiente es una demostración de este teorema:
i. a · (−b) = (−b) · a
ii. (−b) · a = −(b · a)
iii. a · (−b) = −(b · a)
iv. a · (−b) = −(a · b)
Las justificaciones correspondientes son:
i. Axioma conmutativa del producto.

ii. Ley de signos para el producto (ejemplo anterior).
iii. De i. y ii., por la transitiva de la igualdad.
iv. De iv., por la conmutativa de la multiplicación y el axioma de sustitución.

La mayoría de las veces, la demostración anterior se escribe en el formato abre-
viado siguiente:
a · (−b) = (−b) · a
= −(b · a)
= −(a · b).
Con mucha frecuencia, cuando se utiliza este formato, los principiantes suelen
olvidar que se han aplicado la transitiva de la igualdad y el axioma de sustitución.
En efecto, obsérvese que en el formato abreviado hay, aparentemente solo tres
pasos en la secuencia. Pero, en realidad, hay cuatro, aunque el último no ha sido
colocado explícitamente. Veámoslo.
Las dos primeras igualdades significan que
a · (−b) = (−b) · a y (−b) · a = −(b · a).
Luego, lo que estas dos aseguran, junto con la transitiva de la igualdad, es
a · (−b) = −(b · a).
Ahora, la tercera igualdad, nos dice que
a · (−b) = −(b · a) y − (b · a) = −(a · b).
Luego, después de la tercera igualdad, por la transitiva de la igualdad, concluimos

que
a · (−b) = −(a · b),
como se muestra claramente en el paso iv. de la primera demostración.

Es importante tener presente que, al escribir demostraciones en formato abre-
viado, no hay que olvidar “aplicar concientemente” cada una de las herramientas
de las que disponemos para deducir proposiciones, aunque no las escribamos.
4. Una demostración en formato abreviado de la proposición
(− a) · (−b) = a · b
es la siguiente:
(− a) · (−b) = −(a · (−b))

= −(−(a · b))
= a · b.
Las justificaciones son:
i. Ley de signos para el producto (ejemplo 2).

ii. Ley de signos para el producto (ejemplo 3), axioma de sustitución y transitiva de
la igualdad.

iii. Teorema: propiedad del doble inverso aditivo y transitiva de la igualdad.
Poco a poco iremos omitiendo en las justificaciones la propiedad transitiva de la

igualdad; no obstante, si queremos aprender a realizar nuestras propias demostra-
ciones más adelante, no olvidaremos que estas deducciones se obtienen también
gracias a esta propiedad de la igualdad.
La igualdad deducida en este ejemplo también puede nombrarse como ley de
signos para el producto.
5. Una deducción de la proposición
(−1) · a = − a
es la siguiente:
i. a + (− a) = 0
ii. (−1) · a + (−1) · (− a) = 0
iii. (−1) · a + 1 · a = 0
iv. (−1) · a + a = 0
v. (−1) · a = − a
Las justificaciones correspondientes son:
i. El axioma existencia del inverso aditivo.

ii. De i., por la propiedad multiplicativa de la igualdad, distributiva de la multiplica-
ción respecto de la suma y la multiplicación por 0.
iii. De ii., por la ley de signos para el producto (ejemplo 4).
iv. De iii., por el axioma existencia de 1.
v. De iv., por la unicidad del inverso aditivo.
1.2 Axiomas de orden

Ahora vamos a presentar los axiomas que definen implícitamente el concepto nú-
mero real positivo y, con ello, las relaciones: mayor que, menor que, mayor o igual
que y menor o igual que.
A XIOMA 1.10 (Clausuras de los números positivos)
Existe un subconjunto de R, denominado conjunto de los números reales positi-
vos y representado por R + , tal que para todo a ∈ R + y todo b ∈ R + , se tiene
a + b ∈ R+ y a · b ∈ R+ .
En otras palabras,
la suma y la multiplicación de números positivos son números positi-
vos.
Definamos ahora los conceptos mayor que y menor que.

D EFINICIÓN 1.3 (Relaciones mayor que y menor que)
Dados los números reales a y b, diremos que a es mayor que b y escribiremos a > b
si es verdadera la proposición
a − b ∈ R+ ;
es decir,
a > b si a − b ∈ R + .
Utilizaremos a ≯ b para representar la negación de a > b.

Diremos que a es menor que b y escribiremos a a; es decir,
a a.
El signo a ≮ b representará la negación de a < b.
En otras palabras,
a es mayor que b si la resta a − b es un número positivo. Y a es menor

que b si b > a; es decir, si la resta b − a es un número positivo.
En particular, tenemos que a > 0 si a − 0 ∈ R + ; y, como
a − 0 = a,
por el axioma de sustitución, tenemos que
a > 0 si a ∈ R + ; es decir, a > 0 si a es un número positivo.
De manera similar, si a < 0, entonces 0 > a, de donde,
0 − a ∈ R+ ;
luego, como
0 − a = − a,
entonces
−a ∈ R+
por el axioma de sustitución. Por tanto,
− a > 0.
En resumen,
a < 0 si − a > 0.
En otras palabras,
a < 0 si − a > 0; es decir, a < 0 si − a es un número positivo.

En particular, tenemos que
a > b representa la proposición a − b > 0 y a 0.
Mediante la relación mayor que, el axioma de las clausuras de los números positi-
vos se expresan de la siguiente manera:
Si a > 0 y b > 0, entonces las proposiciones
a+b > 0 y a·b > 0
son verdaderas.
D EFINICIÓN 1.4 (Números negativos)

Dado el número real a, diremos que a es negativo si a < 0 o, lo que es lo mismo, si
− a es positivo.
Podemos decir que
a es un número negativo si − a es positivo.
Aquí cabe la pregunta: “¿El número 0 es positivo o es negativo?”. La respuesta

se viene como una consecuencia del siguiente axioma.
A XIOMA 1.11 (Tricotomía)

Dados dos números reales a y b, una y solo una de las tres proposiciones siguientes
es verdadera:
1. a = b.
2. a > b.
3. a < b.
A continuación, vamos a precisar el significado de “una de las tres proposicio-

nes es verdadera” y de “solo una de las tres proposiciones es verdadera”.
En primer lugar, “una de las tres proposiciones es verdadera” significa que si
dos de ellas no lo son, necesariamente, la tercera es verdadera. Es decir, la Tricotomía
asegura que:
i. Si a 6= b y a ≯ b, entonces a < b.
ii. Si a 6= b y a ≮ b, entonces a > b.
iii. Si a ≯ b y a ≮ b, entonces a = b.
Ahora, el significado de “solo una de las tres proposiciones es verdadera” es el

siguiente:

i. Si a = b, necesariamente, a ≯ b y a ≮ b.
ii. Si a > b, necesariamente, a 6= b y a ≮ b.
iii. Si a < b, necesariamente, a 6= b y a ≯ b.
En particular, si en el axioma tomamos b = 0, la Tricotomía garantiza que la

deducción del siguiente teorema.
T EOREMA 1.10 (Tricotomía).

Dado un número real a, una y solo una de las siguientes proposiciones es verdade-
ra:
1. a = 0.
2. a > 0.
3. a < 0.
Y, como, de a < 0, se deduce − a > 0, la Tricotomía asegura que:
un número real es, o bien igual a 0, o bien es positivo, o bien su inverso

aditivo es positivo, y solo una de estas tres alternativas.
Puesto que 0 = 0, entonces no es posible que 0 > 0 ni 0 < 0; luego,
El número 0 no es positivo ni es negativo. Es decir, las proposiciones
0≯0 y 0≮0
son verdaderas.
Así como la suma y el producto preservan la igualdad (propiedades aditiva y

multiplicativa de la igualdad), las relaciones mayor que y menor que también son
preservadas por la suma y, con ciertas restricciones, por el producto. Estas propie-
dades se nombran como las aditivas y multiplicativas para las relaciones de orden.
En efecto, supongamos que a > b; entonces, tenemos
a − b > 0.
Mediante los axiomas de cuerpo, podemos demostrar que la proposición
a − b = (a + c) − (b + c)
es verdadera. Luego, por el axioma de sustitución, tenemos que
(a + c) − (b + c) > 0;
es decir, podemos concluir que
a + c > b + c.

En resumen,
si a > b, entonces a + c > b + c.
De una manera similar, se deduce que
si a < b, entonces a + c < b + c.
Por ello, cada vez que enunciemos o demostremos un teorema relativo a mayor
que, añadiremos también el correspondiente teorema para menor que, siempre que
la deducción del segundo siga el mismo patrón que la deducción del primero.
Recíprocamente, si a + c > b + c, entonces
(a + c) − (b + c) > 0;
luego,
a − b > 0,
de donde, a > b.
Resumamos estos argumento en el siguiente teorema.
T EOREMA 1.11 (Aditiva y cancelativa de la suma para el orden).

Las proposiciones
1. a > b si y solo si a + c > b + c,
2. a 0

si y solo si
a + (− a) > 0 + (− a),
de donde, a > 0 si y solo si

0 > − a;
es decir, a > 0 si y solo si − a < 0.

La otra consecuencia, a < 0 si y solo si
a + (− a) < 0 + (− a);
es decir, a < 0 si y solo si 0 < − a; es decir, si y solo si − a > 0.
T EOREMA 1.12 (El inverso aditivo de positivos y negativos).

Dado el número real a, las siguientes proposiciones son verdaderas:
1. a > 0 si y solo si − a < 0.
2. a < 0 si y solo si − a > 0.

Es decir, el inverso aditivo de un número positivo es negativo y el inverso aditivo
de un número negativo es positivo.
Obsérvese que − a no representa, necesariamente, un número negativo. Afirmar

lo contrario es un error común en las etapas de aprendizaje de los números, error
que hay que corregir.
Ahora ocupémonos de la monotonía del orden respecto de la multiplicación. Para
ello, supongamos en primer lugar que a > b; luego,
a − b > 0.
Supongamos también que c 6= 0. Así, por Tricotomía, tenemos que una de la siguien-
tes proposiciones es verdadera:
c>0 y c < 0.
Si c > 0 es verdadera, entonces por la clausura de los números positivos, tene-

mos que
(a − b) · c > 0.
Así, como
(a − b) · c = a · c − b · c,
por el axioma de sustitución, colegimos que
a · c − b · c > 0,
de donde, por la definición de mayor que, concluimos que
a · c > b · c.
Es decir, si c > 0, la multiplicación conserva la relación mayor que.

Veamos lo que sucede cuando c < 0 es verdadera. En este caso, tenemos que
−c > 0,
de donde (otra vez por la clausura de los números positivos), concluimos que
(a − b) · (−c) > 0.
Y, como
(a − b) · (−c) = b · c − a · c
(las lectoras y los lectores deberían verificar que esta proposición es verdadera),
concluimos que
a · c < b · c.

Es decir, el producto en este caso no “preserva” la relación menor que; más bien,
“la cambia por la relación mayor que”. En el habla común, se suele decir que la
“multiplicación por un número negativo invierte la desigualdad”.
Resumamos las deducciones anteriores en el siguiente teorema.
T EOREMA 1.13 (Multiplicativa para el orden).
1. Si a > b y c > 0, entonces a · c > b · c.
2. Si a > b y c < 0, entonces a · c < b · c.

Antes de investigar si las proposiciones recíprocas de este teorema son también
verdaderas, vamos a investigar si el inverso multiplicativo de un número positivo
también es positivo. ¿Por qué habría que hacerlo?
Para ello, vamos a deducir algunas proposiciones en los siguientes ejemplos y
un par de teoremas fundamentales del orden en los números reales.
Ejemplos: Aditivas y multiplicativas del orden
1. Si a > 0 y b < 0, ¿qué proposición se obtiene de la siguiente deducción?
i. −b > 0.
ii. a · (−b) > 0
iii. −(a · b) > 0
iv. a · b < 0.
Debería ser claro que se ha deducido la proposición:
Si a > 0 y b < 0, entonces a · b < 0.
Bien podríamos llamarla ley de signos para el producto.

Las justificaciones correspondientes a esta deducción son:
i. De b < 0 y la definición de la relación menor que.

ii. De i. y a > 0, por el axioma de clausura de los números positivos.
iii. De ii. y la ley de signos para el producto, por el axioma de sustitución.
iv. De iii., por la definición de menor que.
2. Si a < 0 y b < 0, ¿qué proposición se obtiene de la siguiente deducción?
i. − a > 0.
ii. (− a) · b < 0.
iii. −(a · b) < 0.
iv. a · b > 0.
La proposición que se deduce es:
Si a < 0 y b < 0, entonces a · b > 0.

Las justificaciones de la deducción son:
i. De a < 0, por la definición de menor que.

ii. De i. y b < 0 por el teorema deducido en el ejemplo anterior.
iii. De ii. y la ley de signos para el producto, por el axioma de sustitución.
iv. De iii. y la definición de menor que.
3. Cabe otra deducción para
Si a < 0 y b < 0, entonces a · b > 0.
En efecto:
i. De a < 0 y b < 0, tenemos que
−a > 0 y − b > 0.
ii. De i., por la clausura de los números positivos, tenemos que
(− a) · (−b) > 0.
iii. De ii., (− a) · (−b) = a · b y el axioma de sustitución, concluimos que
a · b > 0,
como se quería.
4. Si a > b, ¿qué proposición se obtiene mediante la siguiente deducción?
i. a + (− a) > b + (− a)
ii. 0 > b + (− a)
iii. (−b) + 0 > (−b) + (b + (− a))
iv. −b > ((−b) + b) + (− a)
v. −b > − a.
vi. − a < −b.
Es fácil ver que la proposición deducida es:
Si a > b, entonces − a < −b.
Esta proposición se puede parafrasear de la siguiente manera: “el inverso aditivo

invierte el orden”.
Las justificaciones correspondientes de esta deducción son:
i. De a > b, por la monotonía de mayor que respecto de la suma.

ii. De i., la existencia del inverso aditivo y el axioma de sustitución.
iii. De ii., por la monotonía de mayor que respecto de la suma.
iv. De iii., por la existencia de 0, la asociativa de la suma y el axioma de sustitución.
v. De iv., por la existencia del inverso aditivo y el axioma de sustitución.

vi. De v., por la definición de la relación menor que.
5. De − a > −b, se deduce a < b. En efecto:
i. De − a > −b, por el ejemplo anterior, tenemos que
−(− a) < −(−b).
ii. Por el teorema de doble inverso aditivo (el inverso aditivo del inverso aditivo
de un número es el número), de i. y el axioma de sustitución, derivamos que
a < b,
con se quería.
6. De los dos ejemplos anteriores, concluimos que
a > b si y solo si − a < −b.
Antes de continuar, definamos el cuadrado de un número.
D EFINICIÓN 1.5 (El cuadrado de un número)

Dado el número real a, el cuadrado de a, representado por a2 , es el producto de a y
a; es decir,
a2 = a · a.
Podemos confirmar fácilmente que el cuadrado de 0 es 0 y el de 1 es 1. En efecto,

tenemos que
0·0 = 0 y 1·1 = 1
por las existencias de 0 y 1, respectivamente. Por tanto,
02 = 0 y 12 = 1.
Supongamos que a 6= 0; luego, por la Tricotomía, tenemos que una de las dos
siguientes proposiciones son verdaderas:
a>0 y a < 0.
Supongamos que la primera es verdadera:
a > 0.
Entonces por la clausura del producto de positivos, se tiene
a · a > 0,
de donde, por la definición de cuadrado de un número, obtenemos que
a2 > 0.

Ahora, supongamos que la segunda proposición es verdadera:
a < 0;
luego, − a > 0, de donde,

(− a) · (− a) > 0
por la clausura del producto de positivos. Y, como
(− a) · (− a) = a · a,
podemos colegir que

a · a > 0;
es decir, que a2 > 0.

En resumen, hemos demostrado que si a 6= 0, a2 > 0, independientemente de si
a > 0 o a < 0.
T EOREMA 1.14 (Cuadrado de un número).

La proposición
Si a 6= 0, entonces a2 > 0
es verdadera.
Una consecuencia inmediata de este teorema es que 1 > 0. En efecto, por el

axioma de existencia de 1, 1 6= 0; luego, por el teorema que acabamos de deducir,
tenemos que 12 > 0; es decir, 1 > 0, ya que 12 = 1.
T EOREMA 1.15 (Uno es mayor que cero).

La proposición
1>0
es verdadera.
Esto significa, por la Tricotomía, que
1 6= 0 y 1 ≮ 0.
Ahora ya podemos probar que el inverso multiplicativo de un número positivo

es positivo: probemos que de a > 0, se deduce que a−1 > 0. Razonemos por el
absurdo; para ello, supongamos que
a−1 ≯ 0.
Entonces:
i. a−1 = 0 o a −1 < 0
ii. a 6= 0

iii. a−1 6= 0
iv. a−1 < 0
v. a · a−1 < 0
vi. 1 < 0.
La última proposición es falsa por la Tricotomía y el teorema 1.15. Luego, es falso

a−1 ≯ 0; por tanto, a−1 > 0, como habíamos afirmado.
Las justificaciones de la deducción son las siguientes:
i. De a−1 ≯ 0 y la Tricotomía.
ii. De a > 0, por la Tricotomía.
iii. De ii., por el teorema 1.7 (véase la página 15).
iv. De i. y iii., por el axioma de la disyunción.
v. De a > 0 y iv., por la propiedad multiplicativa de la relación mayor que (véase

el teorema 1.13 en la página 27), el teorema de la multiplicación por 0 y el
axioma de sustitución.
vi. De ii. y V., por la existencia del inverso multiplicativo y el axioma de sustitución.
En resumen, tenemos el teorema siguiente.
T EOREMA 1.16 (El signo del inverso multiplicativo).

Las proposiciones
1. Si a > 0, entonces a−1 > 0
2. Si a < 0, entonces a−1 < 0
son verdaderas.
La segunda proposición se demuestra de manera similar que la primera. No

obstante, también se puede demostrar utilizando la primera y la siguiente proposi-
ción que invitamos a las lectoras y a los lectores a realizar su demostración:
Si a 6= 0, entonces − a−1 = (− a)−1 .
Estamos listos ya para establecer las proposiciones recíprocas de las propieda-

des multiplicativas para la relación mayor que presentadas en el teorema 1.13.
Para ello, supongamos que c > 0 y a · c > b · c. Luego, por el teorema 1.16,
tenemos que c−1 > 0; luego, colegimos que
(a · c) · c−1 > (b · c) · c−1 .

(Notemos que la relación de orden no cambia porque c > 0). De esta “desigual-
dad”, por la propiedad asociativa del producto, la existencia del inverso multiplicativo,
la existencia de 1 y el axioma de sustitución, obtenemos que
a > b.
Una demostración similar se aplicar en el caso en que c < 0. Así, tenemos el

siguiente teorema.
T EOREMA 1.17 (Cancelativa para el orden respecto del producto).

1. Si a · c > b · c y c > 0, entonces a > b.
2. Si a · c > b · c y c < 0, entonces a < b.
Finalmente, mostremos que la relación mayor que es transitiva.
T EOREMA 1.18 (Transitiva del mayor que y menor que).

Las siguientes proposiciones son verdaderas
1. Si a > b y b > c, entonces a > c.
2. Si a < b y b < c, entonces a < c.
Demostración. Probemos únicamente la segunda proposición; recomendamos a las lectoras

y a los lectores que busquen una demostración de la primera proposición.
De a 0 y c − b > 0, de donde, por la clausura de los
números positivos, tenemos que
(b − a) + (c − b) > 0.
Ahora bien, se puede4 demostrar utilizando los axiomas de cuerpo que
(b − a) + (c − b) = c − a;
luego, por el axioma de sustitución, concluimos que
c − a > 0;
es decir, a < c, como queríamos.
Definamos ahora las relaciones mayor o igual que y menor o igual que.
D EFINICIÓN 1.6 (Mayor o igual, menor o igual)

Dado los números reales a y b, se dice que a es mayor o igual que b, lo que se
representa por a > b, si la proposición
a > b∨a = b
4 Se insiste a las lectoras y lectores que traten de realizar dicha deducción de manera autónoma.

es verdadera. Utilizaremos a b para representar la negación de a > b.
Se dice que a es menor o igual que b, lo que se representa por a 6 b, si la
proposición
a < b∨a = b
es verdadera. El signo a
b representa la negación de a 6 b.
Por la tautología introducción de la disyunción, tenemos que las proposiciones
a > b ⇒ (a > b ∨ a = b) y a < b ⇒ (a < b ∨ a = b)
son verdaderas. Luego, por las definiciones de las relaciones mayor o igual que y
menor o igual que, tenemos el siguiente teorema.
T EOREMA 1.19 (Mayor, menor, mayor o igual, menor o igual).

Las proposiciones
1. si a > b, entonces a > b,
2. si a < b, entonces a 6 b,
3. si a = b, entonces a > b,
4. si a = b, entonces a 6 b,
5. a > b si y solo si b 6 a
son verdaderas.
Debe estar claro que las proposiciones recíprocas de este teorema no son verda-
deras necesariamente. En efecto, de a > b, solo podemos decir que, o bien a > b,
o bien a = b y, por la Tricotomía, ambas proposiciones no pueden ser verdaderas,
pero no podemos asegurar cuál de ellas es verdadera.
Por otra parte, de la Tricotomía, se ve claramente que ninguna de las cuatro rela-
ciones de orden que hemos definido son simétricas. En efecto, si a < b, entonces es
falso que a > b, de donde, tenemos que también es falsa la proposición b < a por
la definición de la relación menor que.
No obstante, las relaciones mayor o igual (>) y menor o igual (6) son antisimé-
tricas. En efecto, supongamos que
a6b y b6a
son verdaderas. Entonces es verdadera la proposición
(a = b ∨ a < b) ∧ (a = b ∨ b < a),
de donde también es verdadera la proposición
a = b ∨ (a < b ∧ b < a) (1.7)

por la tautología distributiva de la disyunción respecto de la conjunción.
Ahora bien, como la proposición
a < b∧b < a
es falsa por la Tricotomía, de (1.7) y el axioma de la disyunción, concluimos que la

proposición
a=b
es verdadera.
Recíprocamente, tenemos que a 6 a por la propiedad reflexiva de la igualdad y
las proposiciones 3 y 4 del teorema 1.19. Luego, si a = b, por el axioma de sustitu-
ción, tenemos que
a6b y b6a
es verdadera. Así, hemos deducido el siguiente teorema.
T EOREMA 1.20 (Antisimetría de mayor o igual y menor o igual).

Dados los números reales a y b, las proposiciones
1. a 6 b y b 6 a si y solo si a = b,
2. a > b y b > a si y solo si a = b
son verdaderas.
Este teorema es utilizado con mucha frecuencia en el estudio del Análisis Ma-
temático (que incluye el Cálculo) para demostrar que dos números son iguales: se
prueba que cada uno es menor o igual que el otro.
Por lo anterior, podemos ver que la Tricotomía se puede expresar mediante las
relaciones mayor o igual que y menor o igual que de la siguiente manera.
T EOREMA 1.21 (Tricotomía).

Dados los números reales a y b, la proposición
a6b o a>b
es verdadera.
En los siguientes ejemplos, mostraremos y deduciremos propiedades de las re-

laciones mayor o igual que y menor o igual que, algunas similares a las de mayor
que y menor que.
Por otra parte, porque
a > b si y solo si b 6 a,
muchas de las deducciones de proposiciones que conciernen a una de estas relacio-

nes tendrán una versión similar sobre la otra relación, la que deberá ser demostra-
da, por supuesto, por las lectoras y los lectores.

Ejemplos: Mayor o igual que, menor o igual que
1. Deduzcamos la proposición
Si a > b y b > c, entonces a > c.
Dicho de otro modo, demostremos que la relación mayor o igual que es transitiva.
i. De a > b y b > c y la definición de la relación mayor o igual que, tenemos
a > b∨a = b y b > c ∨ b = c.
ii. De i., y la propiedad distributivas de la disyunción respecto de la conjunción

y de la conjunción respecto de la disyunción, tenemos cuatro posibilidades:
a) a > b y b > c.
b) a > b y b = c.
c) a = b y b > c.
d) a = b y b = c.
iii. De cada una de estas opciones, vamos a deducir que a > c.
a) De a > b y b > c, concluimos que a > c, porque la relación mayor que es
transitiva. Luego, por el teorema 1.19, concluimos que a > c.
b) De a > b y b = c, por el axioma de sustitución, concluimos que a > c, de
donde, tenemos que a > c.
c) La deducción es idéntica a la anterior.
d) De a = b y b = c, por la transitiva de la igualdad, tenemos que a = c, de
donde a > c por el teorema 1.19.
Como se puede observar, de las cuatro opciones, dos de ellas se deducen de

manera idéntica, por lo que bastó ocuparse únicamente de una de ellas. Esta prác-
tica será común en otras deducciones similares.
2. Con un procedimiento similar al ejemplo anterior, se demuestra que la relación

menor o igual que es transitiva:
Si a 6 b y b 6 c, entonces a 6 c.
Si a 6 b y b < c, entonces a < c.
i. De a 6 b, tenemos que a < b o a = b.

ii. Si a < b, de b < c, por la propiedad transitiva de la relación menor que,
concluimos que a < c.
iii. Si a = b, de b < c, por el axioma de sustitución, colegimos que a < c.
iv. De ii. y iii., se concluye que a < c.

4. De manera similar al ejemplo anterior, se concluye que las siguientes proposiciones
son verdaderas:
(a) Si a 6 b y c < a, entonces c < b.

(b) Si a > b y b > c, entonces a > b.
(c) Si a > b y c > a, entonces c > a.
Si a > b, entonces a + c > b + c:
i. De a > b, por la definición de la relación mayor o igual que, tenemos
a>b o a = b.
ii. Si a > b, por la propiedad aditiva de la relación mayor que, tenemos que
a + c > b + c,
de donde, por el teorema 1.19, concluimos que
a + c > b + c.
iii. Si a = b, por la propiedad aditiva de la igualdad, sabemos que
a + c = b + c,
de donde, otra vez por el teorema 1.19, concluimos que
a + c > b + c.
Si a 6 b y c < 0, entonces a · c > b · c:
i. De a 6 b, tenemos
a b · c,
de donde, colegimos
a · c > b · c.
iii. Si a = b, por la propiedad multiplicativa de la igualdad, colegimos
a · c = b · c,
de donde, concluimos
a · c > b · c.

1.3 Axioma de completitud
Con los axiomas presentados hasta ahora, no es posible demostrar que si a > 0,
existe un número b > 0 tal que
a = b2 .
(Más adelante, si ese número b existe, será denominado la raíz cuadrada de a). Es
decir, el conjunto R con los axiomas hasta ahora presentados está “incompleto” en
el sentido de que en este conjunto no estarían las “raíces cuadradas” de los números
positivos.
Por ello, es necesario incluir un axioma para “completar” a R. Un axioma que
generalmente se postula con este fin se denomina axioma del supremo, que requiere
de de varios conceptos que no son de interés para los propósitos de este curso. Por
esta razón, vamos a postular como axioma (y lo llamaremos axioma de completitud) la
existencia de las raíces cuadradas de los números positivos. Pero, antes, definamos
con precisión el concepto de raíz cuadrada de un número mayor o igual que 0.
D EFINICIÓN 1.7 (Raíz cuadrada)

Dado el número real a, si a > 0, el número b > 0 tal que
a = b2
se denomina raíz cuadrada de a.
De esta definición, es fácil deducir que 0 es raíz cuadrada de 0, pues tenemos

que
0 = 02 .
También es fácil deducir que 1 es raíz cuadrada de 1, ya que
1 = 12 .
Presentemos ahora el axioma que asegura la existencia de las raíces cuadradas.
A XIOMA 1.12 (Axioma de completitud)

Dado el número real a, si a > 0, existe una única raíz cuadrada de a. Es decir, existe
un único número real b > 0 tal que
a = b2 .
El número b (la raíz cuadrada de a) se representa por

√
a.
Así, si a > 0, las siguientes proposiciones son verdaderas:

√
1. a > 0.

√ 2
2. a = a .
Como el único número cuyo cuadrado es 0 es el 0, entonces podemos escribir

√
0 = 0.
(Que 0 sea el único número cuyo cuadrado es 0 se deduce del hecho de que si x 6= 0
tal que x2 = 0, entonces x · x = 0; y, como x 6= 0, por la propiedad cancelativa de la
igualdad, concluiríamos que x = 0, lo que es una contradicción).
De manera similar, se muestra que el único número cuyo cuadrado es 1 es el 1
y, por esta razón, podemos escribir
√
1 = 1.
√
De la definición de raíz cuadrada, tenemos que si a > 0 y b = a, entonces
a = b2 ;
y, recíprocamente, de esta igualdad, bajo la condición de que a > 0, por el axioma

de completitud, concluimos que
√
b = a.
En resumen, tenemos el teorema siguiente.
T EOREMA 1.22 (Raíz cuadrada).

Dados los números reales a y b, si a > 0 y b > 0, entonces
√
a = b2 si y solo si b = a.
¿Por qué razón el concepto de raíz cuadrada se define únicamente para los nú-
meros mayores que 0 y el 0? La razón es muy simple: recordemos que si para todo
número real a, tenemos que
a2 > 0.
Luego, para ningún número real b, la proposición
a = b2
sería verdadera si a < 0.

En los siguientes ejemplos, deduzcamos algunas propiedades sobre el cuadrado
y la raíz cuadrada de un número real.
Ejemplos: Cuadrado, raíz cuadrada
1. De los axiomas de cuerpo, dedujimos el teorema
Si a = b y c = d, entonces a · c = b · d.

De este teorema y de a = b, podemos deducir que
a · a = b · b,
de donde, por la definición de cuadrado de un número y el axioma de sustitución,

concluimos que
si a = b, entonces a2 = b2 .
Una demostración alternativa:
i. Por la propiedad reflexiva de la igualdad, a2 = a2 .

ii. De a = b, i., por el axioma de sustitución, a2 = b2 .
2. La proposición
si a > 1, entonces a2 > 1
es verdadera.
En efecto:
i. De a > 1 y 1 > 0, por la transitiva de la relación mayor que, se tiene
a > 0.
ii. De a > 1 y i., por la propiedad multiplicativa de la relación mayor que, se deriva
a · a > 1 · a.
iii. De ii., la definición de cuadrado, la existencia de 1, por el axioma de sustitu-

ción, se colige
a2 > a.
iv. De iii. y a > 1, por la transitiva de la relación mayor que, se concluye
a2 > 1.
Si a > 0 y a < 1, entonces a2 < 1.
i. De a > 0 y a < 1, por la propiedad multiplicativa de la relación menor que,

se tiene
a · a < 1 · a.
ii. De i., por la definición de cuadrado, la existencia de 1 y el axioma de sustitu-

ción, se colige
a2 < a.
iii. De ii. y a < 1, por la propiedad transitiva de la relación menor que, se con-
cluye
a2 < 1.

4. La proposición
1
Si a > 1, entonces <1
a
es verdadera. En efecto:
i. De 1 > 0 y a > 1, tenemos que
a −1 < 1−1 .
1
ii. Tenemos a−1 = (véase el teorema 1.9 en la página 17) y 1−1 = 1.
a
iii. De ii. y i., por el axioma de sustitución, concluimos que
1
< 1.
a
1
Si a > 0 y a < 1, entonces > 1.
a
i. De a > 0 y a < 1, tenemos
1−1 < a −1 .
ii. De i., por el axioma de sustitución, colegimos
1
1< .
a
iii. De ii., por la definición de la relación menor que, concluimos
1
> 1.
a
Si a > −1 y a < 1, entonces a2 < 1.
i. Si a > 0, de a < 1, por el ejemplo 3, tenemos
a2 < 1.
ii. Si a < 0, de a > −1, por la propiedad multiplicativa de la relación mayor

que, la definición de cuadrado y el axioma de sustitución, obtenemos
a2 < (−1) · a.
iii. De ii. y (−1) · a = − a, por el axioma de sustitución, colegimos
a2 < − a.
iv. De a > −1, y del teorema del doble inverso aditivo, obtenemos
− a < 1.

v. De iii. y iv., por la propiedad transitiva de la relación menor que, concluimos
a2 < 1
si a < 0.
vi. De ii. y v., se concluye que a2 < 1 si a > −1 y a < 1.
7. 02 = 0 y 12 = 1. ¿Hay otros números con esta propiedad? Es decir, ¿existe un

número real x, distinto de 0 y distinto de 1, tal que
x2 = x?
Para responder esta pregunta, supongamos que sí existe tal número x; por tan-
to, la proposición
x2 = x (1.8)
es verdadera.
De los axiomas de cuerpo, se deduce la siguiente proposición para cualquier
par de números reales a y b:
a = b si y solo si a − b = 0.
Así, con la ayuda de este teorema, de (1.32), tenemos
x2 − x = 0;
luego, como x2 = x · x y x = x · 1, por el axioma de sustitución, colegimos
x · x − x · 1 = 0,
de donde, por la propiedad distributiva, obtenemos
x · (x − 1) = 0.
Así, deducimos
x = 0 ∨ x = 1.
Es decir, si (1.32) es verdadera, necesariamente x = 0 o x = 1. Por tanto, ahora ya

podemos asegurar que los únicos números cuyo cuadrado es el mismo número son
el 0 y el 1. Y, la respuesta a la pregunta, es: “No, no hay más números aparte de 0 y
1 cuyo cuadrado sea el mismo número”.
8. Dado el número real a, tenemos que
(− a)2 = a2 .
En efecto:
i. De la definición de cuadrado de un número, tenemos que
(− a)2 = (− a) · (− a).

ii. Del teorema ley de signos para el producto, obtenemos
(− a) · (− a) = a · a.
iii. De i., ii. y a2 = a · a, por la propiedad transitiva, concluimos que
(− a)2 = a2 .
√ √
9. 0 = 0 y 1 = 1. ¿Hay otros números que satisfacen esta propiedad? Dicho de
otro modo, ¿existe un número z, mayor que 0, pero distinto de 0 y distinto de 1, tal
que
√
z = z?
Supongamos que sí existe tal z; es decir, supongamos que hay un z tal que las
proposiciones
√
z>0 y z = z. (1.9)
√
Ahora bien, por el teorema de la raíz cuadrada (véase el teorema 1.22), de z=
z, tenemos que
z2 = z,
de donde, mediante un razonamiento similar al realizado en el ejemplo 7, conclui-

mos que
z = 0 o z = 1.
En resumen, aparte de 0 y 1, la raíz cuadrada de ningún otro número real posi-

tivo es igual al número.
Un argumento alternativo al utilizado en el ejemplo 7 para deducir que z = 0
o z = 1 a partir de z2 = z es el siguiente:
i. Si z 6= 0, de z2 = z, por la propiedad cancelativa del producto en una igual-

dad, nos da
z = 1.
ii. De i., hemos probado que
(z2 = z ∧ z 6= 0) ⇒ z = 1.
iii. Como
(z2 = z ∧ z 6= 0) ⇒ z = 1 ≡ z2 = z ⇒ (z = 0 ∨ z = 1),
de ii. y el principio de sustitución para proposiciones equivalentes, conclui-

mos que
z = 0 o z = 1.

√ √
si a > 0, entonces a · a = a:

i. De la definición de cuadrado de un número, se tiene
√ √ √ 2
a· a= a .
ii. De a > 0 y el axioma de completitud, se tiene

√ 2
a= a .
iii. De i., ii., por la propiedad transitiva de la igualdad, se concluye

√ √
a· a = a.
Si a2 = b2 , entonces a = b o a = −b.
Para esta deducción, haremos uso del siguiente teorema, que se deduce de los
axiomas y teoremas de cuerpo:
x2 − y2 = (x − y) · (x + y). (1.10)
Esta proposición lleva el nombre de diferencia de cuadrados. En el siguiente capí-

tulo de este curso, deduciremos este teorema.
i. De a2 = b2 , por el ejemplo 7, tenemos
a2 − b2 = 0.
ii. De i., por la diferencia de cuadrados y el axioma de sustitución, obtenemos
(a − b) · (a + b) = 0.
iii. De ii., por el teorema (citar de una lista), tenemos
a−b = 0 o a + b = 0.
iv. De iii., por el teorema del ejemplo 7, la unicidad del inverso aditivo y el axio-
ma de sustitución, concluimos que
a=b o a = −b.
Si a2 = b2 , a > 0 y b > 0, entonces a = b.
i. De a2 = b2 y el ejemplo anterior, tenemos que
a=b o a = −b.

ii. De a > 0 y b > 0, por la Tricotomía, la proposición
a = −b
es falsa, por que −b < 0.

iii. De ii. y i., por el axioma de la disyunción, concluimos
a = b.
Si a2 = b2 , a < 0 y b < 0, entonces a = b.
a=b o a = −b.
ii. De a < 0 y b < 0, por la Tricotomía, la proposición
a = −b
es falsa, por que −b > 0.

a = b.
Si a2 = b2 , a > 0 y b < 0, entonces a = −b.
a=b o a = −b.
ii. De a > 0 y b < 0, por la Tricotomía, la proposición
a=b
es falsa.
a = −b.

√ √
Si a > 0 y a = b, a = b.
Es inmediato: de
√ √
a= a

y a = b, por el axioma de sustitución, concluimos
√ √
a= b.
√
El uso de la proposición a > 0 está implícita en la existencia de a. A menudo,
omitiremos esta explicación.

√ √
Si a > 0, b > 0 y a = b, entonces a = b.
√ √
i. De a= b, por el ejemplo 1, tenemos
√ 2 Ä √ ä 2
a = b .
ii. De i., el axioma de completitud y el axioma de sustitución, obtenemos
a=b
√ 2 Ä√ ä2
ya que a = a, b = b, pues a > 0 y b > 0.

√
Si a > 0, a2 = a.
La deducción es inmediata, pero sutil. Recordemos que si x > 0, por el axioma

de completitud, si b > 0 tal que
b2 = x,
√
entonces b = x (b es único). Luego, ya que
a2 = a2
y a > 0, concluimos que √

a= a2
(hemos tomado b = a y x = a2 ).

√
Si a < 0, a2 = − a.
Si aplicamos el ejemplo anterior a − a, ya que − a > 0, tenemos

»
(− a)2 = − a.
Luego, de (− a)2 = a2 (véase el ejemplo 8), por el axioma de sustitución, concluimos

√
a2 = − a.
Si a > 0, b > 0 y a > b, entonces a2 > b2 .

i. De a > 0 y b > 0, por el axioma de clausura de los números positivos, y de
a > b y la definición de mayor que, tenemos
a+b > 0 y a − b > 0.
ii. De i., por la clausura de los números positivos, resulta
(a + b) · (a − b) > 0.
iii. De ii., el teorema del ejemplo 11 (véase la igualdad (1.33)) y el axioma de

sustitución, nos da
a2 − b2 > 0.
iv. De iii. y la definición de mayor que
a2 > b2 .
Si a > 0, b > 0 y a < b, entonces a2 < b2 .
i. De a < b, por la definición de menor que, tenemos
b > a.
ii. De i., a > 0, b > 0, por el ejemplo 19, obtenemos
b2 > a2 .
iii. De ii., por la definición de menor que, concluimos
a2 < b2 .
Si a < 0, b < a, entonces a2 < b2 .
i. De a < 0 y b < a, por el teorema (citar en la lista de ejercicios), tenemos
−b > − a.
ii. De i., por el ejemplo anterior, obtenemos
(−b)2 > (− a)2 ,
ya que − a > 0 y −b > 0 (pues a < 0 y b < 0).

iii. De ii., por el ejemplo 8 y el axioma de sustitución, colegimos
b2 > a2 .

iv. De iii., por la definición de menor que, concluimos
a2 < b2 .

√ √
Si a > 0, b > 0 y a > b, entonces a> b.
Razonemos por reducción al absurdo; es decir, supongamos que

√ √
a≯ b.
Por la Tricotomía, se tendría que

√ √ √ √
a= b o a< b.
√ √
i. Si a = b (por el ejemplo 15, a = b, ya que a > b y la Tricotomía); pero esto
es imposible.
√ √
ii. Si a < b, por el ejemplo 20, nos da
√ 2 Ä√ ä2
a 0y b > 0).
iii. De ii. y el axioma de completitud, por el axioma de sustitución, colegimos
a < b,
que contradice a a > b (por la Tricotomía).

√ √
En conclusión, a > b.
1.4 Los números reales

La evolución del concepto de número desde el surgimiento de la matemática for-
mal en el siglo VI antes de Cristo hasta finales del siglo XIX dio lugar a la creación
del conjunto de los números reales como un conjunto que tiene, a su vez, como sub-
conjuntos casi todos los números conocidos desde los primeros tiempos de la ma-
temática, así como otros que surgieron en el camino: naturales, enteros, racionales e
irracionales. Quedaron exceptuados los números complejos.
Esta construcción final también incorporó la relación jerárquica entre los núme-
ros incluidos: los naturales es un subconjunto estricto de los enteros (es decir, todo
número natural es entero, pero hay enteros que no son naturales); los enteros es un
subconjunto estricto de los racionales; los racionales y los irracionales son disjuntos; y
la unión de racionales e irracionales es el conjunto de los números reales.
Fueron varias las maneras mediante las cuales se construyó el conjunto de los
números reales. Entre los nombres de sus creadores están Georg Cantor, Richard De-
dekind, Karl Weierstrass, Guiseppe Peano, Edmond Landau. En esta sección vamos a

presentar de una manera breve y sencilla cómo con los axiomas establecidos pode-
mos definir los conjuntos de los números reales mencionados.
1.4.1 Los naturales

Aunque vamos a presentar la definición de número natural, no vamos a realizar los
detalles porque nos exigen un mayor dominio de la teoría de Conjuntos que el que
nos hemos planteado como objetivo en este curso. No obstante, nos enfocaremos
en las principales propiedades que satisfacen los números naturales y que son de
uso frecuente en este curso5 .
Construcción del conjunto N. Un subconjunto A de R se denomina sucesor si 0 ∈

A y, si x ∈ A, entonces x + 1 ∈ A. El conjunto de los números reales es un conjunto
sucesor; otro conjunto sucesor es el conjunto
{ x : x > 0}.
Con ayuda de este concepto, el conjunto de los números naturales es el conjun-

to de todos los números reales cuyos elementos pertenecen a todos los conjuntos
sucesores que existen. Utilizaremos la letra N para representar este conjunto y de-
nominaremos a sus elementos números naturales.
De esta definición, resulta que N también es un conjunto sucesor; es decir, te-
nemos el siguiente teorema6 .
T EOREMA 1.23 (N es sucesor).

El conjunto N es un conjunto sucesor; es decir, las siguientes proposiciones son
verdaderas:
1. 0 ∈ N.
2. Si x ∈ N, entonces x + 1 ∈ N para todo número natural x.
En otras palabras, el 0 es un número natural; y, como 0 + 1 = 1, entonces tam-

bién 1 es un número natural por la segunda proposición de este teorema. Por la
misma razón, 1 + 1 es un número natural. A este número le denominamos dos y le
representamos por 2.
Definimos 3 (tres) como la suma de 2 y 1; y, como 2 ∈ N, entonces por la segun-
da proposición de este teorema, concluimos que 3 ∈ N. De esta manera, definimos
4, 5, 6, etcétera.
Una segunda consecuencia de la definición de N es el siguiente teorema deno-
minado Inducción matemática del que tampoco presentaremos su deducción.
5 Los detalles de este párrafo pueden ser omitidos hasta el enunciado de las propiedades que ca-
racterizan el conjunto de los números naturales.

6 Este teorema se puede deducir de la definición y de los axiomas que hemos presentado. Como se
dijo antes, no presentaremos esta demostración ni las siguientes concernientes a la definición de N

por estar fuera de los objetivos y alcance de este curso.

T EOREMA 1.24 (Inducción matemática).
Supóngase que A (x) es una proposición en la que aparece el número natural x. Si
1. A (0) es verdadera; y
2. si A (x) es verdadera, entonces A (x + 1) es verdadera para todo número na-

tural x;
entonces A (x) es una proposición verdadera para todo número natural x.
Hagamos uso de este teorema por primera vez para demostrar que ningún nú-
mero natural es menor que 0. Es decir, vamos a demostrar que la proposición
x>0
es verdadera para todo número natural x.

Para aplicar el teorema de Inducción matemática, tomaremos A (x) como la pro-
posición
x > 0.
Para poder aplicar este teorema, debemos verificar que las proposiciones 1 y 2
del enunciado sean verdaderas. Veámoslo.
i. La proposición A (0) es
0 > 0,
que es una proposición verdadera (por la propiedad reflexiva de la igualdad

y la definición de mayor o igual que). Por tanto, la proposición A (0) es ver-
dadera.
ii. Ahora supongamos que x es un número natural cualquiera y que A (x) es

verdadera; es decir, supongamos que
x>0
es verdadera, y probemos que A (x + 1) también es verdadera; es decir, mos-

tremos que
x+1 > 0
es verdadera.
Como 1 > 0, por la propiedad aditiva de la relación mayor que, tenemos
x + 1 > 0 + 1;
es decir, tenemos que

x + 1 > 1.
Así, de 1 > 0, colegimos que

x+1 > 0

por la propiedad transitiva de la relación mayor que; de donde, concluimos
que
x + 1 ≥ 0;
es decir, la proposición A (x + 1) también es verdadera.
De estas dos deducciones, por el teorema de Inducción matemática, concluimos que

x > 0 es verdadera para todo número natural x.
Acabamos de demostrar que ningún número natural es negativo. Eso significa
que −1 no es un número natural ya que −1 < 0 pues 1 > 0. De hecho, ya que todo
número natural, excepto el 0, es un número positivo, entonces su inverso aditivo es
un número negativo y, por tanto, no es un natural.
Registremos estos razonamientos en el siguiente teorema.
T EOREMA 1.25 (Acotamientos de N).

1. Para todo número natural x, se tiene x > 0 (ningún número natural es nega-
tivo; o, el 0 es elemento mínimo del conjunto N).
2. Para todo x ∈ N tal que x 6= 0, entonces
− x 6∈ N.
(El inverso aditivo de un número natural distinto de 0 no es un número natu-

ral). Dicho de otra manera, el conjunto N es un subconjunto estricto de R.
3. No existe un número natural que sea mayor o igual que todos los números
naturales.
La deducción de las dos primeras proposiciones ya fueron discutidas. Veamos

la tercera.
Razonemos por reducción al absurdo: supongamos que existe un número natu-
ral M tal que
M>x
para todo número natural x. En particular, esta proposición debe ser verdadera
para M + 1
M > M + 1,
ya que si M es un número natural, también M + 1 es un número natural. Pero esta

proposición es falsa porque para todo número real z, la proposición7
z < z + 1;
7 La deducción de esta proposición se deduce fácilmente de 1 > 0, la propiedad aditiva de la
relación mayor que y la definición de la relación menor que.

en particular,
M < M + 1;
así, por la Tricotomía, la proposición
M > M+1
es falsa. Y es falso lo supuesto. Así, resulta verdadero que
Ningún número natural es mayor o igual que todos los números natu-
rales.
El siguiente teorema es más difícil de demostrar con las herramientas que he-
mos desarrollado; por esta razón, únicamente lo enunciaremos. Sin embargo, su
utilidad será patente a lo largo de este curso.
T EOREMA 1.26 (N no es denso).

Las proposiciones siguientes son verdaderas:
1. Para todo número natural x, no existe y ∈ N tal que
x<y y y < x + 1.
2. Si x ∈ N y z ∈ N tal que
x < z,
entonces
x + 1 6 z.
Si x ∈ N, a los números naturales x y x + 1 se les denomina consecutivos. La

primera proposición del teorema afirma que entre dos números naturales consecu-
tivos no existe otro natural.
Al final de este capítulo, volveremos sobre los números naturales y la inducción
matemática.
1.4.2 Los enteros

Antes de definir el conjunto de los números enteros, de manera similar al “abuso
de notación” utilizada con el producto cartesiano, introduciremos la notación
{− x : x ∈ N }
para indicar que, si

u ∈ {− x : x ∈ N },
entonces existe x ∈ N tal que

u = − x.

En lugar de x, se podría utilizar cualquier otra que no sea u ni otra que tenga ya un
significado dado.
De manera similar, si t ∈ N, entonces
−t ∈ {− x : x ∈ N }.
Ya estamos listo para definir el conjunto de los números enteros: es la unión del
conjunto de los números naturales y el conjunto de los inversos aditivos de los
números naturales. A este conjunto se le representa por Z; así, tenemos
Z = N ∪ {− x : x ∈ N }.
Por tanto,
N ⊆ Z.
Y, como ninguno de los inversos aditivos de los naturales distintos de 0 son núme-
ros naturales, tenemos que
N 6= Z.
Concluimos que
N ( Z.
Por otra parte, si x ∈ Z, por la definición de unión, hay dos posibilidades:
x∈N o x = −y,
donde y ∈ N. Luego, en la primera alternativa, tenemos si − x ∈ Z. En la segunda

alternativa, − x = −(−y); es decir, − x = y; y, como y ∈ N, entonces − x ∈ Z.
En resumen,
Si x ∈ Z, entonces − x ∈ Z.
Recíprocamente, si − x ∈ Z, entonces tenemos dos alternativas por la definición
de unión:
− x ∈ N o − x = −y,
donde y ∈ N.
En la primera opción, como x = −(− x) y − x ∈ N, obtenemos que x ∈ Z. En la
segunda opción, x = y y y ∈ N, entonces x ∈ N y, por tanto, x ∈ Z.
En resumen, tenemos el teorema
T EOREMA 1.27 (Z es cerrado para el inverso aditivo).
La proposición
x ∈ Z si y solo si − x ∈ Z
es verdadera para todo entero x.
En los siguientes ejemplos, conozcamos un poco más de los dos conjuntos re-
cientemente definidos.

Ejemplos: Enteros, naturales
1. Los números 0, 1, 2, 3 son números enteros porque son números naturales.
2. Los números −1, −2, −3 son números enteros porque son los inversos aditivos de
los números naturales 1, 2, 3, respectivamente.
3. La proposición
Todo número natural es un número entero
es verdadera pues N ⊆ Z.
4. La proposición
Hay números enteros que no son naturales
es verdadera ya que Z 6= N.
5. Por la segunda proposición del teorema 1.25, tenemos que
N ∩ {− x : x ∈ N } = {0}
porque ningún inverso aditivo de un número natural (excepto 0) es positivo y por-

que ningún número natural es negativo.
6. Por el ejemplo anterior, la proposición
si un número entero es positivo, entonces es un número natural
es verdadera.
7. Por el ejemplo 5, también es verdadera la proposición
si un número entero es negativo, entonces no es un número natural.
8. De los dos ejemplos anteriores, tenemos que las proposiciones son verdaderas:
a) Cualquier número natural es mayor que cualquier número entero negativo.

b) Cualquier número entero negativo es menor que cualquier número natural.
9. La proposición
No hay ningún número entero mayor o igual que todos los números
enteros.
En efecto, si existiera un entero M mayor o igual que todo x ∈ Z, entonces

M sería positivo; por tanto, sería un número natural, de donde, M sería el número
natural mayor que todos los naturales. Ya sabemos que esto es imposible. Por tanto,
no hay ningún entero mayor que todos los números enteros.
10. La proposición
No hay ningún número entero menor o igual que todos los números
enteros.

En efecto, si existiera un número entero M menor o igual que todo x ∈ Z, M
tendría que ser negativo y la proposición
M6x
sería verdadera para todo x ∈ Z. Luego, − M sería un entero mayor que todos los
enteros, lo que es imposible. En efecto, si u es un entero, entonces −u también lo
es; luego,
M 6 −u,
de donde
− M > u.
En conclusión, no existe un entero menor que todos los enteros.
También volveremos a los números enteros en otros capítulos de este curso.
1.4.3 Los racionales

La definición de este conjunto también es bastante simple: el conjunto de los núme-
ros racionales es el conjunto de todas las divisiones entre números enteros. A este
conjunto le representamos por Q. Así, tenemos
nx o
Q= : (x, z) ∈ Z × (Z − {0}) .
z
De manera similar a lo realizado antes de la definición de Z, en esta definición

estamos “abusando de la notación”. En este caso, si
r ∈ Q,
significa que existen x ∈ Z y z ∈ Z − {0} (es decir z 6= 0) tales que
x
r= .
z
En otras palabras, si r es un número racional, existen dos enteros x y z, uno de

ellos distinto de 0 (por ejemplo, z 6= 0) tal que r es la división o cociente de dichos
enteros.
a
Recíprocamente, si a ∈ Z y b ∈ Z tal que b 6= 0, entonces el número es un
b
número racional; es decir,
a
∈ Q.
b
El conjunto de los números racionales también es cerrado con respecto al inver-
so aditivo. Es decir, tenemos el siguiente teorema:
T EOREMA 1.28 (Q es cerrado para el inverso aditivo).

La proposición
x ∈ Q si y solo si − x ∈ Q

es verdadera para todo número racional x.
La deducción de esta proposición se obtiene fundamentalmente de la siguiente

proposición que se deduce de los axiomas de cuerpo:
a −a
− =
b b
si b 6= 0. Se deja como tarea a las lectoras y lectores realizar esta deducción.

En los siguientes ejemplos, ilustramos algunas características del conjunto de
los números racionales.
Ejemplos: Racionales
1. El número 0 es un número racional; es decir, la proposición
0∈Q
es verdadera.
En efecto, puesto que 1 6= 0, tenemos que
0 · 1−1 = 0;
luego, por la definición de división, concluimos que
0
= 0.
1
Por tanto, 0 es la división entre dos enteros; es decir, 0 es un número racional.
2. Mostremos que Z ⊆ Q. Para ello, supongamos que
x∈Z
y demostremos que x ∈ Q.
Esto es inmediato, porque
x
= x.
1
3. Ahora mostremos que hay números racionales que no son enteros. Para ello, su-
pongamos que x ∈ Z tal que
x > 1.
(Es decir, x también es un número natural). Por tanto, x > 0 y, además, tenemos
que
x −1 < 1.
Luego, colegimos que

0 < x −1 y x −1 < 1.
Si x −1 ∈ N, entonces las dos proposiciones anteriores indicarían que existe un

número natural entre dos naturales consecutivos, contrariamente a lo que afirma

el teorema 1.26. Concluimos, entonces, que
x −1 6∈ N.
Como x −1 > 0, no puede ser el inverso aditivo de ningún número natural. Así,
podemos concluir que
x −1 6∈ Z.
En resumen, todos los inversos multiplicativos de los números naturales ma-

yores que 1 no son números enteros.
De manera similar, podemos deducir que ningún inverso multiplicativo de los
números enteros menores que −1 es un número entero.
Finalmente, el inverso multiplicativo de los números enteros distintos de 0 son
racionales, ya que si x ∈ Z tal que x 6= 0, tenemos que
1
x −1 = ,
x
que es un número racional pues x ∈ Z.
Todo lo anterior nos lleva a concluir que
Z ( Q.
4. Mediante los axiomas y teoremas de cuerpo, podemos deducir la proposición

a
si b 6= 0 y 6= 0, entonces a 6= 0.
b
Con la ayuda de esta proposición, deduzcamos que el inverso multiplicativo
de un número racional también es un número racional.
Para ello, supongamos que x ∈ Q y x 6= 0. Entonces, por la definición de
número racional, existen dos números enteros a y b, con b 6= 0, tales que
a
x= .
b
Luego,
a
6= 0,
b
de donde, obtenemos que a 6= 0.
Por otra parte, tenemos que
a b a·b
· =
b a b·a
a·b
=
a·b
= 1;
es decir,
a b
· = 1.
b a

Luego, por la unicidad del inverso multiplicativo, concluimos que
a −1 b
= .
b a
En otras palabras,
b
x −1 =
a
que, como se puede ver, también es un número racional.
En resumen, la proposición
si x ∈ Q y x 6= 0, entonces x −1 ∈ Q.
1.4.4 Los irracionales

Como indicamos en la introducción del axioma de completitud, este axioma nos
asegura la existencia de números reales que no son racionales.
De manera más precisa, si representamos con 2 al número 1 + 1, dado que 1 > 0,
por la clausura de los números positivos tenemos que
1 + 1 > 0;
es decir, 2 > 0. Luego, por el axioma de completitud, existe la raíz cuadrada de 2:

√
2; es decir, existe el número real cuyo cuadrado es igual a 2.
√
Aunque no vamos a demostrarlo en este capítulo, 2 no es un número racional.
Si aceptamos esta proposición como verdadera, entonces podemos asegurar que
Q ( R.
A todos los números reales que no son racionales se les denomina irracionales. La
raíz cuadrada de 2 no es el único número irracional. Otros números irracionales son
√ √ √
3, 5, 7. De hecho, de los axiomas de los números reales podemos deducir que
hay “más” números irracionales que racionales. Cuando estudiemos el capítulo de
funciones nos acercaremos a una demostración de las afirmaciones anteriores.
1.4.5 Algunos teoremas fundamentales de los números reales

A continuación vamos a enunciar dos teoremas fundamentales de los números
reales. Solo vamos a dejarlos aquí como constancia de su existencia. En el estudio
de funciones recurriremos a ellos con frecuencia.
T EOREMA 1.29 (Arquimediana).

Para todo número real x, existe un número natural n tal que
x<n
es una proposición verdadera.

El siguiente teorema tiene una demostración sencilla que no la presentaremos
sino que la dejaremos como un ejercicio.
T EOREMA 1.30 (Densidad de los reales).

Dados los números reales a y b, si a < b, existe un número real c tal que
a<c y c<b
Este teorema se puede parafrasear de la siguiente manera:
Entre dos números reales existe siempre otro número real.
Un posible número c del teorema es
a+b
.
2
1.5 Inducción matemática

En esta última sección, volvemos sobre la Inducción matemática. Es un método po-
deroso para llevar a cabo demostraciones de proposiciones sobre los números en
las que se involucran números naturales y enteros. También es una poderosa herra-
mienta para definir conceptos en los que también están involucrados los números
naturales. Empecemos con una revisión de la Inducción como método de demostra-
ción.
Recordemos el teorema Inducción matemática:
T EOREMA 1.31 (Inducción matemática).

Supóngase que A (n) es una proposición en la que aparece el número natural n. Si
1. Base de la inducción: A (0) es verdadera; y
2. Paso inductivo: si A (n) es verdadera, entonces A (n + 1) es verdadera para

todo número natural n;
entonces A (n) es una proposición verdadera para todo número natural n.
Como se puede observar, hemos utilizado la letra n. Es común hacerlo cuando

nos referimos a los números naturales. En estas notas de clases lo haremos en algu-
nas ocasiones, pero no siempre. En todo caso, no asumiremos de manera predeter-
minada que n (o m, k, l, etcétera) representa números naturales. ¡En toda ocasión
haremos explícita suposición de que una cierta letra que representa un número real
es un natural, un entero, un racional o un irracional.
Nótese también que hemos añadido nombres a dos de las proposiciones que
aparecen en el teorema, vistas como los “pasos” que hay que “aplicar” para con-
cluir que la proposición A (n) es verdadera para todo número natural n.

Finalmente, en el Paso inductivo, la proposición A (n) suele denominarse hipótesis
de la inducción y la proposición A (n + 1), tesis de la inducción.
En los siguientes ejemplos, ilustremos su aplicación.
Ejemplos: Inducción matemática
1. Supongamos que a ∈ N. Mediante Inducción, vamos a demostrar que
a+n ∈ N
para todo número natural n.

En este caso, la proposición A (n) es
a + n ∈ N.
Para probar que es verdadera para todo número natural n, probaremos las si-
guientes proposiciones:
i. A (0) es verdadera.
ii. Sea n ∈ N. Si A (n) es verdadera, entonces A (n + 1) también lo es.
Empecemos con la base de la inducción. Observemos que A (0) es la proposi-

ción
a + 0 ∈ N.
Como a + 0 = a (existencia de 0) y tenemos que a ∈ N es verdadera, por el axioma

de sustitución, podemos concluir que
a+0 ∈ N
también es verdadera; es decir, que A (0) es verdadera.

Ahora realicemos el paso inductivo. Para ello, supongamos que n ∈ N y que
A (n) es verdadera; es decir, supongamos que
a+n (1.11)
es verdadera, y deduzcamos que A (n + 1) también lo es; es decir, que
a + (n + 1)
es verdadera.
Esto se realiza fácilmente así:
a. De la propiedad asociativa de la suma, tenemos que
a + (n + 1) = (a + n) + 1.
b. De la hipótesis de inducción (1.11) y por el teorema 1.23 (N es un conjunto

sucesor), tenemos que
(a + n) + 1 ∈ N.
c. De a., b. y el axioma de sustitución, concluimos que
a + (n + 1) ∈ N
es verdadera; es decir, A (n + 1) es verdadera.
Por el teorema de Inducción matemática, concluimos que
a+n ∈ N
es verdadera para todo número natural n.
2. Por el ejemplo anterior, podemos asegurar que
La suma es una operación cerrada en N.
Es decir, podemos asegurar que si m ∈ N y n ∈ N, entonces
m + n ∈ N.
En efecto, es cuestión de aplicar el ejemplo anterior tomando a igual a m.
3. Sea a ∈ N. La proposición
a·n ∈ N
Demostración. Se deja como ejercicio propuesto.
4. El producto es una operación cerrada en N.
Demostración. Se deja como ejercicio propuesto.
5. La resta no es una operación cerrada en N.

Se deja como ejercicio propuesto.
Las proposiciones que se pueden demostrar mediante inducción involucran

siempre conceptos que se han definido mediante inducción matemática, empezan-
do por la definición de número natural. Por ello, antes de presentar más ejemplos
de proposiciones que se demuestran por inducción, “aprendamos a definir concep-
tos por inducción”.
T EOREMA 1.32 (Recursión finita).

Para definir un concepto C (n) para todo número natural n, se procede de la si-
guiente manera:
i. Base de la recursión: se define el concepto para 0; es decir, se define
C (0).

ii. Paso recursivo: se supone que n es un número natural cualesquiera y, bajo la
suposición de que ya se ha definido el concepto para n, se define el concepto
para n + 1 en términos del concepto para n.
De manera más precisa, si n ∈ N, se supone definido
C (n)
y se define
C (n + 1)
en términos de C (n).
Con el poder de este teorema, vamos a dar significado pleno a las formas usua-
les de utilizar las operaciones en los números reales. Por ejemplo, se suele escribir
1 + 2 + 3 + · · · + 10
para indicar la suma de todos los números naturales desde 1 hasta 10. Los puntos
suspensivos “nos dicen” que entre 3 y 10 están en la suma los números 4, 5, 6, 7, 8
y 9. (No olvidemos que la posibilidad de escribir así se debe también en parte a la
propiedad asociativa de la suma).
Y también usamos una expresión similar cuando, en lugar de 10, consideramos
un número natural “cualesquiera”:
1 + 2 + 3 + · · · + n.
Sin embargo, esos puntos suspensivos se interpretan (o se usan) para indicar

diferentes situaciones. Por ejemplo, en la expresión
1 + 3 + 5 + · · · + 2k − 1,
donde k es un número natural, los puntos suspensivos ya no indican todos los

números entre 5 y 2k − 1; no, ahora indican a todos los números impares entre 5 y
2k − 1.
La mayoría de las veces, no es difícil entender en cada caso el significado de
esos puntos suspensivos. Y, por supuesto, podríamos dejar la cosa así, si no fuera
porque la Matemática8 siempre está interesada en establecer definiciones precisas
para evitar que, mediante definiciones no precisas, se nos cuelen las paradojas. Por
otra parte, muchas veces estas definiciones precisas son las únicas que nos pueden
responder preguntas importantes de las teorías que estudiamos.
Por lo anterior, vamos a utilizar la Recursión finita para definir varios de nuestro
caros conceptos de uso cotidiano en la matemática.
8 Léase: “los que estudiamos y utilizamos la matemática”.

D EFINICIÓN 1.8 (Potencia de exponente natural)
Dado un número real a, definimos:
i. Base de la recursión: a0 = 1.
ii. Paso recursivo: Si n ∈ N, suponemos definido el número an y definimos an+1

como el producto de an y a; es decir,
an+1 = an · a.
Por el teorema de Recursión finita, se ha definido el número
an
para todo número natural n. Este número se denomina la potencia de n de a. Los

números n y a se denominan, respectivamente, exponente y base de la potencia.
Nótese que, en particular, la definición de a2 también se ajusta a esta definición.

En efecto, como 2 = 1 + 1, entonces
a 2 = a 1+1 ;
luego, por el paso recursivo, tenemos que
a1+1 = a1 · a.
Así, tenemos que

a2 = a1 · a.
Una vez, por el paso recursivo, tenemos que
a1 = a0 · a,
ya que 1 = 0 + 1. Y, como
a0 = 1
por la base de la recursión, colegimos que
a1 = 1 · a,
de donde, por la existencia de 1, tenemos que
a1 = a.
Así, podemos concluir que

a2 = a · a,
como habíamos definido anteriormente el cuadrado de un número.

Ilustremos esta definición y las propiedades de la potencia de exponente natural
en los ejemplos que siguen a continuación; explicaremos también por qué se define
a0 igual a 1.
Ejemplos: Potencia de exponente natural
1. Recordemos que 3 = 2 + 1. Apliquemos la definición de potencia de exponente

natural para determinar a3 . Por la definición de 3, tenemos
a 3 = a 2+1
y por el paso recursivo de la definición, tenemos que
a2+1 = a2 · a.
Como a2 = a · a, tenemos que
a2+1 = (a · a) · a;
es decir,
a3 = (a · a) · a.
Ahora bien, como la multiplicación es asociativa, escribiremos el número ante-

rior sin utilizar paréntesis:
a3 = a · a · a.
Y, como podemos ver, a3 consiste en dos multiplicaciones: una de a y a, y otra de

dicho producto y a; es decir, aparecen dos multiplicaciones pero tres veces a.
2. El carácter recursivo de la definición de an , donde n es un número natural, nos

permite calcular a4 en un solo paso, pues ya hemos calculado a3 .
En efecto, como 4 = 3 + 1, tenemos
a 4 = a 3+1
= a3 · a
= (a · a · a) · a.
Por tanto,
a4 = a · a · a · a.
Como se puede ver, el número a aparece 4 veces y hay tres multiplicaciones.
3. Como una generalización de los ejemplos anteriores, se suele utilizar la notación
n veces
z }| {
a·a····a
para indicar an : n veces el número a y las n − 1 multiplicaciones.

Debe quedar claro que esta representación es un sinónimo de an y no su defi-
nición.

4. Para todo número real a, tenemos
a1 = a.
En efecto, de 1 = 0 + 1, tenemos
a 1 = a 0+1 ;
y, como
a 0+1 = a 0 · a
por la definición de potencia de exponente natural, se deriva la igualdad
a1 = a0 · a.
Una vez más, por la definición de potencia de exponente natural, se tiene que a0 =
1, de donde colegimos que
a1 = 1 · a,
de donde concluimos que

a1 = a
por la existencia de 1.
5. Para todo número natural n, la proposición
1n = 1
es verdadera. A este teorema le denominaremos potencia de 1. Demostrémoslo por

inducción.
En este caso, la proposición A (n) es 1n = 1.
i. Base de la inducción: La proposición A (0) es
10 = 1,
que es es verdadera por la base de la recursión en la definición de potencia de

exponente natural.
ii. Paso inductivo: supongamos que n ∈ N y que A (n) es verdadera; probemos
que también lo es A (n + 1).
Es decir, supongamos que
1n = 1 (1.12)
es verdadera y demostremos que
1n +1 = 1
también lo es.
Por la definición de potencia de exponente natural, tenemos que
1n+1 = 1n · 1,

de donde, por la hipótesis de inducción (la proposición (1.12)) y el axioma de
sustitución, concluimos que
1n+1 = 1 · 1;
es decir,
1n+1 = 1,
como queríamos.
6. Para todo número natural n, la proposición
(−1)2·n = 1
es verdadera. A este teorema le podemos denominar potencia par de −1. Probémoslo

por inducción.
Demostración. En este caso, la proposición A (n) es (−1)2·n = 1.
i. Base de la inducción: la proposición A (0) es
(−1)2·0 = 1.
Esta es verdadera porque 2 · 0 = 0, así, por el axioma de sustitución,

tenemos que
(−1)2·0 = (−1)0 ,
de donde
(−1)2·0 = 1,
ya que (−1)0 = 1 por la definición de potencia de exponente natural.

ii. Paso inductivo: supongamos que n ∈ N y que A (n) es verdadera y probemos
que A (n + 1) también lo es.
Es decir, supongamos que
(−1)2·n = 1 (1.13)
(−1)2·(n+1) = 1
también lo es.
En efecto, tenemos que
(−1)2·(n+1) = (−1)2·n+2·1
= (−1)2·n+2
= (−1)2·n+(1+1)
= (−1)(2·n+1)+1
= (−1)2·n+1 · (−1);

es decir,
(−1)2·(n+1) = (−1)2·n+1 · (−1). (1.14)
Las justificaciones de la secuencia de igualdades es la siguiente: propie-

dad distributiva del producto respecto de la suma, existencia de 1, definición
de 2, propiedad asociativa de la suma y, por último, definición de potencia de
exponente natural (por supuesto, varias aplicaciones del axioma de sustitu-
ción y de la transitiva de la igualdad).
(−1)2·n+1 = (−1)2·n · (−1)

= 1 · (−1)
= −1;
es decir,
(−1)2·n+1 = −1. (1.15)
Las justificaciones: definición de potencia de exponente natural, la hipóte-

sis de inducción (proposición (1.13)) y existencia de 1.
Finalmente, de (1.14) y (1.15), por el axioma de sustitución, obtenemos
(−1)2·(n+1) = (−1) · (−1),
de donde, conluimos que

(−1)2·(n+1) = 1,
ya que (−1) · (−1) = 1.

Es decir, hemos probado que A (n + 1) es verdadera.
7. Del ejercicio anterior, se deduce fácilmente la siguiente proposición:
(−1)2·n+1 = −1
para todo número natural. A este teorema le denominaremos potencia impar de −1.
(−1)2·n+1 = (−1)2·n · (−1)

= 1 · (−1)
= −1;
es decir,
(−1)2·n+1 = −1.
Las justificaciones: definición de potencia de exponente natural, la propiedad

demostrada en el ejercicio anterior, y la existencia de 1.
8. Mediante inducción, probemos que la proposición
(− a)n = (−1)n · an

Este teorema puede denominarse: potencia del inverso aditivo.
En esta demostración se hará uso del teorema T:
− x = (−1) · x.
La demostración queda como ejercicio propuesto.
9. Sea m ∈ N. Demostremos por inducción que la proposición
am+n = am · an
es verdadera para todo número natural n. Este teorema puede denominarse pro-
ducto de potencias de igual base.
En este caso, la proposición A (n) es
am+n = am · an .
i. Base de la inducción: demostremos que A (0) es verdadera; es decir, demostre-

mos que
a m +0 = a m · a 0
es verdadera.
Para ello, por la existencia de 0 y el axioma de sustitución, tenemos que
a m +0 = a m . (1.16)
Por otra parte, por la definición de potencia de exponente natural, tenemos

que a0 = 1; de donde, colegimos que
a m · a0 = a m · 1
= am ;
es decir,
a m · a0 = a m
(gracias a la existencia de 1, el axioma de sustitución y la propiedad transitiva

de la igualdad). Así, una vez más por la propiedad transitiva de la igualdad
aplicada a (1.16) y a esta última igualdad, concluimos que
a m +0 = a m · a 0 ,
como se quería.
ii. Paso inductivo: supongamos que n ∈ N y que A (n) es verdadera y demostre-
mos que también lo es A (n + 1).
En otras palabras, supongamos que la proposición
am+n = am · an (1.17)

am+(n+1) = am · an+1
también lo es.
De la propiedad asociativa de la suma y el axioma de sustitución, tenemos
que
am+(n+1) = a(m+n)+1
y de la definición de potencia de exponente natural, obtenemos que
a(m+n)+1 = am+n · a;
luego, por la propiedad transitiva de la igualdad, colegimos que
am+(n+1) = am+n · a.
De donde, por la hipótesis de inducción (proposición (1.17)) y el axioma de

sustitución, nos da

am+(n+1) = am · an · a
que, junto con la propiedad asociativa del producto, resulta que

am+(n+1) = am · an · a .
Por último, de esta igualdad y de an · a = an+1 (paso recursivo de la definición

de potencia de exponente natural), concluimos que
am+(n+1) = am · an+1 ,
como se quería.
10. Mediante el teorema del producto de potencias de igual base, sin hacer uso directo de
la inducción, se demuestra el teorema de la potencia del inverso aditivo.
Demostración. Vamos a probar que
(− a)n = (−1)n · an .
Para ello, recordemos que
− a = (−1) · a;
por tanto, tenemos que:
(− a)n = ((−1) · a)n

= (−1)n · an ;
es decir,
(− a)n = (−1)n · an ,

como se quería.
11. Mediante los axiomas y teoremas de cuerpo, se demuestra fácilmente la siguiente

proposición:
x · y + x = x · (y + 1)
Utilizaremos este teorema en el siguiente ejemplo.
12. Mediante inducción, si m ∈ N, probemos que la proposición

n
am = am·n
es verdadera para todo número natural n. Podemos denominar a este teorema po-
tencia de una potencia.
Demostración. En este caso, A (n) es la proposición

n
am = am·n .
i. Base de la inducción: vamos a probar que

0
am = a m ·0 .
Por la definición de potencia de exponente natural tenemos

0
am =1
y, de m · 0 = 0, resulta am·0 = a0 , de donde, por la definición de exponente

natural, también tenemos que
am·0 = 1.
Así, A (0) es verdadera por la propiedad transitiva de la igualdad.

ii. Paso inductivo: la hipótesis de la inducción es
n
am = am·n .
Vamos a probar la tesis de la inducción:

n +1
am = am·(n+1) .
Empecemos:
n +1 n
am = am · am
= am·n · am
= am·n+m
= am·(n+1) .

Las justificaciones: definición de potencia de exponente natural, hipóte-
sis de la inducción, teorema producto de potencias de igual base y, por último, el
teorema de ejemplo anterior.
13. Con ayuda del teorema potencia de una potencia, podemos demostrar el teorema
potencia par de −1 sin recurrir a la inducción directamente.
Demostración. En efecto:
än
(−1)2·n = (−1)2
Ä
Ä än
= 12
= 1n
= 1.
Las justificaciones: el teorema potencia de una potencia, el teorema “el cuadrado del
inverso aditivo”, el teorema “el cuadrado de 1” y, finalmente, el teorema potencia
de 1.
14. De algunos ejemplos anteriores, se deducen fácilmente los siguientes teoremas:
(− a)2·n = a2·n y (− a)2·n+1 = − a2·n+1 .
Sus demostraciones quedan de ejercicio.
Demostración. Tenemos que
(− a)2·n = ((−1) · a)2·n

= (−1)2·n · a2·n
= 1 · a2· n
y también que
(− a)2·n+1 = ((−1) · a)2·n+1

= (−1)2·n+1 · a2·n+1
= (−1) · a2·n+1
= − a 2· n +1 .
15. La proposición
(a · b)n = an · bn
es verdadera para todo número natural n. Esta proposición será referida como po-
tencia de un producto. Demostrémosla mediante inducción.
16. En este ejemplo, por primera vez, vamos a utilizar la notación de producto de dos
números sin colocar el punto entre ambos números; esta será la norma de aquí en
adelante, salvo que sea necesario colocarlo para dar claridad a las proposiciones.

En este ejemplo, también vamos a utilizar el siguiente teorema que se deduce
de los axiomas de cuerpo:
T: x − y = (x − z) + (z − y).
Demostremos, mediante inducción matemática, que la proposición
Dados los números reales a y b, existe un número real M tal que
an − bn = M(a − b)
En este caso, si n ∈ N, la proposición A (n) es:
Existe un número real M tal que
an − bn = M(a − b).
Empecemos con la base de la inducción: probemos que A (0) es verdadera; es

decir, probemos que existe un número real M tal que
a0 − b0 = M(a − b).
Ahora bien, por la definición de potencia de exponente natural, tenemos que
a0 = 1 y b0 = 1;
luego, A (0) representa la proposición
Existe un número real M tal que
0 = M(a − b).
Pues bien, por el teorema de la multiplicación por 0, el número M buscado es

el número 0 ya que
0 = 0 · (a − b).
En resumen, la proposición A (0) es verdadera.

Continuemos con el paso inductivo. Para ello, supongamos que n ∈ N y que
A (n) es verdadera, y demostremos que A (n + 1) también lo es.
En otras palabras, supongamos que existe un número real K tal que
an − bn = K(a − b). (1.18)
Vamos a demostrar que existe un número real M tal que
an+1 − bn+1 = M(a − b). (1.19)
Para ello, observemos cómo vamos a aplicar el “paso recursivo” de la defini-

ción de potencia:
a n +1 − b n +1 = a n a − b n b
= (an a − bn a) + (bn a − bn b)
= (an − bn )a + bn (a − b);
por tanto, por la propiedad transitiva de la igualdad, tenemos que
an+1 − bn+1 = (an − bn )a + bn (a − b). (1.20)
Notemos que en la primera igualdad, aplicamos la definición de potencia; en

la segunda, el teorema T; y en la tercera, la propiedad distributiva de la multipli-
cación respecto de la suma.
Ahora bien, por la hipótesis de inducción, tenemos que
an − bn = K(a − b);
luego, de (1.20) y el axioma de sustitución, tenemos la segunda igualdad:
an+1 − bn+1 = (an − bn )a + bn (a − b)

= K(a − b)a + bn (a − b)
= (Ka)(a − b) + bn (a − b)
= ((Ka) + bn )(a − b);
es decir,
an+1 − bn+1 = ((Ka) + bn )(a − b);
por tanto,
an+1 − bn+1 = M(a − b),
donde hemos definido M = (Ka) + bn .

Hemos demostrado que A (n + 1) es verdadera. La última secuencia de igual-
dades se justifica de la siguiente manera a partir de la tercera: las propiedades aso-
ciativa y conmutativa de la multiplicación; y, en la cuarta, la propiedad distributiva
del producto respecto de la suma.
En resumen, por el teorema de inducción matemática, concluimos que existe
un número real M tal que
an − bn = M(a − b)
para todo número natural n.
1.6 Teorema de inducción matemática general

Es frecuente que una proposición A (n) no sea verdadera para todo número natural
n, pero que sí sea verdadera para todo número natural n mayor o igual a un número

natural n0 9 .
Para demostrar estas proposiciones, hay una versión más general del teorema
de Inducción matemática en la cual la base de la inducción ya no es 0 si no el número
n0 .
T EOREMA 1.33 (Inducción matemática general).

Supóngase que A (n) es una proposición en la que aparece el número natural n y
que n0 ∈ N. Si
1. Base de la inducción: A (n0 ) es verdadera; y
2. Paso inductivo: si A (n) es verdadera, entonces A (n + 1) es verdadera para

todo número natural n > n0 ;
entonces A (n) es una proposición verdadera para todo número natural n > n0 .
Tampoco vamos a presentar la demostración de este teorema. Más bien, ilustre-

mos su utilización en los siguientes ejemplos, varios de los cuales son teoremas que
utilizaremos con frecuencia.
Ejemplos: Inducción matemática general
1. Demostremos que la proposición

0n = 0
para todo número natural n tal que n ≥ 1.

Observemos que esta proposición es falsa si n = 0. En efecto, por la definición
de potencia de exponente natural, tenemos que
00 = 1.
Vamos a utilizar el teorema de inducción matemática general; en este caso, n0 =

1.
i. Base de la inducción: la proposición
01 = 0
es verdadera por el teorema: a1 = a para todo número real a (demostrado en

los ejercicios de potencia de exponente natural).
ii. Paso inductivo: supongamos que n > 1 y que
0n = 0
9 Notemos que se ha utilizado una nueva notación para representar un número real: n0 . El 0 en
este signo se denomina subíndice. La idea de esta notación es indicar que este es el “primer” número
de todos los números para los que una proposición es verdadera.

es verdadera; demostremos que también lo es
0n+1 = 0.
Esto es inmediato:
0n +1 = 0n · 0
= 0.
Como se puede ver, en este caso, por el teorema de la multiplicación por 0 y

la definición de potencia de exponente natural son suficientes para demostrar
la tesis de inducción (no fue necesario utilizar la hipótesis de inducción).
2. En la sección anterior, probamos que la resta no es una operación cerrada en N. En

este ejemplo y en el siguiente, y con la ayuda del teorema de inducción matemática
general, vamos a determinar las propiedades de la resta en relación a este tema de
la clausura.
Supongamos que m ∈ N. Demostremos que la proposición
n−m ∈ N
para todo número natural n tal que n > m.

En este caso, la proposición A (n) es n − m ∈ N. Vamos a probar que A (n) es
verdadera para todo n > m; es decir, n0 = m.
i. Base de la inducción: la proposición A (m) es
m − m ∈ N.
Es verdadera porque m − m = 0 y 0 ∈ N.
ii. Paso inductivo: supongamos que n ∈ N tal que n ≥ m; la hipótesis de la
inducción es
n − m ∈ N.
Demostremos la tesis de la inducción:
(n + 1) − m ∈ N.
Esto es sencillo, si antes demostramos que
(n + 1) − m = (n − m) + 1, (1.21)
lo que se logra mediante los axiomas y teoremas de cuerpo y se deja como

ejercicio.
Por tanto, por la hipótesis de inducción, tenemos que n − m ∈ N; luego,
(n − m) + 1 ∈ N,
por que N es un conjunto sucesor (véase el teorema 1.23 en la página 48). Así,

de (1.21) y el axioma de sustitución, concluimos que
(n + 1) − m ∈ N.
En resumen, hemos demostrado que
la resta de dos números naturales sí puede ser un número natural: si

n ≥ m, entonces n − m ∈ N.
3. Este ejemplo es una continuación del anterior. Si m ∈ N, nos sospechamos que

n − m 6∈ N si n < m. Probemos que nuestras sospechas están justificadas.
En primer lugar, tenemos que
n − m = −(m − n). (1.22)
Y, como m > n, por el ejemplo anterior, m − n ∈ N; luego
−(m − n) 6∈ N,
porque m − n 6= 0 y el teorema 1.25 (véase la página 50). Por tanto, por el axioma
de sustitución, de (1.22), concluimos que
n − m 6∈ N.
En resumen, hemos demostrado que
la resta de dos números naturales no siempre es un número natural: si

n < m, entonces n − m 6∈ N.
Lo que nos han mostrado este ejemplo y el anterior es que la resta de dos nú-
meros naturales siempre es un número entero, lo que permite mostrar también que
la resta es una operación cerrada en Z (demostración que se deja a cargo de las
lectores y los lectores).
4. Con el teorema de inducción matemática general, probemos el teorema que lo lla-

maremos cociente de potencias de igual base: dados el número real a 6= 0 y n ∈ N, la
proposición
am
am−n = n (1.23)
a
es verdadera para todo número natural m tal que m > n.
En primer lugar, notemos que am−n sí “está definido” porque m − n ∈ N para
cada m > n, como probamos en una de los ejemplos anteriores.
En este caso, la proposición A (n) es (1.23).
an
an−n =
an

es verdadera, porque
an
a n − n = a0 , a0 = 1, = 1.
an
ii. Paso inductivo: supongamos que m ∈ N tal que m ≥ n. La hipótesis de induc-

ción es
am
am−n = n .
a
Demostremos que la tesis de inducción es verdadera:
a m +1
a(m+1)−n = .
an
Para ello, recurriremos a los siguientes teoremas de cuerpo:

T1 : (x + y) − z = (x − z) + y.
x x·z
T2 : Si y 6= 0, entonces · z = .
y y
Tenemos que:
a(m+1)−n = a(m−n)+1
= am−n · a
am
= n ·a
a
am · a
=
an
a m +1
= .
an
Las justificaciones: el teorema T1 con x = m, y = n y z = 1; la definición

de potencia de exponente natural; la hipótesis de inducción; el teorema T2 con
x = am , y = an y z = a; y, por último, la definición de potencia de exponente
natural.
5. En este ejemplo, también probemos un teorema sobre el cociente de potencias de igual

base, pero a diferencia del ejemplo anterior, ahora supondremos que m < n.
Para ello, vamos a utilizar el siguiente teorema de cuerpo sobre el inverso adi-
tivo de la división entre dos números:
si x 6= 0 y y 6= 0, entonces
Å ã−1
x y
= . (1.24)
y x
Supongamos que a 6= 0, m ∈ N y n ∈ N tales que m < n. Entonces, del ejemplo

anterior, tenemos que
an
= an−m ,
am

ya que n > m. Luego, de esta igualdad, por el teorema (1.24), deducimos que
am −1
n
= an−m ,
a
de donde, concluimos que
am 1
= n−m .
an a
6. Mediante el teorema de inducción matemática, se demuestra que la proposición
a n an
= (1.25)
b bn
es verdadera para todo n ∈ N.
La demostración se deja como ejercicio propuesto.
Demostración.
a 0 a0
=
b b0
se deduce de la proposición x0 = 1.
ii. Paso inductivo: si n ∈ N y es verdadera la proposición
a n an
= ,
b bn
entonces
a n +1 a n a
= ·
b b b
an a
= ·
bn b
an · a
=
bn · b
a n +1
= .
b n +1
7. Como habíamos mencionado en la sección anterior, podemos explicar por qué se

elige definir a0 igual a 1.
Del teorema del cociente de dos potencias de igual base, tenemos que
am
am−m = .
am
Como m − m = 0, resulta que
am
a0 = . (1.26)
am
Y hemos demostrado que
x
=1
x

para cualquier número real x 6= 0; por tanto,
am
= 1.
am
Luego, si no hubiéramos definido a0 = 1, entonces la proposición (1.26) sería falsa.
8. Sin utilizar el teorema de inducción matemática, demuestre que si a 6= 0, la propo-

sición
−1 Ä −1 än
an = a

Esta proposición afirma que el inverso multiplicativo de an es igual a la poten-
cia de base el inverso multiplicativo de a y cuyo exponente es n.
Demostración. Supongamos que n ∈ N. Para demostrar que

−1 än
= a −1
Ä
an (1.27)
es verdadera, vamos a demostrar que

än
a n · a −1 = 1
Ä
es verdadera; luego, de esta proposición y la unicidad del inverso multiplicativo,

podremos concluir que la proposición (1.27) es verdadera.
Procedamos de la siguiente manera:
än Ä än
a n · a −1 = a · a −1
Ä
= (1)n
= 1.
Las justificaciones: el teorema del producto de potencias de igual base; el axioma

existencia del inverso multiplicativo; y el teorema pontencia de 1.
9. Demuestre mediante inducción la proposición del ejemplo anterior. Su demostración

se deja como ejercicio.
Observemos que la propiedad sobre la división de potencias de igual base ha

sido tratada en dos casos. ¿Por qué no podemos hacerlo en uno solo? Sencillamente
porque si m < n, escribir
am
= am−n (1.28)
an
es un error10 , ya que m − n 6∈ N y no hemos definido el concepto de potencia de un
exponente que no sea un número natural.
Por otra parte, m − n 6∈ N, por lo que la igualdad (1.28) nos sirve de idea clave
para extender la definición de potencia a exponentes enteros.
10 Por esta razón, hemos pintado la igualdad de color rojo.

En efecto, si ya estuviera definida la potencia de exponente entero, la proposición
(1.28) sería verdadera para todo par de números naturales m y n. En particular,
sería verdadera para m = 0:
a0
= a 0− n ;
an
luego, ya que a0 = 1 y 0 − n = −n, tendríamos que
1
a−n = o a−n = (an )−1 .
an
Y es así cómo vamos a proceder.
D EFINICIÓN 1.9 (Potencia de exponente entero)

Sea a ∈ R tal que a 6= 0.
1. Si n ∈ N, se define la potencia de base a y con exponente −n como el inverso

multiplicativo de an . A este número se lo representa por a−n ; luego,
a−n = (an )−1
o, lo que lo mismo,
1
a−n = .
an
2. Si m ∈ Z tal que m ∈ N, entonces am viene dado por la definición de potencia
de exponente natural.
3. Si m ∈ Z tal que m 6∈ N, se define la potencia de base a y exponente m como

a−k , donde m = −k y k ∈ N. A este número representaremos por am . Es decir,
am = a−k .
Debe estar claro que de esta definición y la de número entero, está ya definido
el símbolo a x para todo x ∈ Z.
Por otra parte, con la definición 1.9, la proposición (1.28) es verdadera también
para m < n. En resumen, hemos demostrado la siguiente proposición a la que
denominaremos cociente entre potencias de igual base:
Dado a 6= 0, la proposición
am
am−n =
an
es verdadera para todo par de números naturales m y n.
Con la definición de potencia de exponente entero, podemos extender varios

de los teoremas sobre potencia de exponente natural. Su demostraciones quedan
como ejercicios; se insta a que las lectores y lectores realicen estas demostraciones
por sí mismas; podrán ver lo instructivas que son.

T EOREMA 1.34 (Potencias de exponente entero).
Para todo m ∈ Z, todo n ∈ Z, todo a 6= 0 y todo b 6= 0, las siguientes proposiciones
son verdaderas:
1. 0n = 0 si n 6= 0. 5. an · bn = (a · b)n .
2. 1n = 1.
an a n
6. = .
3. am+n = am · an si a 6= 0. bn b
am
4. am−n = . 7. (an )−1 = a−n .
an
Ninguna de las demostraciones requiere de inducción matemática.

Debe estar claro que ninguno de estos teoremas se han demostrado previamen-
te: lo que se ha hecho es deducir proposiciones “con la misma forma”, pero para m
y n elementos de N.
La proposición división de potencias de base igual para los números naturales fue
demostrada utilizando inducción matemática. Dicha proposición puede probarse
sin recurrir inducción matemática mediante la proposición producto de potencia de
base igual para los enteros y el teorema inverso multiplicativo de la potencia de exponente
natural. Los detalles se deja como ejercicio.
Vamos a cerrar este capítulo con varios ejemplos de propiedades sobre poten-
cias y las relaciones de orden las que, en su mayoría, se deducen mediante induc-
ción matemática.
Ejemplos: Orden, potencias e inducción matemática
1. Si a > 1, la proposición
an > a
es verdadera para todo número natural n > 2.
Demostración.
a2 > a
se deduce de
a>1 y a>0
por la propiedad multiplicativa de la relación mayor que.

ii. Paso inductivo: supongamos que n ≥ 2; la hipótesis de la inducción es
an > a
y la tesis de inducción,
an+1 > a;

deduzcámosla.
[a]: Como a > 0, de la hipótesis de inducción y la propiedad multiplicativa,
tenemos que
a n · a > a2 .
[b]: De [a] y la definición de potencia de exponente natural, resulta que
a n +1 > a 2 .
[c]: De [b], la base de la inducción y la propiedad transitiva de la relación

mayor que, concluimos que
an+1 > a.
2. Si a > 0, la proposición
an > 0
Demostración.
a1 > 0
es verdadera ya que a1 = a y a > 0.

ii. Paso inductivo: supongamos que n > 1. La hipótesis de inducción es
an > 0.
La tesis de inducción,
an+1 > 0,
se deduce de la hipótesis de inducción, de a > 0, la clausura de los núme-

ros positivos para la multiplicación y la definición de potencia de exponente
natural.
3. Si a > 0 y a < 1, la proposición

an < a
es verdadera para todo número natural n ≥ 2.

4. Si a > 0, b > 0 y a < b, la proposición
an < bn

Demostración. La proposición de la base de la inducción es
a2 < b2 ;
es verdadera como se demostró en los ejemplos de la relación de cuadrado y raíz

cuadrada.
Si n > 2, la hipótesis de la inducción es
an < bn .
Se deduce la tesis de la inducción,
a n +1 0, de la hipótesis de inducción, tenemos que
an · a < bn · a;
es decir, obteneos que

an+1 < bn · a. (1.29)
Por otra parte, de a 0 (como se demostró en el ejemplo

anterior), tenemos que
bn · a < bn · b,
de donde, junto con (1.29) y la distributiva de la relación menor que, resulta
an+1 < bn · b,
de donde, por la definición de potencia de exponente entero, concluimos que
a n +1 0, b > 0, n ∈ N tal que n ≥ 2 y an < bn , entonces a < b.
Demostración. Razonemos por reducción al absurdo. Para ello, supongamos que
a > b.
Si a = b, entonces an = bn (porque an = an y el axioma de sustitución), lo que

contradice a an < bn por la Tricotomía.
Si a > b, por el ejercicio anterior, an > bn (ya que a > 0 y b > 0), proposición
que también contradice a an < bn .
En conclusión, la proposición a 1 y n ∈ N, la proposición
am > an

es verdadera para todo m > n.
Demostración. Aunque esta proposición se puede deducir mediante el método de

inducción, podemos hacerlo de otra manera.
En efecto, si m = n + 1, entonces
a m = a n +1 ,
de donde
a n +1 > a n ,
ya que a > 1, an > 0, la propiedad multiplicativa de la relación mayor que y la

definición de potencia de exponente natural.
Si m = n + 2, entonces
a m = a n · a2 .
Como a > 1, hemos probado en un ejemplo anterior que a2 > 1, de donde,

como an > 0, concluimos que
a n · a2 > a n ;
es decir, am > an .
Finalmente, supongamos que m > n + 2. En primer lugar, de a > 1, como
an > 0, tenemos que
a n +1 > a n . (1.30)
En segundo lugar, de m > n + 2, tenemos m − n > 2; y de aquí, m − n − 1 > 1.

Dado que m − n − 1 ∈ N y a > 1, del ejemplo 1, colegimos que
a m − n −1 > 1
pues a > 1. De esta proposición y (1.30), obtenemos
a n +1 · a m − n −1 > a n ,

am > an ,
ya que (n + 1) + (m − n − 1) = m.
7. Si a > 1, m ∈ N y n ∈ N tales que am > an , entonces m > n.

8. Si a > 0, a < 1 y n ∈ N, la proposición
am < an
para todo m > n.

9. Si a < −1, la proposición

a2n > − a

10. Si a < −1, la proposición

a2n+1 < a
para todo número natural n > 1.

11. La proposición
n < 2n

12. Si a > 0, el inverso multiplicativo de la raíz cuadrada de a es la raíz cuadrada del

inverso multiplicativo de a.
13. Si a > 0 y b > 0, la raíz cuadrada del producto de a y b es igual al producto de las
raíces de a y de b.
14. Si a > 0 y a < b, entonces a2 < ab y ab < b2 .

√ √
15. Si a > 0 y a < b, entonces a < ab y ab < b.
1.7 Ejercicios con solución

1. Se presenta la demostración de la Propiedad multiplicativa de la igualdad:
Si a ∈ R, b ∈ R y c ∈ R, la proposición
a = b ⇒ c·a = c·b
es verdadera.
i. a = b
ii. c · a = c · a
iii. c · a = c · b
Justifique cada paso de la demostración.
Justificaciones.
i. Se supone verdadera a = b; se debe deducir c · a = c · b.

ii. Por la propiedad reflexiva de la igualdad.

iii. Por el axioma de sustitución aplicado a i. y ii.
2. Una deducción del teorema
a = b si y solo si a − c = b − c
es la siguiente:
a = b ≡ a + (−c) = b + (−c)
≡ a − c = b − c;
por tanto,
a = b ≡ a − c = b − c.
Justifique cada una de las equivalencias lógicas.
Justificaciones. Las razones para la validez de las primeras dos equivalecias, respec-
tivamente son:
i. La equivalencia lógica expresa las propiedades aditiva y cancelativa (para la

suma) de la igualdad.
ii. De i., la definición de resta.
La última equivalencia lógica es la aplicación reiterada entre las equivalencias ante-

riores de la transitiva de la equivalencia lógica.
−(a − b) = b − a
es la siguiente:
−(a − b) = (−1) · (a + (−b))

= (−1) · (−b) + (−1) · a
= b + (− a)
= b − a;
por tanto,
−(a − b) = b − a.
Justifique cada paso.
Demostración. Las razones para cada igualdad son, respectivamente:
i. Teorema presentado en el ejemplo 5 de las Notas de clase en la página 21.

ii. De i., por las propiedades distributiva y conmutativa de la suma.
iii. De ii., por la ley de signos para la multiplicación y otra vez el teorema 5 de las
Notas de clase.

iv. De iii., por la definición de resta.
La última igualdad se obtiene por la aplicación reiterada de la propiedad transitiva

de la igualdad a las igualdades anteriores.
a · (b − c) = a · b − a · c
es la siguiente:
a · (b − c) = a · (b + (−c))
= a · b + a · (−c)
= a · b + (−(a · c))
= a · b − a · c;
por tanto,
a · (b − c) = a · b − a · c.
Demostración. Las razones para las igualdades son, respectivamente:
i. La definición de resta.
ii. De i., por la propiedad distributiva.
iii. De ii., por la ley de signos para la multiplicación.
iv. De ii., por la definición de resta.
La última igualdad se obtiene por la aplicación reiterada de la transitiva de la igualdad

a las igualdades anteriores.
5. Se presenta una deducción del teorema:
Si a · b = 0, entonces a = 0 o b = 0.
i. a 6= 0
ii. a−1 · (a · b) = a−1 · 0
iii. (a−1 · a) · b = 0
iv. 1 · b = 0
v. b = 0.
Justificaciones.
i. Se supone verdadera a 6= 0 con el propósito de demostrar que b = 0, por la

tautología implicación-disyunción.

ii. De a · b = 0, de i. y la existencia del inverso multiplicativo y la multiplicativa de la
igualdad.
iii. De ii., por la asociativa de la multiplicación y la multiplicación por 0.
iv. De iii., por la existencia del inverso multiplicativo.
v. De iv., por la existencia de 1.
Si a 6= 0, entonces (a−1 )−1 = a
es la siguiente:
i. a · a−1 = 1
ii. (a−1 )−1 = a.
Justificaciones.
i. De a 6= 0, por la existencia del inverso multiplicativo.

ii. De i., por unicidad del inverso multiplicativo.
7. Demuestre el siguiente teorema:
Dados los números reales a y b, existe un único número real c tal

que
a + c = b.
Demostración. Por la definición de resta, el c “buscado” es
b − a,
ya que, por las propiedades conmutativa y asociativa de la suma, y por la existencia del
neutro aditivo, tenemos que:
a + (b − a) = a + ((− a) + b)
= (a + (− a)) + b
= b.
La unicidad de c se deduce de las propiedades transitiva de la igualdad y de la cance-

lativa de la suma. En efecto, si d es un número tal que
a + d = b,
entonces a + d = a + c, de donde, d = c.
Este teorema se puede expresar también de la siguiente manera:

De
a + c = b,
se obtiene
c = b − a.
Si b y d son distintos de 0, entonces

a c a·c
· =
b d b·d
es la siguiente:
a c
· = (a · b−1 ) · (c · d−1 )
b d
= (a · c) · (b−1 · d−1 )
= (a · c) · (b · d)−1
a·c
= ;
b·d
por tanto,
a c a·c
· = .
b d b·d
Justificaciones. Las razones para la primera igualdad y, luego, para “pasar” de una
igualdad a otra son, respectivamente:
i. Definición de división, ya que b y d son diferentes de 0.

ii. De i., por las propiedades asociativa y conmutativa de la multiplicación.
iii. De ii., por el teorema 8 en esta lista de ejercicios, ya que b · d 6= 0 puesto que b y
d son distintos de 0.
iv. De iii., por la definición de división ya que b · d 6= 0.
La última igualdad es una aplicación reiterada de la propiedad transitiva de la igualdad

a las igualdades obtenidas en cada uno de los pasos.
9. Demuestre el siguiente teorema:
Dados los números reales a y b, si a 6= 0, existe un único número

real c tal que
a · c = b.
Demostración. Por la definición de división, ya que a 6= 0, el c “buscado” es
b
,
a

ya que, por las propiedades conmutativa y asociativa del producto, y por la existencia
del neutro multiplicativo, tenemos que:
b
a· = a · (b · a−1 )
a
= (a · a−1 ) · b
= b.
La unicidad de c se deduce de las propiedades transitiva de la igualdad y de la cance-

lativa del producto. En efecto, si d es un número tal que
a · d = b,
entonces a · d = a · c, de donde, d = c, ya que a 6= 0.
Este teorema se puede expresar también de la siguiente manera:
Si a 6= 0, de
a · c = b,
se obtiene
b
c= .
a
10. ¿Es válida
(a + b) · (a − b) ≡ a = −b ∨ a = b?
Respuesta. La pregunta plantea un problema falso y, por tanto, no cabe responderla.

En efecto, la expresión que está a la izquierda del signo de la equivalencia lógica no
representa una proposición sino un número real.
Si a = b y c > d, entonces c + a > d + b
utiliza la siguiente propiedad que se deduce de los axiomas de cuerpo:
x − y = (x + z) − (y + z). (1.31)
La deducción es la siguiente:
i. c − d > 0
ii. c − d = (c + a) − (d + a)
iii. c − d = (c + a) − (d + b)
iv. (c + a) − (d + b) > 0
v. c + a > d + b.

Justificaciones.
i. De c > d y la definición de la relación mayor que.

ii. La proposición (1.31), donde x = c, y = d y z = a.
iii. De ii., a = b y el axioma de sustitución.
iv. De i., iii. y el axioma de sustitución.
v. De iv., por la definición de la relación mayor que.
Si a < b, entonces a − c < b − c
es la siguiente:
i. a + (−c) b y b > 0, entonces a−1 < b−1
es la siguiente:
i. b−1 > 0
ii. a · b−1 > 1
iii. a−1 · (a · b−1 ) > a−1
iv. b−1 > a−1
v. a−1 < b−1 .
Justificaciones.
i. De b > 0, por el teorema del signo del inverso multiplicativo (teorema 1.16).
ii. De i., a > b, la propiedad multiplicativa de la relación mayor que, b 6= 0 (por
que b > 0 y la Tricotomía), la existencia del inverso multiplicativo de b y el
axioma de sustitución.
iii. De ii., por la propiedad multiplicativa de la relación mayor que, pues a−1 > 0
ya que a > 0 (por la propiedad transitiva de la relación mayor que dado que
a > b y b > 0), por la existencia del inverso multiplicativo de a (pues a 6= 0, por
la Tricotomía), la existencia de 1 y el axioma de sustitución.

iv. De iii., por la propiedad asociativa del producto, la existencia del inverso mul-
tiplicativo de a y el axioma de sustitución.
v. De iv., por la definición de la relación menor que.
Si a < b, c < d, b < 0 y d < 0, entonces
c d
<
a b
es la siguiente:
i. b−1 > a−1

ii. d > c
iii. d · b−1 > c · a−1
c d
iv. < .
a b
Justificaciones.
i. De a < b, b < 0 y el ejercicio 17 en esta lista.

ii. De c < d, por la definición de la relación menor que.
iii. De i., ii., por el ejercicio 16.
iv. De iii., por la definición de división (ya que a y b son distintos de 0 por la
Tricotomía) y la definición de menor que.
15. Mediante reducción al absurdo, demuestre que la proposición
Si a · b > 0, entonces a 6= 0 y b 6= 0
es verdadera.
Demostración. Supongamos que a · b > 0. Para demostrar que a 6= 0 y b 6= 0, supon-

gamos lo contrario; es decir, supongamos que a = 0 o b = 0.
Si a = 0, por el teorema de la multiplicación por 0, tendríamos que a · b = 0, lo
que es imposible por la Tricotomía, ya que a · b > 0.
Un razonamiento similar descarta la posibilidad de que b = 0.
16. Un deducción de la proposición
Si a · b > 0 y a < 0, entonces b < 0
es la siguiente:
i. a−1 < 0
ii. a−1 · (a · b) < 0

iii. b < 0.
Demostración.
i. De a < 0, por el teorema 1.16.

ii. De a · b > 0, i., por la propiedad multiplicativa de la relación mayor que, el
teorema de la multiplicación por 0 y el axioma de sustitución.
iii. De ii., por la propiedad asociativa del producto, la existencia del inverso multi-
plicativo de a (ya que a 6= 0 por la Tricotomía), la existencia de 1 y el axioma de
sustitución.
Si a · b > 0, entonces a > 0 y b > 0, o bien a < 0 y b < 0
es la siguiente:
i. a 6= 0
ii. a > 0
iii. b > 0.
iv. a < 0
v. b < 0.
Justificaciones.
i. De a · b > 0, por el ejercicio 15 de esta lista.

ii. De i., por la Tricotomía, una opción para a.
iii. De ii., a · b > 0, por el ejercicio 19 de esta lista. Así, a > 0 y b > 0.
iv. De i., por la Tricotomía, otra opción para a.
v. De iv., a · b > 0, por el ejercicio 16 de esta lista. Así, a < 0 y b < 0.
18. En la siguiente deducción de la proposición
Si a · b < 0, entonces a > 0 y b < 0, o bien a < 0 y b > 0
los pasos iii. y vii. se utilizan para dos deducciones por reducción al absur-
do:
i. a 6= 0 v. b < 0.
ii. a > 0 vi. a < 0
iii. b > 0 vii. b < 0
iv. a · b > 0 viii. a · b > 0

ix. b > 0.
Justificaciones.
i. De a · b < 0, por el ejercicio 18 en esta lista.

ii. De i., por la Tricotomía, es una opción para a.
iii. Se razona por reducción al absurdo, por lo que se supone lo contrario de b < 0,
ya que b 6= 0 (de a · b < 0 y el ejercicio 18 en esta lista).
iv. De ii., iii., por la clausura de los números positivos.
v. Porque iv. contradice la hipótesis a · b < 0, por lo que se descarta b > 0.
vi. De i., por la Tricotomía, es otra opción para a.
vii. Se razona por reducción al absurdo, por lo que se supone lo contrario de b > 0,
ya que b 6= 0. Así, se concluye que a > 0 y b < 0.
viii. De vi., vii., por el ejercicio 3 en la página 28 de las Notas de clase.
ix. Porque viii. contradice la hipótesis a · b < 0, por lo que se descarra b < 0. Así
se concluye a < 0 y b > 0.
19. 02 = 0 y 12 = 1. ¿Hay otros números con esta propiedad? Es decir, ¿existe un

número real x, distinto de 0 y distinto de 1, tal que
x2 = x?
Para responder esta pregunta, supongamos que sí existe tal número x; por
tanto, la proposición
x2 = x (1.32)
es verdadera.
De los axiomas de cuerpo, se deduce la siguiente proposición para cual-
quier par de números reales a y b:
a = b si y solo si a − b = 0.
Así, con la ayuda de este teorema, de (1.32), tenemos
x2 − x = 0;
luego, como x2 = x · x y x = x · 1, por el axioma de sustitución, colegimos
x · x − x · 1 = 0,
de donde, por la propiedad distributiva, obtenemos
x · (x − 1) = 0.

Así, deducimos
x = 0 ∨ x = 1.
Es decir, si (1.32) es verdadera, necesariamente x = 0 o x = 1. Por tanto, ahora

ya podemos asegurar que los únicos números cuyo cuadrado es el mismo
número son el 0 y el 1. Y, la respuesta a la pregunta, es: “No, no hay más
números aparte de 0 y 1 cuyo cuadrado sea el mismo número”.

√ √
si a > 0, entonces a· a = a:
i. De la definición de cuadrado de un número, se tiene

√ √ √ 2
a· a= a .
ii. De a > 0 y el axioma de completitud, se tiene

√ 2
a= a .
iii. De i., ii., por la propiedad transitiva de la igualdad, se concluye

√ √
a· a = a.
Si a2 = b2 , entonces a = b o a = −b.
Para esta deducción, haremos uso del siguiente teorema, que se deduce
de los axiomas y teoremas de cuerpo:
x2 − y2 = (x − y) · (x + y). (1.33)
Esta proposición lleva el nombre de diferencia de cuadrados. En el siguiente

capítulo de este curso, deduciremos este teorema.
i. De a2 = b2 , por el ejercicio 1 de la lista de ejercicios con solución, tenemos
a2 − b2 = 0.
ii. De i., por la diferencia de cuadrados y el axioma de sustitución, obtenemos
(a − b) · (a + b) = 0.
iii. De ii., por el teorema (citar de una lista), tenemos
a−b = 0 o a + b = 0.

iv. De iii., por el teorema del por el ejercicio 1 de la lista de ejercicios con
solución, la unicidad del inverso aditivo y el axioma de sustitución, con-
cluimos que
a = b o a = −b.
Si a2 = b2 , a < 0 y b < 0, entonces a = b.
i. De a2 = b2 y el ejercicio 3 de la lista de ejercicios con solución, tenemos

que
a = b o a = −b.
ii. De a < 0 y b < 0, por la Tricotomía, la proposición
a = −b
es falsa, por que −b > 0.

a = b.

√ √
Si a > 0 y a = b, a= b.
Es inmediato: de
√ √
a= a
y a = b, por el axioma de sustitución, concluimos

√ √
a= b.
√
El uso de la hipótesis a > 0 está implícita en la existencia de a. A menu-
do, omitiremos esta explicación.

√
Si a > 0, a2 = a.
La deducción es inmediata, pero sutil. Recordemos que si x > 0, por el

axioma de completitud, si b > 0 tal que
b2 = x,
√
entonces b = x (b es único). Luego, ya que
a2 = a2

y a > 0, concluimos que
√
a= a2
(hemos tomado b = a y x = a2 ).
Si a > 0, b > 0 y a < b, entonces a2 < b2 .
i. De a < b, por la definición de menor que, tenemos
b > a.
ii. De i., a > 0, b > 0, por el ejercicio 6 de la lista de ejercicios propuestos

3-3, obtenemos
b2 > a2 .
iii. De ii., por la definición de menor que, concluimos
a2 < b2 .

√ √
Si a > 0, b > 0 y a > b, entonces a> b.
Razonemos por reducción al absurdo; es decir, supongamos que

√ √
a≯ b.
Por la Tricotomía, se tendría que

√ √ √ √
a= b o a< b.
√ √
i. Si a = b (por el teorema del ejercicio 5 de la lista de ejercicios con
solución 3-3, a = b, ya que a > b y la Tricotomía); pero esto es imposible.
√ √
ii. Si a < b, por el ejercicio 7 de la lista de ejercicios con solución, nos
da
√ 2 Ä√ ä2
a 0 y b > 0).
iii. De ii. y el axioma de completitud, por el axioma de sustitución, colegimos
a < b,
que contradice a a > b (por la Tricotomía).

√ √
En conclusión, a > b.

1.8 Ejercicios Propuestos
1. Restaure los paréntesis en la expresión
a · b + (c · f + g).
2. Elimine los paréntesis de modo que el número real resultante sea igual a
((a · b) + c) · d + ((a · (b · c)) + ((a + c) · d)).
3. Se presenta la demostración de la propiedad cancelativa de la igualdad res-

pecto de la suma:
La proposición
a+c = b+c ⇒ a = b
es verdadera.
i. a + c = b + c
ii. (a + c) + (−c) = (b + c) + (−c)
iii. a + (c + (−c)) = b + (c + (−c))
iv. a + 0 = b + 0
v. a = b
Si a = b y c = d, entonces a + c = b + d
es la siguiente:
i. a + c = b + c
ii. b + c = b + d
iii. a + c = b + d.
Justificada cada paso.
a − b = (a − c) − (b − c)
es la siguiente:
a − b = (a + 0) + (−b)

= (a + ((−c) + c)) + (−b)
= ((a + (−c)) + c) + (−b)
= (a − c) + ((−b) + c)
= (a − c) + (c − b)
= (a − c) − (b − c);
por tanto,
a − b = (a − c) − (b − c).
Si a = b y c = d, entonces a · c = b · d
se presenta a continuación:
i. a · c = b · c
ii. b · c = b · d
iii. a · c = b · d.
Si a y b son diferentes de 0, entonces a · b 6= 0
se muestra a continuación:
Deducción. La proposición
a · b = 0 ⇒ (a = 0 ∨ b = 0)
es verdadera; luego,
(a 6= 0 ∧ b 6= 0) ⇒ a · b = 0
también es verdadera, como se quería demostrar.
Justifique esta deducción.
Si a y b son diferentes de 0, entonces
(a · b)−1 = a−1 · b−1
es la siguiente:
i. b · (a · a−1 ) = b · 1
ii. (a · b) · a−1 = b

iii. ((a · b) · a−1 ) · b−1 = 1
iv. (a · b) · (a−1 · b−1 ) = 1
v. (a · b)−1 = a−1 · b−1 .

1
Si a 6= 0, entonces = a −1 .
a
1
i. = 1 · a −1
a
1
ii. = a −1
a
Si b 6= 0, entonces
a c a+c
+ =
b b b
es la siguiente:
a c
i. + = a · b −1 + c · b −1
b b
a c
ii. + = (a + c) · b−1
b b
a c a+c
iii. + = .
b b b
Justifique cada uno de los pasos.
Si b y c son diferentes de 0, entonces

a a·c
=
b b·c
es la siguiente:
a a c
i. = ·
b b c
a
ii. = (a · b−1 ) · (c · c−1 )
b
a
iii. = (a · c) · (b−1 · c−1 )
b
a
iv. = (a · c) · (b · c)−1
b
a a·c
v. = .
b b·c
Justifique cada uno de los pasos.

Si b y d son distintos de 0, entonces
a c a·d+b·c
+ =
b d b·d
es la siguiente:
a c a·d b·c
i. + = +
b d b·d b·d
a c a·d+b·c
ii. + = .
b d b·d
13. Demuestre que la proposición
−1 < 0
es verdadera.
Si a > b y c > d, entonces a + c > b + d
es la siguiente:
i. a + c > b + c
ii. b + c > b + d
iii. a + c > b + d.
Si a > b y c > d, entonces a − d > b − c
es la siguiente:
i. −c < −d
ii. −d > −c
iii. a + (−d) > b + (−c)
iv. a − d > b − c.
Si a > b, c > d, b > 0 y d > 0, entonces
a·c > b·d

es la siguiente:
i. c > 0
ii. a · c > b · c
iii. b · c > b · d
iv. a · c > b · d.
Si a 1
iii. a−1 · (a · b−1 ) < a−1
iv. b−1 < a−1 .
18. Mediante reducción al absurdo, demuestre que la proposición
Si a · b < 0, entonces a 6= 0 y b 6= 0
es verdadera.
19. Un deducción de la proposición
Si a · b > 0 y a > 0, entonces b > 0
es la siguiente:
i. a−1 · (a · b) > 0
ii. b > 0.
20. Utilice el ejercicio 7 de la Lista de ejercicios con solución en esta lista para
demostrar que la proposición
Si (x − a) · (x − b) > 0, entonces x > a y x > b, o bien x < a y x < b
es verdadera.
(− a)2 = a2 .

i. (− a)2 = (− a) · (− a)
ii. (− a) · (− a) = a · a
iii. (− a)2 = a2

√ √
22. 0 = 0 y 1 = 1. ¿Hay otros números que satisfacen esta propiedad? Dicho
de otro modo, ¿existe un número z, mayor que 0, pero distinto de 0 y distinto
de 1, tal que
√
z = z?
Si a2 = b2 , a > 0 y b > 0, entonces a = b.
Si a2 = b2 , a > 0 y b < 0, entonces a = −b.

√ √
Si a > 0, b > 0 y a= b, entonces a = b.
Si a > 0, b > 0 y a > b, entonces a2 > b2 .
i. a > 0
ii. b > 0
iii. a > b
iv. a + b > 0
v. a − b > 0
vi. (a + b) · (a − b) > 0
vii. a2 − b2 > 0
viii. a2 > b2
Si a < 0, b < a, entonces a2 < b2 .
i. a < 0
ii. b < a
iii. −b > − a
iv. − a > 0

v. −b > 0
vi. (−b)2 > (− a)2
vii. b2 > a2
viii. a2 < b2

√
Si a < 0, a2 = − a.
i. a < 0
ii. − a > 0
p
iii. (− a)2 = − a
√
iv. a2 = − a

Capítulo 2
Expresiones algebraicas
2.1 Introducción
En este capítulo, vamos a utilizar la teoría Números reales para estudiar herramien-
tas básicas de la Matemática que se utilizan en la “cotidianidad” de las aplicaciones,
tanto en las ingenierías como en la matemática misma. Estas herramientas se cono-
cen como algebraicas por su origen, pero no son más que teoremas provistos por la
teoría sobre los números reales que hemos venido estudiando en este curso. Esta es
la idea más importante que hay que tener en mente: estas herramientas algebraicas
se explican de manera completa mediante los números reales.
Con el fin de aprender la teoría de números reales, fuimos bastante estrictos
con la notación utilizada, a pesar de que en el uso frecuente nos tomamos ciertas
libertades que aligeran la comunicación de los razonamientos, la solución de los
problemas, pero que no comprometen la corrección de argumentos y soluciones.
Esto se logra porque, al introducir los denominados “abusos de notación”, quedan
siempre claro el significado de estos y los axiomas o teoremas que “validan” la
notación adoptada. A partir de este capítulo, haremos un uso frecuente de estos
“abusos”, pero sugerimos a las lectoras y lectores que, ante la presencia de estos
“abusos”, se identifiquen los axiomas o teoremas que los fundamentan.
Otra característica de este capítulo (y de los que seguirán) es la omisión fre-
cuente, en las justificaciones de las proposiciones que se deducirán, la mención a
varios axiomas y teoremas de los números reales. La mayoría de estas omisiones
tienen que ver con las propiedades conmutativa, asociativa, sustitución, transitivas, en-
tre otras. Una razón para ello es el hecho de que su uso permanente en esta primera
etapa de aprendizaje nos ha permitido tomar conciencia de que, si alguna de ellas
no estuviera presente en las teorías que estudiamos, muchos de los resultados que
nos resultan familiares (y que utilizamos todo el tiempo) no estarían disponibles,
no tendríamos la Matemática que requerimos.
Otra razón consiste en que, una vez asimiladas las propiedades fundamentales
de lo números reales, nos vamos a enfocar con mayor esfuerzo en los conceptos
nuevos. Por ello, en las mencionadas justificaciones deberán estar siempre presen-
104
tes teoremas sobre los nuevos conceptos; con ello, los interiorizaremos y formarán
parte de nuestro conocimiento, junto con las propiedades fundamentales que ya
hemos aprendido. Exceptuaremos lo anterior cuando el uso de una de las propie-
dades fundamentales sea crucial o no dé luces en los argumentos.
Para empezar, la primera notación que dejaremos de utilizar será el punto para
el producto; así, en lugar de escribir
a · b,
escribiremos
ab
(siempre que no se preste a confusión la omisión del punto).

La segunda notación que dejaremos de utilizar son varios de los paréntesis
cuando hay varias sumas o multiplicaciones. Por ejemplo, escribiremos
a+b+c+d y abcde
en lugar de
((a + b) + c) + d y (((ab)c)d)e,
respectivamente.
La tercera notación, y la última por ahora, consiste en que, en lugar de las dos
proposiciones
a < b y b < c,
escribiremos
a < b < c.
Notemos que esta última expresión encierra también una tercera proposición:
a < c,
por la transitiva de la relación menor que. Una notación similar será utilizada tam-
bién con las relaciones mayor que, menor o igual que y mayor o igual que.
A continuación, vamos a deducir varios teoremas sobre números reales que se
deducen, principalmente, de los axiomas de cuerpo y que son de uso frecuente
en la matemática “cotidiana”: en el planteamiento y resolución de ecuaciones e
inecuaciones. Mostraremos algunas de las deducciones de estos teoremas; las res-
tantes quedan como ejercicios para las lectoras y los lectores y, como siempre, se
recomienda con mucho énfasis a que las realicen por sí mismas y sí mismos. Parte
del aprendizaje no consiste en realizar “muchos” ejercicios sino, más bien, en rea-
lizar los ejercicios suficientes pero de manera autónoma. En este caso, siempre es
suficiente con un menor número de problemas a resolver que en el caso de una
resolución mecánica.

Ejemplos: Algunos teoremas de números reales
1. Distributiva general del producto respecto de la suma o factor común. La proposición
x(a + b + c + d) = xa + xb + xc + xd
es verdadera. No es difícil comprender el por qué del primer nombre.
Demostración. Recordemos que la expresión
a+b+c+d
no es más que una abreviación de
((a + b) + c) + d;
luego, tenemos que:
x(a + b + c + d) = x(((a + b) + c) + d)
= x((a + b) + c) + xd
= (x(a + b) + xc) + xd
= ((xa + xb) + xc) + xd
= xa + xb + xc + xd.
Como se puede ver, cada paso de esta deducción (excepto el último) no es más que
una aplicación de la propiedad distributiva del producto respecto de la suma; el
último, la abreviación introducida gracias a la propiedad asociativa de la suma.
Este procedimiento se puede aplicar para cualquier cantidad de números; por

ejemplo, se deduce de manera similar la proposición
a(r + s + t + u + v + w) = ar + as + at + au + av + aw.
Por otra parte, de esta última, gracias a la propiedad simétrica de la igualdad,

también es verdadera la proposición
ar + as + at + au + av + aw = a(r + s + t + u + v + w).
A esta proposición se le denomina Factor común y es bastante claro el por qué de

este nombre.
2. Con argumentos similares al ejemplo anterior, se deduce también la proposiciones
a(x − y + z + u − v) = ax − ay + az + au − av
y
ax − ay + az + au − av = a(x − y + z + u − v).

Los nombres dados a las proposiciones del ejemplo anterior se asignan a estas pro-
posiciones. La deducción de las proposiciones de este ejemplo queda de ejercicio.
3. Producto de la suma de dos números y su diferencia o diferencia de cuadrados. La propo-

sición
(x − y)(x + y) = x2 − y2
es verdadera.
El primero de los nombres se le da a esta proposición, la que suele ser parafra-
seada de la siguiente manera:
El producto de la diferencia de dos números y su suma es igual a la

diferencia de sus cuadrados.
Demostración. Tenemos que:
(x − y)(x + y) = (x − y)x + (x − y)y

= (x2 − yx) + (xy − y2 )
= x2 + (− xy + xy) − y2
= x 2 − y2 .
Las justificaciones son: 1) la propiedad distributiva del producto respecto de la su-

ma; 2) la propiedad distributiva del producto respecto de la resta; 3) las propieda-
des asociativa de la suma y conmutativa del producto; y, por último, 4) las existen-
cias del inverso aditivo y el 0.
Por la propiedad simétrica de la igualdad, también es verdadera la proposición
x2 − y2 = (x − y)(x + y).
Esta es la que lleva el nombre de diferencia de cuadrados.
4. El producto de las sumas de dos números con uno en común o trinomio de la forma x2 +
mx + n. La proposición
(x + a)(x + b) = x2 + (a + b)x + ab
es verdadera y lleva el primer nombre.
Demostración. Tenemos que:
(x + a)(x + b) = x(x + b) + a(x + b)

= (x2 + xb) + (ax + ab)
= x2 + (bx + ax) + ab
= x2 + (a + b)x + ab.
Las justificaciones son: 1) las dos primeras igualdades, por la propiedad distributiva
del producto respecto de la suma; 2) la tercera, por las propiedades asociativa de

la suma y conmutativa del producto; 3) la última, por la distributiva del producto
respecto de la suma y la conmutativa de la suma.
Una vez, por la propiedad simétrica de la igualdad, también es verdadera la

proposición
x2 + (a + b)x + ab = (x + a)(x + b).
Su nombre es, justamente, trinomio de la forma x2 + mx + n.
5. La siguiente proposición no es más que un caso particular de la anterior:
(x − a)(x − b) = x2 − (a + b)x + ab;
por tanto es verdadera, como se puede ver si, en el ejemplo anterior, se toman − a
y −b en lugar de a y b, respectivamente.
Demostración. En efecto,
(x − a)(x − b) = (x + (− a))(x + (−b))

= x2 + (− a + (−b))x + (− a)(−b)
= x2 + (− a − b)x + ab
= x2 − (a + b)x + ab.
Las justificaciones quedan de ejercicio.
6. El cuadrado de la suma de dos números o trinomio cuadrado perfecto. La proposición
(x + y)2 = x2 + 2xy + y2
es verdadera; su nombre es el primero y se parafrasea de la siguiente manera:
El cuadrado de la suma de dos números es igual a la suma de los cua-

drados de cada número y el doble producto de los números.
Demostración. Esta es un caso particular de la proposición el producto de las sumas de

dos números con uno en común. En efecto, luego de aplicar la definición del cuadrado
de un número, a y b se toman iguales a y:
(x + y)2 = (x + y)(x + y)
= x2 + (y + y)x + y2
= x2 + 2xy + y2 .
El resto de justificaciones quedan como ejercicio.
7. Un caso particular de la proposición anterior es la siguiente, a la que se le denomina

cuadrado de una diferencia:
(x − y)2 = x2 − 2xy + y2 .
La demostración (con las justificaciones correspondientes) se deja como ejercicio.

Debe estar claro que también es verdadera la proposición
x2 − 2xy + y2 = (x − y)2 ,
a la que se le puede llamar también trinomio cuadrado perfecto.
8. Cubo de la suma de dos números. La proposición
(x + y)3 = x3 + 3x2 y + 3xy2 + y3
es verdadera.
Demostración. Notemos que la primera igualdad no es más que la definición de

potencia con exponente natural; el resto de justificaciones se dejan como ejercicio:
(x + y)3 = (x + y)2 (x + y)
= (x2 + 2xy + y2 )(x + y)
= (x3 + x2 y) + (2x2 y + 2xy2 ) + (xy2 + y3 )
= x3 + (x2 y + 2x2 y) + (2xy2 + xy2 ) + y3
= x3 + 3x2 y + 3xy2 + y3 .
Se deduce también la siguiente proposición:
x3 + 3x2 y + 3xy2 + y3 = (x + y)3 .
9. La siguiente proposición es un caso particular de la anterior; se la puede llamar cubo

de una diferencia. Su demostración (junto con las justificaciones correspondientes)
queda de ejercicio:
(x − y)3 = x3 − 3x2 y + 3xy2 − y3 .
10. Diferencia de cubos. La proposición
x3 − y3 = (x − y)(x2 + xy + y2 ).
es verdadera.
Demostración. Gracias a la propiedad simétrica de la igualdad, en lugar de deducir

esta proposición, deduciremos
(x − y)(x2 + xy + y2 ) = x3 − y3
de la siguiente manera:
(x − y)(x2 + xy + y2 ) = (x3 + x2 y + xy2 ) − (x2 y + xy2 + y3 )

= x3 + (x2 y − x2 y) + (xy2 − xy2 ) − y3
= x 3 + 0 + 0 − y3
= x 3 − y3 .

Las justificaciones se dejan como ejercicio.
11. Suma de dos cubos. La proposición
x3 + y3 = (x + y)(x2 − xy + y2 )
es verdadera. Su deducción (junto con las justificaciones correspondientes) se deja

como ejercicio.
12. Es muy sencillo, deducir la proposición
Si b 6= 0 y ab = c, entonces
c
a= .
b
En efecto, de ab = c, tenemos
(ab)b−1 = cb−1 ;
luego,
c
a(bb−1 ) = ,
b
c
a= .
b
Supongamos que x 6= −y. Si aplicamos esta proposición a
(x − y)(x + y) = x2 − y2 ,
tenemos que también es verdadera la proposición
x 2 − y2
x−y =
x+y
y si x 6= y, la proposición
x 2 − y2
x+y = .
x−y
Por tanto, si x 6= y, también es verdadera la proposición
x 2 − y2
= x−y
x+y
y, si x 6= −y, es verdadera
x 2 − y2
= x + y.
x−y
13. De manera similar al ejemplo anterior, podemos deducir la proposición
x 3 − y3
= x2 + xy + y2
x−y

si x 6= y, y la proposición
x 3 + y3
= x2 − xy + y2
x+y
si x 6= −y.
Las deducciones de dejan como ejercicio.
2.2 Términos y factores

El 0 y el 1 son números reales; al igual que −1, 2, −2, 31 , etcétera. A estos números
les llamaremos también constantes, a diferencia de las letras minúsculas del alfabeto
español (o cualquier otro símbolo que utilicemos) que no son números reales sino
que los representan, a las que denominaremos variables de números reales.
Hay ciertas letras del español o de otros alfabetos que son constantes como π y
e (la base del logaritmo natural).
Empecemos por definir el concepto término.
D EFINICIÓN 2.1 (Término)

Un término se define recursivamente de la siguiente manera:
i. Toda constante es un término.
ii. Toda variable de número real es un término.
iii. Si τ y σ son términos, entonces τ · σ es un término.
iv. Si τ es un término que representa un número distinto de 0, entonces τ −1 es

un término.
√
v. Si τ es un término que representa un número mayor que 0, entonces τ es
un término.
vi. Una expresión es un término únicamente si se puede probar que es término

mediante la aplicación de las reglas anteriores.
Ejemplos: Término
1. Los números 0, 1, −2 son términos porque son constantes.
2. Las letras x, a, r son términos porque son variables de número real.
3. Si la letra del alfabeto griego α representa un número real, entonces α es un término

porque es una variable de número real.
4. La expresión 2x es un término porque 2 y x son términos.
5. Aunque 2 y x son términos, la expresión 2 + x no es un término porque no se

puede probar que lo es mediante una o varias de las reglas i.–v. de la definición de

término.
6. La expresión a2 es un término porque representa
a·a
que es un término, ya que a es un término (por la regla ii.) y a · a es un término (por

la regla iii.).
7. − a es un término porque, como − a = (−1) · a, −1 es una constante y a es una

variable de número real, entonces (−1) · a es un término (por la regla iii.).
8. La expresión − ab es un término porque a y b son términos (por ii.), ab y − ab tam-

bién son términos (por iii.).
√ √
9. 2 es un término porque 2 es un término (por i.) y 2 es un término ya que 2 > 0
(por v.).
1
10. es un término porque es una constante.
5
11. Si a ∈ R y b ∈ R tal que b 6= 0, entonces
a
b
es un término ya que
a
= ab−1
b
y a y b−1 son términos (por ii. y iv., respectivamente).
12. Si n ∈ N, entonces
an
es un término. Para mostrarlo, debemos utilizar Inducción matemática.

En efecto:
a0
es un término, porque a0 = 1 y 1 es un término ya que es una constante.

Supongamos que n ∈ N y que an es un término; demostremos que an+1 tam-
bién lo es.
De la definición de potencia de exponente natural, tenemos que
an+1 = an · a;
luego, an+1 es un término porque es igual al producto de dos términos: an (por la

hipótesis de inducción) y a (porque es una variable de número real).
13. Si a 6= 0 y n ∈ N, entonces
a−n
es un término ya que
−1
a−n = an
y an es un término.

14. Si a 6= 0 y m ∈ Z, entonces
am
es un término. ¿Por qué?
15. La expresión
2a2 bc3
,
ax2
donde a 6= 0 y x 6= 0, representa un término.
D EFINICIÓN 2.2 (Factor)

Si a y b son números reales, entonces a y b son factores del producto de a y b; es
decir, de
ab.
Mediante los conceptos de término y factor, podemos ver que los términos
son, fundamentalmente, multiplicaciones de expresiones que representan núme-
ros reales; es decir, los términos son “productos de factores”. Por ejemplo, dado el
término
3z2 b−2 ,
donde b 6= 0, son factores de este término:
3, z, z2 , b−1 b−2 .
Si c 6= 0, en el término
2ab
,
c
algunos de los factores son 2, a, b, c−1 (o 1c ), pero c no es un factor.
Hemos presentado estos conceptos no porque sean fundamentales de la Mate-
mática, sino porque se han acuñado en el lenguaje de la Matemática que se enseña
en la educación secundaria. En este sentido, también utilizaremos las palabras ex-
presión algebraica para designar un término o la suma de dos o más términos. Por
ejemplo,
2a, xy2 + 2xyz, ab − ac + ad − ae
son expresiones algebraicas (recordemos que la resta de dos números reales no es

más que la suma del primer número y el inverso aditivo del segundo).
2.3 La “descomposición en factores”

La enseñanza de la Matemática en la secundaria, en muchos países, aún emplea un
enfoque mecánico en cuanto al abordaje de las llamadas “expresiones algebraicas”
y de los conceptos asociados “operaciones algebraicas” y “polinomios”, principal-
mente. A pesar de que suele enseñarse la noción de número real (se presentan los

axiomas de cuerpo y orden), este conocimiento no es aprovechado para el apren-
dizaje de las “expresiones algebraicas”. En este contexto, aparece el ámbito de la
“descomposición en factores” como una colección de procedimientos (aparente-
mente ajenos a los números reales) para que una “expresión algebraica” sea expre-
sada como el producto de varios números (es decir, de varios “factores”). Algunos
de estos procedimientos mecánicos echan mano de los denominados “productos
notables” que, aunque no son más que teoremas de números reales, son presenta-
dos como leyes universales. La mayoría de estos teoremas los hemos deducido en el
capítulo anterior y en la primera sección de este.
En este curso, no vamos a replicar el enfoque señalado. Lo que haremos, en su
lugar, es aprender a utilizar los teoremas de los números reales, principalmente los
referidos en la primera sección y, sobre todo, vamos reforzar el aprendizaje de la
deducción de proposiciones que estamos aprendiendo desde el primer capítulo.
A través de los ejemplos, miremos la “descomposición de factores” a través de
los ojos de los números reales.
Ejemplos: “Descomposición de factores”
1. En la primera sección, dedujimos las proposiciones
(x − y)(x + y) = x2 − y2 y x2 − y2 = (x − y)(x + y).
Luego, por el axioma de sustitución, en cualquier proposición en la que aparezca

el número
x 2 − y2 ,
podremos sustituir este número por
(x − y)(x + y),
con lo que la proposición resultante de la sustitución tendrá el mismo valor de

verdad que la proposición en la que se hizo la sustitución.
Por ejemplo, en la proposición
(a2 − b2 )(a2 + b2 ) = 1, (2.1)
podemos sustituir a2 − b2 por (a − b)(a + b) y obtener la proposición
(a − b)(a + b)(a2 + b2 ) = 1,
que tiene el mismo valor de verdad que la proposición (2.1).
2. La proposición
x2 − y2 = (x − y)(x + y)
suele expresarse de la siguiente manera:

La descomposición en factores de la expresión algebraica
x 2 − y2
es
(x − y)(x + y).
Con esta terminología, podemos plantearnos el “problema”:
Descomponer en factores la expresión algebraica
a4 − b4 .
En este caso, el “procedimiento” para llevar a cabo esta “descomposición” es el

siguiente que, como se verá, no es más que el procedimiento de aplicar algunos
teoremas (y axiomas) de los números reales:
Ä ä2 Ä ä2
a4 − b4 = a2 − b2
= (a2 − b2 )(a2 + b2 );
es decir,
a4 − b4 = (a2 − b2 )(a2 + b2 ).
Dicho de otro modo, la descomposición en factores de la expresión algebraica
a4 − b4
es
(a2 − b2 )(a2 + b2 ).
Se ve fácilmente, que la tal “descomposición en factores” no es única. En efecto,

puesto que
a2 − b2 = (a − b)(a + b),
otra descomposición en factores de a4 − b4 es:
(a − b)(a + b)(a2 + b2 ).
3. ¿Cuál de las dos descomposiciones es mejor? Ninguna. La elección de una de ellas

sobre la otra depende simplemente de la situación concreta en la que se deba expre-
sar, por alguna razón, el número a4 − b4 como el producto de dos o más números.
Por esta razón, plantearnos la “descomposición en factores” de una expresión alge-
braica no es un problema importante ni al que le dedicaremos mucho tiempo. De
hecho, no dejaremos de expresarnos utilizando los conceptos de la teoría Números
reales (números, suma, producto), aunque alternemos con palabras como término,
factor, descomposición en factores, cuando faciliten la comunicación y, principalmente,
si facilitan la comprensión de un problema o su solución.
4. Utilicemos las proposiciones trinomio cuadrado perfecto para “descomponer en fac-

tores” números reales. Recordemos que estas proposiciones son:
x2 + 2xy + y2 = (x + y)2 y x2 − 2xy + y2 = (x − y)2 .
Por ejemplo, “descompongamos en factores” el número
a2 + 2ab2 + b4 .
Para ello, procedamos de la siguiente manera:

Ä ä2
a2 + 2ab2 + b4 = a2 + 2ab2 + b2
ä2
= a + b2 .
Ä
(En la segunda igualdad hemos aplicado la proposición trinomio cuadrado perfecto).

Por tanto, tenemos que
a2 + 2ab2 + b4 = (a + b2 )2 .
En general, cualquier número real de la forma
x2 + 2xy + y2
se denomina trinomio cuadrado perfectoa porque es igual al cuadrado de la suma de

dos números, como se indicó anteriormente.
5. Vamos a descomponer en factores el número
s4 + t4 .
Para ello, utilizaremos la descomposición de un trinomio cuadrado perfecto y la

diferencia de cuadrados, aunque esto no es evidente en primera instancia.
En efecto, vamos a utilizar las proposiciones
x2 − y2 = (x − y)(x + y) y x2 − 2xy + y2 = (x − y)2 .
Con este propósito, también vamos a utilizar la proposición
x + y = (x + c) + (−c + y),
la misma que se deduce fácilmente de los axiomas de cuerpo (y, como siempre, se
recomienda a las lectoras y lectores que realicen esa demostración).
El número
s4 + t4
no se ajusta a un trinomio cuadrado perfecto; sin embargo, utilicemos el último teore-

ma mencionado con c igual a
2s2 t2 .

Así, obtenemos la proposición
s4 + t4 = (s4 + 2s2 t2 ) + (−2s2 t2 + t4 ).
¿Por qué elegimos c de esta manera? Porque al aplicar las propiedades asociativa y
conmutativa de la suma en el lado derecho de esta última proposición, obtenemos
un trinomio cuadrado perfecto:
(s4 + 2s2 t2 ) + (−2s2 t2 + t4 ) = (s4 + 2s2 t2 + t4 ) − 2s2 t2 .
(A este procedimiento se le denomina completación del trinomio cuadrado perfecto por

obvias razones).
En resumen, hemos obtenido lo siguiente:
s4 + t4 = (s4 + 2s2 t2 + t4 ) − 2s2 t2 .
Y, como se verá inmediatamente, con ayuda de las proposiciones trinomio cuadrado

perfecto y diferencia de cuadrados (en este orden), concluimos:
s4 + t4 = (s4 + 2s2 t2 + t4 ) − 2s2 t2

Ä ä2 Ä ä2 Ä√ ä2
= s2 + 2s2 t2 + t2 − 2st
ä2 Ä√ ä2
= s2 + t2 −
Ä
2st
√ äÄ √ ä
= (s2 + t2 ) − 2st (s2 + t2 ) + 2st ;
Ä
es decir,
√ äÄ √ ä
s4 + t4 = s2 + t2 − 2st s2 + t2 + 2st .
Ä
6. ¿Se puede aplicar la diferencia de cuadrados al número
a − b?
Si a ≥ 0 y b ≥ 0, sí se puede. En efecto, por la definición de raíz cuadrada (y el

axioma de completitud), se colige que
√ 2 Ä√ ä2
a= a y b= b ;
de donde, tenemos que
√ 2 Ä√ ä2
a−b = a − b
Ä√ √ ä Ä√ √ ä
= a− b a+ b ;
por tanto, Ä√ √ ä Ä√ √ ä
a−b = a− b a+ b .
Si a < 0 o b < 0, no están definidas las raíces cuadradas de a o de b, por lo que

a o b no son cuadrados de ningún número real. Así, en estos casos, no se puede
aplicar la diferencia de cuadrados.

7. Otra proposición que utilizaremos con frecuencia para “descomponer en factores”
un número real es trinomio de la forma x2 + mx + n:
x2 + (a + b)x + ab = (x + a)(x + b).
Por ejemplo, el número
x2 + 5x + 6 = x2 + (2 + 3)x + (2)(3);
luego, al aplicar la primera de las proposiciones (con a = 2 y b = 3), tenemos que
x2 + 5x + 6 = x2 + (2 + 3)x + (2)(3)
= (x + 2)(x + 3);
es decir,
x2 + 5x + 6 = (x + 2)(x + 3).
Podemos ver, entonces que también se tiene
x2 − 5x + 6 = (x − 2)(x − 3),
ya que (−2) + (−3) = −(2 + 3) y (−2)(−3) = 6.
8. “Descompongamos en factores” el número
x2 − 8x + 15.
Para ello, buscamos dos números cuya suma sea igual a −8 y cuyo producto sea
igual a 15. No es difícil ver que esos números son −3 y −5, ya que
(−3) + (−5) = −8 y (−3)(−5) = 15.
Por tanto, podemos concluir que
x2 − 8x + 15 = (x + (−3))(x + (−5));
es decir,
x2 − 8x + 15 = (x − 3)(x − 5).
9. Encontremos los factores en los que se puede descomponer el número
x2 + 2x − 24.
Para ello, buscamos dos números cuya suma sea igual a 2 y cuyo producto sea
−24. Esos números son −4 y 6 ya que
(−4) + 6 = 2 y (−4)(6) = −24.
Por tanto,
x2 + 2x − 24 = (x − 4)(x + 6).

10. Con el procedimiento anterior, podemos encontrar los factores en los que se “des-
compone” el número
6x2 − 5x − 4,
aunque no podemos aplicar directamente la proposición trinomio de la forma x2 +

mx + n.
Para ello, utilizaremos el teorema
ca
a= ,
c
donde c 6= 0.
En efecto:
6(6x2 − 5x − 4)
6x2 − 5x − 4 =
6
62 x2 − 5(6x) − 24
= ;
6
es decir,
(6x)2 − 5(6x) − 24
6x2 − 5x − 4 = .
6
Ahora, busquemos dos números cuya suma sea igual a −5 y cuyo producto sea
−24. Es fácil ver que esos números son 3 y −8 porque
3 + (−8) = −5 y (3)(−8) = −24.
Luego, tenemos que
(6x)2 − 5(6x) − 24 = (6x + 3)(6x − 8).
Así, tenemos que
(6x)2 − 5(6x) − 24
6x2 − 5x − 4 =
6
(6x + 3)(6x − 8)
=
6
3(2x + 1)2(3x − 4)
=
6
= (2x + 1)(3x − 4);
es decir,
6x2 − 5x − 4 = (2x + 1)(3x − 4).
11. Expresemos como el producto de dos números el número
1 2 1
x + x − 1.
3 6
Para ello, apliquemos el procedimiento realizado en el ejemplo anterior. Así, en

primer lugar, tenemos que
1 2 1 1 3
Å ã
x + x−1 = x2 + x − 3 ;
3 6 3 6
por tanto, obtenemos
1 2 1 1 1
Å ã
2
x + x−1 = x + x−3 . (2.2)
3 6 3 2
Ahora busquemos los factores de
1
x2 + x − 3;
2
1
es decir, busquemos dos números cuya suma sea y cuyo producto sea igual a −3.
2
A diferencia de los ejemplos anteriores, no es tan fácil encontrar estos números.
Por esta razón, utilicemos la completación del trinomio cuadrado perfecto para resolver
este problema:
1 1
Å ã
x + x − 3 = x2 + 2 ·
2
x −3
2 4
1 1 1
Å ã
= x2 + 2 · x+ 2 − 2 −3
4 4 4
1 2 1
Å ã Å ã
= x+ − 2 +3
4 4
1 2 49
Å ã
= x+ − 2
4 4
1 2
Å ã2
7
Å ã
= x+ − .
4 4
Hemos obtenido que:
1 2
Å ã2
1 7
Å ã
x2 + x − 3 = x + − .
2 4 4
Para terminar, utilicemos la diferencia de cuadrados:

ã2 Å ã2 Å
1 7 1 7 1 7
Å ãÅ ã
x+ − = x+ − x+ +
4 4 4 4 4 4
3
Å ã
= x− (x + 2) .
2
3
Es decir, los números buscados son − y 2 (en este punto, ya no “parece” tan difícil
2
encontrar tales números, pero lo es).
Para resolver el problema, volvemos a (2.2) y concluimos que:
1 2 1 1 1
Å ã
2
x + x−1 = x + x−3
3 6 3 2

1 3
Å ã
= x− (x + 2)
3 2
1 1
Å ã
= x− (x + 2) ;
3 2
es decir,
1 2 1 1 1
Å ã
x + x−1 = x− (x + 2) .
3 6 3 2
12. Apliquemos la completación del trinomio cuadrado perfecto para “descomponer en fac-
tores” el número
6x2 − 5x − 4,
del ejemplo 10.

En primer lugar, tenemos:
5 4
Å ã
6x2 − 5x − 4 = 6 x2 − x −
6 6
Å ã2 å
52
ÇÇ å
2 5 5 4(2)(12)
=6 x −2· x+ − 2−
12 12 12 122
5 2 52 + 96
ÇÅ ã Ç åå
=6 x− −
12 122
5 2
ÇÅ Å ã2 å
11
ã
=6 x− − ;
12 12
es decir, ÇÅ ã2 ã2 å
5 11
Å
2
6x − 5x − 4 = 6 x− − . (2.3)
12 12
En segundo lugar, apliquemos la diferencia de cuadrados:

ã2 ã2
5 11 5 11 5 11
Å Å Å ãÅ ã
x− − = x− − x− +
12 12 12 12 12 12
4 1
Å ãÅ ã
= x− x+ ;
3 2
de donde, junto con (2.3), concluimos que
4 1
ÅÅ ãÅ ãã
6x2 − 5x − 4 = 6 x−x+
3 2
4 1
Å ã Å ã
=3 x− 2 x+
3 2
= (3x − 4)(2x + 1).
Por tanto,
6x2 − 5x − 4 = (3x − 4)(2x + 1),
como se obtuvo en el ejemplo 10.

13. Encontremos dos números a y b tales que
x2 − 4x + 1 = (x − a)(x − b).
Ya sabemos que el par completación del trinomio cuadrado perfecto-difrencia de cua-

drados nos puede llevar a la solución de este problema.
En efecto:
x2 − 4x + 1 = (x2 − 2 · 2x + 4) − 4 + 1
= (x − 2)2 − 3
√ √
= (x − 2 − 3)(x − 2 + 3)
√ √
= (x − (2 + 3))(x − (2 − 3)).
Por tanto, los números a y b buscados son:

√ √
2+ 3 y 2− 3.
14. Busquemos dos números a y b tales que
x2 + x + 1 = (x − a)(x − b).
Procedamos con el método del ejemplo anterior:
1 1 1
Å ã
x2 + x + 1 = x2 + 2 · x + − +1
2 4 4
ã2
1 3
Å
= x+ + ;
2 4
es decir,
ã2
1 3
Å
2
x +x+1 = x+ + .
2 4
En este punto, ya no podemos aplicar la diferencia de cuadrados. Aunque ahora no
lo podemos probar, esta igualdad nos dice que no hay tal par de números a y b. Es
decir, este método es buen método porque nos dice cuando existen estos números
(y cuáles son), y también nos dice cuando no hay. Volveremos a este tema cuando
estudiemos la ecuación general de segundo grado con una incógnita.
a Este nombre es una alusión a la terminología utilizada en los números naturales cuando
se dice que 1, 4, 9, 16, etcétera son “cuadrados perfectos”, a diferencia de los números 2, 3, 5,
etcétera, que no lo son porque no hay números naturales cuyos cuadrados sean 2, 3, 5, respec-
tivamente.
2.4 Ejercicios propuestos

ã2 ã2
x+y x−y
Å Å
− = xy
2 2

es verdadera.

å2 ã2
a2 − 1
Ç
2a
Å
+ =1
a2 + 1 a2 + 1
es verdadera.
(x + y + z)2 = (x2 + y2 + z2 ) + 2(xy + yz + zx)
es verdadera.
(x + y + z)3 = (x3 + y3 + z3 ) + 3(x2 (y + z) + y2 (x + z) + z2 (x + y)) + 6xyz
es verdadera.
(a + b + c)3 − (a3 + b3 + c3 ) = 3(a + b)(b + c)(c + a)
es vedadera.
6. “Descomponga en 4 factores” el siguiente número:
a4 + a3 − a2 − a
el número.
7. “Descomponga en factores” el número
x2 y2 − (b − c)2 .
8. “Descomponer en factores” el siguiente número, mediante la completación del

trinomio cuadrado perfecto:
2x2 − 13xy + 6y2 .
9. “Descomponer en factores” el número
25 − a2 − b2 + 2ab.
10. Encuentre dos números reales a y b tales que:
36x2 + 49x − 72 = 36(x + a)(x + b).

11. “Descomponer en factores” el siguiente número:
1 − 12a + 36a2 .

Bibliografía
Apostol, T. (1984). Cálculus. Volumen 1. Madrid. Editorial Reverté.
Bartle, R. y Sherbert, D. (2014). Introduction to Real Analysis. India. Willey.
Deaño, A. (2006). Introducción a la Lógica Formal. Sexta reimpresión. Madrid. Alianza

Editorial.
Grimaldi, R. (1998). Matemáticas Discreta y Combinatoria. Una introducción con aplica-

ciones. Tercera Edición. México. Prentice Hall.
Hamilton, A. (1988). Lógica para matemáticos. España. Paraninfo.
Hilbert, D. y Ackermann, W. (1950). Principles of Mathematical Logic. Chelsea.
Kleene, S. (1952). Introduction to Metamathematics. Van Nostrand.
Kneale, W. y Kneale, M. (1962). The development of Logic. Clarendon Press.
Laundau, E. (1966). Foundations of Analysis. USA. AMS Chelsea Publishing.
Mendelson, E. (1973). System of numbers. Foundations of Analysis. USA. Dover Publi-

cations.
Mendelson, E. (2015). Introduction to Mathematical Logic. Sexta edición. USA. CRC

Press.
Pinter, Ch. (2014). A Book of Set Theory. USA. Dover Publications.
Shilov, G. (1973). Elementary Real and Complex Analysis. USA. Dover Publications.
Smullyan, R. (2014). A Beginner’s Guide to Mathematical Logic. USA. Dover Publica-

tions.
Takeuti, G. y Zaring, W. (1982). Introduction to Axiomatic Set Theory. Second Edition.

USA. Springer-Verlag.
Tarski, A. (1961). Introduction to Logic and to the methodolgy of deductive sciences. New
York. Dover Publications.
125
Capítulo 3
Ecuaciones
3.1 Introducción
En este capítulo, al igual que en el anterior, vamos a introducir también un “abuso
de notación” para la notación de los conjuntos que se obtienen por la aplicación del
axioma de construcción de clases.
Recordemos que si A (x) es una proposición en la que aparece x, por el mencio-
nado axioma, existe una única clase, representada por
{ x : A (x)},
tal que para todo conjunto u, la equivalencia lógica
u ∈ { x : A (x)} ≡ A (u)
es válida.
Un buena parte de las aplicaciones de este axioma se harán a proposiciones de
la forma
x ∈ A ∧ B(x),
donde A es un conjunto y B(x) es una proposición en la que aparece x. Por ejemplo,
x ∈ R ∧ x2 > 1, x ∈ N ∧ x = 2k + 1, x ∈ Z ∧ −3 < x < 1.
En ese caso, en lugar de escribir
{ x : x ∈ A ∧ B(x)},
escribiremos
{ x ∈ A : B(x)}.
En los tres ejemplos anteriores, la escritura sería esta:
{ x ∈ R : x 2 > 1}, { x ∈ N : x = 2k + 1}, { x ∈ Z : −3 < x < 1}.
126
Por otra parte, en el caso general, por la definición de subclase, tenemos que
{ x : x ∈ A ∧ B(x)} ⊆ A;
luego, como A es un conjunto, por el axioma de las subclases de la teoría de con-

juntos, concluimos también que
{ x : x ∈ A ∧ B(x)}
es un conjunto.
Otra cuestión sobre el axioma de construcción de clases: diremos que hemos
“definido” la clase cuya existencia está garantizada por el axioma. Por ejemplo,
diremos
se define la clase C de la siguiente manera:
C = { x : x ∈ N ∧ x < 10}.
O también:
Se define la clase
D = { x : x ∈ Z ∧ x2 6 100}.
No olvidemos que, aunque no se mencione, la existencia de estas clases está garan-

tizada por el axioma de construcción de clases.
En este capítulo también vamos a utilizar palabras de la jerga matemática que
se utiliza comúnmente en la solución de ecuaciones: “pasar un término de un lado
a otro de una ecuación” y “pasar un factor o un divisor”.
Estas expresiones vienen del hecho de que las siguientes equivalencias lógicas:
1. a + b = c ≡ a = c − b.
2. a − b = c ≡ a = c + b.
La verificación de la validez de estas equivalencias lógicas es muy sencilla y se

deja como ejercicio para las lectoras y los lectores.
Cuando se utiliza cualesquiera de estas equivalencias, se suele decir que “el
término b pasó al otro lado con signo contrario”. En general, cuando ocupemos
estas equivalencias, diremos que “hemos pasado el término b al otro lado de la
igualdad” sin mencionar lo del signo. El uso de las equivalencias anteriores podría
ser indicado como una “transposición de términos”.
Una situación similar se presenta con los “factores” y los “divisores”. En efecto,
si a 6= 0, las siguientes equivalencias lógicas son válidas:
c
1. a · b = c ≡ b = .
a

b
2. = c ≡ b = a · c.
a
En este caso, las expresiones utilizadas son “un factor pasa al otro lado como
un divisor” y “un divisor pasa al otro lado como un factor”.
En general, estas expresiones no son necesarias, por lo que procuraremos no
utilizarlas frecuentemente.
A partir de este capítulo también escribiremos varias “igualdades en línea”; es
decir, en lugar de escribir
a = b y b = c,
escribiremos
a = b = c.
Así, al escribir
a = b = c = d,
lo que estamos diciendo es:
a = b, b=c y c = d.
3.2 Resolver una ecuación

La petición
Resuelva (resolver) la ecuación
3x + 2 = x − 4
en los números reales
significa resolver el problema
Determine el conjunto
S = { x ∈ R : 3x + 2 = x − 4};
es decir, significa
Encontrar todos los números reales x tales que la proposición
3x + 2 = x − 4 (3.1)
es verdadera.
El número real a tal que, al sustituir x por a en la proposición (3.1) se obtiene

que la proposición
3a + 2 = a − 4

es verdadera, se denomina una solución de la ecuación (3.1). Así, el número −3 es
una solución de esta ecuación porque
3(−3) + 2 = (−3) − 4
es verdadera, ya que
3(−3) + 2 = −7 y (−3) − 4 = −7.
En la jerga matemática común se dice también que
el número −3 “satisface” la ecuación (3.1).
El conjunto S es, entonces, el conjunto de todas las soluciones de la ecuación (3.1).

El procedimiento para “determinar” este conjunto (es decir, el procedimiento para
saber cuáles son todos los elementos de S) es el siguiente:
1. Supongamos que u ∈ S. Por la definición de S, es decir, por el axioma de

construcción de clases, la proposición
3u + 2 = u − 4
es verdadera.
Ahora bien, de esta igualdad, por varias “transposiciones de términos”,
obtenemos que también es verdadera la proposición
3u − u = −4 − 2;
de donde, deducimos que es verdadera la siguiente:
2u = −6.
Y, finalmente, colegimos que es verdadera la proposición
−6
u= ;
2
es decir, que
u = −3,
lo que significa que

u ∈ {−3},
por la definición de conjunto unitario.

En resumen, hemos demostrado que si u ∈ S, entonces u ∈ {−3}. Dicho
de otra manera, hemos probado que
S ⊆ {−3}.

2. Como vimos anteriormente, el número −3 es una solución de la ecuación,
pues la proposición
3(−3) + 2 = −3 − 4
es verdadera; es decir, −3 ∈ S, de donde, {−3} ⊆ S.
3. De los dos pasos previos, por la definición de subclase, se concluye que
S = {−3}.
De modo general, este es el procedimiento que siempre se sigue para resolver

una ecuación, independientemente de la índole y ámbito de la ecuación.
Ahora bien, en algunos casos, los dos primeros pasos del procedimiento se pue-
den realizar simultáneamente. Para el ejemplo anterior, tenemos que, para todo
número real u, las siguientes equivalencias lógicas son válidas (lo que se prueba
mediante la aplicación de axiomas y teoremas de cuerpo, así como propiedades de
la equivalencia lógica):
u ∈ S ≡ 3u + 2 = u − 4
≡ 3u − u = −4 − 2
≡ 2u = −6
−6
≡ u=
2
≡ u = −3
≡ u ∈ {−3}.
Luego, por la definición de igualdad entre clases, concluimos que
S = {−3}.
Esta situación no es la norma porque, en la mayoría de los casos, difícilmente

hay una relación de equivalencia lógica entre su planteamiento y su solución. Ge-
neralmente, en la investigación de la solución se añaden condiciones suficientes, se
descubren condiciones necesarias y se delimita aún más el problema.
Por otra parte, aunque los problemas “prácticos” (fenoménicos o teóricos) re-
quieren una solución concreta, la Matemática los estudia de modo general y busca
respuestas generales (lo más generales posibles) porque esto permitirá (y permite
en la práctica) resolver una familia amplia de problemas que son vistos como casos
particulares del general.
Así, en lugar de estudiar el ejemplo de modo particular, abordamos el caso ge-
neral:
Dados los números reales a y b, con a 6= 0, resuelva la ecuación
ax + b = 0

en los números reales.
En otras palabras, planteamos y buscamos resolver el problema:
Dados los números reales a y b, con a 6= 0, encuentre todos los números

reales x tales que
ax + b = 0.
Que, traducido al lenguaje de la teoría de conjuntos, el problema es:
Dados los números reales a y b, con a 6= 0, determine el conjunto
S = { x ∈ R : ax + b = 0}.
Es fácil determinar S. En efecto, si x ∈ R, dado que a 6= 0, tenemos las siguientes

equivalencias lógicas válidas:
x ∈ S ≡ ax + b = 0
≡ ax = −b
b
≡ x=−
a
b
ß ™
≡ x∈ − .
a
Por tanto,
b
ß ™
S= − .
a
El conjunto S se denomina conjunto solución de la ecuación ax + b = 0 o tam-
bién solución general de la ecuación. Esta ecuación se denomina ecuación de primer
grado con una incógnita. En particular, en ax + b = 0, la incógnita es x.
Resolver ecuaciones es, en general, un problema complejo. Hay muy pocos ti-
pos de ecuaciones con soluciones tan sencillas como la anterior. La mayoría de las
ecuaciones se resuelven de un modo aproximado con métodos más avanzados de
la Matemática como el Cálculo Diferencial e Integral, y apoyados con el cálculo que
realizan las computadoras. Por otra parte, en el XIX varios matemáticos brillantes
demostraron la imposibilidad de obtener fórmulas generales para ecuaciones alge-
braicas1 a partir del quinto grado. En el siglo XVI, se encontraron fórmulas para
determinar las soluciones de ecuaciones de tercero y cuarto grado.
Con la aplicación de los teoremas de números reales, podemos resolver algunos
casos particulares de ecuaciones algebraicas, como lo veremos en los siguientes
ejemplos.
1 La palabra algebraica se refiere a que en estas ecuaciones las incógnitas están únicamente afectadas
de exponentes naturales y sin la presencia de ninguna otra operación (solo sumas y productos).

Ejemplos: Ecuaciones algebraicas
1. Dado el número real a, resolvamos la ecuación
x 2 − a2 = 0

Es decir, determinemos el conjunto
S = { x ∈ R : x 2 − a2 = 0}.
Sin mucha dificultad, es fácil ver que a y − a son dos soluciones de esta ecua-
ción, pues
a2 − a2 = 0 y (− a)2 − a2 = a2 − a2 = 0.
Por tanto,
a∈S y − a ∈ S.
Ahora la pregunta es, aparte de a y − a, ¿hay otros elementos en S?

Para responder a esta pregunta, es suficiente ver las siguientes equivalencias
lógicas:
x2 − a2 = 0 ≡ (x − a)(x + a) = 0
≡ x−a = 0∨x+a = 0
≡ x = a ∨ x = −a
≡ x ∈ { a} ∨ x ∈ {− a}
≡ x ∈ { a} ∪ {− a}
≡ x ∈ { a, − a}.
Por tanto,
S = { a, − a}.
Es decir, a y − a son las únicas soluciones de la ecuación
x 2 − a2 = 0
2. Encontremos la solución general de la ecuación
(x − a)(x − b)(x − c) = 0

Es fácil ver que a, b y c son tres soluciones de esta ecuación. Y que sean las
únicas nos viene confirmado por la equivalencia
(x − a)(x − b)(x − c) = 0 ≡ x − a = 0 ∨ x − b = 0 ∨ x − c = 0.

Por tanto, si S es el conjunto solución de la ecuación, tenemos que
S = { a, b, c}.
3. ¿Cuáles son todos los números reales cuyo cubo sea igual al número? Es decir,
¿cuáles son todos los números reales x tales que
x3 = x?
Para contestar esta pregunta tenemos que resolver la ecuación
x3 = x

Para ello, observemos que son válidas las siguientes equivalencias lógicas:
x3 = x ≡ x3 − x = 0
≡ x(x2 − 1) = 0
≡ x(x − 1)(x + 1) = 0
≡ x = 0 ∨ x = 1 ∨ x = −1.
Por tanto, si S es el conjunto solución de la ecuación, concluimos que
S = {0, 1, −1}
y, además, que los únicos números cuyo cubo es igual a sí mismo son 0, 1 y −1.
4. ¿Cuáles son todos los números reales cuyo cubo es igual a 1? Responder esta pre-
gunta no es mas que resolver la ecuación
x3 = 1

Para resolver esta ecuación, vamos a aplicar la proposición diferencia de cubos,
ya que 13 = 1.
En efecto, las siguientes equivalencias lógicas son válidas:
x3 = 1 ≡ x3 − 1 = 0
≡ (x − 1)(x2 + x + 1) = 0
≡ x = 1 ∨ x2 + x + 1 = 0;
es decir, tenemos que
x3 = 1 ≡ x = 1 ∨ x2 + x + 1 = 0. (3.2)
Ocupémonos de la proposición x2 + x + 1 = 0. Con este fin, utilicemos la com-

pletación del trinomio cuadrado perfecto:
1 1 1
Å ã
x2 + x + 1 = x2 + 2 · x + − +1
2 4 4
1 2 3
Å ã
= x+ + ;
2 4
es decir,
ã2
1 3
Å
2
x +x+1 = 0 ≡ x+ + = 0. (3.3)
2 4

ã2
1
Å
x+ >0
2
para todo número real x; luego, como
3
> 0,
4
colegimos que
ã2
1 3
Å
x+ + > 0.
2 4
Esto significa que, por la Tricotomía, la proposición
ã2
1 3
Å
x+ + =0
2 4
es falsa para todo número real x y, por tanto, también lo es la proposición
x2 + x + 1 = 0,
de donde, por el axioma de la disyunción, obtenemos que
x = 1 ∨ x2 + x + 1 = 0 ≡ x = 1
que, junto con la equivalencia lógica (3.2), concluimos que
x3 = 1 ≡ x = 1.
Así, si S es el conjunto solución de la ecuación x3 − 1 = 0 en los reales, concluimos

que
S = {1};
es decir, la única solución de esa ecuación es 1.

De la solución de este problema, podemos asegurar que el único número real
cuyo cubo es 1 es el número 1.
5. Resolvamos la ecuación
x2 + 1 = 0
en los reales.

Puesto que x2 > 0 para todo número real x y 1 > 0, tenemos que
x2 + 1 > 0,
de donde, por la Tricotomía, concluimos que no existe un número real x tal que
x2 + 1 = 0. Luego, el conjunto solución de la ecuación es el conjunto vacío. En
estos casos, también decimos que la ecuación
x2 + 1 = 0
no tiene solución en los números reales.
6. Mediante la completación del cuadrado, podemos demostrar que la ecuación
x2 − x + 1 = 0
no tiene solución en los números reales.

Esta demostración se deja como ejercicio.
x2 − 5x + 4 = 0

Puesto que
x2 − 5x + 4 = (x − 1)(x − 4),
tenemos que
x2 − 5x + 4 = 0 ≡ (x − 1)(x − 4) = 0,
concluimos que esta ecuación tiene como conjunto solución
{1, 4}.
x2 + 4x − 3 = 0

No es fácil ver cuáles son los números reales cuya suma es 4 y cuyo producto
es −3, así que busquemos ayuda del método de completación del trinomio cuadrado
perfecto:
x2 + 4x − 3 = (x2 + 2 · 2x + 4) − 4 − 3
= (x + 2)2 − 7
√ √
= (x + 2 − 7)(x + 2 + 7).
Por tanto, el conjunto solución de la ecuación es

√ √
{−2 + 7, −2 − 7}.

3.3 Ecuación con una incógnita
Antes de ocuparnos del concepto de ecuación con un incógnita, definamos de ma-
nera precisa lo que significa resolver una ecuación.
Para ello, en primer lugar, observemos que solo hay dos tipos de proposiciones
en la teoría Números reales: las igualdades y las desigualdades. La forma general de las
primeras es
a = b,
donde a y b son números reales. Las desigualdades son cualesquiera de las siguientes:
a > b, a < b, a>b y a 6 b.
Las ecuaciones se corresponden con las igualdades; las inecuaciones, con las desigual-
dades.
Dado A ⊆ R, si E (x) es una proposición de tipo igualdad en la que aparece el
número real x,
resolver la ecuación
E (x)
en el conjunto A
significa resolver el problema
encontrar todos los números reales x ∈ A tales que la proposición E (x)
es verdadera
y es equivalente a
determinar el conjunto
S = { x ∈ A : E (x)}.
El conjunto S se denomina conjunto solución de la ecuación E (x) o solución general

de la ecuación. Cualquier elemento de S es una solución particular de la ecuación
o, simplemente, una solución.
Ejemplos: Resolver una ecuación
1. Resolver la ecuación
x2 = 1

En este caso, la proposición E (x) es x2 = 1 y A = R, y el conjunto solución S
que hay que determinar es:
S = { x ∈ R : x 2 = 1}.

Dado que
x2 = 1 ≡ (x − 1)(x + 1) = 0,
el conjunto solución de esta ecuación en los números reales es
{−1, 1}.
x2 = 1
en el R + .
En este caso, la proposición E (x) es x2 = 1 y A = R + , y el conjunto solución S
que hay que determinar es:
S = { x ∈ R + : x 2 = 1}.
Para ello, recordemos que la equivalencia lógica
x 2 = 1 ≡ x = 1 ∨ x = −1
es válida para todo número real x; luego, también lo es la equivalencia lógica
x ∈ R + ∧ x2 = 1 ≡ x ∈ R + ∧ (x = 1 ∨ x = −1). (3.4)
Ahora bien, por la propiedad distributiva de la conjunción respecto de la dis-

yunción, la equivalencia lógica
x ∈ R + ∧ (x = 1 ∨ x = −1) ≡ (x ∈ R + ∧ x = 1) ∨ (x ∈ R + ∧ x = −1)
es válida y, como la proposición
x ∈ R + ∧ x = −1
es falsa pues −1 < 0, por el axioma de la disyunción, tenemos que la equivalencia

lógica
x ∈ R + ∧ (x = 1 ∨ x = −1) ≡ x ∈ R + ∧ x = 1
es válida que, junto con (3.4), concluimos que
x ∈ R + ∧ x2 = 1 ≡ x ∈ R + ∧ x = 1,
de donde S = {1}.
Es importante notar que, en los dos ejemplos anteriores, aunque la proposición
E (x) es la misma, los conjuntos A son diferentes; esto, en general, plantea pro-
blemas diferentes y, posiblemente, soluciones diferentes, como es el caso que nos
ocupa.
3. La solución del problema anterior puede simplificarse. En efecto, como la ecuación

x2 = 1 había sido resuelto ya para R, la solución para R + se obtiene de la primera
al obtener la intersección de la solución del primer problema y el conjunto R + . La

justificación para esto es la siguiente.
En primer lugar, nombremos con S1 el conjunto solución del primer problema
y con S2 , la del segundo. Puesto que A ⊆ R, tenemos que:
S2 = { x ∈ A : x 2 = 1 }
= { x : x ∈ A ∧ x 2 = 1}
= { x : (x ∈ A ∧ x ∈ R) ∧ x2 = 1}
= { x : x ∈ A } ∩ { x : x ∈ R ∧ x 2 = 1}
= A ∩ S1
= R + ∩ {−1, 1}
= {1}.
Bajo los mismos argumentos, si A y B son dos conjuntos en los que se debe
resolver la ecuación E (x), donde A ⊆ B, entonces
S A = A ∩ SB ,
donde S A y SB son los conjuntos soluciones de las respectivas ecuaciones. En el

caso del ejemplo anterior, A = R + y B = R.
x2 = 1
en el conjunto {u ∈ R : u > 1}.

Por el ejemplo anterior, si S es el conjunto solución de esta ecuación, tenemos
que
S = {u ∈ R : u > 1} ∩ {−1, 1}.
Por tanto, por la Tricotomía, ya que −1 < 1 y 1 = 1, concluimos que S = ∅. Es decir,

la ecuación x2 = 1 no tiene solución en el conjunto {u ∈ R : u > 1}.
x+1
=2
x−1
Para ello, si x 6= 1, son válidas las siguientes equivalencias lógicas:
x+1
= 2 ≡ x + 1 = 2(x − 1)
x−1
≡ x + 1 = 2x − 2
≡ x = 3.
Por tanto, el conjunto solución de esta ecuación en los números reales es S = {3}.
6. Resolvamos la ecuación p
1 + x2 = x

En primer lugar, observemos que
1 + x2 > 0
para todo número real x. En segundo lugar, por la definición de raíz cuadrada,
√
1 + x2 es mayor que 0; luego, si
p
1 + x2 = x,
necesariamente x > 0. Por tanto, es suficiente resolver esta ecuación en R + , ya

ninguna solución de esta ecuación pertenecerá a R − R + .
Para ello, supongamos que x > 0. Entonces, tenemos que las siguientes equi-
valencias lógicas son válidas:
p
1 + x2 = x ≡ 1 + x2 = x2
≡ 1 = 0.
(La primera equivalencia lógica es válida por el axioma de completitud y la defini-

ción de raíz cuadrada).
Como la proposición 1 = 0 es falsa, entonces
p
1 + x2 = x
es falsa para todo número x ∈ R + . En conclusión, el conjunto solución es ∅; es

decir, esta ecuación no tiene solución en los números reales.
7. Resolvamos la ecuación p p
2x2 + 1 − x2 + 2 = 0
en R.
Para ello, vamos a utilizar el siguiente teorema de números reales:
√ √
T: Si a > 0 y b > 0, entonces a = b si y solo si a = b.
Antes de empezar, observemos que
2x2 + 1 > 0 y x2 + 2 > 0
para todo número real x.

Si x ∈ R, tenemos que
p p p p
2x2 + 1 − x2 + 2 = 0 ≡ 2x2 + 1 = x2 + 2
≡ 2x2 + 1 = x2 + 2
≡ x2 = 1
≡ x ∈ {−1, 1}.
La segunda equivalencia lógica es válida porque los números 2x2 + 1 y x2 + 2 son

positivos y el teorema T.

Concluimos, entonces, que el conjunto solución de esta ecuación en los núme-
ros reales es S = {−1, 1}.
1 1
√ −√ =0
x2 +3 3x2 + 1

Vamos a utilizar los siguientes teoremas de números reales:
T1 : Si a 6= 0 y b 6= 0, entonces a−1 = b−1 si y solo si a = b.

√ √
T2 : Si a > 0 y b > 0, entonces a = b si y solo si a = b.
Observemos en primer lugar que
x2 + 3 > 0 y 3x2 + 1 > 0

Si x ∈ R, son válidas las siguientes equivalencias lógicas:
1 1 1 1
√ −√ =0 ≡ √ = √
x2 + 3 3x2 + 1 x2 + 3 3x2 + 1
p p
≡ x2 + 3 = 3x2 + 1
≡ x2 + 3 = 3x2 + 1
≡ x2 = 1
≡ x ∈ {−1, 1}.
(La segunda equivalencia es válida gracias al teorema T1 y la tercera, por el teorema

T2 .)
Por tanto, el conjunto solución de esta ecuación en los reales es S = {−1, 1}.
9. Resolvamos la ecuación p
1 − x2 = x
en R + ∪ {0}.
Vamos a utilizar los teoremas:
T1 : ab 6 0 si y solo si a 6 0 ∧ b > 0 o a > 0 ∧ b 6 0.

√ √
T2 : Si a > 0 y b > 0, entonces a 6 b si y solo si a 6 b.
En primer lugar, tenemos las siguientes equivalencias lógicas (la última, gracias
al teorema T1 ):
1 − x2 > 0 ≡ x2 6 1
≡ x2 − 1 6 0
≡ (x − 1)(x + 1) 6 0
≡ (x − 1 6 0 ∧ x + 1 > 0) ∨ (x − 1 > 0 ∧ x + 1 6 0);

por tanto, es válida la equivalencia lógica
1 − x2 > 0 ≡ (x − 1 6 0 ∧ x + 1 > 0) ∨ (x − 1 > 0 ∧ x + 1 6 0). (3.5)
Ahora trabajemos con la primera proposición de la disyunción; tenemos las

siguientes equivalencias lógicas:
x − 1 6 0 ∧ x + 1 > 0 ≡ x 6 1 ∧ x > −1
≡ −1 6 x 6 1;
es decir, es válida la equivalencia
x − 1 6 0 ∧ x + 1 > 0 ≡ −1 6 x 6 1. (3.6)
Es el turno de la segunda proposición de la disyunción:
x − 1 > 0 ∧ x + 1 6 0 ≡ x > 1 ∧ x 6 −1.
Debe estar claro que la proposición
x > 1 ∧ x 6 −1
es falsa porque, por una parte, de x > 1, tenemos que x > 0; y por la otra, de
x 6 −1, obtenemos que x < 0, lo que sería imposible por la Tricotomía. Por tanto,
también es falsa la proposición
x − 1 > 0 ∧ x + 1 6 0,
de donde, por el axioma de la disyunción y por (3.5), tenemos que
1 − x2 > 0 ≡ x − 1 6 0 ∧ x + 1 > 0
que, junto con (3.6), concluimos que
1 − x2 > 0 ≡ −1 6 x 6 1.
Definamos el conjunto B de la siguiente manera:
B = { x ∈ R : −1 6 x 6 1}.
Entonces, ninguna solución de la ecuación

p
1 − x2 = x
podría estar en otro conjunto que no sea B. Por otra parte, debemos resolver esta
ecuación en R + ∪ {0}; luego, cualquier solución de la ecuación deberá ser elemento
del conjunto
B ∩ (R + ∪ {0});

es decir, cualquier solución de esta ecuación estará en el conjunto C, definido por
C = { x ∈ R : 0 6 x 6 1},
ya que 0 > −1 y por la definición de interseccióna .

En resumen, vamos a resolver la ecuación
p
1 − x2 = x
en el conjunto C.
Para ello, si x ∈ C, tenemos que
p
1 − x2 = x ≡ 1 − x2 = x2
≡ 2x2 − 1 = 0
√ √
≡ ( 2x − 1)( 2x + 1) = 0
1 1
ß ™
≡ x ∈ √ , −√ .
2 2
Por tanto, si S es el conjunto solución de la ecuación en C, concluimos que
1 1
ß ™
S = C∩ √ , −√ .
2 2
Ahora bien, puesto que

1
− √ < 0,
2
entonces
1
− √ 6∈ C
2
y, por tanto, tampoco es elemento de S.
Veamos si
1
√ ∈ C.
2
1
Como √ > 0, es suficiente que determinemos si
2
1
√ 61
2

Con este propósito, procedamos de la siguiente manera:
1 √
√ 61 ≡ 16 2
2
≡ 1 6 2.
Y, puesto que la proposición 1 6 2 es verdadera, también es verdadera la proposi-

ción
1
√ 6 1,
2

de donde concluimos que este número pertenece a C y, por tanto, a S.
En resumen, concluimos que
1
ß ™
S= √ .
2

1 1
√ −√ =0
x2 + 1 x+5
en R.
En primer lugar, tenemos que
x2 + 1 > 0
para todo número real x. En segundo lugar, la siguiente equivalencia lógica es vá-
lida:
x + 5 > 0 ≡ x > −5.
Por tanto, es suficiente que resolvamos la ecuación en el conjunto B definido por
B = { x ∈ R : x > −5}.
Con este propósito, supongamos que x > −5; entonces tenemos las siguientes
equivalencias lógicas:
1 1
√ −√ = 0 ≡ x2 + 1 = x + 5
x2 + 1 x+5
≡ x2 − x − 4 = 0
1 17
Å ã
2
≡ x −x+ − =0
4 4
1 2 17
Å ã
≡ x− − =0
2 4
Ç √ åÇ √ å
1 17 1 17
≡ x− − x− + =0
2 2 2 2
® √ √ ´
1 + 17 1 − 17
≡ x∈ , .
2 2
Así, si S es el conjunto solución de la ecuación, entonces

® √ √ ´
1+ 17 1 − 17
S = B∩ , .
2 2
Solo nos queda determinar si

√ √
1+ 17 1− 17
∈B y ∈ B;
2 2

es decir, debemos determinar si
√ √
1+ 17 1− 17
> −5 y > −5.
2 2
Utilicemos el procedimiento utilizado en el ejemplo anterior. Empecemos con

la primera desigualdad: es verdadera ya que
√
1+ 17
>0
2
y 0 > −5.
Vamos ahora con la segunda:
√
1− 17 √
> −5 ≡ 1 − 17 > −10
2 √
≡ 11 > 17
≡ 121 > 17.
Dado que la proposición

121 > 17
es verdadera, por la definición de equivalencia lógica, colegimos que también lo es

la proposición √
1 − 17
> −5.
2
Ya podemos concluir: la ecuación
1 1
√ −√ =0
x2 +1 x+5
en R tiene dos soluciones:

√ √
1+ 17 1− 17
y .
2 2
a Si
z ∈ B ∩ (R + ∪ {0}), entonces z > −1 y z > 0; de donde, tenemos que z > 0, ya que
0 > −1.
3.4 La ecuación de segundo grado

Como mencionamos anteriormente, hay fórmulas explícitas para encontrar las so-
luciones únicamente de las ecuaciones algebraicas de primero a cuarto grado. Ya
estudiamos la solución general de la ecuación de primer grado. A través de los
ejemplos de las secciones anteriores, aprendimos a resolver una ecuación de segun-
do grado. No obstante, en esta sección abordemos el problema de modo general:
Dados A ⊆ R y los números reales a, b y c, con a 6= 0, resolver la

ecuación
ax2 + bx + c = 0

en el conjunto A.
Si S es el conjunto solución de esta ecuación en A y T es el conjunto solución de

la ecuación en R, sabemos que
S = A ∩ T.
Por ello, es suficiente que abordemos la solución de esta ecuación en el conjunto R.

Supongamos que x ∈ R. Entonces, como hemos procedido en la mayoría de
los ejemplos anteriores, empecemos por aplicar la completación del trinomio cuadrado
perfecto; entonces tenemos las siguientes equivalencias lógicas:
b2 b2
Ç å
2 2 b
ax + bx + c = 0 ≡ a x +2· x+ 2 − +c = 0
2a 4a 4a
b 2 b2 − 4ac
Å ã
≡ a x+ − =0
2a 4a
b 2 b2 − 4ac
ÇÅ ã å
≡ a x+ − =0
2a 4a2
b 2 b2 − 4ac
Å ã
≡ x+ − =0
2a 4a2
(ya que a 6= 0); es decir, para todo número real x, la siguiente proposición es verda-
dera:
b 2 b2 − 4ac
Å ã
ax2 + bx + c = 0 ≡ x + − = 0. (3.7)
2a 4a2
Ahora deberíamos aplicar la diferencia de cuadrados al número
ã2
b b2 − 4ac
Å
x+ − .
2a 4a2
Sin embargo, no sabemos si podemos hacerlo, ya que desconocemos si
b2 − 4ac
4a2
es un número mayor o igual que 0.

Ahora bien, dado que 4a2 > 0, para saber si el número anterior es positivo, cero
o negativo, es suficiente saber si
b2 − 4ac
es positivo, cero o negativo, respectivamente.

Por lo anterior, continuemos la búsqueda de la solución de esta ecuación estu-
diando los tres escenarios posibles.

Caso: b2 − 4ac > 0. Por la diferencia de cuadrados, tenemos la equivalencia lógica
siguiente:
ã2 √ √
b2 − 4ac b2 − 4ac b2 − 4ac
Ç åÇ å
b b b
Å
x+ − =0≡ x+ − √ x+ + √ = 0.
2a 4a2 2a 2 a2 2a 2 a2
Por tanto, las siguientes son las soluciones de la ecuación:

√ √
b b2 − 4ac b b2 − 4ac
− + √ y − − √ .
2a 2 a2 2a 2 a2
√
Ahora bien, si a > 0, entonces a2 = a; en este caso, la soluciones serán:
√ √
−b + b2 − 4ac −b − b2 − 4ac
y .
2a 2a
√
Si a < 0, por una parte, a2 = − a, de donde
√ √
b b2 − 4ac b b2 − 4ac
− + √ =− +
2a 2 a 2 2a 2(− a)
√
b b2 − 4ac
=− −
2a 2a
y
√ √
b b2 − 4ac b b2 − 4ac
− − √ =− −
2a 2 a2 2a 2(− a)
√
b b2 − 4ac
=− + ;
2a 2a
por tanto, las soluciones son

√ √
−b − b2 − 4ac −b + b2 − 4ac
y ,
2a 2a
que son las mismas que las soluciones cuando a > 0. Así, si b2 − 4ac > 0, el conjunto
solución de la ecuación
ax2 + bx + c = 0
en R es: √ √
b2 − 4ac −b − b2 − 4ac
® ´
−b +
, (3.8)
2a 2a
y en A: √ √
b2 − 4ac −b − b2 − 4ac
® ´
−b +
A∩ , .
2a 2a

Caso: b2 − 4ac = 0. De (3.7), tenemos:
ã2
b b2 − 4ac
Å
2
ax + bx + c = 0 ≡ x+ − =0
2a 4a2
ã2
b
Å
≡ x+ =0
2a
b
≡ x+ =0
2a
b
ß ™
≡ x∈ − .
2a
Por tanto, el conjunto solución de la ecuación
ax2 + bx + c = 0
en R es
b
ß ™
−
2a
y en A:
b
ß ™
A∩ − .
2a
Caso: b2 − 4ac < 0. De (3.7), tenemos:

ã2
b b2 − 4ac
Å
2
ax + bx + c = 0 ≡ x+ − =0
2a 4a2
ã2
b 4ac − b2
Å
≡ x+ + = 0;
2a 4a2
es decir, es válida la siguiente equivalencia lógica:

ã2
b 4ac − b2
Å
ax2 + bx + c = 0 ≡ x+ + = 0. (3.9)
2a 4a2
Ahora bien, para todo x ∈ R, tenemos que

ã2
b
Å
x+ >0
2a
y, dado que b2 − 4ac < 0, entonces 4ac − b2 > 0, de donde
4ac − b2
> 0;
4a2
así, colegimos que

ã2
b 4ac − b2
Å
x+ + >0
2a 4a2

es verdadera para todo x ∈ R, lo que tiene como consecuencia que la proposición
ã2
b 4ac − b2
Å
x+ + =0
2a 4a2
es falsa y, por tanto, de (3.9) y la definición de equivalencia lógica, la proposición
ax2 + bx + c = 0
es falsa para todo x ∈ R. Por tanto, ningún número real es solución de esta ecua-
ción. Por tanto, tanto en R como en A, el conjunto solución de esta ecuación es el
conjunto ∅.
Dado que la solución general de la ecuación de segundo grado depende del
que número b2 − 4ac sea positivo, cero o negativo, a este número se le conoce con el
nombre de discriminante de la ecuación de segundo grado y se le suele representar
con la letra griega ∆ (que se corresponde con nuestra letra D):
∆ = b2 − 4ac.
Resumamos las deducciones anteriores en el siguiente teorema.
T EOREMA 3.1 (Fórmula general de la ecuación general de segundo grado).

Si a 6= 0, la solución general de la ecuación
ax2 + bx + c = 0
en R es:
1. √ √
b2 − 4ac −b − b2 − 4ac
® ´
−b +
,
2a 2a
si b2 − 4ac > 0.
2.
b
ß ™
−
2a
si b2 − 4ac = 0.
3. el conjunto ∅ si b2 − 4ac < 0.
En los siguientes ejemplos, vamos a utilizar la fórmula general que hemos de-
ducido. Aunque no es difícil recordarla, siempre es mejor tener presente el método
mediante el cual la hemos obtenido.
Ejemplos: Fórmula general de la solución de la ecuación de segundo grado

x2 + 5x − 8 = 0
en A, donde
A = { u ∈ R : u 6 −2}.
En primer lugar, resolvamos esta ecuación en R. Para aplicar la fórmula gene-

ral, tomemos a = 1, b = 5 y c = −8; entonces, el discriminante de la ecuación
es:
∆ = b2 − 4ac = 25 + 32 = 57.
Como ∆ > 0, el conjunto solución es S, donde

® √ √ ´
−5 + 57 −5 − 57
S= , .
2 2
Por tanto, la solución de esta ecuación en A es:
A ∩ S.
Para determinar los elementos de este conjunto, averigüemos si cada uno de los
elementos de S pertenece al conjunto A; es decir, si cada elemento de S es un nú-
mero real menor o igual que −2.
√
En primer lugar, como 57 > 25, tenemos que 57 > 5, de donde,
√
−5 + 57
> 0;
2
luego, por la tricotomía, colegimos que
√
−5 + 57
6∈ A.
2
En segundo lugar, tenemos las siguientes equivalencias lógicas:

√
−5 − 57 √
6 −2 ≡ −5 − 57 6 −4
2
√
≡ −1 6 57,
√
de donde, como 57 > 0 y −1 < 0, la proposición
√
−1 6 57
es verdadera y, por tanto, por la definición de equivalencia lógica, también lo es la

proposición √
−5 − 57
6 −2;
2
es decir, √
−5 − 57
∈ A,
2

con lo que podemos concluir que
® √ ´
−5 − 57
A∩S = .
2
3x2 − 7x + 5 = 0
en R.
En este caso, a = 3, b = −7 y c = 5; entonces, el discriminante es
∆ = 49 − 60 = −11
y es menor que 0. Por tanto, el conjunto solución de esta ecuación es el conjunto ∅.
3. La solución de la ecuación
x2 + 4x + 4 = 0
en R + es el conjunto ∅.
En efecto, el discrimntante es
∆ = 16 − 16 = 0;
por tanto, la solución en R es

4
ß ™
− ;
2
es decir, es
{−2} .
Finalmente, como
R + ∩ {−2} = ∅,
la solución general de la ecuación
x2 + 4x + 4 = 0
es el conjunto ∅.
4. Encontremos todos los números reales λ tales que la ecuación
λx2 + 3x − 1 = 0
tenga dos soluciones en R.

Para que esta ecuación tenga dos soluciones, su discriminante ∆ debe ser ma-
yor que 0. Y, como
∆ = 9 + 4λ,
buscamos todos los números reales λ, distintos de 0, tales que
9 + 4λ > 0.

Y, puesto que
9
9 + 4λ > 0 ≡ λ > − ,
4
los números λ buscados son aquellos que
9
λ>− y λ 6= 0.
4
9
Debe estar claro que si λ = − , la ecuación tendrá una sola solución y que si
4
9
λ < − , no tendrá solución.
4
5. Determinemos todos los números reales β tales que la ecuación
2x2 + βx + 8 = 0
tenga una sola solución en R.

En este caso, el discriminante de la ecuación debe ser igual a 0; luego, los β
buscados son aquellos para los cuales la proposición
β2 − 64 = 0
es verdadera; es decir, es verdadera la proposición
β2 = 64.
Hay únicamente dos números cuyo cuadrado es 64: 8 y −8; luego, los números β
buscados son, precisamente, dichos números.
Cuando se estudia la solución de una ecuación de manera general, se pueden

deducir proposiciones adicionales a la solución general. Por ejemplo, en solución
general de la ecuación
ax2 + bx + c = 0,
en R, donde a 6= 0, establecimos que

ã2
b2 − 4ac
ÇÅ å
2 b
ax + bx + c = a x+ − . (3.10)
2a 4a2
Si el discriminante ∆ de esta ecuación es mayor que 0, dedujimos que

ã2 √ åÇ √ å
b2 − 4ac
Ç
b −b + ∆ −b − ∆
Å
x+ − = x− x− ;
2a 4a2 2a 2a
luego, si √ √
−b + ∆ −b − ∆
α= y β= ,
2a 2a
entonces ã2
b b2 − 4ac
Å
x+ − = (x − α)(x − β)
2a 4a2

que, junto con (3.10), obtenemos que
ax2 + bx + c = a(x − α)(x − β),
donde α y β son las raíces de la ecuación; es decir, ¡hemos descompuesto en tres

factores el número ax2 + bx + c!
Si el discriminante ∆ es igual a 0, dedujimos que
ã2
b
Å
2
ax + bx + c = a x + .
2a
Si
b
γ=− ,
2a
entonces γ es la raíz de la ecuación y
ax2 + bx + c = a(x − γ)2 .
Una vez más hemos descompuesto en tres factores el número ax2 + bx + c.

Finalmente, si el discriminante ∆ es menor que 0, establecimos que
ã2
b b2 − 4ac
Å
x+ + >0
2a 4a2
para todo número real x. Así que, si a > 0, entonces

ã2
b2 − 4ac
ÇÅ å
b
a x+ + >0
2a 4a2
que, junto con (3.10), nos permite concluir que
ax2 + bx + c > 0
para todo número real x si el discriminante es negativo.

De manera similar, podemos deducir que si a < 0, entonces
ax2 + bx + c < 0
para todo número real x si el discriminante es negativo.
Ejemplos: Fórmula general de la solución de la ecuación de segundo grado
1. La proposición
−5x2 + 6x − 3 < 0
es verdadera para todo x ∈ R.

En efecto, esto se deduce del hecho de que el discriminante de la correspon-

diente ecuación es negativo, ya que
36 − 20 = −24,
y de −5 < 0.
2. La proposición
3 2
Å ã
25x2 − 30x + 9 = 25 x −
5
es verdadera para todo número real x.
En efecto, el discriminante de la ecuación correspondiente es igual a 0, pues
302 − 4(25)(9) = 900 − 900.
Luego, el número
−30 3
− =
2(25) 5
es la solución de la ecuación
25x2 − 30x + 9 = 0.
3. El ejemplo anterior tiene carácter ilustrativo de las deducciones obtenidas a partir

de la fórmula general. Un procedimiento más directo para deducir la proposición
3 2
Å ã
25x2 − 30x + 9 = 25 x −
5
utiliza el trinomio cuadrado perfecto:
25x2 − 30x + 9 = (5x)2 − 2(5x)(3) + 32

= (5x − 3)2
3 2
Å Å ãã
= 5 x−
5
3 2
Å ã
= 25 x − .
5
4. “Descompongamos” en factores el número
12x2 + x − 1.
Para ello, calculemos el discriminante ∆ de la ecuación correspondiente:
∆ = 1 − 4(12)(−1) = 49.
Como es mayor que 0, la ecuación
12x2 + x − 1 = 0

tiene dos soluciones:
−1 + 7 1 1−7 1
α= = y β= =− .
24 4 24 3
Por tanto, concluimos que
1 1
Å ãÅ ã
12x2 + x − 1 = 12 x − x+ .
4 3
5. Es fácil probar que la proposición
x2 + x + 1 > 0
es verdadera para todo número real x, pues el discriminante de la ecuación
x2 + x + 1 = 0
es
1 − 4 = −3 < 0
y 1 > 0.
Supongamos que a 6= 0 y el discriminante de la ecuación
ax2 + bx + c = 0
es mayor que 0. Sean α y β las dos soluciones de esta ecuación en R. Hemos dedu-
cido que, en este caso, se tiene
ax2 + bx + c = a(x − α)(x − β)

Puesto que
(x − α)(x − β) = x2 − (α + β)x + αβ,
entonces, tenemos que
ax2 + bx + c = ax2 − a(α + β)x + aαβ
es verdadera para todo número real x; es decir,
bx + c = − a(α + β)x + aαβ (3.11)
es verdadera para todo x ∈ R.

En particular, la proposición (3.11) es verdadera si x = 0:
b0 + c = − a(α + β)0 + aαβ;

por tanto, tenemos que
c = aαβ,
de donde
c
αβ = ,
a
ya que a 6= 0.
Dicho de otra manera:
el producto de las soluciones de la ecuación
ax2 + bx + c = 0
c
en R es igual a .
a
La proposición (3.11) también es verdadera si x = 1:
b(1) + aαβ = − a(α + β)(1) + aαβ;
luego, tenemos que

b = − a(α + β),
de donde,
b
α+β = − .
a
Dicho de otro modo:
la suma de las soluciones de la ecuación
ax2 + bx + c = 0
b
en R es igual a − .
a
Ejemplos: Sobre las soluciones
1. Determinemos la ecuación de segundo grado cuyas raíces son −5 y −2.

Para ello, supongamos que la ecuación es
ax2 + bx + c = 0,
donde a 6= 0.
Sabemos que
b c
− = (−5) + (−2) = −7 y = (−5)(−2) = 10;
a a
luego, obtenemos que
b = 7a y c = 10a;

así, colegimos que
ax2 + bx + c = ax2 + 7ax + 10a.
Luego, para cualquier número real a, distinto de 0, las soluciones de la ecuación
ax2 + 7ax + 10a = 0
en R son −5 y −2.
Como se puede ver, hay tantas ecuaciones como números reales distintos de 0.
Y, como a 6= 0, tenemos que
ax2 + 7ax + 10a = a(x2 + 7x + 10) = 0 ≡ x2 + 7x + 10 = 0;
luego, podríamos asumir desde el principio que a = 1:
x2 + 7x + 10 = 0.
2. Dados los números s y t, determinemos una ecuación de segundo grado cuyas

raíces sean
s + t y s − t.
Supongamos que la ecuación buscada es
x2 + bx + c = 0.
Entonces, b y c deben ser tales que
(s + t) + (s − t) = −b y (s + t)(s − t) = c;
es decir, deben ser verdaderas las proposiciones
b = −2s y c = s2 − t2 .
Por tanto, la ecuación buscada es
x2 − 2sx + s2 = t2 .
5
3. Determinemos dos números reales x y y tales que su suma sea igual a − y cuyo
6
producto sea igual a −1.
Los números buscados pueden ser vistos como las raíces de una ecuación cua-
drática cuyas raíces cumplen las siguientes propiedades:
5
(a) su suma es igual a − , y
6
(b) su producto es igual a −1.
Una ecuación que satisface estas condiciones es:
z2 + bz + c = 0,

donde
5
Å ã
b=− − y c = −1;
6
luego, la ecuación es
5
z2 + z − 1 = 0.
6
Para encontrar los números buscados, debemos hallar las soluciones de esta
ecuación en R. Si utilizamos la fórmula general, vemos que su discriminante es
ã2
25 25 + 144 13
Å
+4 = = ;
36 26 6
es decir, es mayor que 0 y, por tanto, la ecuación tiene dos soluciones:

… …
Ä ä2 Ä ä2
− 65 + 13
6 − 56 − 13
6
y ;
2 2
es decir, las soluciones son:
− 56 + 13
6 − 56 − 13
6
y .
2 2
Luego, los números buscados son:
2 3
x= y y=−
3 2
y, como se puede ver fácilmente, las proposiciones
5
x+y = − y xy = −1
6
son verdaderas.

1. Resuelva la ecuación
x 3x
+ =1
3+x 1−x
en R − R + .
1 1 8
+ = 2
x−4 x+4 x − 16
en R.
1 1 8
+ =
x−4 x+4 16 − x2
en R.

4. Halle todos los números reales positivos x tales que la proposición
x−1 2
=
2 x+1
es verdadera.
5. Determine el conjunto de todos los números reales negativos x tales que la

proposición
x+2 x+3
=
x−3 x−2
es verdadera.
x 5
− =1
x+5 x
en R.
3 x2 + 1 x + 1
+ 2 − =0
1+x x −1 x−1
en R.
8. Encuentre todos los números reales negativos x tales que la proposición
x−1 2x − 3
=
x+2 3x + 4
es verdadera.
x+1 x−3
+ =4
x−2 x+4
en R.
10. Determine el conjunto de los números reales x tales que la proposición
x−1 x−2 x−4 x−5

− = −
x−2 x−3 x−5 x−6
es verdadera.
11. Encuentre todos los números racionales x tales que la proposición
√ 1
x−1 = √
x+1
es verdadera.

p p p
x2 + 2 − x2 − 2 = x2 + 4

en R.
13. Resuelva la ecuación p p

x2 − 9 − 9 − x2 = x
en R.

x4 + x2 − 1 = 0
en R.
Sugerencia: defina t igual a x2 y sustituya en la ecuación. Resuelva la ecuación
obtenida en la incógnita t.

√
x 1 + x2
√ − = −1
1 + x2 x
en R.

x8 − 20x4 = −64
en R.
Sugerencia: defina t igual a x4 y sustituya en la ecuación. Resuelva la ecuación
obtenida en la incógnita t.

Capítulo 4
Inecuaciones
4.1 Introducción
En el capítulo anterior, hicimos precisas la nociones de ecuación con una incógnita y
resolver una ecuación. Para ello, entre otras cosas, recordamos los tipos de proposi-
ciones de la teoría Números reales: las igualdades y las desigualdades. Indicamos allí
que el segundo tipo de proposiciones se correspondían a las inecuaciones: este tipo
comprende, a su vez, cuatro clase de proposiciones:
a < b, a > b, a6b y a > b.
En la “resolución de inecuaciones” se utiliza una jerga similar a la que está pre-

sente en la resolución de ecuaciones; así, expresiones como “pasar un término al
lado contrario”, “multiplicar un número a ambos lados de la desigualdad”, “la des-
igualdad cambia de sentido”, entre otras. Todas estas expresiones se basan en teo-
remas sobre números reales derivados, principalmente, de los axiomas de orden.
Los más frecuentes son:
1. a + b < c ≡ a < c − b.
2. a − b < c ≡ a < c + b.
c
3. Si a > 0, entonces a · b < c ≡ b < .
a
c
4. Si a < 0, entonces a · b < c ≡ b > .
a
A estas equivalencias lógicas añadamos los siguientes teoremas que suelen de-
nominarse “leyes de los signos de la multiplicación”:
1. ab > 0 ≡ (a > 0 ∧ b > 0) ∨ (a < 0 ∧ b < 0).
2. ab < 0 ≡ (a > 0 ∧ b < 0) ∨ (a < 0 ∧ b > 0).
160
En los capítulos anteriores ya nos hemos encontrado con la tarea de resolver
inecuaciones. En efecto, cuando resolvimos la ecuación
p
1 − x2 = x
en los números reales, una de las primeras cuestiones que abordamos es averiguar
para qué números reales x la proposición
1 − x2 > 0
es verdadera, dado que la raíz cuadrada está definida únicamente para números
mayores o iguales que 0. El procedimiento que utilizamos para “resolver” dicha
inecuación consistió en aplicar, simplemente, los teoremas de números reales. En
este capítulo vamos a ilustrar este procedimiento general para resolver inecuacio-
nes con una incógnita, noción que definiremos inmediatamente en la sección que
sigue.
En este capítulo también estudiaremos el concepto de valor absoluto y pondre-
mos nombres a ciertos conjuntos de números reales importantes.
4.2 Intervalos
Los conjuntos en los cuales “resolveremos” la inecuaciones, y también sus solucio-
nes, con mucha frecuencia serán del tipo
{ u ∈ R : u > −2}, { v ∈ R : −3 < v 6 4},
entre otros. Por esto y otras razones, estos conjuntos son relevantes en las teorías
matemáticas construidas sobre la base de los números reales. Así, antes de abor-
dar las inecuaciones, definamos los intervalos (es decir, apliquemos el axioma de
construcción de clases).
D EFINICIÓN 4.1 (Intervalos)
Dados los números reales a y b:
1. Si a 6 b, el intervalo cerrado de extremos a y b, representado por [a, b], es el
conjunto de todos los números reales mayores o iguales que a y menores o
iguales que b; es decir,
[a, b] = { x ∈ R : a 6 x 6 b}.
Es claro que si a = b, entonces [a, b] = { a}.
2. Si a < b, el intervalo abierto de extremos a y b, representado por (a, b), es

el conjunto de todos los números reales mayores que a y menores que b; es
decir,
(a, b) = { x ∈ R : a < x < b}.

3. Si a < b, el intervalo abierto en a y cerrado en b, representado por (a, b], es el
conjunto de todos los números reales mayores que a y menores o iguales que
b; es decir,
(a, b] = { x ∈ R : a < x 6 b}.
Si a = b, se define (a, b] = {b}.
4. Si a < b, el intervalo cerrado en a y abierto en b, representado por [a, b), es el

conjunto de todos los números reales mayores o iguales que a y menores que
b; es decir,
[a, b) = { x ∈ R : a 6 x < b}.
Si a = b, se define [a, b) = { a}.
5. Si a ∈ R, los intervalos infinitos cerrados en a, representados por [a, +∞) y

(−∞, a], son los conjuntos de todos los números reales mayores o iguales que
a y los menores o iguales que a, respectivamente. Por tanto,
[a, +∞) = { x ∈ R : x > a} y (−∞, a] = { x ∈ R : x 6 a}.
6. Si a ∈ R, los intervalos infinitos abiertos en a, representados por (a, +∞) y

(−∞, a), son los conjuntos de todos los números reales mayores que a y los
menores que a, respectivamente. Por tanto,
(a, +∞) = { x ∈ R : x > a} y (−∞, a) = { x ∈ R : x < a}.
A los intervalos (a, b] y [a, b) también se les conoce con los nombres semi-abierto o
semi-cerrado.
Antes de continuar, es necesario realizar un par de aclaraciones sobre las nota-

ciones en esta definición. En primer lugar, el signo
(a, b)
fue utilizado para representar un par ordenado, y se lo definió como el par desor-
denado de { a} y de { a, b}, donde a y b representan dos conjuntos cualesquiera. En
la definición anterior, este mismo signo representa el conjunto de todos los números
reales menores que b y mayores que a, donde a y b son números reales. No es fre-
cuente, pero en ocasiones utilizamos los mismos signos para conceptos diferentes,
como el caso que nos ocupa. Lo hacemos así porque, por un lado, se considera que
esa representación es una buena alternativa para mostrar que a y b no están en el
conjunto1 y, por otro lado, siempre es posible reconocer qué es lo que representa el
1 Por supuesto, no es la única manera de representar un intervalo abierto; otra que suele utilizarse
es
]a, b[,
pero es menos común y no la utilizaremos en estas notas de clase, ni en el curso.

signo por el contexto, sea que se mencione explícitamente, o sea que los diferentes
signos y palabras que aparecen junto al signo nos lo dicen.
La segunda aclaración tiene que ver con los símbolos
+∞, −∞.
Sus nombres son “más infinito” y “menos infinito”, respectivamente. Lo primero

que tiene que quedar claro es que estos símbolos no representan números reales
y, por ello, no tiene ningún sentido realizar ninguna operación (sumar, multiplicar)
entre ellos o con un número real.
Su introducción en la representación de los conjuntos de números mayores o
iguales que un número dado (o menores o iguales) expresa el hecho de que no
hay un número real mayor que todos los números reales, ni un número menor que
todos los números reales; es decir, el conjunto de los números reales no está acotado
ni superiormente, ni inferiormente.
Por otra parte, la palabra infinito en el nombre de estos intervalos hace refe-
rencia a la interpretación geométrica de los números reales. En efecto, dado que se
establece una correspondencia de cualquier recta con el conjunto de los números
reales, los conjuntos
(a, +∞) y (−∞, a)
simplemente indican los “lados de la recta” respecto del punto cuya coordenada
es a; estos “lados” son, en realidad, rayos y, desde el punto de vista de la métrica,
no tienen una longitud “finita” (a diferencia de los segmentos, que representan los
otros intervalos).
En resumen, los símbolos del infinito deberán tomarse únicamente como nota-
ciones para representar dos tipos de conjuntos (intervalos) y nada más2 .
De estas definiciones (axioma de construcción de clases), se derivan las siguien-
tes equivalencias lógicas:
T EOREMA 4.1 (Intervalos).

Dados los números reales a y b tales que a < b, son válidas las siguientes equiva-
lencias lógicas:
1. x ∈ [a, b] ≡ a 6 x 6 b 5. x ∈ [a, +∞) ≡ x > a
2. x ∈ (a, b) ≡ a < x a
3. x ∈ (a, b] ≡ a < x 6 b 7. x ∈ (−∞, a] ≡ x 6 a
4. x ∈ [a, b) ≡ a 6 x < b 8. x ∈ (−∞, a) ≡ x < a
Veamos algunos ejemplos.

2 Porque no tienen más que un rol de representación, los símbolos del infinito tampoco serán utili-
zados en la interpretación geométrica de los intervalos.

Ejemplos: Intervalos
1. Supongamos que a < b. Si u > b, entonces
u 6∈ [a, b)
porque u no es menor que b por la transitiva de la relación menor que y la Tricoto-

mía.
Un razonamiento similar, nos permite concluir que, si v 6 a, entonces
v 6∈ (a, b].
2. Supongamos que a < b. Entonces a 6∈ (a, b) y a ∈ [a, b).
3. Si z < a, entonces z 6∈ [a, +∞) y z 6∈ (a, +∞).
4. Determinemos (−5, 4] ∩ [0, +∞). Para ello, supongamos que
x ∈ (−5, 4] ∩ [0, +∞).
Dado que x > 0, por la Tricotomía, no es verdadera la proposición
−5 < x < 0.
Y puesto que x 6 4, entonces no es verdadera la proposición
x > 4.
Esto significa que

x ∈ [0, 4];
es decir,
(−5, 4] ∩ [0, +∞) ⊆ [0, 4].
Por otra parte, es fácil ver que
[0, 4] ⊆ (−5, 4] ∩ [0, +∞),
(−5, 4] ∩ [0, +∞) = [0, 4].
5. Tenemos que
R + = { x : x ∈ R ∧ x > 0},
por tanto,
R + = (0, +∞).

6. Supongamos que a ∈ R. Por la Tricotomía, tenemos que la proposición
x 6 a∨x > a
es verdadera para todo número real x; luego, también es verdadera la proposición
x ∈ (−∞, a] ∨ x ∈ [a, +∞).
Podemos, entonces, concluir que
R = (−∞, a] ∪ [a, +∞).
Por esta razón, también se utiliza el signo (−∞, +∞) para representar R.
7. Si a < c < b, entonces es fácil probar que las siguientes proposiciones son verda-
deras:
(a) [a, b] = [a, c] ∪ [c, b] (d) [a, +∞) = [a, b] ∪ (b, +∞)
(b) [a, b] = [a, c) ∪ [c, b] (e) (−∞, b] = (−∞, a) ∪ [a, b]
(c) [a, b] = [a, c] ∪ (c, b] (f) [a, b] = (−∞, b] ∩ [a, +∞).
Aunque no es difícil deducir las proposiciones de los cuatro ejemplos anteriores

y otras similares, hay una manera más sencilla para deducciones de este tipo de
proposiciones. La base teórica para ella no es tan sencilla como su consecuencia,
no obstante de ser un principio fundamental del denominado Análisis Matemático,
cuya base está en el conjunto de los números reales.
Este principio suele conocerse como interpretación geométrica de la recta y esta-
blece una conexión entre los ámbitos de numérico y geométrico. De manera general,
esta “interpretación geométrica” postula que
Dada una recta, a cada punto de esta le corresponde un único número

real (llamado coordenada del punto) y a cada número real le corresponde
un único punto en la recta tal que la distancia entre dos puntos cuales-
quiera de la recta, la distancia entre los puntos es igual a la resta de la
coordenada menor de la mayor.
De este postulado se deriva el hecho de que si P es un punto cuya coordenada

es 0 y Q un punto cuya coordenada q es mayor que 0, entonces para todo x > 0,
todo punto de la recta cuya coordenada sea x es un punto que está en el mismo
lado que Q y todo punto cuya coordenada sea y < 0, está en el lado opuesto a Q.
Este último enunciado se “dibuja” de la siguiente manera:

Y un “dibujo” alternativo, igualmente válido, es el siguiente:
No hay ninguna razón para elegir uno de los dibujos en lugar del otro. En gene-
ral, la costumbre ha sido tomar el primero; es decir, lo “positivo” hacia la derecha
y lo “negativo” hacia la izquierda3 . Y esa costumbre también la seguiremos aquí,
pero no hay que olvidar que es únicamente una convención.
Con esta interpretación, los intervalos [a, b], [a, +∞) y (−∞, a] se “dibujan”, res-
pectivamente, de la siguiente manera:
Los correspondientes intervalos abiertos (a, b), (a, +∞) y (−∞, a) así:
Para indicar que a o b no pertenecen al intervalo, simplemente no dibujamos los

puntos.
Con esta interpretación, es fácil determinar la unión, intersección y complemen-
to de intervalos. Veamos algunos ejemplos.
3 Quizás una persona zurda se podría sentir más cómoda con la segunda representación

Ejemplos: Intervalos
1. La intersección de [−5, 4] y [0, +∞) se obtiene al “dibujar” ambos intervalos:
Por la definición de intersección, los números reales que están en esta intersección
son todos los del intervalo [0, 4]; por tanto, tenemos
[−5, 4] ∩ [0, +∞) = [0, 4].
2. Si a > 0, entonces
R − [0, a] = (−∞, 0) ∪ (a, +∞)
como se puede ver fácilmente mediante los dibujos correspondientes:
3. Si a ∈ R, entonces
R − (a, +∞) = (−∞, a]
como se colige del dibujo
4. Si a < b, entonces
(−∞, b] ∩ [a, +∞) = [a, b]
como se deriva del dibujo
5. Con los dibujos de los intervalos (0, 4) y (−3, 0], se ve fácilmente que
(0, 4) ∪ (−3, 0] = (−3, 4).
Es importante tomar en cuenta que la representación geométrica de los inter-

valos no es el aspecto esencial en la resolución de cualquier problema que los in-

volucre, como en las ecuaciones o inecuaciones. Esta representación es una ayuda
mnemotécnica; es decir, una ayuda visual para la memoria, que casi siempre inter-
vendrá en una parte muy pequeña de los problemas, los mismos que se resolverán
por la aplicación correcta de los axiomas y teoremas de los números reales. Por esta
razón, hay que evitar darles importancia y transcendencia que no tienen.
4.3 Inecuación con una incógnita

Dado A ⊆ R, si I (x) es una proposición de tipo desigualdad en la que aparece el
número real x,
resolver la inecuación
I (x)
en el conjunto A
consiste en resolver el problema
encontrar todos los números reales x ∈ A tales que la proposición I (x)

es verdadera
y es equivalente a
determinar el conjunto
S = { x ∈ A : I (x)}.
Al igual que ocurre con las ecuaciones, el conjunto S se denomina conjunto so-
lución de la inecuación I (x) o solución general de la inecuación. También, cualquier
elemento de S se llama solución particular de la inecuación o, simplemente, una
solución.
E, igualmente, si S es la solución de la inecuación I (x) en A, entonces
S = T ∩ A,
donde T es la solución de la inecuación I (x) en R.
Ejemplos: Resolver inecuaciones con una incógnita
1. Dados los números a y b tales que a < b, resolvamos la inecuación
(x − a)(x − b) > 0
en R.
En primer lugar, tenemos que las siguientes equivalencias lógicas son válidas

(no olvidemos que a < b):
(x − a)(x − b) > 0 ≡ ((x − a) > 0 ∧ (x − b) > 0) ∨ ((x − a) < 0 ∧ (x − b) < 0)

≡ (x > a ∧ x > b) ∨ (x < a ∧ x < b)
≡ x>b ∨ x<a
≡ x ∈ (b, +∞) ∪ (−∞, a).
Por tanto, el conjunto solución de esta inecuación en R es
(−∞, a) ∪ (b, +∞).
2. Dados los números a y b tales que a < b, resolvamos la inecuación
(x − a)(x − b) < 0
en R.
Para resolverla, aprovechemos la solución de la inecuación del ejemplo anterior
y la Tricotomía, pues es válida la equivalencia lógica:
(x − a)(x − b) < 0 ≡ ¬((x − a)(x − b) > 0) ∧ ¬((x − a)(x − b) = 0).
Por tanto, si S es el conjunto de la inecuación
(x − a)(x − b) < 0
en R, T es la solución de la inecuación
(x − a)(x − b) > 0
y R es la solución de la ecuación
(x − a)(x − b) = 0
en R. Luego,
S = (R − T) ∩ (R − R).
Ahora bien, tenemos que
T = (−∞, a) ∪ (b, +∞) y R = { a, b}.
Por tanto,
R − T = [a, b] y R − R = R − { a, b}.
Así,
S = (a, b).
3. Las dos inecuaciones anteriores pueden resolver mediante el siguiente procedi-

miento. En el siguiente cuadro
x (−∞, a) (a, b) (b, +∞)

x−a <0 >0 >0
x−b <0 <0 >0
(x − a)(x − b) >0 <0 >0
i. En la primera fila, se indica los posibles conjuntos a los que x pertenece.

ii. En las dos siguientes filas, se indica si el número de la primera columna (x − a
o x − b) es mayor o menor que 0 según a qué conjunto pertenece x.
iii. La última fila, se indica si (x − a)(x − b) es mayor o menor que 0, lo que se
obtiene por la aplicación de las denominadas “leyes de signos de la multipli-
cación” aplicadas a las dos filas anteriores.
Como se puede ver, la segunda y cuarta columna nos dan la solución de la

inecuación
(x − a)(x − b) > 0
en R y la tercera columna, nos da la solución de la inecuación
(x − a)(x − b) < 0
en R.
4. Resolvamos la inecuación
x2 + 2x − 7 < 0
en R.
Para resolverla, apliquemos lo deducido para la ecuación de segundo grado.
En primer lugar, calculemos el discriminante ∆ de la ecuación
x2 + 2x − 7 = 0.
Tenemos:
∆ = 4 + (4)(7) = 32 > 0.
Por tanto, mediante la completación del trinomio cuadrado perfecto, tenemos lo siguien-
te:
x2 + 2x − 7 = (x2 + 2x + 1) − 8
= (x + 1)2 − 8;
por tanto,
√ √
x2 + 2x − 7 = (x + 1 − 8)(x + 1 + 8).
Así, la inecuación que debemos resolver es

√ √
(x + 1 − 8)(x + 1 + 8) < 0
en R.

Con la ayuda del siguiente cuadro:
x (−∞, a) (a, b) (b, +∞)

√
x − (−1 − 8) <0 >0 >0
√
x − (−1 + 8) <0 <0 >0
√ √
(x − (−1 − 8))(x − (−1 + 8)) >0 <0 >0
donde
√ √
a = −1 − 8 y b = −1 + 8.
Por tanto, el conjunto solución es el intervalo

√ √
(−1 − 8, −1 + 8).
1 1
> 2
x−1 x +1
en R + .
Como x2 + 1 > 0 para todo x ∈ R + , si x ∈ R + , tenemos las siguientes equiva-
lencias lógicas:
1 1 x2 + 1
> 2 ≡ >1
x−1 x +1 x−1
x2 + 1
≡ −1 > 0
x−1
x2 + 1 − (x − 1)
≡ >0
x−1
x2 − x + 2
≡ > 0.
x−1
Por tanto, para todo x ∈ R + , tenemos
1 1 x2 − x + 2
> 2 ≡ > 0. (4.1)
x−1 x +1 x−1
Por otra parte, dado que el discriminante de la ecuación
x2 − x + 2 = 0
es negativo ya que
(−1)2 − 4(1)(2) = −7,
entonces
x2 − x + 2 > 0
para todo x ∈ R + . Luego, de la equivalencia lógica (4.1), tenemos
1 1 x2 − x + 2
> 2 ≡ >0
x−1 x +1 x−1

1
≡ >0
x−1
≡ x−1 > 0
≡ x>1
≡ x ∈ (1, +∞)
para todo x ∈ R + . Por tanto, el conjunto solución de la inecuación es
R + ∩ (1, +∞);
es decir, el conjunto (1, +∞).
√
2−x > x
en R.
En primer lugar, tenemos que 2 − x > 0 si y solo si x < 2. Por tanto, resolvamos
esta inecuación en el conjunto (−∞, 2).
√
Supongamos que x < 2. Como 2 − x > 0, entonces para todo x 6 0, por la
propiedad transitiva de la relación menor que, tenemos que es verdadera la propo-
sición
√
2 − x > x;
es decir, el intervalo (−∞, 0] es un subconjunto de la solución de la inecuación.

Veamos qué pasa con los números en el intervalo (0, 2).
Para ello, supongamos que x ∈ (0, 2). Entonces, tenemos las siguientes equiva-
lencias lógicas válidas:
√
2 − x > x ≡ 2 − x > x2
≡ x2 + x − 2 < 0
≡ (x + 2)(x − 1) < 0;
es decir, si x ∈ (0, 2), es válida la equivalencia lógica siguiente:

√
2 − x > x ≡ (x + 2)(x − 1) < 0. (4.2)
De lo aprendido en los primeros tres ejemplos, sabemos que
(x + 2)(x − 1) < 0 ≡ x ∈ (−2, 1)
(donde a = −2 y b = 1). Así, de (4.2), tenemos que todo x que pertenece a
(0, 2) ∩ (−2, 1)
es una solución de la inecuación.

Finalmente, como (0, 2) ∩ (−2, 1) = (0, 1), el conjunto solución de la inecuación
√
2−x > x

en R es
(−∞, 0] ∪ (0, 1);
es decir,
(−∞, 1).
4.4 Valor absoluto

El valor absoluto es un concepto de los números reales: el valor absoluto de un
número real es el mismo número si es mayor o igual que 0 o su inverso aditivo
en el caso contrario; por tanto, el valor absoluto de un número real siempre es un
número no negativo.
La introducción de este concepto otorga la ventaja de poder expresar ciertas
proposiciones, conjuntos de una manera más simple. Por ejemplo, en la interpreta-
ción geométrica de los números reales presentada en la sección anterior, en lugar de
decir que la distancia entre dos puntos de una recta es igual a la resta de la coorde-
nada menor de la coordenada mayor, decimos que es igual al valor absoluto de la
diferencia de las coordenadas correspondientes. Ciertos intervalos y conjuntos po-
drán ser expresados de una manera más sencilla mediante el uso del valor absoluto
de un número.
D EFINICIÓN 4.2 (Valor absoluto)

Dado un número real a, el valor absoluto de a, representado por | a|, es a si a > 0 o
es − a si a < 0. Por tanto, se tiene que

a si a > 0;
| a| =
− a si a < 0.
Por tanto, | x | > 0 para todo número real x.
De la definición, se desprenden las siguientes igualdades:
|5| = 5, | − 5| = −(−5) = 5, |0| = 0 y |1 + x 2 | = 1 + x 2

Si | a| = b, también se deduce que necesariamente b > 0. Por la Tricotomía,
tenemos que a > 0 o a < 0; por tanto | a| = a o | a| = − a. Luego, tenemos que b = a
o b = − a. Es fácil ver que el recíproco también es verdadero. En resumen, de la
definición de valor absoluto, la siguiente equivalencia lógica es válida
| a| = b ≡ b = a ∨ b = − a. (4.3)
Todas las propiedades relevantes del valor absoluto se pueden deducir de ma-
nera similar. A continuación, vamos a presentar algunas de ellas con un bosquejo

de sus demostraciones. Como siempre, se sugiere que las lectoras y los lectores las
completen como un ejercicio de interiorización de los números reales.
T EOREMA 4.2 (Propiedades de valor absoluto).

Dado el número real r tal que r > 0, las siguientes equivalencias lógicas son válidas:
1. | a| 6 r ≡ −r 6 a 6 r.
2. | a| > r ≡ a > r ∨ a 6 −r.
También son válidas las siguientes:
3. | x | = 0 ≡ x = 0.
4. Si y > 0, entonces | x | = y ≡ x = y ∨ x = −y.
5. | − x | = | x |.
Demostración. No es difícil ver que establecida cualesquiera de las dos primeras equivalen-
cias, la otra se deduce inmediatamente por la aplicación de una propiedad de las equiva-
lencias lógicas, la Tricotomía y de las leyes de DeMorgan.
En efecto, es suficiente que demostremos estas equivalencias lógicas para la relación
menor que. Ahora bien, si es válida la equivalencia lógica
| a| < r ≡ −r < a < r,
también lo es la siguiente:
¬(| a| < r) ≡ ¬(−r < a ∧ a < r);
luego, también es válida esta:
| a| > r ≡ −r > a ∨ a > r;
es decir,
| a| > r ≡ a > r ∨ a < −r.
Por ello, para probar que las dos primeras equivalencias del teorema son válidas, basta
con probar una de ellas. Por ejemplo, veamos un bosquejo de la deducción de la primera.
Si | a| < r y a > 0, entonces | a| = a, de donde a < r; y, como −r < 0, entonces −r < a.
Si | a| < r y a < 0, tenemos | a| = − a, de donde − a < r; luego, −r < a; y, como a < 0 y
r > 0, concluimos que también a < r.
Recíprocamente, si −r < a < r y a > 0, entonces a = | a|, de donde, | a| < r. Si
−r < a < r y a < 0, tenemos que −(−r) > − a y − a = | a|; por tanto, | a| < r.
Por último, | − x | = | x | es deducida de la definición y de −(− x) = x.
La interpretación geométrica de los números reales nos provee de una buena

herramienta para entender y trabajar con el valor absoluto de un número. En efecto,
dada una recta y dados 0 y un número real a, hay puntos únicos en la recta cuyas

coordenadas son 0 y a, respectivamente; por tanto, la distancia entre dichos puntos
es
|0 − a | = | − a | = | a |.
Así,
el valor absoluto de a es igual a la distancia entre el punto cuya coorde-

nada es a y el punto cuya coordenada es 0.
De esta interpretación geométrica de los números reales nace la denominación

de punto a los números reales; en este curso no haremos uso de ella, pero es común
en la literatura, sobre todo de Cálculo, referirse a los números reales como puntos.
Supongamos que a ∈ R. En los siguientes dibujos, representamos la idea de que
| a| es la distancia entre el punto cuyo coordenada es a y el punto cuya coordenada
es 0:
Por otra parte, si r > 0, tenemos que todos los números reales x tales que
|x| < r
son aquellos que

−r < x < r;
es decir, todos aquellos que pertenece al intervalo (−r, r):
Por lo anterior, dado un número real a > 0, tenemos que
(− a, a) = { x ∈ R : | x | < a} y [− a, a] = { x ∈ R : | x | 6 a}.
Luego, es bastante fácil deducir que
R − [− a, a] = { x ∈ R : | x | > a}.

Finalmente, dados los números reales a y r > 0, puesto que
| x − a | 6 r ≡ −r 6 x − a 6 r
≡ a − r 6 x 6 a + r,
tenemos que
[a − r, a + r] = { x : | x − a| 6 r }.
Un intervalo de este tipo suele denominarse intervalo de centro a y radio r.

En el siguiente teorema, presentamos otras propiedades del valor absoluto de
un número que son de uso frecuente.
T EOREMA 4.3 (Propiedades del valor absoluto).

Si b 6= 0, las siguientes proposiciones son verdaderas:
√
1. −| a| 6 a 6 | a| si | x | > a.
√
2. a2 = | a| 7. | a − c| = |c − a|
3. | ab| = | a||b| 8. | a| = |c| si y solo si a = c o a = −c
4. | a2 | = | a|2 = a2 a | a|
9. =

b |b|
5. Si a > 0, entonces x2 6 a si y solo
√ 10. Desigualdad triangular:
si | x | 6 a.
6. Si a > 0, entonces x2 > a si y solo | a + c| 6 | a| + |c|
Mediante los siguientes ejemplos, presentaremos las deducciones o un bosquejo

de las deducciones de este teorema.
Ejemplos: Propiedades del valor absoluto
1. Si a = 0, entonces | a| = 0; luego,
−| a| 6 a 6 | a|.
Si a 6= 0, es inmediato que | a| > 0 ya que − a 6= 0. Por tanto, como | a| 6 | a|,

concluimos que
−| a| 6 a 6 | a|
(En el teorema 4.2, tomamos r = | a|).

√ √
2. En el capítulo sobre números reales, demostramos que a2 = a si a > 0 y a2 =
√
− a si a < 0. Como a = | a| si a > 0 y − a = | a| si a < 0, tenemos que a2 = | a| tanto
√
2
si a < 0 como si a > 0. Además, si a = 0, tenemos que a = 0. En resumen:
La raíz cuadrada del cuadrado de un número real es igual al valor ab-

soluto del número.

3. Recordemos que ab > 0 si y solo si a > 0 y b > 0, o a 6 0 y b 6 0. Por tanto, si
ab > 0, tenemos que
| ab| = ab
y | a| = a y |b| = b, o | a| = − a y |b| = −b; de donde,
| a||b| = ab o | a||b| = (− a)(−b) = ab.
Por tanto, si ab > 0, tenemos que
| ab| = | a||b|.
Por otra parte, ab 6 0 si y solo si a > 0 y b 6 0, o a 6 0 y b > 0. Así, si ab 6 0,

tenemos que
| ab| = − ab
y | a| = a y |b| = −b, o | a| = − a y |b| = b; de donde,
| a||b| = a(−b) = − ab o | a||b| = (− a)b = − ab.
Por tanto, si ab 6 0, tenemos que
| ab| = | a||b|.
En resumen,
El valor absoluto del producto de dos números es igual al producto de

los valores absolutos de cada número.
4. De la proposición anterior, tenemos que
| a2 | = | aa| = | a|| a| = | a|2
y, como a2 > 0, concluimos también que
| a2 | = a2 .
5. Si x = 0, la proposición se deduce inmediatamente. Supongamos que x 6= 0; luego,

| x | 6= 0. Y, puesto que x2 = | x |2 , tenemos:
x 2 6 a ≡ | x |2 6 a
√
≡ | x | 6 a.
6. Se deduce de manera similar que la proposición del ejemplo anterior.
7. De la definición de valor absoluto, es inmediato que | − x | = x para todo número

real x; luego, como a − c = −(c − a), concluimos que
| a − c| = | − (c − a)| = |c − a|.

8. Recordemos que | x | = y si y solo si x = y o x = −y; por tanto, tenemos que:
| a| = |c| ≡ |c| = a ∨ |c| = − a

≡ (a = c ∨ a = −c) ∨ (− a = c ∨ − a = −c)
≡ (a = c ∨ a = −c) ∨ (a = −c ∨ a = c)
≡ a = c ∨ a = −c.
9. En primer lugar, como b 6= 0, tenemos que

a
= | ab−1 | = | a||b−1 |.

b
En segundo lugar, si b > 0, tenemos que b−1 > 0, y si b < 0, entonces b−1 < 0.
Luego,
|b||b−1 | = bb−1 = 1 o |b||b−1 | = (−b)(−b−1 ) = bb−1 = 1;
por tanto,
|b||b−1 | = 1,
de donde, por la unicidad del inverso multiplicativo, concluimos que
| b −1 | = | b | −1 .
Así, concluimos que

a | a|
= | a||b|−1 = .

b |b|
En resumen,
El valor absoluto de la división de dos números es igual a la división de

los valores absolutos de ambos números.
10. Desigualdad triangular: hemos probado que el valor absoluto preserva el producto
y la división de dos números. Sin embargo, no preserva ni la suma ni la resta como
lo veremos a continuación:
|5 + (−2)| = |3| = 3 y |5| + | − 2| = 5 + 2 = 7,
de donde,
|5 + (−2)| 6= |5| + | − 2|.
En general,
el valor absoluto de la suma de dos números es menor o igual que la

suma de los valores absolutos.
−| a| 6 a 6 | a| y − | c | 6 c 6 | c |;

luego,
−(| a| + |c|) 6 a + c 6 (| a| + |c|),
de donde
| a + c | 6 | a | + | c |.
Terminemos la sección con varios ejemplos del uso del valor absoluto; en parti-
cular, en la resolución de algunas ecuaciones e inecuaciones.
Ejemplos: Valor absoluto
1. Para todo número real x y todo real y, tenemos que
| x − y | > | x | − | y |.
En efecto, se deduce inmediatamente de:
| x | = |(x − y) + y| 6 | x − y| + |y|.
| x + 1| = 5
en R.
Puesto que | x + 1| = 5 si y solo si x + 1 = 5 o x + 1 = −5, concluimos que el
conjunto solución de esta ecuación es
{−6, 4}.
|3x − 2| < 2
en R.
Puesto que 2 > 0, tenemos que
|3x − 2| < 2 ≡ −2 < 3x − 2 < 2
4
≡ 0<x< .
3
Por tanto, el conjunto solución de esta inecuación es
4
Å ã
0, .
3
|2 − x 2 | < 1
en R + .

Supongamos que x ∈ R + . Tenemos que
|2 − x 2 | < 1 ≡ −1 < 2 − x 2 < 1

≡ −3 < − x 2 < −1
≡ 1 < x2 < 3.
Luego, el conjunto solución de la inecuación en R + es

√
(1, 3)
√
ya que x2 = x pues x > 0.
5. Dado el número a > 0, resolvamos la inecuación
| x − a| > | x + a|
en R.
Si a = 0, tenemos que
| x − a | > | x + a | ≡ | x | > | x |;
luego, para a = 0 esta inecuación no tiene ninguna solución.

Supongamos que a > 0. Para resolver esta inecuación, podemos utilizar el si-
guiente cuadro, fácil de elaborar (no olvidemos que − a < a):
x (−∞, − a) (− a, a) (a, +∞)

x−a <0 <0 >0
x+a <0 >0 >0
Supongamos que x ∈ (−∞, − a). Entonces, tenemos que
| x − a| > | x + a| ≡ −(x − a) > −(x + a)

≡ x−a < x+a
≡ − a < a.
Como − a < a es una proposición verdadera, también lo es
| x − a| > | x + a|
para todo x ∈ (−∞, − a). Por tanto, todos los números reales que satisfacen esta
desigualdad son elementos del conjunto S1 , donde
S1 = (−∞, − a).
Supongamos ahora que x ∈ (− a, a). Luego, tenemos que
| x − a| > | x + a| ≡ −(x − a) > x + a

≡ 2x < 0.

Así, todos los números reales que satisfacen la inecuación son aquellos que perte-
necen a (− a, a) y son menores que 0; por tanto, las soluciones de esta desigualdad
son elementos de S2 , donde
S2 = (− a, 0).
Finalmente, supongamos que x ∈ (a, +∞). Entonces,
| x − a| > | x + a| ≡ x − a > x + a
≡ − a > a.
Como − a > a es una proposición falsa, ningún número real x ∈ (a, +∞) es una so-
lución de esta inecuación; es decir, el conjunto solución de la inecuación en (a, +∞)
es ∅.
En resumen, por la Tricotomía, el conjunto solución de la inecuación
| x − a| > | x + a|
en R es
S1 ∪ S2 ∪ ∅;
es decir, es el conjunto
(−∞, 0).
|3 − 2x | > x
en R.
Puesto que
3
3 − 2x > 0 ≡ x 6 ,
2
supongamos, en primer lugar que x 6 32 . Entonces, tenemos que
|3 − 2x | > x ≡ 3 − 2x > x
≡ x < 1.
Luego, todos los números reales que satisfacen esta inecuación en −∞, 23 perte-
Ä ó
necen al conjunto
3
Å ò
−∞, ∩ (−∞, 1);
2
es decir, al conjunto
(−∞, 1)
3
ya que 2 > 1.
En segundo lugar, supongamos que x > 23 . Entonces, tenemos que
|3 − 2x | > x ≡ −3 + 2x > x
≡ x > 3.
3
Ä ä
Así, todos los números reales que satisfacen esta inecuación en 2 , +∞ perte-

necen al conjunto
3
Å ã
, +∞ ∩ (3, +∞);
2
es decir, al conjunto
(3, +∞)
ya que 3 > 32 .
En resumen, por la Tricotomía, el conjunto solución de la inecuación
|3 − 2x | > x
en R es
(−∞, 1) ∪ (3, +∞)
o, lo que es lo mismo, es el conjunto
R − [1, 3].
1 − 2x = |4 + x |
en R.
Si x > −4, tenemos que
1 − 2x = |4 + x | ≡ 3x = −3;
luego, −1 es solución de esta ecuación porque −1 > −4.

Si x < −4, tenemos que
1 − 2x = |4 + x | ≡ x = 5;
así, que 5 no es solución de la ecuación porque 5 no es menor que −4.

En resumen, el conjunto solución de la ecuación en R es
{−1}.

1. Dados a y b > 0, resuelva la inecuación
| a2 + x 2 | > b
en R.
2. Dados los números a, b y c > 0 tales que a > b, resuelva la ecuación
| x − a| + | x − b| = c
en R.

3. Encuentre todos los números reales x tales que la proposición
2 < | x + 4| + | x − 5| < 4
es verdadera.
4. Encuentre todos los números reales cuyo inverso multiplicativo es menor que
el número.
5. Encuentre todos los números reales cuyo inverso multiplicativo es mayor que
el número.
6. Resuelva la inecuación p p
x2 + 3 > 3x2 + 1
en R.
7. Resuelva la inecuación p |x|

2 + 3x2 >
2
en (−∞, 0).
8. Resuelva la inecuación
√
2x + 1 > | x |
en R + .
9. Determine todos los números reales x tales que la proposición

√
|1 − 3x | < x
es verdadera.
10. Encuentre todos los números reales positivos x tales que la proposición
| x + 2| + | x − 1| = 4
es verdadera.
11. Encuentre todos los números reales negativos x tales que la proposición
| x + 2| − | x − 1| = −4
es verdadera.
12. Determine el conjunto de todos los números reales x tales que es verdadera
la proposición
1
2
< 0.
x + 5x − 1

13. Resuelva en R la inecuación
| x2 − 2x − 2| > 1.

03 Números Reales Nota de Clase

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

03 Números Reales Nota de Clase

Cargado por

Copyright:

Formatos disponibles

Fundamentos de Matemática - 2020B

Capítulo 3: Números Reales

la Cátedra de Fundamentos de Matemática - EPN

2 Expresiones algebraicas 104

EPN - MAYO - 2021 Cátedra: Fundamentos de Matemática 2

2. Enunciar la definición y las propiedades del valor absoluto de un número

3. Enunciar el principio de inducción matemática para definiciones y demostra-

4. Describir las definiciones de sumatoria y multiplicatoria.

2. Operar, descomponer en factores y simplificar expresiones algebraicas racio-

3. Resolver ecuaciones lineales.

4. Resolver ecuaciones sencillas que involucran valor absoluto o raíces cuadra-

5. Resolver inecuaciones lineales.

6. Resolver inecuaciones sencillas que involucran valor absoluto o raíces cua-

8. Demostrar proposiciones sobre números naturales mediante inducción mate-

1.1 Conceptos primitivos y axiomas de cuerpo

1.1.1 Conceptos primitivos

A XIOMA 1.1 (Axioma Fundamental)

1.1.2 Lenguaje y sintaxis

1. Letras minúsculas del alfabeto español:

para representar números reales. Diremos “a es un número real.”

representará el concepto operación suma (o, simplemente suma). La sintaxis

EPN - MAYO - 2021 Cátedra: Fundamentos de Matemática 4

representará el concepto primitivo operación producto (o, simplemente, pro-

Se leerá “el producto de a y b” o “a por b”.

4. Las proposiciones de la teoría Números Reales se definen recursivamente así:

i. Todas las proposiciones de la teoría Conjuntos son proposiciones de la

también representan proposiciones de esta teoría.

Como la teoría Números Reales es una extensión de la teoría de Conjuntos, son

T EOREMA 1.1 (Propiedades de la igualdad de números reales).

4. Sustitución: si A representa una proposición, entonces se tiene que

donde A (b) se obtiene a partir de A (a) al sustituir algunas (no necesariamen-

Veamos algunos ejemplos de proposiciones de esta teoría.

EPN - MAYO - 2021 Cátedra: Fundamentos de Matemática 5

es una proposición. En efecto, por la regla i. de la definición de proposiciones,

es una proposición. Luego, por la regla iii. de la definición de proposiciones, se

también es una proposición.

es una proposición, por la regla i. de la definición de proposiciones.

es una proposición, por las reglas ii. y iii. de la definición de proposiciones.

es una proposición (por el paso i. de la definición de proposición) y, de hecho, es

no es una proposición, porque no se obtiene por ninguna de las reglas de la de-

no es una proposición, porque no se obtiene por la aplicación de ninguna de las

1.1.3 Axiomas de cuerpo

A XIOMA 1.2 (Clausuras de la suma y el producto)

EPN - MAYO - 2021 Cátedra: Fundamentos de Matemática 6

Este axioma garantiza que la suma y el producto de dos números reales es un

A XIOMA 1.3 (Conmutativas de la suma y el producto)

la suma de a y b es igual a la suma de b y a

el producto de a y b es igual al producto de b y a.

A XIOMA 1.4 (Asociativas de la suma y el producto)

Este axioma asegura que

la suma de a y la suma de b y c es igual a la suma de la suma de a y b, y

el producto de a y el producto de b y c es igual al producto del producto

EPN - MAYO - 2021 Cátedra: Fundamentos de Matemática 7

por la propiedad conmutativa del producto y el axioma de sustitución, se deducen,

sin ningún paréntesis, dejamos abierta la posibilidad de dos lecturas:

expresiones que representan números reales, en general, distintos (si b = 0, repre-

EPN - MAYO - 2021 Cátedra: Fundamentos de Matemática 8

2. La aplicación de paréntesis se realizará desde la izquierda; es decir, las ope-

A la aplicación de estas reglas en una expresión, normalmente se le denomina

Ejemplos: Reglas de precedencia

en cambio, si queremos indicar que la suma deberá realizarse en primera lugar,

En efecto, la “restauración” de los paréntesis es la siguiente:

En el primer paso, aplicamos la regla 2 y luego la regla 1; en el segundo paso, la