03 Axiomática de los números reales (Primera parte)

Vista previa del material en texto

41 
 
Fundamentos de la Matemática Prof. Adrián Milano 
 
Tema 3: NÚMEROS REALES 
 
 “Los matemáticos no estudian objetos, sino la relación entre objetos” 
 Henri Poincaré - Matemático Francés (1845 – 1912) 
 
 
INTRODUCCIÓN 
 
Existen varias formas de introducir los números reales. Una forma de hacerlo es comenzar definiendo los números 
naturales 0;1;2;3;...y construir a partir de ellos, junto con las operaciones adición y multiplicación, los números 
enteros ... 3; 2; 1;0;1;2;3;...   y los números racionales. Los números racionales son los que se pueden expresar 
de la forma
a
b
 donde a y b son números enteros y 0b  . 
Luego de construidos los números racionales podemos definir los números reales y finalmente los números complejos. 
Esta elaboración es bastante laboriosa y compleja y por lo tanto la hemos descartado. 
Otra forma de introducir los números reales, y que desarrollaremos a continuación, es considerarlos como elementos 
primitivos, sin definición, pero verificando una serie de propiedades, llamadas axiomas, cuya validez asumimos. 
Probablemente, el lector conozca los números reales y muchas de sus propiedades como, por ejemplo, que todo número 
real multiplicado por cero da cero y que el producto de números reales negativos es un número real positivo. Lo que 
quizás desconozca, es que todas las propiedades de los números reales se pueden deducir aceptando unas pocas. 
Así como en geometría, se enuncian algunos axiomas sobre ciertos objetos, que nunca fueron definidos, como son el 
punto, la recta y el plano, enunciaremos aquí los axiomas para los números reales sin definir en ningún momento lo que 
es un número real, lo que nos interesan son las propiedades que cumplen. 
 
Las teorías axiomáticas en la matemática tienen su origen aproximadamente 300 a.C con el matemático Euclides de 
Alejandría cuando este publica su obra “Elementos”, una colección de trece libros en los que son tratados diversos 
tópicos de matemática, y en especial de geometría. En dicha obra, luego de veintitrés definiciones, aparecen cinco 
axiomas relativos a la geometría plana y diversas proposiciones que pueden deducirse a partir de los axiomas. 
Los axiomas son supuestos iniciales que entrelazan ciertos elementos no definidos, llamados elementos primitivos. 
Se aceptan sin demostración y son el punto de partida del desarrollo de una teoría. Los axiomas y definiciones junto con 
las reglas de la lógica usual permiten enunciar nuevas propiedades, llamadas teoremas, que son proposiciones 
demostrables a partir de los axiomas y sus consecuencias. 
Una vez que son establecidos los elementos primitivos y se enuncian los axiomas de una teoría matemática, todas las 
proposiciones (teoremas) que se enuncien deben ser demostradas a partir de los axiomas o sus consecuencias. 
 
Desde los comienzos del siglo XX los matemáticos han estado interesados en decidir cuáles son los axiomas y los 
teoremas de una determinada teoría matemática, es decir, ¿cuáles son los supuestos y cuáles son las propiedades que 
son consecuencias de esos supuestos? Ha llevado años decidir que propiedades son axiomas y cuáles teoremas. 
En la actualidad dentro de la axiomática de los números reales se distinguen tres axiomas que son, el axioma de cuerpo, 
que reúne las propiedades asociadas a la igualdad, el axioma de orden, que trata propiedades relacionadas con la 
desigualdad y el axioma de completitud o del supremo que permite marcar la diferencia entre los números racionales y 
los números reales. Este conjunto de tres axiomas permite deducir todas las propiedades de los números reales. 
 
Presentaremos a continuación el sistema axiomático que caracteriza a los números reales. 
 
EL CUERPO DE LOS NÚMEROS REALES 
Comenzaremos definiendo los conceptos primitivos y el axioma de cuerpo. Este axioma acepta el hecho de que existe 
un conjunto no vacío, el cual llamamos conjunto de los números reales, y en el cual se definen dos operaciones: adición 
y multiplicación, las cuales verifican ciertas propiedades. Este axioma, hace referencia a las dos operaciones más 
elementales que pueden realizarse entre los números reales y enuncia las propiedades operatorias básicas entre ellos. 
 
CONCEPTOS PRIMITIVOS 
Aceptemos la existencia de un conjunto no vacío, simbolizado por , llamado conjunto de los números reales, y 
cuyos elementos llamamos números reales y en cual están definidas dos operaciones llamadas adición y 
multiplicación. 
La adición se simboliza por  , y asocia a cada par de números reales a y b un único número real denotado por: 
a b , llamado suma de ba y . En la suma a b , ba y se llaman sumandos. 
La multiplicación se simboliza por  , y asocia a cada par de números reales ba y un único número real denotado 
por a b o ab , llamado producto de a por b . En este caso, ba y se llaman factores del producto ab . 
42 
 
TEMA 3 NÚMEROS REALES 
 
AXIOMA DE CUERPO PARA LOS NÚMEROS REALES 
La estructura algebraica ( , , )  es un cuerpo. Esto quiere decir, que en las operaciones adición y multiplicación 
cumplen las siguientes propiedades, cualesquiera sean los números reales ,a b y c . 
 
1) Propiedad conmutativa: a b b a   y a b b a   
 
2) Propiedad asociativa:     cbacba  y     cbacba  
 
3) Propiedad de neutro: 
 i) Existe un elemento e perteneciente a , llamado neutro de la suma o neutro aditivo que cumple: 
 a e e a a    cualquiera sea el número real a . 
 
ii) Existe un elemento u perteneciente a , u e , llamado unidad, neutro del producto o neutro 
 multiplicativo que cumple u a a u a    cualquiera sea el número real a .
 
 
 El lector reconocerá que e y u son respectivamente los que habitualmente llamamos 0 y 1 , nombre que le 
 atribuiremos más adelante, una vez que demostremos que e y u son los únicos que cumplen la propiedad de neutro. 
 
4) Propiedad de opuesto o simétrico: 
 Para cada número real a , existe un número real x , llamado opuesto o simétrico de a , tal que a x x a e   
 
 
5) Propiedad de inverso: 
 Para cada número real a e existe un número real y , llamado inverso de a , tal que a y y a u    
 
6) Propiedad distributiva del producto respecto a la suma: cabacba  )( 
 
Decir que la estructura ( , , )  es un cuerpo significa decir que en el conjunto están definidas las operaciones 
adición y multiplicación y que ellas cumplen las seis propiedades enunciadas anteriormente. 
 
 
OBSERVACIONES 
1) La propiedad de neutro, enunciada en el axioma de cuerpo, asegura la existencia de por lo menos dos números reales 
 distintos que son los neutros e y u . Si no admitimos que el neutro de la suma y del producto son distintos, el 
 conjunto de los números reales podría estar formado solo por este neutro ya que la estructura  ( , , )e   
 verifica todas las propiedades del axioma de cuerpo. 
 
2) Con lo que tenemos hasta este momento no podemos asegurar que el conjunto tenga infinitos elementos. En 
 efecto, llamemos 2 al conjunto cuyos elementos son los neutros cuya existencia está asegurada por el axioma de 
 cuerpo. Definimos la adición y multiplicación entre los elementos de 2 de la siguiente manera: 
 , , ,e e e e u u u e u u u e        y , ,,e e e e u e u e e u u u        
 No es difícil verificar que  2 ;e u con esta adición y multiplicación verifica las propiedades del axioma de 
 cuerpo. Por tal motivo, nada nos impide decir que hasta el momento es el conjunto 2 y por tanto, que 
 tiene solo dos elementos distintos que son e y u . 
 Esto nos demuestra que usando el axioma de cuerpo no podemos concluir que tiene infinitos elementos. 
 
3) La propiedad asociativa para la adición establece que, adicionar al número a el número b c es lo mismo que a 
 a b adicionarle c . La notación )( cba  utilizada en dicha propiedad, indica que primero debe realizarse la 
 operación dentro del paréntesis, es decir b c y luego )( cba  de izquierda a derecha. 
 Si bien la propiedad asociativa no asegura que ( ) ( )a b c a c b     , esto puede deducirse de la propiedad 
 conmutativa. Por tal motivo, podemos decir que en una suma donde aparezcan tres o más sumandos, estos pueden 
 reordenarse de cualquier forma, sin alterar el resultado. Por dicha razón, cuando en una suma, hay varios sumandos 
 no se usan paréntesis. Una observación similar puede hacerse con la propiedad asociativa para la multiplicación. 
 
4) La propiedad distributiva relaciona las operaciones adición y multiplicación y expresa que, multiplicar un número 
 real por una suma es lo mismo que multiplicar cada sumando por dicho real y luego sumar los productos obtenidos. 
43 
 
TEMA 3 NÚMEROS REALES 
 
Los neutros de la suma y del producto son únicos. Este hecho puede demostrarse usando el axioma de cuerpo y es 
nuestro primer teorema. 
 
TEOREMA (UNICDAD DE LOS NEUTROS) 
 
El neutro de la suma y el neutro del producto son únicos. 
 
 
Demostración 
Demostremos la unicidad del neutro de la suma y dejaremos como ejercicio demostrar la unicidad del neutro del 
producto. 
Supongamos que existen e y 1e neutros de la suma. 
Como 1e es neutro de la suma, entonces 1a e a  , cualquiera sea a . 
Como e es neutro de la suma, entonces a e a  , cualquiera sea a . 
Considerando a e en la primera igualdad y 1a e en la segunda, tenemos que: 1e e e  y 1 1e e e  
Por la propiedad conmutativa 1 1e e e e   y dado que la adición es una operación en , concluimos que 1e e
Hemos demostrado de esta manera que el neutro de la suma es único. 
 
 
Ahora que sabemos que los neutros de la suma y el producto son únicos, los llamaremos “cero” y “uno”respectivamente 
y los representaremos por: 0 y 1 . Usando estos símbolos la propiedad de neutro se puede enunciar así: 
 
 
, 0 0 1 1a a a a a a a           
 
 
Enunciaremos a continuación un teorema que enuncia la unidad del opuesto y del inverso de un número real. 
 
