w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Leccin1
Axiomas de los nmeros reales. Desigualdades. Principio de induccin
Introduccin
En esta leccin quiero que entiendas la importancia de disponer de un marco de referen-
cia. Tratar de explicarme. Para empezar, voy a proponerte unos ejercicios muy sencillos.
1. Sabes probar que 0x = 0? Intntalo.
2. Qu entiendes por x? Es cierto que x es negativo?
3. Escribe con palabras lo que arma la igualdad (x)y =xy. Sabes probarla?
4. Demuestra que si x 0 entonces x
2
> 0 (en consecuencia 1 > 0).
5. Sabes por qu no se puede dividir por 0?
6. Seguro que sabes construir un segmento de longitud

2. Y de longitud

3?
7. Qu quiere decir que un nmero no es racional? Demuestra que

2 no es racional.
Supongo que hace ya tanto tiempo que conoces estas propiedades de los nmeros que has
olvidado cundo las aprendiste. Y ahora te piden que las demuestres! Puedo imaginar tu reac-
cin que demuestre que 0x = 0?, pero si eso es evidente! siempre me han dicho que es as!
cmo se puede demostrar tal cosa?.
Pienso que muchas veces la dicultad de un ejercicio est en que no sabes qu es exacta-
mente lo que se te pide que hagas; no te dan un marco claro de referencia. En estas situaciones
lo ms frecuente es quedarse colgado con la mente en blanco sin saber qu hacer. Para evitar
ese peligro, en este curso vamos a dar un marco de referencia muy claro que va a consistir en
unas propiedades de los nmeros (axiomas, si quieres llamarlas as) que vamos a aceptar como
punto de partida para nuestro estudio. Esas propiedades, junto conlas reglas de inferencia lgi-
ca usuales y con deniciones apropiadas nos permitirn demostrar resultados (teoremas) que
podremos usar para seguir avanzando. Simplicando un poco, puede decirse que en matem-
ticas no hay nada ms que axiomas y teoremas (bueno, tambin hay conjeturas, proposiciones
1
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros reales. Propiedades algebraicas y de orden 2
indecidibles...). Todo lo que se demuestra es un teorema; por ejemplo 0x = 0 es un teorema.
Ocurre que el nombre teorema se reserva para resultados que se consideran realmente impor-
tantes y que ha costado esfuerzo llegar a probarlos. Se usan tambin los trminos: corolario,
lema, proposicin y otros. Pero la estructura de una teora matemtica elaborada se resume en
un conjunto de axiomas y de teoremas que se deducen de ellos mediante reglas de inferencia
lgica.
Es conveniente recordar las propiedades de los nmeros reales porque son ellas las que
nos permiten trabajar con desigualdades. Es muy fcil equivocarse al trabajar con desigualda-
des. Yo creo que en el bachillerato no se le da a este tema la importancia que merece. Fjate
que algunos de los conceptos ms importantes del Clculo se denen mediante desigualdades
(por ejemplo, la denicin de sucesin convergente o de lmite de una funcin en un punto).
Por ello, tan importante como saber realizar clculos ms o menos complicados, es aprender
a manejar correctamente desigualdades, y la nica manera de hacerlo es con la prctica me-
diante numerosos ejemplos concretos. Por supuesto, siempre debenrespetarse cuidadosamente
las reglas generales que gobiernan las desigualdades entre nmeros y asegurarse de que se usan
correctamente. Aparte de tales reglas no hay otros mtodos generales que nos digan cmo te-
nemos que proceder en cada caso particular.
1.1. Nmeros reales. Propiedades algebraicas y de orden
Como todos sabis se distinguen distintas clases de nmeros:
Los nmeros naturales 1,2,3,... . El conjunto de todos ellos se representa por N.
Los nmeros enteros ...,-2,-1,0,1,2,... cuyo conjunto se representa por Z.
Los nmeros racionales que son cocientes de la forma p/q donde p Z, q N, cuyo conjunto
representamos por Q.
Tambin conocis otros nmeros como

2, , o el nmero e que no son nmeros racionales
y que se llaman, con una expresin no demasiado afortunada, "nmeros irracionales". Pues
bien, el conjunto formado por todos los nmeros racionales e irracionales se llama conjunto
de los nmeros reales y se representa por R.
Es claro que N Z Q R.
Aunque los nmeros que no sonracionales puedenparecer unpoco raros, no merece la pena, al
menos por ahora, preocuparse por cmo son estos nmeros; sino que lo realmente interesante
es aprender a trabajar con ellos. Lo interesante del nmero