TEOREMA (UNICDAD DEL OPUESTO Y DEL INVERSO) 
 
El opuesto de un número real es único y el inverso de cualquier número real distinto de cero es único. 
 
 
Demostración 
Demostraremos la unicidad del opuesto y dejamos como ejercicio la demostración de la unicidad del inverso. 
Si a es un número real cualquiera y x y 1x son los opuestos de a , entonces 0a x  y 1 0x a  . 
Luego:    1 1 1 10 0x x x a x x a x x x           y por lo tanto, el opuesto de a es único. 
 
Dado que cualquiera sea el número real a su opuesto es único, lo denotaremos por: ( )a o a . 
Lo correcto sería leer el símbolo a como “opuesto de a ” y no “menos a ” , debido a que la palabra “menos” da la 
idea de orden, concepto que todavía no hemos definido. 
De forma análoga, dado que el inverso de un número real 0a  es también único, lo denotaremos por: 
1a 
Usando estas notaciones, podemos enunciar la propiedad de opuesto y de inverso de la siguiente forma: 
 
, ( ) / ( ) ( ) 0a a a a a a           y 
1 1 1, 0 , / 1a a a a a a a           
 
 
PROPIEDADES QUE SON CONSECUENCIAS DEL AXIOMA DE CUERPO 
 
A continuación, enunciaremos propiedades que son consecuencia del axioma de cuerpo y que son válidas en cualquier 
conjunto que cumpla con el axioma de cuerpo. Estas propiedades son las reglas usuales del álgebra elemental. 
 
Una propiedad muy usada habitualmente en la matemática es la propiedad cancelativa. 
 
TEOREMA (PROPIEDADES CANCELATIVAS) 
Si ,a b y c son números reales cualesquiera, entonces se cumple: 
a) Propiedad cancelativa de la suma: Si a b a c   , entonces b c . 
 
b) Propiedad cancelativa del producto: Si a b a c   y 0a  , entonces b c . 
 
44 
 
TEMA 3 NÚMEROS REALES 
 
Demostración de las propiedades cancelativas 
Demostraremos la parte a) del teorema y dejamos la demostración de parte b) a cargo del lector. 
   ( ) ( ) ( ) ( ) ( ) ( )
asociativa
a b a c a a b a a c a a b a a c                    
0 0
opuesto neutro
b c b c      . 
 
Las propiedades cancelativas pueden usarse para demostrar la unicidad del opuesto y del inverso de un número real. 
 
 
La tabla del 1 , que afirma que 1 ,a a a    , es parte del axioma de cuerpo. Sin embargo, la tabla del cero es un 
teorema que puede demostrarse a partir del axioma de cuerpo y lo veremos a continuación. 
 
TEOREMA (PROPIEDAD DE ABSORCIÓN) 
Cualquiera sea el número real a se cumple: 0 0 0a a    
 
 
Demostración 
Debemos demostrar que cualquiera sea el número real a , 0a  es el neutro de la suma, es decir, 0a a a   
En efecto, 0 1 0 (1 0) 1a a a a a a a            (Reconocer las propiedades aplicadas en cada paso) 
 
Una consecuencia inmediata de la propiedad de absorción es que 0 no tiene inverso. 
 
0 es el único número real que no tiene inverso 
 
 
En efecto, si existiera 
10 , inverso de 0 , entonces 
10 0 1   . Por la propiedad de absorción: 
10 0 0   . 
Teniendo en cuenta estas dos últimas igualdades concluimos que 0 1 y esto contradice el axioma de cuerpo. Por tal 
motivo, 0 no tiene inverso y es el único real que no lo tiene. 
 
Observar que si del axioma de cuerpo eliminamos la condición 0 1 y aceptamos que 0 1 , ganamos que 0 tenga 
inverso, pero de esta manera reducimos a que el conjunto de los números reales contenga solo al 0 , ya que: 
1 0 0 ,a a a a       y esto no es lo que queremos. 
 
 
El siguiente teorema asegura que, dados dos números reales cualesquiera a y b , las ecuaciones a x b  y 
a x b  (con 0b  ) tienen una única solución. 
 
TEOREMA (SOLUCIONES DE UNA ECUACIÓN DE PRIMER GRADO) 
Cualesquiera sean los números reales a y b se cumple: 
a) Existe un único número real x tal que a x b  ( x se llamará diferencia entre a y b ). 
b) Si 0b  , entonces existe un único número real x tal que a x b  ( x se llamará cociente de a entre b ). 
 
 
Demostración 
Transformemos mediante propiedades conocidas la igualdad a x b  , que no sabemos si es verdadera para algún 
número real x , en otra más evidente que nos permita hallar un candidato a solución. 
 ( ) ( ) ( ) ( ) ( ) ( ) 0 ( )a x b a b x b b a b x b b a b x a b x                         
Esto último permite concluir que el número real x que estamos buscando es: ( )x a b   . 
En efecto,    ( ) ( ) 0a b b a b b a a          . 
De esta manera hemos demostrado la existencia de al menos un número real ( )x a b   tal que a x b  . 
Demostremos a continuación que el x hallado es efectivamente el único que verifica la igualdad a x b  . 
Para ello, supongamos que existe un número real 1x tal que 1a x b  . Como existe x tal que a x b  , 
entonces 1x b x b   . Luego, por la propiedad cancelativa de la suma,1x x , como queríamos demostrar. 
La demostración de la parte b) es análoga y la dejamos a cargo del lector. 
45 
 
TEMA 3 NÚMEROS REALES 
 
El último teorema enunciado anteriormente conduce a las definiciones de diferencia y cociente entre números reales: 
 
DEFINICIÓN DE DIFERENCIA ENTRE NÚMEROS REALES 
Dados dos números reales a y b , llamamos diferencia o resta entre a y b al número real ( )x a b   . 
La suma ( )a b  la solemos anotar de la forma: a b , es decir, ( )a b a b    . 
 
La operación que asocia a cada pareja ( , )a b de números reales la diferencia a b se le llama sustracción. 
 
 
Dejemos claro que una operación binaria e interna (a veces llamada solamente operación) definida en un conjunto 
cualquiera X es una correspondencia (o función) que asocia a cada par de elementos de X un único elemento de X . 
Mientras la diferencia o resta es un número real, la sustracción es una operación en . 
 
 
DEFINICIÓN DE COCIENTE ENTRE NÚMEROS REALES 
Dados dos números reales a y b con 0b  , llamamos cociente de a entre b al número real 
1x a b  . 
El producto 
1x a b  se suele anotar de la forma: 
a
x
b
 , es decir, 
1 aa b
b
  . 
En particular: 
1 1x
x
  ya que 
1 1 11x x
x
    
a
b
 se llama fracción de numerador a y denominador b . 
La operación que asocia a cada pareja ),( ba de números reales con 0b  el cociente 
a
b
 se llama división. 
 
El lector debe saber distinguir la diferencia entre la división y el cociente. Mientras la división es una operación, la 
fracción o cociente es un número real. Podemos pensar, la división como una máquina que al introducir la pareja 
ordenada de números reales ),( ba , con 0b  , saca como resultado su cociente 
a
b
. 
 
 DIVISIÓN DIVISIÓN 
 
( , )
a
a b
b

 a
b
ab ),(
 
 
 
 
OBSERVACIÓN 1 
 
Es consecuencia inmediata de todo lo anterior que: 
 
Cualesquiera sean los números reales ,a b y x se cumplen las siguientes dos equivalencias: 
 i) a x b x a b     ii) Si 0b  , 
a
x a b x
b
    
 
Estas dos equivalencias son el fundamento a frases como “lo que está sumando pasa restando” y “lo que está 
multiplicando pasa dividiendo”. Este tipo de frases, que puede simplificar el lenguaje, se puede utilizar siempre y 
cuando se tenga claro la forma en que deben aplicarse las propiedades en la resolución de un problema, de lo contrario 
puede conducir a errores como el siguiente: 
 
 
, ,
" tan " " "
0
a está sumando b estádividiendo entonces
entonces pasa res do pasa multiplicando
x a x
a x ab
b b

       
 
Como puede apreciarse en el razonamiento anterior, hemos llegado erróneamente a que el valor de x que verifica la 
igualdad 0
x a
b

 es x ab  cuando en realidad el valor correcto es x a  (Justificarlo). 
 
46 
 
TEMA 3 NÚMEROS REALES 
 
OBSERVACIÓN 2 
Respecto a las expresiones 
0
0
 y 
0
a
 cuando a y 0a  hagamos algunas aclaraciones. 
Sabemos que en el caso que 0b  , 
a
c a b c
b
    . Si aceptamos esa equivalencia cuando 0b  y 
llamamos 
0
0
x  e 
0
a
y  cuando 0a  , estas igualdades significarían respectivamente que 0 0 x  y 
0a y  . 
Dado que la igualdad 0 0 x  es verificada por todo número real x , diremos que la expresión 
0
0
 es 
indeterminada. Sin embargo, en el caso 0a  , ningún número real y verifica la igualdad 0a y  . Por tal 
motivo, diremos que la expresión 
0
a
 cuando 0a  es una división indefinida o división imposible. 
Estos son los motivos por los cuales no aceptaremos la división entre cero. 
 
 
La siguiente propiedad, conocida como propiedad hankeliana, es de gran importancia en la resolución de ecuaciones y 
afirma que cada vez que el producto de dos números reales es cero, es porque alguno de sus factores es cero. 
 
TEOREMA (PROPIEDAD HANKELIANA O AUSENCIA DE DIVISORES DE CERO) 
 
Cualesquiera sean los números reales a y b , si 0a b  entonces 0a  o 0b  . 
 
 
Demostración 
Si 0a  la propiedad ya queda demostrada. 
Si 0a  y 0a b  entonces, dado que por la propiedad de absorción 0 0a   , podemos deducir que 
0a b a   . Si 0a b a   y 0a  , usando la propiedad cancelativa del producto, concluimos que 0b  . 
 
 
La propiedad hankeliana permite resolver problemas como el siguiente: 
 
EJEMPLO 1 
Hallar los números reales x que verifiquen la siguiente igualdad: ( 1)( 1) 0x x   
 
Solución: ( 1)( 1) 0 1 0 1 0 1 1
hankeliana
x x x x x x              
Concluimos así que los x para los cuales ( 1)( 1) 0x x   son es verdadera son 1 1x x    . 
Decimos, en este caso, que  1 ; 1S   es el conjunto solución de ( 1)( 1) 0x x   . 
 
Dejamos como ejercicio, hallar los números reales x que verifiquen la igualdad: ( 1)( 1) 0x x x   
 
 
Proponemos ahora al lector realizar el siguiente ejercicio que tiene como objetivo demostrar, basándose en el axioma de 
cuerpo y las propiedades anteriormente enunciadas, propiedades muy conocidas por el lector. 
 
Ejercicio 1 
Demostrar las siguientes propiedades donde a y b son números reales cualesquiera. 
1) 0 0  2) 
11 1  
3) 0 a a   4) 0a b a b    . 
5) ( 0 0) 1
a
a b a b
b
 
       
 
 6) 0 0a a    
7) ( )a b a b    8) ( )a b a b     
47 
 
TEMA 3 NÚMEROS REALES 
 
Los siguientes cuatro teoremas resumen las propiedades usuales del álgebra elemental. 
 
TEOREMA (REGLA DE LOS SIGNOS) 
Cualesquiera sean los números reales a y b se cumplen las siguientes igualdades: 
1) aa  )( 
2) 
notación
( ) ( ) ( )a b a b ab ab       (En particular, ( 1)a a   ) 
3) abba  ))(( 
 
Demostración 
1) Para demostrar la igualdad aa  )( , bastará con demostrar que el opuesto de ( )a es a . En efecto, como 
 ( ) ( ) 0a a a a      , entonces el opuesto de ( )a es a . Hemos demostrado que aa  )( . 
2) Demostraremos que ( )a b ab   , es decir, que el opuesto de ab es ( )a b . 
 Como  ( ) ( ) 0 0a b ab a a b b       , entonces ( )a b ab   
3) Usando lo demostrado en las partes anteriores llegamos a que:  ( )( ) ( ) ( )a b a b ab ab         
 
La regla de los signos puede resultar un poco forzada para algunos estudiantes de enseñanza media. En el libro de 
Morris Kline, titulado “El fracaso de las matemáticas modernas”, se hace una ilustración de esta regla en problemas 
concretos y puede ser utilizada con éxito entre los estudiantes. En tal libro, una ganancia se asocia a un número positivo 
y una pérdida a un número negativo. De la misma manera, el tiempo en el futuro es representado por un número 
positivo y en el pasado por un número negativo. Si una persona pierde 4 pesos por día, en 6 días habrá perdido 24
pesos, por tal motivo ( 4)(6) 24   . Si pierde 4 pesos por día, 6 días atrás tenía 24 pesos más y por tanto 
( 4)( 6) 24   . De esta forma podemos justificar las frases“menos por más es menos” y “menos por menos es más”. 
 
TEOREMA (REGLA DE LOS INVERSOS) 
Cualesquiera sean los números reales a y b con 0a  y 0b  se cumplen las siguientes igualdades: 
1)  
1
1a a

  y 2) 
1 1 1( )ab a b   
Dejamos la demostración de la regla de los inversos a cargo del lector. 
 
El siguiente teorema resume las propiedades para el trabajo algebraico con fracciones. 
TEOREMA (OPERACIONES CON FRACCIONES) 
Si a , b , c y d son números reales cualesquiera, entonces se cumplen las siguientes igualdades: 
1) 
1
a
a 2) 
notación
( )
( )
a a a a
b b b b
 
     
 
 si 0b  
3) 
a
b
b
a






1
 si 0ab  4) 
b
ca
b
c
b
a 

 
 , 
bd
cbad
d
c
b
a 
 si 0bd  
5) 
bd
ac
d
c
b
a
 si 0bd  6) 
bc
ad
d
c
b
a
 si 0bdc  
7) 
b
a
bd
ad
 y 
b
a
d
b
d
a
 si 0bd  
Demostraremos la igualdad 
a c ad cb
b d bd

  . Las restantes se demuestran de forma análoga. 
1 1 1 1 1 1 1( )( ) ( )( ) ( )( ) ( )( ) ( )(( )
definición distributiva teorema
de cociente anterior
ad cb
ad cb bd ad bd cb bd ad b d cb b d
bd
              
1 1 1 1 1 1( ) ( )
conmutativa y inverso y definición
asociativa neutro de cociente
a c
a dd b c bb d ab cd
b d
           
48 
 
TEMA 3 NÚMEROS REALES 
 
TEOREMA ( CUADRADO DE UN BINOMIO Y UN TRINOMIO Y BINOMIO CONJUGADO) 
Definimos los conocidos números: 2 ; 3 ; 4 ; 5 ; ... a partir del número 1 cuya existencia es asegurada por el 
axioma de cuerpo. Estos números se definen así: 2 1 1 ; 3 2 1 ; 4 3 1 ; 5 4 1 ;        etc. 
Usando la notación 
2aa a , se cumplen las siguientes igualdades cualesquiera sean los números reales a , b y c : 
 
1) 
2 2 2( ) 2a b a ab b    y 
2 2 2( ) 2a b a ab b    (Estas dos igualdades son llamadas 
 cuadrado de un binomio). 
2) 
2 2( )( )a b a b a b    (Binomios conjugados) 
3) 
2 2 2 2( ) 2 2 2a b c a b c ab bc ac        (Cuadrado de un trinomio) 
 
Estas igualdades, cuya demostración dejamos a cargo del lector, pueden ser interpretadas geométricamente: 
 
2 2 2( ) 2a b a ab b    
2 2 2 2( ) 2 2 2a b c a b c ab bc ac        
 
Las propiedades enunciadas anteriormente junto con las enunciadas en el axioma de cuerpo, constituyen las propiedades 
usuales del álgebra elemental y justifican gran parte del cálculo operatorio con los números reales que el estudiante 
viene realizando desde la escuela. 
 
Proponemos a continuación resolver las siguientes ecuaciones justificando las propiedades utilizadas. Previamente 
explicaremos de manera informal que se entiende por ecuación. 
La palabra ecuación proviene del latín aequatio y aequationis que significa nivelación o igualación. 
Una ecuación es una igualdad entre dos expresiones matemáticas, llamadas miembros de la ecuación, en la que 
intervienen ciertos datos conocidos y una o más variables relacionados mediante operaciones. Las variables de una 
ecuación son llamadas incógnitas de la misma y suelen representarse por letras del alfabeto. 
Ejemplos de ecuaciones son: 3 8 0x   , 2 5 2x x   , 
2 25
3
a a
a
  , 3 2 1x y  , 
( 1)( 1) 0x x   y 
23 2 3x y z   . 
Por ejemplo, en la ecuación 2 5 2x x   , 2 5x  y 2x  son los miembros de la ecuación y x es la 
variable. Para la ecuación 3 2 1x y  , los miembros son 3 2x y y 1 y las variables son x e y . 
 
Se llama solución o raíz de una ecuación a cualquier valor de la o las variables que pertenecen al conjunto donde se 
está resolviendo la ecuación y que hacen que la igualdad sea verdadera. Por ejemplo, la ecuación 3 8 0x   en 
( , , )  tiene solución 
8
3
x  , sin embargo no tiene solución en ( , , )  donde es el conjunto de los 
números naturales (no definido aún) dado que no es posible encontrar un número natural x para el cual 3 8 0x   . 
Al conjunto cuyos elementos son todas las soluciones de la ecuación se le llama conjunto solución de la ecuación. En 
el caso, que no existan soluciones, diremos que el conjunto solución de la ecuación es el conjunto vacío. 
Resolver una ecuación significa hallar el conjunto solución de la misma. 
 
 
Ejercicio 2 
Resolver en ( , , )  cada una de las siguientes ecuaciones (de incógnita x ) reconociendo las propiedades utilizadas. 
En algunos casos el conjunto solución dependerá de los números reales a o b . 
1) 0 0x  2) 3 0x  3) 1ax  
4) 0ax b  5) 3( ) 2a x ax  6) (2 1)(3 2) 0x x   
7) (2 1)(3 2) 2x x    8) 
1x x 9) 
2 2( 2 1) (3 ) 0x x a     
49 
 
TEMA 3 NÚMEROS REALES 
 
Ejercicio 3 
Sea M un conjunto de números reales que cumplen los siguientes axiomas: 
Axioma 1: 2 M . 
Axioma 2: 3 M . 
Axioma 3: Si x M e y M , entonces ( )x y M  . 
Axioma 4: Si x M , entonces (3 1)x M  . 
Demostrar los siguientes teoremas explicitando los axiomas o propiedades utilizadas. 
Teorema 1: 9 M . 
Teorema 2: 1 M . 
Teorema 3: Si x M e y M , entonces (3 1 3 )x y M   . 
Teorema 4: Si x M , entonces ( )x M  . 
 
 
 
ORDEN EN EL CONJUNTO DE LOS NÚMEROS REALES 
 