2 es que su cuadrado es igual a 2.
Pues bien, una de las cosas ms llamativas de los nmeros es que a partir de un pequeo grupo
de propiedades pueden deducirse casi todas las dems. Vamos a destacar estas propiedades
bsicas que, naturalmente, hacen referencia a las dos operaciones fundamentales que se pue-
denhacer con los nmeros: la suma y el producto. La suma de dos nmeros reales x, y se escribe
x +y, representndose el producto por xy. Las propiedades bsicas a que nos referimos son las
siguientes.
P1 [Propiedades asociativas] (x +y) +z = x +(y +z) ; (xy)z = x(yz) para todos x, y, z en R.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros reales. Propiedades algebraicas y de orden 3
P2 [Propiedades conmutativas] x +y = y +x ; xy = yx para todos x, y en R.
P3 [Elementos neutros] El 0 y el 1 son tan importantes que enunciamos seguidamente sus
propiedades:
0 +x = x ; 1x = x para todo xR.
P4 [Elementos opuesto e inverso] Para cada nmero real x hay un nmero real llamado opues-
to de x, que representamos por x, tal que x +(x) = 0.
Para cada nmero real x distinto de 0, x 0, hay un nmero real llamado inverso de x, que
representamos por x
1
, tal que xx
1
= 1.
P5 [Propiedad distributiva] (x +y)z = xz +yz para todos x, y, z en R.
Las propiedades anteriores son de tipo algebraico y, aunque son muy sencillas, a partir de ellas
pueden probarse cosas tan familiares como que 0x = 0, o que (x)y =(xy).
Pero los nmeros tienen, adems de las propiedades algebraicas, otras propiedades que
suelen llamarse propiedades de orden. Como todos sabemos, los nmeros suelen representarse
como puntos de una recta en la que se ja un origen, el 0, de forma arbitraria. Los nmeros que
hay a la derecha de 0, se llaman positivos y el conjunto de todos ellos se representa por R
+
. Las
propiedades bsicas del orden son las siguientes.
P6 [Ley de tricotoma] Para cada nmero real x se verica que o bien es x = 0, o bien x es posi-
tivo, o bien su opuesto x es positivo.
P7 [Estabilidad de R
+
] La suma y el producto de nmeros positivos es tambin un nmero
positivo.
Suele escribirse x y en vez de x + (y). Tambin, supuesto y 0, se escribe x/y o
x
y
en vez de
xy
1
. Los opuestos de los nmeros positivos, es decir los elementos del conjunto R= {x : x
R
+
}, se llaman nmeros negativos. Ntese que el 0 no es positivo ni negativo.
Para x, y Rescribimos x <y (lase x es menor que y) o y >x (lase y es mayor que x) para indicar
que yx R
+
, y escribimos x y o y x para indicar que yx R
+
{0}. En adelante usaremos
las notaciones: R
+
o
=R
+
{0}, R

o
=R

{0} y R

=R\{0}. Ntese que si xR entonces xR

+
.
1.1 Teorema (Reglas para trabajar con desigualdades). Sean x, y, z nmeros reales.
1. x y e y z implican que x z.
2. x y e y x implican que x = y.
3. Se verica exactamente una de las tres relaciones: x < y, x = y, o y < x.
4. x < y implica que x +z < y +z.
5. x < y , z > 0 implican que xz < yz.
6. x < y , z < 0 implican que xz > yz.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Ejercicios 4
7. xy > 0 si, y slo si, x e y son los dos positivos o los dos negativos. En consecuencia si x 0 es
x
2
> 0 y, en particular, 1 > 0.
8. z > 0 implica que
1
z
> 0.
9. Supuesto que x e y son los dos positivos o los dos negativos, se verica que x <y implica que
1
y
<
1
x
.
Valor absoluto
El valor absoluto de un nmero xR se dene como el nmero:
|x| =
_
x si x 0
x si x 0
Para trabajar con valores absolutos es til recordar que dado x R
+
o
, representamos por

x al
nico nmero mayor o igual que cero cuyo cuadrado es igual a x. Puesto que, evidentemente,
|x|
2
= x
2
y, adems, |x| 0, se tiene que |x| =