Además de las propiedades algebraicas de es importante destacar las propiedades que forman parte del llamado 
axioma de orden. Este axioma, toma como concepto primitivo el de “número real positivo” y permite establecer un 
orden entre los números reales compatible con las operaciones de adición y multiplicación, permitiendo decidir si un 
número real es menor o mayor que otro dado. Además, gracias a este axioma, podemos demostrar que el conjunto de los 
números reales tiene infinitos elementos. 
 
 
El axioma de orden establece las reglas para el trabajo con las desigualdades. 
 
AXIOMA DE ORDEN 
El conjunto de los números reales es un conjunto ordenado. Esto quiere decir que existe un subconjunto de , 
llamado conjunto de los números reales positivos o conjunto de los positivos, que se denota con el símbolo: 

 y 
cuyos elementos cumplen las siguientes propiedades: 
 
1) Propiedad de tricotomía: 
 Cada número real a cumple una y solo una de las siguientes proposiciones: 
 a) 0a  b) a
 o c) a
  
 
2) Propiedad de estabilidad o clausura de

 : 
 Si a
 y b
 , entonces ( )a b
  y a b
  . 
 Es decir, la suma y el producto de números reales positivos es un número real positivo. Este hecho, se expresa 
 diciendo que la adición y la multiplicación son operaciones cerradas o internas en 

. 
 
 
El axioma de orden establece propiedades que el lector seguramente ya conocía de cursos anteriores. Un número real no 
nulo, es positivo o su opuesto es positivo. Además, la suma y el producto de números positivos es un número positivo. 
 
 
OBSERVACIONES 
Con el axioma de orden queda claro que 0 no es un número real positivo. Además, si a
 , dadoque 
( ) 0a a   y 0 no es un número real positivo, la propiedad de clausura del axioma de orden, permite concluir que 
a no es un número real positivo. Esto lleva a las siguientes definiciones: 
 
Si a
 , decimos que a es un número real positivo y en el caso que se cumpla a   , diremos que a es un 
número real negativo . 
 
Si llamamos 

 al conjunto de los números reales negativos tenemos que  /a a    . 
Observar además que  0    y que esta unión es disjunta. 
50 
 
TEMA 3 NÚMEROS REALES 
A partir del axioma de orden podemos demostrar el conocido hecho que 1
 , asegurando de esta manera que el 
conjunto 

 es un conjunto no vacío. 
 
TEOREMA 1
 
 
Demostración 
Como 1 0 , entonces por la propiedad de tricotomía, 1
 o 1
  . 
Si 1
  , entonces por la propiedad de clausura, ( 1)( 1)
   . 
Usando la regla de los signos tenemos: 111)1)(1(  y por lo tanto 1
 . Hemos llegado a la siguiente 
contradicción: 1
  y 1
 . Tal contradicción surge de suponer que 1
  . Concluimos así que 1
 
 
Como consecuencia de este último teorema concluimos que 

 es un conjunto no vacío. 
¿Puede demostrarse que 

es un conjunto no vacío? Justificar su respuesta. 
 
 
A partir del conjunto 

 es posible definir el orden entre los números reales y dar significado a los símbolos de 
desigualdad  , ,  y  que seguramente el lector ya conoce de cursos antriores. 
 
DEFINICIÓN 
Sean x e y dos números reales cualesquiera. 
1) Decimos que x es menor que y (y anotamos: x y ) si, y solo si, ( )y x
  . 
 
2) Decimos que x es mayor que y (y anotamos: x y ) si, y solo si, y es menor que x . 
 
3) Decimos que x es menor o igual que y ( y anotamos x y ) si, y solo si, x y o x y . 
 
4) Decimos que x es mayor o igual que y ( y anotamos x y ) si, y solo si, x y o x y . 
 
 
La conjunción x y y z   se expresa abreviadamente como x y z  . Interpretaciones análogas deben 
darse a expresiones como x y z  , x y z  o x y z  . 
 
Es consecuencia inmediata de lo anterior que, ser un número real positivo equivale a ser un número mayor a cero y que 
ser un número real negativo equivale a ser menor a cero. Demostraremos este hecho en el siguiente teorema. 
 
TEOREMA 
 0x x
   y 0x x
   
 
Demostraremos la primera equivalencia y dejamos para el lector demostrar la segunda. 
 0 0 ( 0)x x x x
         
 
 
PROPIEDADES QUE SON CONSECUENCIAS DEL AXIOMA DE CUERPO 
 
TEOREMA (TRICOTOMÍA DE LA DESIGUALDAD) 
Cualesquiera sean los números reales a y b se cumple una y solo una de las siguientes relaciones: 
 i) a b ii) a b o iii) b a 
 
 
Demostración 
Si a y b son números reales, entonces ( )a b
  . 
Por la propiedad de tricotomía del axioma de orden, se cumple una y solo una de las siguientes proposiciones: 
1) 0a b  2) ( )a b
  o 3) ( )a b
   
Si se cumple 1) entonces a b , si se cumple 2) entonces a b y si se verifica 3) tenemos que b a . 
51 
 
TEMA 3 NÚMEROS REALES 
 
TEOREMA (TRANSITIVA DE LA DESIGUALDAD) 
 
Cualesquiera sean los números reales a , b y c se cumple que: si a b y b c entonces a c . 
 
 
Demostración 
  
( )
( ) ( ) ( )
( )
a b b a
b a c b c a a c
b c c b

 

    
         
    
 
 
OBSERVACIONES 
La relación “menor” definida en es una relación de orden estricto total en . Esto quiere decir que, cualesquiera 
sean los números reales a , b y c se cumplen las siguientes propiedades: 
Inidéntica: a no es menor que a . 
Asimétrica: Si a es menor que b , entonces b no es menor que a . 
Transitiva: a b b c a c     
Tricotomía: Se cumple una y solo una de las siguientes relaciones: a b o a b o b a . 
 
A su vez, la relación “ menor o igual” es una relación de orden total en , lo que equivale a decir que, cualesquiera 
sean los números reales a , b y c se cumplen las siguientes propiedades: 
Idéntica: a b . 
Antisimétrica: a b b a a b     . (Esta propiedad se puede usar para demostrar que dos reales son iguales) 
Transitiva: a b b c a c     
Dicotomía: Se cumple una y solo una de las siguientes relaciones: a b o b a . 
 
 
La siguiente propiedad es utilizada en la resolución de inecuaciones y nos permite sumar y multiplicar un mismo 
número real a ambos lados de una desigualdad. 
 
TEOREMA (MONOTONÍA DE LA DESIGUALDAD) 
Cualesquiera sean los números reales a , b y c se cumple: 
1) Propiedad de monotonía de la suma: Si a b entonces a c b c   . 
 
2) Propiedad de monotonía del producto: Si a b y c
 entonces ac bc . 
 
3) Si a b y c
 entonces ac bc . Como caso particular tenemos que si a b , entonces a b   
 
Demostración 
Demostraremos la parte 2) y dejamos la demostración de las restantes partes para el lector. 
Para que se cumpla que ac bc debemos demostrar que ( )bc ac
  . 
Como por hipótesis a b , entonces ( )b a
  . Como además c
 , usando el axioma de orden, 
concluimos que ( )b a c
  y por lo tanto que ( )bc ac
  . 
 
 
Las propiedades de monotonía de la desigualdad, que también son válidas cuando se cambia el símbolo de  por el de 
 es fundamental en la resolución de inecuaciones. 
Una inecuación es una desigualdad entre dos expresiones matemáticas, llamadas miembros de la ecuación, en la que 
intervienen ciertos datos conocidos y una o más variables relacionados mediante operaciones matemáticas. Las 
variables de una inecuación son llamadas incógnitas de la ecuación y suelen representarse por letras del alfabeto. 
Ejemplos de ecuaciones son: 3 2 0x   , 4( 5) 2x x x    , 2 3 3x y  y 
3
( 1)( 1) 0
2
x x
x
   

 
Se llama solución o raíz de una inecuación a cualquier valor de la o las variables que pertenecen al conjunto donde se 
está resolviendo la inecuación y que hacen que la desigualdad sea verdadera. Al conjunto cuyos elementos son todas las 
soluciones de la inecuación se le llama conjunto solución de la inecuación. En el caso, que no existan soluciones, 
diremos que el conjunto solución de la inecuación es el conjunto vacío. 
Resolver una inecuación significa hallar el conjunto solución de la misma. 
52 
 
TEMA 3 NÚMEROS REALES 
 
EJEMPLO 2 
Resolveremos en ( , , , )   la inecuación: 
3
3 2
4
x
x

   
 
3 3
3 2 4( 3 2) 4 12 8 3 12 8 8 3 8
4 4Monotonía del Monotonía de
producto la suma
x x
x x x x x x x x
  
                    
 
 
1 1 5
11 5 ( 11 ) ( 5)
11 11 11
x x x             . 
Luego, el conjunto solución de la inecuación planteada es 
5
/
11
S x x
 
   
 
. 
 
 
Ejercicio 4 
Resolver en cada una de las siguientes inecuaciones de forma similar a como se resolvió la inecuación del ejemplo 2. 
1) 2 5 0x   2) 4 5 2 5x x   3) ( 3)(2 4) ( 4)(2 1)x x x x     
4) 
2
3
1x
 

 5) 
2 5
4
3
x
x

  6) 2 3 5 1 16x x    
 
 
 
Con la siguiente propiedad podremos sumar y multiplicar desigualdades. 
 
TEOREMA (MONOTONÍA GENERALIZADA) 
Cualesquiera sean los númerosreales a , b , c y d se cumple: 
1) Si a b y c d entonces a c b d   . 
 
2) Si 0 a b  y 0 c d  entonces ac bd . 
 
 
Demostración 
Demostraremos la parte 2) de la propiedad y dejaremos la demostración de la parte 1) para el lector. 
 
0 ( )
( ) ( ) ( )
0 ( )
a b b a
c b a b d c bd ac ac bd
c d d c

 

     
         
     
 
 
 
EL CONJUNTO DE LOS NÚMEROS REALES ES UN CONJUNTO INFINITO 
Ya sabemos que 1 0 . Por la propiedad de monotonía de la suma: 1 0 1 1 0 1 1 1 1 0         
Por lo tanto, el número 1 1 es un número distinto de 0 y 1 . Si llamamos 2 1 1  , entonces 2 1 y 2 0 
De manera similar quedan definidos los números 3 ; 4 ; 5 ; 6 ; … todos distintos entre sí. Por lo tanto, como 
consecuencia del axioma de orden, deducimos que el conjunto de los números reales tiene infinitos elementos. 
 
 
Ejercicio 5 
a) Sabiendo que a es un número real, demostrar: 
 1) 0a   
1 0a  2) 0a  
1 0a  y 3) 0a  
1 0a  . 
b) Si a y b son números reales cualesquiera y 0a  , hallar en cada caso, discutiendo según a y b los x 
 para los cuales se cumple: 1) 0ax b  2) 0ax b  . 
 
Los resultados extraídos de la parte b) del ejercicio 5 se pueden esquematizar de la siguiente manera: 
 
 
 Si 0a  , ( ) ( )signo ax b sig ax b   
0sig a sig a
b
a


 
53 
 
TEMA 3 NÚMEROS REALES 
 
Ejercicio 6 
a) Si a y b son números reales cualesquiera, demostrar que las siguientes proposiciones son verdaderas: 
 1) 0 ( 0 0) ( 0 0)ab a b a b         . Deducir que: 
20 0a a   . 
 Enunciar una proposición similar en el caso que 0ab  . 
 2) 
2 2 0 0a b a b     . 
 3) 
2 20 a b a b    . ¿Vale la proposición si se elimina la condición que ba y son positivos? 
 4) Si 
1 1
0 a b
a b
    . 
b) Usar lo demostrado en la parte a) para resolver en las siguientes inecuaciones: 
 1) (2 1)(2 3 ) 0x x   2) 
24 1 0x   
c) Demostrar que si a y b son números reales positivos, entonces 
1 1
( ) 2a b
a b
 
   
 
 
 
 
Demostraremos a continuación una propiedad que permite deducir que entre dos números reales existen infinitos. 
Dicha propiedad se conoce como de densidad de los números reales. 
 
TEOREMA (DENSIDAD DE LOS NÚMEROS REALES) 
Si r y s son números reales cualesquiera y r s , entonces existe un número real q tal que r q s  . 
En este caso, decimos que q está entre r y s . 
 
 
Demostración 
 
2
2 2
2 2
r s r r s r r s r s r
r s r s r s
r s r s s s r s s
         
      
        
 (Justificar los pasos realizados) 
Luego, existe un número real 
2
r s
q

 tal que r q s  como queríamos demostrar. 
 
 
REPRESENTACIÓN GEOMÉTRICA DE LOS NÚMEROS REALES 
 
Es como consecuencia del axioma de orden que los números reales pueden ser ordenados sobre una recta, 
interpretándolos así como puntos de ella. El procedimiento comienza tomando una recta horizontal r y sobre ella un 
punto cualquiera O al que llamamos origen y al cual le asociamos el número real 0 . A la derecha del punto O , 
elegimos sobre r , un punto cualquiera U . Fijamos el segmento OU como unidad de longitud asociando al punto 
U el número real 1 . De esta forma queda determinada la escala a considerar. 
Cada número real x se representa por un solo punto X de la recta r y recíprocamente cada punto X perteneciente 
a r representa a un único número real x . Este motivo nos lleva muchas veces a llamar punto x al número real x y 
viceversa. 
 
Si x e y son dos números reales cualesquiera, la desigualdad x y significa geométricamente que, sobre r , el 
punto x está a la izquierda de y . En particular, los números positivos están a la derecha del cero y los negativos a su 
izquierda. 
 
Si x e y son los números reales asociados a dos puntos X e Y de una recta en la cual se ha fijado un origen y una 
escala, es posible construir con regla y compás puntos de la recta que correspondan a cada uno de los siguientes 
números reales ; ; ;x x y xy  
1x y 
x
y
 . Dejamos a cargo del lector la construcción de tales puntos. 
De esta manera cada propiedad y trabajo algebraico con los números reales corresponde a una construcción geométrica. 
Como ejercicio se propone al lector interpretar geométricamente por ejemplo, las propiedades de monotonía. 
r 
54 
 
TEMA 3 NÚMEROS REALES 
 
En muchas ocasiones es conveniente trabajar con los intervalos de números reales. 
 
DEFINICIÓN DE INTERVALOS DE NÚMEROS REALES 
 
Si a y b son números reales con a b , llamamos intervalos de números reales a los siguientes conjuntos: 
 
1)  ( , ) ( ; ) /a b a b x a x b     ( intervalo abierto de extremos a y b o segmento abierto) 
 
 
2)      , ; /a b a b x a x b     (intervalo cerrado de extremos a y b o segmento cerrado) 
 
 
3)      , ; /a b a b x a x b     (intervalo cerrado por la derecha y abierto por la izquierda) 
 
 
4)      , ; /a b a b x a x b     (intervalo abierto por la derecha y cerrado por la izquierda) 
 
 
5)  ( , ) /a x x a    y  ( , ) /b x x b    (semirrectas abiertas) 
 
 
6)    , /a x x a    y    , /b x x b    (semirrectas cerradas) 
 
 
7) ( , )  
 
 
 
 
 
OBSERVACIONES 
 
1) Debe quedar claro que los símbolos  y  , que se leen “más infinito “ y “menos infinito” respectivamente, 
 no son números. Por ejemplo, el símbolo  en el intervalo ( , )a  es parte de la notación utilizada para 
 nombrar el conjunto de todos los números reales que mayores que a . 
 
2) Admitiremos también como intervalos a los conjuntos    ( , ) , ,a a a a a a    y  ,a a con a 
 Este tipo de intervalos se suelen llamar intervalos degenerados. 
 
3) Como consecuencia de la propiedad de densidad de los n[umeros reales, todo intervalo no degenerado de números 
 reales es un conjunto con infinitos elementos. 
 
 
 
Ejercicio 7 
Expresar las soluciones de las desigualdades planteadas en el ejercicio 4 usando intervalos de números reales. 
 
 
 
 
 
 
 
Los intervalos abiertos se representan así: 
Los intervalos cerrados se representan así: 
Este tipo de intervalos se representan así: 
Este tipo de intervalos se representan así: 
55 
 
TEMA 3 NÚMEROS REALES 
 
VALOR ABSOLUTO DE UN NÚMERO REAL 
 
Definimos a continuación un concepto muy utilizado en una rama de la matemática llamada Análisis Matemático. 
 
DEFINICIÓN DE VALOR ABSOLUTO DE UN NÚMERO REAL 
Dado x , se llama valor absoluto de x al número real , que denotamos por x , y que definimos de la siguiente 
manera: si 0x  entonces x x y si 0x  entoncesx x  . 
En forma resumida: 
si 0
si 0
x x
x
x x

 
 
 
 
 
Por ejemplo, 4 4 , 4 4  y 0 0 . 
 
Es consecuencia inmediata de la definición de valor absoluto que 0 ,x x   . 
 
 
En muchas situaciones en la que aparece el valor absoluto conviene considerar los dos casos posibles: cuando la 
expresión entre barras es positiva y cuando es negativa. Este procedimiento es el utilizado en el siguiente ejemplo para 
resolver una ecuación con valor absoluto. 
 
EJEMPLO 3 
Resolver en la ecuación 3 6 2x x   
Solución: Por definición de valor absoluto: 
3 6 si 3 6 0
3 6
3 6 si 3 6 0
x x
x
x x
  
  
   
 o lo que equivale a decir que: 
3 6 si 2
3 6
3 6 si 2
x x
x
x x
 
  
  
 
Por lo tanto, resolvemos las ecuaciones 
3 6 2 si 2
3 6 2 si 2
x x x
x x x
   

    
 
La primera ecuación tiene solución 
6
5
x  , pero no verifica la condición 2x  y la segunda tiene solución 6x  
que no cumple la condición 2x  . 
Concluimos de esta manera que la ecuación 3 6 2x x   tiene solución vacía. 
 
 
Ejercicio 8 
1) Escribir los siguientes números sin usar valor absoluto: 21 y 324  . 
2) Resolver en las siguientes ecuaciones e interpretar geométricamente. 
 a) 4x  b) 2 1 0x   c) 2 1 6x   d) 2 1 6x    
 e) 1 2x x  f) 1 2x x   g) 2x x  h) 2 2x x x  
 
 
A partir del valor absoluto de un número real podemos definir el concepto de distancia entre dos números reales. 
 
DEFINICIÓN DE DISTANCIA ENTRE DOS NÚMEROS REALES 
La distancia (o distancia usual) entre dos números reales x e y , representada por ( , )d x y , se define de la 
siguiente manera: 
si
si
( , )
x y x y
d x y x y
y x x y
 
   
 
 
En particular, ( ;0)x d x . 
 
56 
 
TEMA 3 NÚMEROS REALES 
 
Muchas de las ecuaciones e inecuaciones en las que interviene el valor absoluto se pueden resolver interpretando el 
valor absoluto usando el concepto de distancia. Mostraremos como esto es posible en el siguiente ejemplo. 
 