x
2
.
La siguiente estrategia de procedimiento es de gran utilidad.
Dados a, b R
+
o
para probar que a = b es suciente probar que a
2
= b
2
y para probar que
a < b es suciente probar que a
2
< b
2
.
Geomtricamente, |x| representa la distancia de x al origen, 0, en la recta real. De manera ms
general:
|x y| = distancia entre x e y
representa la longitud del segmento de extremos x e y.
1.2 Teorema (Propiedades del valor absoluto). Para x, y R se verica que:
1. |xy| =|x||y|;
2. |x| y es equivalente a y x y;
3. |x +y| |x| +|y| y la igualdad se da si, y slo si, xy 0 (desigualdad triangular);
4.

|x| |y|

|x y| y la igualdad se da si, y slo si, xy 0.

1.2. Ejercicios
1. Sabiendo que a +b > c +d, a > b, c > d; se verica necesariamente alguna de las des-
igualdades: a > c, a > d, b > c o b > d ? Dar una prueba o un contraejemplo en cada caso.
2. Calcula para qu valores de x se verica que:
i)
2x 3
x +2
<
1
3
ii)
1
x
+
1
1 x
> 0 iii) x
2
5x +9 > x
iv) x
3
(x 2)(x +3)
2
< 0 v) x
2
x vi) x
3
x
vii) x
2
(a +b)x +ab < 0 viii) 3(x a)a
2
< x
3
a
3
< 3(x a)x
2
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Principio de induccin matemtica 5
3. Prueba las siguientes desigualdades:
i) 0 < x +y xy < 1 siempre que 0 < x < 1, 0 < y < 1.
ii)
1
x
+
1
a +b x
<
1
a
+
1
b
siempre que 0 < a < x < b.
4. Calcula para qu valores de x se verica que:
i) |x 5| <|x +1| ii) |x 1| |x +2| = 3 iii)

x
2
x

> 1
iv) |x y +z| =|x| |z y| v) |x 1| +|x +1| < 1 vi) |x +y +z| =|x +y| +|z|
vii) |x| |y| =|x y| viii) |x +1| <|x +3|
5. Dado que
s
t
<
u
v
<
x
y
donde t, v, yR
+
, prueba que
s
t
<
s +u +x
t +v +y
<
x
y
. Generaliza este resul-
tado.
6. Prueba cada una de las siguientes desigualdades y estudia, en cada caso, cundo se da la
igualdad.
i) 2xy x
2
+y
2
.
ii) 4xy (x +y)
2
.
iii) x
2
+xy +y
2
0.
iv) (a
2
+a +1)(b
2
+b +1)(c
2
+c +1) 27abc donde a > 0, b > 0, c > 0.
Sugerencia: para probar i) considrese (x y)
2
. Las dems desigualdades pueden dedu-
cirse de i).
7. Demuestra los teoremas (1.1) y (1.2).
1.3. Principio de induccin matemtica
El Principio de induccin matemtica es un mtodo que se usa para probar que ciertas pro-
piedades matemticas se verican para todo nmero natural. Considera, por ejemplo, la si-
guiente igualdad en la que nN:
1
2
+2
2
+3
2
+ +n
2
=
1
6
n(n +1)(2n +1)
Si le damos a n un valor, por ejemplo n = 2, podemos comprobar fcilmente que la igualdad
correspondiente es cierta. Si le damos a n el valor 1000 ya no es tan fcil comprobar esa igual-
dad y se le damos a n el valor 10
1000
la cosa ya se pone realmente difcil. Pero nosotros queremos
an ms, no nos conformamos con probar que esa igualdad es cierta para unos cuantos miles
o millones de valores de n; no, queremos probar que es vlida para todo nmero natural n. En
estos casos es el Principio de induccin matemtica el que viene en nuestra ayuda para salvar-
nos del apuro. Para nosotros el principio de induccin matemtica es algo que aceptamos, es
decir, puedes considerarlo como un axioma de la teora que estamos desarrollando (aunque su
formulacin lo hace casi evidente).
Principio de induccin matemtica. Sea A un conjunto de nmeros naturales, A N, y supon-
gamos que:
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Principio de induccin matemtica 6
i) 1A
ii) Siempre que un nmero n est en A se verica que n +1 tambin est en A.
Entonces A =N.
El Principio de Induccin Matemtica es la herramienta bsica para probar que una cierta pro-
piedad P(n) es vericada por todos los nmeros naturales. Para ello se procede de la siguiente
forma:
A) Comprobamos que el nmero 1 satisface la propiedad, esto es, que P(1) es cierta.
B) Comprobamos que si un nmero n satisface la propiedad, entonces tambin el nmero n+1
la satisface. Es decir comprobamos que si P(n) es cierta, entonces tambin lo es
P(n +1).
Ntese que en B) no se dice que se tenga que probar que P(n) es cierta, sino que hay que de-
mostrar la implicacin lgica P(n) =P(n +1).
Si denimos el conjunto A = {n N : P(n) es cierta}, entonces el punto A) nos dice que 1 A,
y el punto B) nos dice que siempre que n est en A se verica que n +1 tambin est en A.
Concluimos que A =N, o sea, que P(n) es cierta para todo nmero natural n.
1.3 Ejemplo. Para cada nmero natural n, sea P(n) la proposicin si el producto de n nmeros
positivos es igual a 1, entonces su suma es mayor o igual que n.
Demostraremos por induccin que P(n) es verdadera para todo n N. Trivialmente P(1) es
verdadera. Supongamos que P(n) es verdadera. Consideremos n+1 nmeros positivos no todos
iguales a 1 cuyo producto sea igual a 1. En tal caso alguno de dichos nmeros, llammosle x
1
,
tiene que ser menor que 1 y otro, al que llamaremos x
2
, tiene que ser mayor que 1. Notando
x
3
, , x
n+1
los restantes nmeros se tiene que:
(x
1
x
2
)x
3
x
n+1
= 1
es decir, x
1
x
2
, x
3
, , x
n+1
son n nmeros positivos con producto igual a 1 por lo que:
x
1
x
2
+x
3
+ +x
n+1
n (1)
y como 0 < (1 x
1
)(x
2
1), tenemos que:
x
1
+x
2
> 1 +x
1
x
2
(2)
De (1) y (2) se sigue que:
x
1
+x
2
+x
3
+ +x
n+1
> n +1
Hemos probado as que P(n +1) es verdadera.
1.4Teorema (Desigualdadde las medias). Cualesquiera seanlos nmeros positivos a
1
, a
2
, , a
n
se verica que:
n
_
a
1
a
2
a
n