EJEMPLO 4 
Resolver en la inecuación 2 5x   . 
Solución: 
Dado que 2 ( 2) ( ; 2)x x d x      , resolver la inecuación 2 5x   equivale a encontrar los 
números reales x cuya distancia a 2 es menor a 5 . Tales números reales son los que se encuentran entre 7 y 3 . 
Por lo tanto, la solución de la inecuación 2 5x   es  7;3S   . 
 
 
Ejercicio 9 
Usando el concepto de distancia entre dos números reales resolver las siguientes ecuaciones e inecuaciones: 
1) 3 7x   2) 3 7x   3) 3 5 2x x    
 
 
En el siguiente ejercicio proponemos demostrar las propiedades del valor absoluto. 
 
Ejercicio 10 (PROPIEDADES DEL VALOR ABSOLUTO) 
Demostrar que para cualquier par de números reales a y b se cumplen las siguientes propiedades: 
1) 
2 2a a 2) a b a b a b      
3) ab a b 4) 
aa
b b
 si 0b  
5) a a a   6) a b b a b     
7) a b a b a b      8) Desigualdad triangular: a b a b   
 
 
Sugerencia: Para demostrar la desigualdad triangular usar las propiedades 5) y 6). 
 ¿Qué condición deben cumplir a y b para que se verifique a b a b   ? 
 
Observe que todas las propiedades enunciadas en el ejercicio 10 son válidas si se cambia el símbolo de  por  . 
 
Ejercicio 11 
a) Resolver en las siguientes ecuaciones: 1) 2 1x x x    2) 2 4 2 4x x    
b) Resolver en las siguientes inecuaciones: 
 1) 7 2
2
x
  2) 2 4 2 4x x   3) 
3 12
1
2
x
x



 
 4) 1 2 3x x   5) 2 2 1 1x x x     6) 2 2 12x x    
 
 
Ejercicio 12 
a) Demostrar que  1;2x  se cumple: 2 1 3 3 4 10x x x      
b) Demostrar que x  se cumple: 1) 2
1 1 5
2 63 xx
 

 y 2) 2
22
99
xx
x



 
 
 
Ejercicio 13 
1) Si ,a b y  son números reales, demostrar que si a b   entonces b a b     . 
2) Deducir que si a b   , entonces a b   . 
57 
 
TEMA 3 NÚMEROS REALES 
 
RAÍZ CUADRADA DE UN NÚMERO REAL NO NEGATIVO 
 
Dado un número real positivo b , existe un número real positivo a tal que 
2a b . Este número a es el que 
llamamos raíz cuadrada de b y su existencia está garantizada por un axioma de los números reales, llamado axioma 
del supremo, que aún no hemos enunciado. 
Aceptemos por ahora la existencia de la raíz cuadrada de un número real no negativo, para poder resolver, entre otras 
cosas, ecuaciones de segundo grado. 
 
 
Ejercicio 14 
1) Si a y b son dos números reales no negativos, demostrar que: 
2 2a b a b   . ¿Qué ocurre con esta 
 equivalencia si a y b son dos números reales cualesquiera? 
2) Si a y b son dos números reales no negativos y 2a b , demostrar que a es el único número real cuyo 
 cuadrado es b . Con esto queda justificada parte de la siguiente definición. 
 
 
DEFINICIÓN DE RAÍZ CUADRADA DE UN NÚMERO REAL NO NEGATIVO 
Dado un número real b no negativo, llamamos raíz cuadrada de b al único número real a no negativo que 
verifica la condición 
2a b . 
Si a es la raíz cuadrada de b anotaremos a b . Usando esta notación, si 0b  , entonces  
2
b b . 
 
Por ejemplo: 16 4 y 
1 1
4 2
 . 
No es correcto escribir 16 4  
 
 
Usando la definición de raíz cuadrada pueden demostrarse las siguientes propiedades, que dejamos a cargo del lector. 
 
PROPIEDADES DE LA RAÍZ CUADRADA 
Si a y b son dos números reales no negativos, se cumplen las siguientes propiedades: 
 1) 
2 si 0
si 0
a a
a a
a a

  
 
 2) ab a b 
 3)  
1
1a a

  si 0a  4) 
a a
b b
 si 0b  
 
Ejercicio 15 
a) Resolver las siguientes ecuaciones: 1) 2 5 7x   2) 
2(3 2) 7x   
b) 1) Encontrar dos números reales a y b que verifiquen: a b a b   . 
 2) Hallar la condición que deben cumplir los números reales a y b para que a b a b   . 
c) Si a y b son números reales cualesquiera, verificar que la igualdad 
2 2a b a b   no se cumple. 
d) Si a y b son dos números reales, demostrar que: 
 1) 0 a b a b    
 2) 0
2
a b
a b a ab b

      
e) Si a y x son dos números reales positivos, demostrar que 
2 1
2
ax
a
x

 (Esta desigualdad permite acotar 
 superiormente a ) Sugerencia: Para demostrar lo pedido desarrollar  
2
2 1ax  . 
58 
 
TEMA 3 NÚMEROS REALES 
 
RESOLUCIÓN DE UNA ECUACIÓN DE SEGUNDO GRADO 
 
Diversos problemas conducen a la resolución de ecuaciones de la forma 
2 0ax bx c   donde a , b y c son 
números reales con 0a  . Uno de los más antiguos es el que consiste en hallar las medidas x e y de los lados de 
un rectángulo cuyo perímetro p y área a son datos conocidos. Dado que 2( )x y p  y xy a , despejandola incógnita y de la primera igualdad y sustituyendo en la segunda obtenemos que x debe verificar la igualdad 
2
p
x x a
 
  
 
, es decir, 
2 0
2
p
x x a    . 
De esta forma, resolver el problema planteado, implica hallar el valor de x que verifique 
2 0
2
p
x x a    . 
Una vez hallado el valor de x bastará sustituirlo en la ecuación 2( )x y p  y despejar el valor de y . 
 
Nos proponemos entonces hallar las soluciones de una ecuación de la forma 
2( ) : 0E ax bx c   donde 
0a  , b y c son números reales conocidos. Tales ecuaciones son llamadas ecuaciones de segundo grado. 
 
Consideremos varios casos: 
 
1) Si 0a  entonces la ecuación 
2( ) : 0E ax  tiene una única solución que es 0x  . 
 
2) Si 0a  y 0b  entonces 
2( ) : 0E ax bx  tiene dos soluciones reales y distintas que son 0x  y 
 
b
x
a
  . En efecto: 
2 ( ) 0 0
b
ax bx x ax b x x
a
         . 
 
3) Si 0a  y 0c  entonces 
2 2( ) : 0
c
E ax c x
a
     . 
 Si 0
c
a
 , ( )E no tiene raíces reales y si 0
c
a
 , ( )E tiene dos raíces reales y reales que son 
c
a
  . 
 
4) En el caso 0a  , 0b  y 0c  para resolver la ecuación ( )E utilizaremos la famosa fórmula de 
 Bhaskaras (Bhaskaras, India:1114-1185) que a continuación deduciremos. 
 
 
22 2 2
2 2 2
2 2 2
0
4
2
2 24 4 4a
bx c b b b c b ac b
ax bx c a x a x x a x
a a a a aa a a
      
                  
       
 
 
 Por lo tanto, si 0a  , 
2 0ax bx c   
2 22 2
2 2
4 4
0
2 24 4
b ac b b b ac
x x
a aa a
    
        
   
 
 
 Si 
2 4 0b ac  entonces: 
 
2 22 2 2
2 2
4 4 4
2 2 2 24 4
b b ac b b ac b b ac
x x x
a a a aa a
     
          
   
 
 
 
2 24 4
2 2 2
b b ac b b ac
x x
a a a
   
      
 
 
 
 
 
59 
 
TEMA 3 NÚMEROS REALES 
 
Si 0a  llamamos discriminante de la ecuación 
2 0ax bx c   al número real 
2 4b ac   . 
El número de raíces reales de esta ecuación dependerá del signo de su discriminante. 
 
a) Si 
2 4 0b ac    , entonces la ecuación 
2 0ax bx c   tiene dos raíces reales y distintas que 
 son: 
2 4
2
b b ac
x
a
  
 (Esta fórmula se conoce como fórmula de Bhaskaras ) 
 
b) Si 
2 4 0b ac    , entonces la ecuación 
2 0ax bx c   tiene una sola raíz real que es 
2
b
x
a

 . 
 Esta raíz comúnmente se la llama raíz doble de la ecuación. 
 
c) Si 
2 4 0b ac    , entonces la ecuación 
2 0ax bx c   no tiene raíces reales. 
 
 
Observar que en el caso que la ecuación 
2 0ax bx c   tenga raíces reales y sea 0b  o 0c  las 
soluciones de la ecuación también se pueden obtener con la fórmula de Bhaskaras. Es decir, la fórmula 
2 4
2
b b ac
x
a
  
 permite obtener las soluciones de la ecuación 
2 0ax bx c   en cualquier caso 
siempre que sea 0a  . 
 
 
A modo de resumen tenemos: 
 
 
Si 
2( ) : 0E ax bx c   es una ecuación donde 0a  , b y c son números reales, entonces 
 
1) Si 0a  entonces la ecuación 
2( ) : 0E ax  tiene una única solución que es 0x  . 
 
2) Si 0a  y 0b  entonces 
2( ) : 0E ax bx  tiene dos soluciones reales y distintas que son 0x  y 
 
b
x
a
  . 
3) Si 0a  y 0c  entonces si 0
c
a
 , ( )E no tiene raíces reales y si 0
c
a
 , ( )E tiene dos raíces 
 reales y reales que son 
c
a
  . 
 
4) En el caso 0a  , 0b  y 0c  para resolver la ecuación ( )E utilizaremos la famosa fórmula de 
 Bhaskaras. 
. Si 0a  llamamos discriminante de la ecuación 
2 0ax bx c   al número real 
2 4b ac   . 
 
 a) Si 
2 4 0b ac    , entonces la ecuación 
2 0ax bx c   tiene dos raíces reales y distintas que 
 son: 
2 4
2
b b ac
x
a
  
 (Esta fórmula se conoce como fórmula de Bhaskaras ) 
 b) Si 
2 4 0b ac    , entonces la ecuación 
2 0ax bx c   tiene una sola raíz real que es 
2
b
x
a

 . 
 Esta raíz se la llama raíz doble de la ecuación. 
 
 c) Si 
2 4 0b ac    , entonces la ecuación 
2 0ax bx c   no tiene raíces reales. 
 
 
 
60 
 
TEMA 3 NÚMEROS REALES 
 
Para algunos de los ejercicios que planteados a continuación usaremos la notación 
3x xxx y 
4x xxxx . 
 
Ejercicio 16 
Resolver las siguientes ecuaciones en : 
1) 
2x x 2) 
3 2x x 
3) 
21 x x   4) 
2 2( 3 1)(4 ) 0x x x    
5) 
2(2 5)(4 3 ) 0x x x   6) 
3 4
1 ( 1)( 2)
x x
x x x


  
 
7) 2
3 7 1 9
4 4 16
x
x x x

 
  
 8) 
2
2 2 3
2 1 2 1 4
x x
x x
    
    
    
 
9) 
4 26 8 0x x   10) 
4 2 8 0x x   
11) 
2 4 4 1x x   12) 2 4 4 1x x    
 
13) 2 1 1x x   14) 2 2 3 2 1x x    
 
 
Ejercicio 17 
Se considera la ecuación 
2 0ax bx c   con 0a  , b y c números reales y  y  sus dos raíces reales. 
1) Demostrar que: 
b
a
    y 
c
a
  . 
2) Demostrar que: 
2 ( )( )ax bx c a x x      . 
3) Escribir una ecuación de segundo grado que tenga raíces 4 y 
1
3
. ¿Es única? Justificar su respuesta. 
4) Si 0  y 0  , demostrar que 
1 1 b
c 
   
 
 
A continuación, se resumen algunas de las igualdades demostradas en el ejercicio 17 y que son de utilidad para resolver 
ejercicios como el 18 y 19. 
 
 
Si  y  son las raíces reales de la ecuación 2 0ax bx c   con 0a  entonces se cumplen las 
igualdades: 
b
a
    y 
c
a
  (Estas igualdades se llaman fórmulas de Cardano – Vieta o 
relaciones entre coeficientes y raíces para una ecuación de segundo grado) 
 
Además, 
2 ( )( )ax bx c a x x      
 
 
 
 
Ejercicio 18 
Sea considera la ecuación 
2 2( ) : ( 2) 2 0 ,E x m x m m m      . 
En cada uno de los siguientes casos, hallar m para que: 
1) la suma de las raíces de ( )E sea 3 . 
2) las raíces de ( )E sean opuestas. 
3) la suma de las raíces de ( )E sea igual a su producto. 
 
 
61 
 
TEMA 3 NÚMEROS REALES 
 
Ejercicio 19 
Se considera la ecuación 
2 0ax bx c   con 0a  , b y c son números reales. 
Si una de la las raíces de la ecuación es el cuadrado de la otra, demostrar que 
3 ( ) 3b ca c a abc   . 
 
 
Ejercicio 20 
Se supone que las n ecuaciones del cuadro adjunto tienen coeficientes y raíces reales. 
 
 ECUACIÓN RAÍCES 
2
1 1 0x a x b   0 1,x x 
2
2 2 0x a x b   0 2,x x 
 …………………… 
2 0n nx a x b   0 , nx x 
 
Hallar las raíces de la ecuación 
2 1 2 1 2... ... 0n n
a a a b b b
x x
n n
        
     
   
 
 
 
SIGNO DE UN TRINOMIO DE SEGUNDO GRADO 
 
Se consideran los números reales 0a  , b y c . Estudiaremos a continuación el signo del trinomio 2ax bx c  
cualquiera sea el número real x . Estudiaremos tres casos: 
CASO 1 
2 4 0b ac    
Si 
2 4 0b ac    , entonces la ecuación 
2 0ax bx c   admite dos raíces reales y distintas  y  y porlo 
tanto 
2 ( )( )ax bx c a x x      . 
Supongamos que   . 
a) x  , si x    entonces 0x   y 0x   . 
 Si 0a  entonces 
2 ( )( ) 0ax bx c a x x       y si 0a  entonces 2 0ax bx c   . 
b) x  , si x   entonces 0x   y 0x   . 
 Si 0a  entonces 
2 ( )( ) 0ax bx c a x x       y si 0a  entonces 2 0ax bx c   . 
c) x  , si x   entonces 0x   y 0x   . 
 Si 0a  entonces 
2 ( )( ) 0ax bx c a x x       y si 0a  entonces 2 0ax bx c   . 
 
Los resultados extraídos de a) , b) y c) se pueden esquematizar de la siguiente manera: 
 
2( )sig ax bx c  
0 0siga sig a sig a
 

 
CASO 2 
2 4 0b ac    
Si 
2 4 0b ac    , entonces 
2 22
2
2
4
2 24
b ac b b
ax bx c a x a x
a aa
    
          
     
 y la ecuación 
2 0ax bx c   tiene una sola raíz real que es 
2
b
a
 . 
Como 
2
0 ,
2
b
x x
a
 
    
 
 , entonces si 0a  , 
2 0ax bx c   y si 0a  , 
2 0ax bx c   . 
Resumiendo: 
2( )sig ax bx c  
0
2
siga sig a
b
a

 
62 
 
TEMA 3 NÚMEROS REALES 
 
CASO 3 
2 4 0b ac    
Por lo visto anteriormente 
2 2
2
2
4
2 4
b ac b
ax bx c a x
a a
  
      
   
 
Si 
2 4 0b ac  entonces 
24 0ac b  y por lo tanto 
2 2
2
4
0
2 4
b ac b
x
a a
 
   
 
 , x  . 
Concluimos entonces que x  , si 0a  , 
2 0ax bx c   y si 0a  , 2 0ax bx c   . 
 
Resumiendo: 
2( )sig ax bx c  siga 
 
 
Tenemos entonces: 
 
Si 0a  , b y c son números reales, el signo del trinomio 2ax bx c  cualquiera sea x es el siguiente: 
 
1) Si la ecuación 
2 0ax bx c   admite dos raíces reales y distintas  y  y supongamos que   , 
 entonces: 
2( )sig ax bx c  
0 0siga sig a sig a
 

 
2) Si la ecuación 
2 0ax bx c   tiene una sola raíz real que es 
2
b
a
 , entonces 
 
2( )sig ax bx c  
0
2
siga sig a
b
a

 
3) Si la ecuación 
2 0ax bx c   no tiene raíces reales, entonces 
 
2( )sig ax bx c  siga 
 
 
 
EJEMPLO 5 
Resolveremos en el cuerpo ordenado ( , , , )   las siguientes inecuaciones: 
1) 
2 2( 5 6)( 2) 0x x x    2) 
2
2
5 6
0
3
x x
x x
 


 
 
 
Solución 
1) Dado que 
2 2 0 ,x x    , para que se cumpla 
2 2( 5 6)( 2) 0x x x    debemos encontrar 
 los x para que 
2 5 6 0x x   . Para ello, hallaremos las raíces de la ecuación 
2 5 6 0x x   y 
 luego estudiaremos el signo de la expresión 
2 5 6x x  basados en el último recuadro. 
 
2 5 6 0 2 3x x x x       . Por lo tanto, 
 
2( 5 6)sig x x  
0 0
2 3
      
 
 Finalmente, los x para los cuales 
2 2( 5 6)( 2) 0x x x    son los x que cumplen 
 
2 5 6 0x x   . Observando el estudio del signo de 
2 5 6x x  concluimos que la solución de la 
 inecuación 
2 2( 5 6)( 2) 0x x x    es    ,2 3,S     
 
 
 
 
 
63 
 
TEMA 3 NÚMEROS REALES 
 
2) La condición para que la expresión 
2
2
5 6
3
x x
x x
 

 tenga sentido es que 
23 0x x  , es decir, que 
 0x  y 3x  . Por lo tanto 0x  y 3x  no podrán ser soluciones de la inecuación planteada. 
 Ya sabemos que si a y , 0b b  entonces 
1a a b
b
  . Por tal motivo, usando las propiedades 
 del ejercicio 5 y 6, el signo del cociente 
a
b
, cuando este tiene sentido, es igual al signo del producto ab . 
 Procedemos entonces a estudiar el signo de las expresiones 
2 5 6x x  y 
23x x 
 
 
2( 5 6)sig x x  
0 0
2 3
          
 
 
2(3 )sig x x 
0 0
0 3
        
 
 Finalmente, teniendo en cuenta que la expresión 
2
2
5 6
3
x x
x x
 

 no está definida para 0x  y 3x  , 
 estudiamos el signo de 
2
2
5 6
3
x x
x x
 

 . 
 
2
2
5 6
3
x x
sig
x x
  
 
 
 
0
0 2 3
         
 
 Concluimos así que la solución de la inecuación 
2
2
5 6
0
3
x x
x x
 


 es  ( ,0) 0,2 (3, )S      
 
 
 
Ejercicio 21 
Resolver en ( , , , )   las siguientes inecuaciones: 
1) 
2( 4 4)(1 2 ) 0x x x    2) (3 7 )(3 5)(1 2 ) 0x x x    
 
3) 
2( )(2 3) 2 3 0x x x x     4) (3 5)(2 3)( 2) ( 2)x x x x x     
 
5) 
2 2
2
( 1)(4 )
0
2
x x x
x x
   

 
 6) 
1
x
x
 
7) 
3 4
1 ( 1)( 2)
x x
x x x


  
 8) 