a
1
+a
2
+ +a
n
n
y la igualdad se da si, y slo si, a
1
= a
2
= = a
n
.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Principio de induccin matemtica 7
Demostracin. Basta poner G =
n
_
a
1
a
2
a
n
y x
i
=
a
i
G
, 1 i n, con lo cual x
1
x
2
x
n
= 1 por lo
que
n

i=1
x
i
n es decir
n

i=1
a
i
nG y se da la igualdad solamente cuando x
i
= 1, para i =1, 2, . . . , n;
es decir, cuando a
1
= a
2
= = a
n
.
El principio de induccin matemtica puede aplicarse en muchas situaciones en las que, a
primera vista, no aparecen para nada los nmeros naturales. Por ejemplo, una proposicin re-
ferente a todos los polinomios podra probarse por induccin sobre el grado del polinomio. Un
teorema sobre matrices cuadradas podra probarse por induccin sobre el orden de la matriz.
Probaremos a continuacin una til igualdad algebraica conocida como frmula del binomio
de Newton.
Para establecer esta igualdad necesitamos denir los llamados coecientes binmicos. Dados
dos nmeros enteros n k 0 se dene:
_
n
k
_
=
n!
k!(n k)!
donde n! =
n

p=1
p
Es decir, n! es el producto de todos los nmeros naturales menores o iguales que n. Se dene
tambin 0! = 1. La igualdad
_
n
k 1
_
+
_
n
k
_
=
_
n +1
k
_
(1 k n) (1.1)
es de comprobacin inmediata. A partir de ella se prueba fcilmente, por induccin sobre n,
que
_
n
k
_
es un nmero entero positivo.
1.5 Teorema (Frmula del binomio de Newton). Cualesquiera sean los nmeros reales a, b y el
nmero natural n se verica que:
(a +b)
n
=
n

k=0
_
n
k
_
a
nk
b
k
.
Demostracin. Para n = 1 la igualdad del enunciado es trivialmente verdadera. Supongamos
que dicha igualdad se verica para n N. Entonces:
(a +b)
n+1
= (a +b)(a +b)
n
= (a +b)
_
n

k=0
_
n
k
_
a
nk
b
k
_
=
n

k=0
_
n
k
_
a
n+1k
b
k
+
n

k=0
_
n
k
_
a
nk
b
k+1
=
=
n

k=0
_
n
k
_
a
n+1k
b
k
+
n+1

k=1
_
n
k 1
_
a
n+1k
b
k
= a
n+1
+b
n+1
+
n

k=1
__
n
k
_
+
_
n
k 1
__
a
n+1k
b
k
=
=
n+1

k=0
_
n +1
k
_
a
n+1k
b
k
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Ejercicios 8
Lo que prueba la validez de la igualdad para n +1. En virtud del principio de induccin, con-
cluimos que la igualdad del enunciado es cierta para todo nN.
La induccin matemtica es un proceso demostrativo
Considera la expresin 991n
2
+1. Si la evalas para n =1, 2, 3, . . . , 100000, . . . no creo que con-
sigas obtener valores de n que sean cuadrados perfectos. Debemos concluir que para todo n-
mero natural n se verica que 991n
2
+1 no es un cuadrado perfecto? Pues no. Entre los nmeros
de la forma 991n
2
+1 hay cuadrados perfectos... el valor mnimo de n para el cual 991n
2
+1 es
un cuadrado es n = 12055735790331359447442538767!
Con eso te indico que hay que ser precavido: no basta comprobar la veracidad de una ex-
presin para unos cuantos valores de n para concluir que dicha expresin es cierta para todo n.
La historia de las matemticas est llena de este tipo de errores.
1.4. Ejercicios
1. Demuestra que 3
n
1 es divisible por 2 para todo nN.
2. Demuestra que cualquier conjunto de nmero naturales, con un nmero nito de ele-
mentos, contiene un nmero natural mximo.
3. Demuestra que la frmula
2 +4 +6 + +2n = n
2
+n +2
cumple con el segundo paso del principio de induccin matemtica. Esto es, si la frmula
es verdadera para n, tambin lo es para n +1. Sin embargo, esta frmula no es vlida para
n = 1. Qu deduces de esto?
4. Teorema del mapa de dos colores: si se traza en una hoja de papel lneas rectas que em-
piezan y terminan en un borde de la hoja, este mapa puede ser coloreado con slo dos
colores sin que ninguna regin adyacente tenga el mismo color.
5. Dnde est el error en el siguiente razonamiento?
A) En un conjunto formado por una nica nia, todas los nias de dicho conjunto tienen
el mismo color de ojos.
B) Supongamos que para todo conjunto formado por n nias se verica que todas las
nias del conjunto tienen el mismo color de ojos.
Consideremos un conjunto formado por n +1 nias. Quitamos una nia del conjunto y
nos queda un conjunto formado por n nias, las cuales, por la hiptesis de induccin, tie-
nen el mismo color de ojos. Ahora devolvemos al conjunto la nia que habamos sacado y
sacamos otra. Volvemos a razonar como antes y deducimos que la nia que habamos sa-
cado tambin tiene el mismo color de ojos que las dems n nias del conjunto. Por tanto
las n +1 nias tienen todas ellas igual color de ojos. Como hay una nia con ojos azules,
deducimos que todas las nias tiene ojos azules.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Ejercicios 9
6. Prueba que para todo nN se verica que:
a) Todos los nmeros de la forma n
3
+5n son mltiplos de 6.
b) Todos los nmeros de la forma 3
2n
1 son mltiplos de 8.
c) Todos los nmeros de la forma n
5
n son mltiplos de 5.
d) 3 no divide a n
3
n +1,
e) 1 +
1
2
+
1
3
+
1
4
+ +
1
2
n
1 +
n
2
f ) 1 +
1
1 3
+
1
3 5
+
1
5 7
+ +
1
(2n 1)(2n +1)
=
n
2n +1
7. Dados n nmeros positivos a
1
, a
2
, . . . , a
n
prueba que:
i)
a
1
a
2
+
a
2
a
3
+ +
a
n1
a
n
+
a
n
a
1
n;
ii)
n
1/a
1
+1/a
2
+ +1/a
n

n
_
a
1
a
2
a
n
;
iii) (a
1
+a
2
+ +a
n
)
_
1
a
1
+
1
a
2
+ +
1
a
n
_
n
2
.
Cundo las desigualdades anteriores son igualdades?
Sugerencia: Usar la desigualdad de las medias aritmtica y geomtrica.
8. Utiliza la desigualdad de las medias para probar que:
ab
n
<
_
a +nb
n +1
_
n+1
siendo a > 0, b > 0, a b, y nN.
Deduce que para todo nmero natural n se verica que:
_
1 +
1
n
_
n
<
_
1 +
1
n +1
_
n+1
, y
_
1 +
1
n +1
_
n+2
<
_
1 +
1
n
_
n+1
9. Sea qN y a > 0. Prueba que el nmero
n
q
(1 +a)
n
es muy pequeo si n es muy grande.
10. Prueba que entre todos los rectngulos de permetrodadoel de mayor rea es el cuadrado.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com