23 3 3
( 1)(3 ) ( 1)(3 )
x x x
x x x x x
  

   
 
 
 
Ejercicio 22 
Sea considera la ecuación ecuación 
2( ) : (10 6) (10 6) 3 2 0 ,E m x m x m m       . 
En cada uno de los siguientes casos, hallar ecuación m de manera que: 
1) ( )E tenga dos raíces reales y distintas. 2) ( )E tenga una única raíz real. 3) ( )E no tenga raíces reales. 
 
 
Ejercicio 23 
Sea considera la ecuación 
2( ) : (3 2) (4 2) 2 1 0 ,E m x m x m m       . 
En cada uno de los siguientes casos hallar, en caso de ser posible, los m para que: 
1) ( )E tenga una sola raíz real. 2) ( )E tenga dos raíces reales de distinto signo. 
3) ( )E tenga dos raíces reales negativas. 4) ( )E tenga dos raíces reales positivas. 
64 
 
TEMA 3 NÚMEROS REALES 
 
Resolveremos ahora algunas ecuaciones e inecuaciones donde intervienen radicales. 
 
EJEMPLO 6 
Resolver en el cuerpo ordenado ( , , , )   las siguientes ecuaciones e inecuaciones: 
1) 4 10x x   2) 
2
2
0
3
x
x x



 3) 1 1x x   
Solución 
1) Comencemos planteando la condición que debe cumplir x para que 10x  sea un número real. 
 10 10 0 10x x x        
 Según lo demostrado en el ejercicio 14, la equivalencia 
2 2a b a b   solo es válida si a y b son dos 
 números reales no negativos. Usando esta idea, en vez de resolver la ecuación 4 10x x   , resolveremos 
 la ecuación  
2
2( 4) 10x x   que se obtiene de elevar ambos miembros al cuadrado. Una vez obtenidas 
 las soluciones de esta última ecuación verificaremos si son soluciones de la ecuación original 4 10x x   
 Si 10x   , 
2 24 10 ( 4) 10 7 6 0 1 6x x x x x x x x                 
 Como 1 4 1 10     y 6 4 6 10     , el conjunto solución de la ecuación es  1S   . 
2) Para resolver la inecuación 
2
2
0
3
x
x x



 procedemos de forma similar a como lo hicimos en el ejemplo 5, 2). 
 ( 2)sig x  
0
2
           
 
  23sig x x 
0 0
0 3
        23sig x x 0 0
0 3
     
 
 
2
2
si
3
x
g
x x
 
  
 
 
0
0 2 3
        
 
 En base al último signo estudiado concluimos que el conjunto solución de la inecuación planteada es  0,2S  
3) Para resolver la inecuación 1 1x x   comencemos estudiando el signo de cada miembro de la desigualdad. 
 ( 1)sig x  
0
1
        
 
  1sig x  
0
1
       

 
 Como puede observarse si 1 1x   , 1 0x   y 1 0x   y por lo tanto la desigualdad 
 1 1x x   es falsa. Es decir, la inecuación 1 1x x   no tiene soluciones entre 1 y 1 . 
 Cuando 1x  , las soluciones de 1 1x x   son las mismas que las de  
2
2( 1) 1x x   . 
  
2
2 2 2( 1) 1 2 1 1 3 0x x x x x x x           
  2 3sig x x 
0 0
0 3
         
 
 
2 3 0 0 3x x x x      . Teniendo en cuenta que para poder elevar al cuadrado era necesario que 
 se cumpla 1x  , concluimos que el conjunto solución de la inecuación 1 1x x   es (3, )S   
65 
 
TEMA 3 NÚMEROS REALES 
 
Ejercicio 24 
Resolver en ( , , , )   las siguientes ecuaciones e inecuaciones. 
1) 
29 0x  2) 
29
0
1
x
x



 3) 
2(3 )
0
2(4 ) 1
x
x x


  
 
 
4) 5 2 8 7x x    5) 
1 3 10
3
2 3
x
x
 

 
 6) 
1 1 2
32x x
 

 
 
7) 
29 2x   8) 
2 2 24 4x x    9) 
2 4 5 2x x x    
 
 
10)
2 4 5 2 1x x x    11) 22 5 4 1 3 1x x x    12) 2 1
2
x
x
x
 

 
 
13)
2 24 5 6 0x x x x      14) 2 1 1 1x x    
 
 
 
NÚMEROS NATURALES 
 
Estudiaremos a continuación los números naturales y algunas de sus propiedades. 
Intuitivamente, pensamos en el conjunto de los números naturales como el conjunto que contiene al 0 , al 1 y a los 
números 2 ; 3 ; 4 ; 5 ; 6 ; 7 ; 8 ; 9 ; 10 ,... que son generados por la adición repetida del 1 . 
Como ya hemos mencionado, como 1 0 1 1 0 1 1 1 1 0         . Por lo tanto, el número real 1 1 , que 
llamamos 2 , es distinto de los números reales 1 y 0 . De forma análoga, surgen los infinitos números naturales todos 
distintos entre sí. 
Esta descripción de los números naturales, que intuitivamente puede resultar clara, no es del todo precisa pues no se ha 
explicitado que significa que “los números naturales se obtienen usando la adición repetida del 1” 
 
Definiremos el conjunto de los números naturales basándonos en la idea que es el “menor” conjunto contenido 
en que cumple con las siguientes dos condiciones: 1) 0 y 2) Si n entonces ( 1)n   . 
 
DEFINICIÓN DE CONJUNTO INDUCTIVO 
Decimos que un conjunto H  es un conjunto inductivo de si, y solo si, se cumplen las siguientes 
condiciones: 
1) 0 H y 2) Si n H , entonces ( 1)n H  . 
 
 
Ejemplos de conjuntos inductivos son y  0  y ejemplos de conjuntos no inductivos son  y  . 
 
Basados en nuestra idea intuitiva del conjunto de los números naturales, es claro que cualquier conjunto inductivo 
debería contenerlo, luego resulta lógico definir el conjunto de los números naturales como el conjunto intersección de 
todos los conjuntos inductivos de . 
 
DEFINICIÓN DE CONJUNTO DE LOS NÚMEROS NATURALES 
Llamamos conjunto de los números naturales al conjunto intersección de todos los conjuntos inductivos de . 
 
Denotamos al conjunto de los números naturales como: y llamamos a sus elementos números naturales. 
De esta manera, un número natural es un número real que pertenece a todos los conjuntos inductivos de . 
 
Observar que dado que  0  es un conjunto inductivo de , entonces   0  y por lo tanto se 
verifica que 0 ,n n   . 
 
66 
 
TEMA 3 NÚMEROS REALES 
 
Incluir al cero o no en el conjunto de los números naturales es una cuestión de conveniencia. Algunos autores, 
generalmente de libros de Análisis Matemático, excluyen al cero de los números naturales, debido a que los números 
naturales son índices de términos de una sucesión. Si ( )nx es una sucesión y consideramos que el primer número 
natural es el uno, entonces 1x es el primer término de la sucesión, 2x es el segundo y así sucesivamente. Si el primer 
número natural es el cero, entonces 0x sería el primer término de la sucesión, 1x el segundo, 2x el tercero, etc. y este 
corrimiento podría complicar en algunas ocasiones. 
Los libros de Álgebra, generalmente, consideran al cero como un número natural, debido a que en estos textos el 
principal interés está puesto en el estudio de las operaciones en un conjunto. Considerar al cero como número natural 
permite entre otras cosas, tener un neutro para la adición de números naturales y que la diferencia a b de números 
naturales sea una operación en no solo cuando a b sino también cuando a b . Incluir el cero como número 
natural, evita algunas excepciones. 
 
 
Ejercicio 25 
1) Indicar si alguno de los siguientes conjuntos son inductivos de . 
 a) 
1
2
 
 
 
 b)  c) X  tal que X es finito y 0 X . 
2) Investigar si la unión de conjuntos inductivos de es un conjunto inductivo de . Justificar su respuesta. 
3) Demostrar que la intersección de conjuntos inductivos de es un conjunto inductivo de y deducir que es 
 un conjunto inductivo de . 
 
 
Consecuencia de lo demostrado en el ejercicio 25, tenemos que: 
 
 es un conjunto inductivo de . 
 
 
 
El conjunto de los naturales es el menor de los conjuntos inductivos de en el siguiente sentido: Si H es un 
conjunto inductivo de , entonces H . Esta idea queda resaltada en el siguiente teorema que nos da la 
propiedad más importante de los números naturales. 
 
TEOREMA DE INDUCCIÓN COMPLETA 
 
Si H es un subconjunto de y H es un conjunto inductivo de , entonces H  . 
 
 
Demostración 
Como H es un conjunto inductivo de y la intersección de conjuntos está contenida en cada uno de ellos tenemos 
que H . Como además, por hipótesis H  , concluimos que H  . 
 
 
OBSERVACIÓN 
Dado que H  , para cualquier conjunto H inductivo de , podemos afirmar que es el menor 
conjunto inductivo de y que es el mayor de todos ellos. 
 
 
El teorema de inducción completa (también llamado en algunos textos principio de inducción completa) puede utilizarse 
para demostrar propiedades de los números naturales que seguramente ya son conocidas por el lector, como, por 
ejemplo, que la suma y el producto de números naturales es un número natural y que entre dos números naturales 
consecutivos no existe números naturales. Demostraremos estas dos propiedades en los siguientes dos teoremas. 
 
 
 
 
 
 
 
 
 
67 
 
TEMA 3 NÚMEROS REALES 
 
TEOREMA 
Si a y b entonces ( )a b  y ab . 
 
 
Demostración 
Comenzaremos demostrando que si a y b entonces ( )a b  . 
Consideremos el conjunto  / ( )H n a n    . 
1) H  . 
2) 0 pues