Calculo Cap01

Captulo 1
Axiomas de R. Principio de inducci on

Dios cre los nmeros naturales, lo dems es obra de los hombres.
L. Kronecker
1.1. Introduccin
Los temas tradicionales del Clculo son el estudio de las funciones continuas, las derivadas
e integrales, las sucesiones y las series. T ya debes saber algo de todo eso. En principio, pare-
cen cosas bastante diferentes pero todas ellas tienen una base comn, que es, precisamente, de
lo que nos vamos a ocupar en este Captulo. Me estoy reriendo a los nmeros reales que repre-
sentamos por R. Sin duda, ya conoces muchas propiedades de los nmeros reales. Sabes que
se pueden sumar y multiplicar y que hay nmeros reales positivos y negativos. Tambin puedes
extraer races de nmeros reales positivos y elevar un nmero real positivo a otro nmero real.
Lo que quizs no sepas es que todo lo que puedes hacer con los nmeros reales es consecuencia
de unas pocas propiedades que dichos nmeros tienen que, adems, son muy elementales. En
este Captulo estableceremos dichas propiedades. Sern nuestro punto de partida para todo lo
que sigue; constituyen los axiomas del Clculo. Te advierto que no voy a decrtelo todo,
voy a guardarme una carta en la manga que te mostrar ms adelante cuando su necesidad sea
maniesta (si echas algo en falta, ve al Captulo 4).
1.1.1. Axiomas, deniciones, teoremas, lemas, corolarios.
Al terminar este apartado, entenders el signicado de la frase de Bertrand Russell que fue
uno de los ms grandes matemticos y lsofos del siglo XX.
La matemtica pura es aquella ciencia en la que uno no sabe de qu est hablando
ni si lo que est diciendo es verdad.
1
Axiomas, deniciones, teoremas, lemas, corolarios. 2
Siempre que te enfrentas a un problema es muy importante que lo sites en su contexto apro-
piado. Esto ya lo haces de forma automtica en muchas ocasiones. Por ejemplo, sabes que un
problema de lgebra y otro de probabilidades requieren distintas herramientas, y al primero lo
sitas en lgebra y al segundo en Clculo de Probabilidades. Pero no siempre las cosas
son tan claras, no siempre tienes un marco de referencia tan explcito. Para que sientas lo que
quiero decirte, voy a proponerte unos ejercicios muy sencillos. En todo lo que sigue se supone
que x. y son nmeros reales.
1. Prueba que 0 x =0.
2. Prueba que (x)y =xy.
3. Prueba que si x =0 entonces x
2
> 0.
Supongo que hace ya tanto tiempo que conoces estas propiedades de los nmeros que
has olvidado cundo las aprendiste. Y ahora te pido que las demuestres! Puedo imaginar tu
reaccin que demuestre que 0 x =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 con las reglas
de inferencia lgica usuales y con deniciones apropiadas nos permitirn demostrar resultados
(teoremas) que podremos usar para seguir avanzando.
Simplicando un poco, puede decirse que en matemticas no hay nada ms que axiomas
y teoremas (bueno, tambin hay conjeturas, proposiciones indecidibles. . . ). Todo lo que se
demuestra es un teorema; por ejemplo 0 x =0 es un teorema. Ocurre que el nombre teorema
se reserva para resultados que se consideran realmente importantes 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.
Los axiomas de una teora matemtica proporcionan el marco de referencia ms general de
dicha teora. Son, por tanto, muy importantes. Al principio, cuando la teora empieza a caminar
y se demuestran los primeros resultados ms bsicos, es frecuente recurrir de forma explcita
a los axiomas. Ms adelante, cuando la teora va avanzando, los axiomas no suelen citarse con
tanta frecuencia porque nos apoyamos en resultados ms elaborados previamente demostrados.
Pero los axiomas siempre estn presentes aunque sea de forma discreta y no ostensible.
Entre las particularidades que distinguen a las Matemticas de las dems ciencias hay una
muy especial: las Matemticas avanzan dando deniciones. Las deniciones no son nuevos
axiomas. Una denicin lo que hace es introducir un trmino nuevo y establece cmo dicho
trmino se expresa en funcin de los axiomas de la teora. Por ejemplo, la denicin de con-
tinuidad se expresa mediante desigualdades y las desigualdades se reducen a los axiomas de
orden de R.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Axiomas, deniciones, teoremas, lemas, corolarios. 3
Quiero tambin decirte algo sobre lo que se entiende por reglas de inferencia lgicas usua-
les. Me limitar a la ms importante: la implicacin lgica. Los teoremas matemticos tienen
casi siempre la siguiente estructura: se parte de una hiptesis y de ella se deduce una tesis.
Entremos en detalles. La hiptesis es siempre alguna propiedad matemtica; por ejemplo,
es una funcin continua en un intervalo. La tesis tambin es una propiedad matemtica; por
ejemplo, la imagen de es un intervalo. Representemos por H la hiptesis y por T la tesis.
Es importante que te des cuenta de que no tiene sentido preguntarse por la veracidad de la hi-
ptesis H. No es ni verdadera ni falsa. Para que H sea verdadera o falsa debemos particularizar
la funcin .
Un error muy frecuente consiste en pensar que en Matemticas las hiptesis son verdade-
ras.
Ahora te preguntars, si H no es verdadera ni falsa, qu quiere decir que H implica T
o, equivalentemente, que T se deduce o es consecuencia de H? La respuesta es: H implica
T quiere decir que siempre que H sea verdadera tambin T es verdadera. Observa que no
estamos armando (no tiene sentido) que H o T sean verdaderas sino que cuando H es verda-
dera tambin lo es T . Con ms precisin, demostrar que H implica T consiste en probar que la
proposicin H=T es cierta. Teniendo en cuenta que la proposicin H=T es la disyuncin
lgica (noH)T , resulta que si H es falsa entonces H=T es verdadera (por eso se dice que
de una hiptesis falsa puede deducirse cualquier cosa) y si H es verdadera entonces para que
H=T sea verdadera tiene que ocurrir que T sea verdadera. En consecuencia, si sabemos que
H es verdadera y que H=T es verdadera, deducimos que T es verdadera.
Ahora puedes entender el signicado de la frase de C. P. Steinmetz.
La matemtica es la ciencia ms exacta, y sus conclusiones son susceptibles de
demostracin absoluta. Pero eso se debe exclusivamente a que la matemtica no
intenta obtener conclusiones absolutas. Todas las verdades matemticas son rela-
tivas, condicionales.
Tambin comprendes ya el signicado de una parte de la enigmtica frase de Bertrand Russell
del principio: en matemticas no sabemos si lo que decimos es verdad. Pero una parte de dicha
frase queda por aclarar.
Recuerdas los axiomas de la geometra elemental? En dichos axiomas se establecen pro-
piedades que se supone satisfacen ciertos objetos llamados punto,recta y plano. Pero no
se dice nunca lo que es un punto ni una recta ni un plano. De la misma forma, en la seccin
siguiente estableceremos los axiomas de los nmeros reales, pero no diremos lo que es un n-
mero real. En matemticas nunca decimos cul es la naturaleza concreta de los objetos con
los que trabajamos! Sucede que la intuicin nos lleva muchas veces a una interpretacin na-
tural de dichos objetos, pero otras veces dicha interpretacin natural no est disponible. Y, lo
ms interesante, puede haber interpretaciones muy diferentes de una misma teora matemtica.
Precisamente, las matemticas son una ciencia abstracta porque trabaja con cosas abstractas
cuya naturaleza no se precisa ni es necesario saber, solamente interesan las relaciones que hay
entre ellas tal y como se establecen en los axiomas. Ahora ya entiendes por qu arma Bertrand
Russell que en matemticas no sabemos de lo que hablamos.
Prof. Javier Prez
Axiomas de los nmeros reales 4
1.2. Axiomas de los nmeros reales
1.2.1. Axiomas algebraicos
Como ya sabes, 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 conoces 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 son racionales pueden parecer un poco 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
1
.
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 propie-
dades bsicas que, naturalmente, hacen referencia a las dos operaciones fundamentales que se
pueden hacer con los nmeros: la suma y el producto. La suma de dos nmeros reales x. y se
escribe xy, representndose el producto por xy. Las propiedades bsicas a que nos referimos
son las siguientes.
P1 Propiedades asociativas. Para todos x. y. z en R:
(x y) z =x (y z) : (xy)z =x(yz)
P2 Propiedades conmutativas. Para todos x. y en R:
x y =y x : x y =yx
P3 Elementos neutros. Hay dos nmeros reales distintos que representamos por 0 y 1
tales que para todo xR se verica que:
0 x =x 1x =x
P4 Elementos opuesto e inverso. Para cada nmero real x hay un nmero real llamado
opuesto 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.
1
La seccin Nmeros y medida de magnitudes trata de la aparicin de los nmeros irracionales y su relacin
con la medida de magnitudes
Prof. Javier Prez
Axiomas de orden 5
P5 Propiedad distributiva. (x y)z =xz y z 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). Vamos a hacerlo.
1.1 Proposicin. Se verican las siguientes igualdades
0x =0. (x)y =x y. (x)(y) =xy .
Demostracin. Probaremos primero que 0x = 0. Por P5 (0 0)x = 0 x 0 x. Como con-
secuencia de P3 es 0 0 = 0. Obtenemos as que 0 x = 0 x 0 x. Usando P4, sumamos el
opuesto de 0 x a ambos lados de la igualdad 0 x=0 x0 x y, usando tambin P1 (la propiedad
asociativa), obtenemos que 0 x =0.
Probaremos ahora que (x)y=(xy). Tenemos que xy(x)y=(x(x))y=0 y=0.
Donde hemos usado P4, P5 y el apartado anterior. La igualdad xy (x)y =0 nos dice, por
P4, que (x)y es el opuesto de xy. Eso es justamente lo que queramos probar.
Finalmente, la igualdad (x)(y) =xy es consecuencia inmediata de la anterior.
El smbolo x debe leerse siempre el opuesto de x y no menos x. La razn es que
la palabra menos remite a una idea de orden (si hay menos es porque hay ms) y el
signicado de x es puramente algebraico y nada tiene que ver con la idea de orden de la que
ni siquiera hemos hablado an. No cometas el error de pensar que x es negativo!
Notacin. Suele escribirse x y en vez de x (y). Tambin, supuesto y =0, se escribe
x,y o
x
y
en vez de x y
1
.
1.2.2. Axiomas de orden
Los nmeros tienen, adems de las propiedades algebraicas, otras propiedades que suelen
llamarse propiedades de orden. Como sabes, 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
C
. Las propiedades
bsicas del orden son las siguientes.
P6 Ley de tricotoma. Para cada nmero real x se verica una sola de las siguientes tres
armaciones: x =0, x es positivo, x es positivo.
P7 Estabilidad de R
C
. La suma y el producto de nmeros positivos es tambin un nmero
positivo.
1.2.2.1. Relacin de orden
Observa que en P6 se dice, en particular, que el 0 no es positivo, el 0 es el 0! Por otra parte,
si x es un nmero positivo, entonces como x (x) = 0 y el 0 no es positivo, concluimos,
por P7, que x no es positivo. Los elementos del conjunto R
= {x : x R
C
], es decir,
los opuestos de los nmeros positivos, se llaman nmeros negativos. Observa que si z R
entonces z R
C
.
Prof. Javier Prez
Desigualdades y valor absoluto 6
1.2 Denicin. Para x. y R escribimos x < y (lase x es menor que y) o y > x (lase y
es mayor que x) para indicar que y x R
C
, y escribimos x 6y o y >x para indicar que
y x R
C
L {0].
Notacin. En adelante usaremos las notaciones: R
C
o
=R
C
L{0], R
o
=R
L{0] y R
=R\{0].
1.3 Proposicin. Para todo x =0 se verica que x
2
> 0. En particular, 1 > 0.
Demostracin. Probaremos que si x =0 entonces x
2
> 0. En efecto, si x =0 entonces, por
P6, o bien x es positivo o bien x es positivo. Teniendo en cuenta que, como consecuencia de
(1.1), es x
2
= x x = (x)(x), concluimos que x
2
es positivo. En particular, tenemos que
1
2
=1 > 0. Acabamos de probar que 1 > 0!.
Tenemos ahora dos tipos de propiedades en R, las algebraicas P1-P5 y las de orden P6 y
P7. En la siguiente seccin estudiamos cmo se relacionan entre s.
1.2.3. Desigualdades y valor absoluto
Las propiedades del orden de los nmeros reales son las que nos permiten trabajar con
desigualdades. Es muy fcil equivocarse al trabajar con desigualdades. Yo creo que en el ba-
chillerato 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 co-
mo saber realizar clculos ms o menos complicados, es aprender a manejar correctamente
desigualdades, y la nica manera de hacerlo es con la prctica mediante numerosos ejemplos
concretos. Por supuesto, siempre deben respetarse 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 tenemos que proceder en
cada caso particular.
En el siguiente resultado el primer teorema de este curso! se enuncian las propiedades
principales del orden de R. Son las que debers usar para trabajar con desigualdades.
1.4 Teorema (Reglas para trabajar con desigualdades). Sean x. y. z nmeros reales.
1. x 6y e y 6z implican que x 6z.
2. x 6y e y 6x 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 < y z.
6. x < y , z < 0 implican que xz > y z.
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.
Prof. Javier Prez
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
.
Todas estas propiedades son fciles de probar. Por ejemplo, para probar el punto 5), si
x < y se tiene que y x > 0. Si ahora es z > 0, tambin ser z(y x) > 0, es decir,
zy zx > 0 o, sea, zx < zy. Lo nico que hemos usado aqu ha sido la denicin de los
smbolos < y > y algunas de las propiedades P1-P8. Un estupendo ejercicio para que
compruebes tus habilidades es que demuestres todas las armaciones del teorema anterior.
1.2.3.1. La forma correcta de leer las matemticas
La forma en que estn escritos los apartados del teorema anterior no me gusta mucho. Voy
a decirte por qu y para eso voy a tratar aqu un defecto en el que solemos caer al leer o estudiar
matemticas. Se trata de algo que realizamos de una manera mecnica, y por ello no es fcil de
evitar, y que limita y condiciona mucho el alcance de lo que entendemos y aprendemos. Para
ponerlo de maniesto vamos a considerar un ejemplo. En uno de los ejercicios al nal de esta
seccin te propongo que pruebes que la igualdad
1
x
1
y
=
1
x y
(1.1)
nunca es cierta. Bien, supongamos que ya lo has probado. Seguidamente te pido que me digas
cundo es cierta la igualdad
1
x y
2

1
z
=
1
x y
2
z
(1.2)
Tienes 15 segundos para contestar (y sobran 13). Si? No? Son la misma igualdad! Y, aqu
es a dnde yo quera llegar, si no te parecen la misma igualdad es porque ests leyendo los
smbolos y no los conceptos, es porque ests leyendo las letras! Claro, me dirs, las letras
estn para leerse. De acuerdo, pero hay que ir siempre al signicado de lo que se lee y no
quedarse en la supercie de los smbolos. Los smbolos proporcionan mucha comodidad para
expresar las ideas matemticas, pero con frecuencia, si no sabemos leer bien su signicado,
los smbolos pueden ocultar los conceptos. En el ejemplo anterior, el hecho de que la igualdad
(1.1) sea falsa, se expresa de forma correcta diciendo que la suma de dos inversos nunca es
igual al inverso de la suma. Por tanto, la igualdad (1.2) jams puede darse pues es la misma
igualdad (1.1) en la que se ha sustituido x por x y
2
e y por z. Pero tanto x como x y
2
son nmeros reales cualesquiera e igual ocurre con z e y. Te das cuenta del problema? No es
igual retener la idea de que 1 dividido por x ms 1 dividido por y nunca es igual a 1 dividido
por x y que asimilar que la suma de dos inversos nunca es igual al inverso de la suma.
En el primer caso los smbolos x e y tienen un protagonismo que no les corresponde, ocultan
el concepto: si te jas demasiado en ellos no sabrs reconocer que (1.2) y (1.1) son la misma
cosa.
Esto que acabamos de ver ocurre en muchas situaciones. Por ejemplo, la mayora de los
libros de texto enuncian el teorema de Bolzano como sigue.
Prof. Javier Prez
Sea : a. b| R continua y vericando que (a) (b) < 0. Entonces hay algn
c |a. b tal que (c) =0.
Demasiadas letras , a, b, c, demasiadas precisiones que lo que hacen es confundir y ocultar
el resultado. La forma correcta de leer el enunciado anterior es: toda funcin continua en un
intervalo que toma valores positivos y negativos se anula en algn punto de dicho intervalo.
Los teoremas deben enunciarse as, a ser posible sin smbolos. Yo procuro hacerlo siempre
que el resultado lo permite. No lo he hecho en el teorema (1.4) porque quiero que lo hagas
t. Por ejemplo, la propiedad 5) de dicho teorema debe leerse (y escribirse) en la forma: una
desigualdad se conserva al multiplicarla por un nmero positivo.
1.5 Estrategia. Traduce los smbolos en conceptos. Cuando leas matemticas presta atencin
a los conceptos y no retengas smbolos concretos.
1.6 Denicin. Se dice que un conjunto no vaco de nmeros reales, A R, tiene mximo
si hay un nmero M A que es el mayor de todos los elementos de A, es decir, x 6 M para
todo x A. Cuando esto ocurre, escribimos M = m ax A. Se dice que un conjunto no vaco
de nmeros reales, A R, tiene mnimo si hay un nmero mA que es el menor de todos los
elementos de A, es decir, m6x para todo x A. Cuando esto ocurre, escribimos m=mn A.
Valor absoluto
El valor absoluto de un nmero xR se dene como el nmero:
[x [ =
_
x si x >0
x si x 60
Para trabajar con valores absolutos es til recordar la siguiente denicin.
1.7 Denicin.
2
. Para cada nmero z R
C
o
, representamos por
_
z al nico nmero mayor o
igual que cero cuyo cuadrado es igual a z.
1.2.3.2. Una funcin aparentemente caprichosa
Acabamos de denir la funcin raz cuadrada. Ahora te propongo un juego: voy a ha-
certe una pregunta que t vas a responder de forma inmediata diciendo lo primero que se te
ocurre. La pregunta es la siguiente: dime el valor de
_
x
2
. Por experiencia s que la mayora
de las veces la respuesta es x. Pues si esa ha sido tu respuesta te equivocas. Vuelve a leer la
denicin anterior y responde ahora de forma meditada. Confo en que ya tengas la respuesta
correcta que es [x[. En efecto, se tiene que [x[
2
=x
2
y, adems, [x[ >0, por tanto [x [ =
_
x
2
.
S por experiencia que muchos estudiantes tienen la idea de que la raz cuadrada de un
nmero real positivo es unas veces positiva y otras veces negativa y muchos creen que pue-
de tomar los dos valores y, en este caso, deben pensar que
_
x
2
= {x. x]. Cosas ms ra-
ras se han visto. Toda esta magia lleva a situaciones bastante extraas. Por ejemplo, es
sabido que la distancia eucldea entre dos puntos (a. b) y (c. d) del plano viene dada por
_
(a c)
2
(b d)
2
. En particular, la distancia entre los puntos (a. b) = (1. 2) y (c. d) =
2
Con las herramientas que ahora tenemos no podemos probar la existencia de races cuadradas
Prof. Javier Prez
(1. 3) es
_
(1 1)
2
(2 3)
2
=
_
(1)
2
=1. Una distancia negativa? No, la raz cuadra-
da no es una funcin caprichosa y su denicin no deja lugar a dudas: la raz cuadrada de un
nmero positivo es tambin un nmero positivo.
Sabes de dnde procede esta confusin tan extendida? Pues viene de muy atrs, de cuando
en la escuela se aprende (realmente se aprende?) a resolver la ecuacin de segundo grado
ax
2
bx c =0 cuyas soluciones son los nmeros
b
_
b
2
4ac
2a
(1.3)
Ah est el problema: en el confuso smbolo delante de la raz. Es eso lo que lleva a muchos
a pensar que las races cuadradas pueden tomar dos valores: uno positivo, que corresponde a la
eleccin del sigo , y otro negativo que corresponde a la eleccin del signo en la expresin
(1.3). Lo ms lamentable es que toda esta confusin no es ms que producto de la pereza. Vers,
cuando se aprende a resolver la ecuacin de segundo grado ax
2
bx c =0 (realmente se
aprende?) se obtienen las soluciones
b
_
b
2
4ac
2a
.
b
_
b
2
4ac
2a
Como esto es largo de escribir en la pizarra, los profesores, por pereza, resumen las soluciones
obtenidas en la expresin nica (1.3). Eso explica cosas bastante incomprensibles como, por
ejemplo, escribir
_
3 acaso escribes +7? No, sabes que 7 es un nmero positivo y parece
totalmente improcedente escribir 7. Entonces, por qu escribir
_
3? Respuesta, porque
_
3 es caprichoso: unas veces puede ser positivo y otras negativo. A esta forma de pensar se le
llama magia matemtica, est bastante ms extendida de lo que puedes creer y no solamente
entre estudiantes. Confo en que te haya quedado claro sin lugar a dudas que
_
x
2
=[x[ y que
la raz cuadrada no es una funcin caprichosa.
La utilidad de la raz cuadrada para trabajar con valores absolutos procede de la siguiente
estrategia de procedimiento.
1.8 Estrategia. a) Para probar que dos nmeros positivos son iguales es suciente probar
que sus cuadrados son iguales.
b) Para probar una desigualdad entre dos nmero positivos es suciente probar dicha de-
sigualdad para sus cuadrados.
El enunciado anterior est hecho como a mi me gusta: con palabras y sin smbolos. Ponien-
do smbolos, lo que se dice en el enunciado es que:
Dados a. b R
C
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
.
Todo lo dicho es consecuencia de que b
2
a
2
=(b a)(b a) y se tiene que b a > 0.
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.
Prof. Javier Prez
Ejercicios propuestos 10
1.9 Teorema (Propiedades del valor absoluto). Para x. y R se verica que:
i) [x[ 6y es equivalente a y 6x 6y.
ii) [x y[ =[x[[y[.
iii) [x y[ 6[x[ [y[ y la igualdad se da si, y slo si, xy >0 desigualdad triangular.
iv) [[x[ [y[[ 6[x y[ y la igualdad se da si, y slo si, xy >0.
Demostracin. La primera armacin es consecuencia inmediata de la denicin de valor
absoluto. Para probar ii), iii) y iv) usaremos la estrategia (1.8).
ii) Tenemos que [xy[
2
=(xy)
2
=x
2
y
2
=[x[
2
[y[
2
=([x[[y[)
2
.
iii) Tenemos que
[x y[
2
=(xy)
2
=x
2
2xyy
2
=[x[
2
2xy[y[
2
6[x[
2
2[xy[[y[
2
=([x[[y[)
2
La igualdad se da si, y slo si, xy =[xy[, es decir, xy >0.
iv) Tenemos que
[[x[ [y[[
2
=x
2
2[xy[ y
2
6x
2
2xy y
2
=(x y)
2
=[x y[
2
La igualdad se da si, y slo si, xy =[xy[, es decir, xy >0.
Te recuerdo que debes leer de forma correcta las propiedades anteriores: no te jes en las letras
sino en los conceptos. La propiedad ii) debes leerla el valor absoluto de un producto es igual
al producto de los valores absolutos. Por su parte, la desigualdad triangular dice dos cosas:
i) El valor absoluto de una suma es menor o igual que la suma de los valores absolutos.
ii) El valor absoluto de una suma es igual a la suma de los valores absolutos si, y slo si,
todos los sumandos son positivos o todos todos los sumandos son negativos.
1.2.4. Ejercicios propuestos
1. Sabes por qu no se puede dividir por 0?
2. Qu quiere decir que un nmero no es racional? Demuestra que
_
2 no es racional.
3. Sabiendo que a b > c d. a > b. c > d: se verica necesariamente alguna de las
desigualdades: a > c. a > d. b > c o b > d ? Dar una prueba o un contraejemplo en
cada caso.
Prof. Javier Prez
4. Sea x un nmero real. Estudia si cada una de las desigualdades
x
2
< x y x
3
< x
2
es consecuencia de la otra.
5. Calcula para qu valores de x se verican las desigualdades siguientes.
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
(a b)x ab < 0 vi) 3(x a)a
2
< x
3
a
3
< 3(x a)x
2
6. Prueba las siguientes desigualdades:
a) 0 < x y x y < 1 siempre que 0 < x < 1. 0 < y < 1.
b)
1
x
1
a b x
<
1
a
1
b
siempre que 0 < a < x < b.
7. Prueba que cualesquiera sean los nmeros reales positivos a > 0 y b > 0 se verica que
a
2(a b)
_
b
<
1
_
b
1
_
a b
8. Calcula para qu valores de x se verican las siguientes desigualdades.
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[
9. Supuesto que
s
t
<
u
:
<
x
y
donde t. :. y R
C
, prueba que
s
t
<
s u x
t : y
<
x
y
.
Generaliza este resultado.
10. Prueba cada una de las siguientes desigualdades y estudia, en cada caso, cundo se da la
igualdad.
a) 2x y 6x
2
y
2
.
b) 4x y 6(x y)
2
.
c) x
2
x y y
2
>0.
d) (a
2
a 1)(b
2
b 1)(c
2
c 1) >27abc donde a > 0. b > 0. c > 0.
Sugerencia. Para probar a) considrese (x y)
2
. Las dems desigualdades pueden de-
ducirse de a).
11. Demuestra todos los apartados del teorema (1.4) y enncialos con palabras.
Prof. Javier Prez
Ejercicios resueltos 12
12. Sean x e y nmeros distintos de cero. Prueba que las igualdades
1
x y
=
1
x
1
y
.
_
x
2
y
2
=x y
son falsas.
13. Comprueba que
_
(x 1)
1
2
(2x 1)
_
2
=
_
x
1
2
(2x 1)
_
2
. Por tanto, extrayendo
races cuadradas, se deduce que (x 1)
1
2
(2x 1) =x
1
2
(2x 1), esto es x =x 1
y, por tanto, 0 =1. Dnde est el error?
14. Calcula los nmeros reales x que verican cada una de las igualdades
_
x 1
_
x 1 =2.
1
_
x 2
1
_
x
=
2
3
Comprueba las soluciones obtenidas.
15. Prueba que [x[ [y[ [z[ 6[x y z[ [x y z[ [x y z[.
16. Sean a, b y c nmeros positivos. Prueba que
a b c
abc
6
1
a
2

1
b
2

1
c
2
17. Prueba que si m es un nmeros natural que no es el cuadrado de ningn nmero natural,
es decir, m = n
2
para todo n N, entonces se verica que
_
m es un nmero real no
racional.
Sugerencia. Usa la descomposicin de m en factores primos.
18. Justica las siguientes armaciones.
a) La suma de un nmero racional y un nmero irracional es un nmero irracional.
b) El producto de un nmero racional no cero por un nmero irracional es un nmero
irracional.
c) La suma y el producto de dos nmeros irracionales puede ser racional o irracional.
d) Los nmeros
_
2
_
3,
_
6
_
2
_
3 y
_
5 2
3
_
5 4
son irracionales.
1.2.5. Ejercicios resueltos
Antes de ver la solucin de un ejercicio debes intentar resolverlo!
Ejercicio resuelto 1 Sabes por qu no se puede dividir por 0?
Solucin. Si se pudiera dividir por 0, es decir, si hubiera un nmero que fuera el inverso
del 0, su producto por 0 habra de ser igual a 1, pero ya sabemos que al multiplicar por 0
el resultado es siempre 0. Conclusin: si se pudiera dividir por cero habra de ser 1 =0,
lo cual es falso.
Prof. Javier Prez
Ejercicio resuelto 2 Qu quiere decir que un nmero no es racional? Demuestra que
_
2 no
es racional.
Solucin. Que un nmero no es racional quiere decir que no puede escribirse como
cociente de nmeros enteros. Para probar que un nmero es irracional suele razonarse por
contradiccin: se supone que el nmero en cuestin es racional y se llega a una situacin
contradictoria. Una prueba clsica de que
_
2 es irracional es como sigue. Supongamos
que
_
2 fuera racional. Entonces existirn nmeros naturales my n sin factores comunes,
en particular m y n no podrn ser ambos pares, tales que
_
2=
m
n
, esto es, 2n
2
=m
2
. La
igualdad 2n
2
=m
2
nos dice que m
2
es par lo cual implica que tambin tiene que serlo
m. As podemos escribir m=2p . Sustituyendo en la igualdad anterior y simplicando
tenemos que n
2
=2p
2
, y de aqu se sigue, al igual que antes, que n tiene que ser par y
sta es la contradiccin anunciada.
Ejercicio resuelto 3 Calcula para qu valores de x se verica que
2x 3
x 2
<
1
3
.
Solucin. Claro est, x =2 (recuerda, no se puede dividir por 0). Como al multiplicar
una desigualdad por un nmero positivo la desigualdad se conserva, deducimos que si
x > 2, la desigualdad dada equivale a 6x 9 < x 2, es decir, x < 11,5. Luego
para 2 < x < 11,5 la desigualdad es cierta. Veamos ahora qu pasa si x < 2. En tal
caso, al multiplicar por x 2 < 0 la desigualdad equivale a 6x 9 > x 2, es decir,
x > 11,5 condicin que no puede darse si x 2 < 0. En resumen, la desigualdad es
cierta para 2 < x < 11,5.
Otra forma de proceder consiste en utilizar el hecho de que una desigualdad es equivalen-
te a la obtenida al multiplicarla por una cantidad positiva. Multiplicando la desigualdad
dada por (x 2)
2
obtenemos que dicha desigualdad equivale a la siguiente
(2x 3)(x 2) <
1
3
(x 2)
2
Haciendo las operaciones indicadas obtenemos que esta desigualdad es lo mismo que
5x
2
x 22 < 0. Las soluciones de la ecuacin 5x
2
x 22 = 0 son a = 2 y
b =11,5. Por tanto, 5x
2
x 22 =5(x 2)(x 11,5). Resulta as que la desigualdad
dada equivale a (x 2)(x 11,5) < 0. Teniendo en cuenta que para que un producto
de dos nmeros sea negativo dichos nmeros deben ser uno positivo y otro negativo,
concluimos que debe ser x 2 > 0 y x 11,5 < 0, es decir 2 < x < 11,5 (la otra
posibilidad x 2 < 0 y x 11,5 > 0 no puede darse).
Ejercicio resuelto 4 Calcula para qu valores de x se verica que
3(x a)a
2
< x
3
a
3
< 3(x a)x
2
Solucin. La desigualdad del enunciado equivale a las siguientes dos desigualdades:
x
3
a
3
3(x a)a
2
> 0: x
3
a
3
3(x a)x
2
< 0
Teniendo en cuenta que x
3
a
3
=(x a)(x
2
ax a
2
), resulta
x
3
a
3
3(x a)a
2
=(x a)(x
2
ax 2a
2
) =(x a)
2
(x 2a)
Prof. Javier Prez
x
3
a
3
3(x a)x
2
=(x a)(2x
2
ax a
2
) =2(x a)
2
(x a,2)
Deducimos que la desigualdad del enunciado se verica si, y slo si, x =a, x 2a > 0,
y x a,2 > 0.
Si a>0 entonces x 2a>x a,2 y la desigualdad se cumple si, y slo si, x > a,2
y x =a.
Si a < 0 entonces xa,2 > x2a y la desigualdad se cumple si, y slo si, x > 2a.
Ejercicio resuelto 5 Sabiendo que ab > cd. a > b. c > d; se verica necesariamente
alguna de las desigualdades: a > c. a > d. b > c o b > d ? Dar una prueba o un
contraejemplo en cada caso.
Solucin. Que las letras no te despisten: lo que te estn diciendo es que si la suma de
dos nmeros distintos entre s es mayor que la suma de otros dos nmeros distintos entre
s, es cierto, por ejemplo, que el mayor del primer par es ms grande que el mayor
del segundo par? Est claro que no tiene por qu ser as: los otros sumandos pueden
compensar la diferencia. Por ejemplo 252 250 > 500 1. Concluimos que no tiene
por qu ser cierto que a > c ni tampoco b > c. El ejemplo 500 2 > 251 250
prueba que tampoco tiene por qu ser b > d. Intenta ahora buscar un ejemplo en el que
no se cumpla que a > d (pero no le dediques ms de cinco minutos). Ya? No lo habrs
encontrado porque, si lo piensas un poco, vers que tiene que ser necesariamente a > d.
Intenta demostrarlo (aunque tengas que dedicarle ms de cinco minutos).
Lo primero que se le ocurre a uno es escribir a > (c b) d. Si c b fuera siempre
positivo habramos acabado (y tambin habramos demostrado ms de lo que queremos),
pero no tiene por qu ser as, por ejemplo 9 8 > 2 1. La demostracin directa no
parece viable. En estos casos tenemos que intentar un camino indirecto. Probemos que
no puede ocurrir que a6d. Eso es fcil. Fjate: si fuera a6d, como nos dicen que b < a
y d < c, tambin sera b < d y a < c; pero entonces a b < c d lo que es contrario
a la hiptesis hecha. Luego concluimos que a > d.
Ejercicio resuelto 6 Supuesto que 0 < a < x < b, prueba que se verica la siguiente
desigualdad.
1
x
1
a b x
<
1
a
1
b
Solucin. En este ejercicio no parece, en principio, cosa fcil deducir la desigualdad
pedida de las hiptesis que nos dan. En estos casos puede intentarse trabajar para atrs,
es decir, ir convirtiendo la desigualdad que nos piden probar en otras equivalentes a ella
y ms sencillas, hasta llegar a una que seamos capaces de deducir de la hiptesis que nos
dan. Haciendo las operaciones indicadas, podemos escribir la desigualdad en la forma
a b
x(a b x)
<
a b
a b
y, como los denominadores son positivos, esto es lo mismo que
(a b)a b < (a b)x(a b x)
Como a b > 0 esta desigualdad equivale a ab < x(a b x), es decir:
0 < ax bx x
2
ab =(x a)(b x)
Prof. Javier Prez
Pero esta ltima desigualdad es consecuencia de que la hiptesis hecha, 0 < a < x < b,
la cual implica que 0 < x a y 0 < b x. Y por tanto (x a)(b x) > 0.
Con esto podemos considerar que hemos acabado, pero es una buena costumbre dar ahora
la vuelta al razonamiento que hemos seguido, es decir, deshacer el camino recorrido para
obtener una prueba directa.
Ejercicio resuelto 7 Discutir la validez de las igualdades:
a) [x y z[ =[x y[ [z[
b) [x 5[ < [x 1[
Solucin. a) En virtud de la desigualdad triangular, la igualdad del enunciado
[x y z[ =[(x y) z[ =[x y[ [z[, se da si, y slo si, (x y)z >0.
b) En virtud de la estrategia (1.8), la desigualdad [x 5[ < [x 1[ equivale a la
desigualdad [x 5[
2
< [x 1[
2
, es decir,
x
2
10x 25 < x
2
2x 1
o sea, 24 < 12x, esto es, x > 2. Esto tambin puedes comprobarlo representando los
nmeros en una recta en la que jas un origen y una unidad: se trata de ver cundo x est
ms cerca de 5 que de 1.
Ejercicio resuelto 8 Lo que sigue es una generalizacin del ejercicio propuesto (9).
Sean a
1
. a
2
. . . . . a
n
nmeros reales cualesquiera y b
1
. b
2
. . . . b
n
nmeros reales positi-
vos. Sean m y M el menor y el mayor respectivamente de los nmeros
a
1
b
1
.
a
2
b
2
. .
a
n
b
n
.
Entonces, para j =1. 2. . . . . n, se verica que:
m6
a
j
b
j
6M. es decir. mb
j
6a
j
6Mb
j
y sumando estas desigualdades:
m
n
jD1
b
j
6
n
jD1
a
j
6M
n
jD1
b
j
.
de donde se sigue que:
m6
a
1
a
2
a
n
b
1
b
2
b
n
6M.
Ejercicio resuelto 9 Prueba cada una de las siguientes desigualdades y estudia, en cada caso,
cundo se da la igualdad.
i) 2xy 6x
2
y
2
.
ii) 4xy 6(x y)
2
.
Prof. Javier Prez
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.
v) abc 61 donde a > 0. b > 0. c > 0 verican (1 a
2
)(1 b
2
)(1 c
2
) =8.
Sugerencia: para probar i) considrese (x y)
2
. Las dems desigualdades pueden de-
ducirse de i).
Solucin.
i) y ii) Siguiendo la sugerencia, que para eso nos la dan, tenemos que
(x y)
2
=x
2
y
2
2xy >0
de donde se deduce que 2x y 6x
2
y
2
, y la igualdad ocurre si, y slo si, x =y.
Si sumas 2xy a ambos lados de la desigualdad 2x y 6 x
2
y
2
, obtienes que
4x y 6(x y)
2
, y la igualdad ocurre si, y slo si, x =y.
iii) Cambiando x por x en 2x y 6x
2
y
2
resulta 2x y >(x
2
y
2
). Por tanto
x
2
x y y
2
>
1
2
(x
2
y
2
)
De donde se deduce que x
2
x y y
2
> 0 y la igualdad se da si, y slo si,
x =y =0.
iv) Probaremos ahora la desigualdad (a
2
a 1)(b
2
b 1)(c
2
c 1) >27abc
donde se supone que a > 0. b > 0. c > 0. Lo primero que se observa es la completa
simetra de la desigualdad propuesta. Puesto que lo nico que sabemos de a, b y c
es que son positivos, parece razonable pensar que si la desigualdad que nos dan es
cierta es porque x
2
x 1 >3x cualquiera sea x > 0, es decir, x
2
1 >2x, o lo
que es igual (x 1)
2
>0; lo que es cierto (para todonmero x) y la igualdad se da
si, y solo si x =1. Sustituyendo ahora en x
2
x 1 > 3x, x =a, x =b, x =c
y multiplicando miembro a miembro las tres desigualdades resultantes, obtenemos
que
(a
2
a 1)(b
2
b 1)(c
2
c 1) >27abc
y la igualdad se da si, y slo si, a=b=c =1. Dnde hemos usado que los nmeros
a, b y c son positivos?
v) La ltima desigualdad propuesta tambin llama la atencin por su simetra. Usando
otra vez que 0 6(x 1)
2
, se sigue que 2x 61 x
2
. Ahora sustituyes x por a, b y
c, multiplicas miembro a miembro las desigualdades obtenidas y has acabado.
Fjate cunto partido hemos sacado de la desigualdad elemental (x y)
2
>0.
Ejercicio resuelto 10 Prueba que el nmero
_
2
_
3 es irracional.
Solucin. Para hacer el ejercicio propuesto (18) hay que tener en cuenta que cuando se
efectan operaciones racionales (suma, producto y cociente) sobre uno o varios nmeros
racionales volvemos a obtener un nmero racional. En consecuencia, si realizando con
un nmero real y con otros nmeros racionales operaciones racionales obtenemos un
nmero irracional, podemos armar que el nmero es irracional.
Por ejemplo, =
_
2
_
3 es irracional pues

2
5
2
=
_
6.
Prof. Javier Prez
Principio de induccin matemtica 17
1.3. Principio de induccin matemtica
El Principio de induccin matemtica es un mtodo que se usa para probar que ciertas
propiedades matemticas se verican para todo nmero natural. Considera, por ejemplo, la
siguiente igualdad en la que nN:
1
2
2
2
3
2
n
2
=
1
6
n(n 1)(2n 1) (1.4)
Si le damos a n un valor, por ejemplo n=8, podemos comprobar fcilmente que la igualdad co-
rrespondiente es cierta. Si le damos a n el valor 1000 ya no es tan fcil comprobar esa igualdad
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
supongamos que:
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 cier-
ta propiedad 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).
Si ahora denimos el conjunto M = {n N : P(n) es cierta], entonces el punto A) nos dice
que 1M, y el punto B) nos dice que siempre que n est en M se verica que n1 tambin
est en M. Concluimos, por el principio de induccin, que M =N, o sea, que P(n) es cierta
para todo nmero natural n.
Observa que en B) no se dice que se tenga que probar que P(n) es cierta, sino que hay que
demostrar la implicacin lgica P(n)=P(n 1). Para demostrar dicha implicacin lo que
hacemos es suponer que P(n) es cierta. Es por eso que suele llamarse a P(n) la hiptesis de
induccin.
Puedes imaginar el principio de induccin de la siguiente forma. Considera que cada n-
mero natural lo representamos por una cha de domin y las colocamos en una la recta in-
terminable. Seguidamente empujamos a la primera cha sobre la siguiente (esto es el punto A)
Prof. Javier Prez
anterior: cae la primera cha). Caern todas? Para eso debemos de estar seguros de que siem-
pre que cae una cha tira a la que le sigue, es decir que la distancia entre dos chas cualesquiera
es menor que la longitud de una cha (esto es el punto B) anterior: si cae la cha n tambin cae
la n 1). Cuando esto es as podemos asegurar que caern todas las chas. Probemos, como
ejemplo, la igualdad (1.4).
1.10 Ejemplo. Para todo nmero natural nN se verica la igualdad
1
2
2
2
3
2
n
2
=
1
6
n(n 1)(2n 1)
Demostracin. Para n=1 la igualdad se reduce a 1=1 que, evidentemente, es cierta. Acaba de
caer la primera cha del domin. Supongamos que dicha igualdad se verica para un nmero
nN (acaba de caer la cha n del domin) y probemos que en tal caso tambin se verica para
n1 (hay que probar que al caer la cha n tira a la cha n1). Que la cha n cae quiere decir
que
1
2
2
2
3
2
n
2
=
1
6
n(n 1)(2n 1) (1.5)
Para que al caer la cha n tambin caiga la cha n 1, deberemos probar que de la igualdad
anterior se deduce la siguiente igualdad.
1
2
2
2
3
2
n
2
(n 1)
2
=
1
6
(n 1)(n 2)(2(n 1) 1) (1.6)
Tenemos que
1
2
2
2
3
2
n
2
(n 1)
2
=por (1.5) =
1
6
n(n 1)(2n 1) (n 1)
2
=
=
1
6
(n 1)
_
n(2n 1) 6(n 1)
_
=
=
1
6
(n 1)(2n
2
7n 6)=
=
1
6
(n 1)(n 2)(2n 3)
Que es justamente la igualdad (1.6). Concluimos, en virtud del principio de induccin, que la
igualdad del enunciado es cierta para todo nN.
La demostracin del siguiente lema es otro ejemplo del principio de induccin.
1.11 Lema. Si el producto de n nmeros positivos es igual a 1, entonces su suma es mayor o
igual que n. Y la suma es igual a n si, y slo si, todos ellos son iguales a 1.
Demostracin. 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
nC1
los restantes nmeros se tiene que:
(x
1
x
2
)x
3
x
nC1
=1
Prof. Javier Prez
Por tanto x
1
x
2
. x
3
. . x
nC1
son n nmeros positivos con producto igual a 1 por lo que:
x
1
x
2
x
3
x
nC1
>n (1.7)
Como 0 < (1 x
1
)(x
2
1), tenemos que:
x
1
x
2
> 1 x
1
x
2
(1.8)
De (1.71) y (1.8) se sigue que:
x
1
x
2
x
3
x
nC1
> n 1
Observa que la desigualdad obtenida es estricta. Hemos probado as que P(n1) es verdadera.
Concluimos, por el principio de induccin, que la armacin del enunciado es verdadera para
todo nmero natural n.
Notacin. Dados n nmeros a
1
. a
2
. . a
n
representamos la suma de todos ellos por
n
jD1
a
j
y
el producto de todos ellos por
n
jD1
a
j
.
En el siguiente teorema se establece una de las desigualdades ms tiles del Clculo.
1.12 Teorema (Desigualdad de las medias). Cualesquiera sean los nmeros positivos
a
1
. a
2
. . a
n
se verica que:
n
_
a
1
a
2
a
n
6
a
1
a
2
a
n
n
(1.9)
Y la igualdad se da si, y slo si, a
1
=a
2
= =a
n
.
Demostracin. Basta poner G =
n
_
a
1
a
2
a
n
y x
i
=
a
i
G
. 1 6i 6n, Claramente se verica
que x
1
x
2
x
n
=1 por lo que, en virtud del lema anterior,
n
iD1
x
i
>n es decir
n
iD1
a
i
>nG
que es la desigualdad que queremos probar. Se da la igualdad solamente cuando x
i
=1. para
i =1. 2. . . . . n, es decir, cuando a
1
=a
2
= =a
n
.
Los nmeros
n
_
a
1
a
2
a
n
y
a
1
a
2
a
n
n
se llaman, respectivamente, medias geo-
mtrica y aritmtica de a
1
. a
2
. . a
n
. La desigualdad de las medias tiene interesantes aplica-
ciones a problemas de extremos. Una til consecuencia de ella se expone a continuacin.
1.13 Corolario. Sean
i
. 1 6 i 6 n. funciones positivas denidas en un conjunto A _ R y
supongamos que en un punto a A se verica que
1
(a) =
2
(a) = =
n
(a).
i) Si el producto de las funciones es constante, se verica que
n
iD1
i
(a) 6
n
iD1
i
(x) para todo xA.
Prof. Javier Prez
ii) Si la suma de las funciones es constante, se verica que:
n
iD1
i
(x) 6
n
iD1
i
(a) para todo xA.
Demostracin. Lo armado en i) y ii) es consecuencia directa de que, para todo x A se
verica
n
p
n
iD1
i
(x) 6
n
iD1
i
(x)
n
y se da la igualdad si, y slo si, los nmeros
1
(x).
2
(x). .
n
(x) son todos iguales.
Has ledo correctamente el corolario anterior? Te voy a ayudar. Lo que dice es lo siguiente.
i) La suma de funciones positivas cuyo producto es constante alcanza su valor mnimo en
cualquier punto en el que dichas funciones sean todas iguales.
ii) El producto de funciones positivas cuya suma es constante alcanza su valor mximo en
cualquier punto en el que dichas funciones sean todas iguales.
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 bi-
nomio 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
pD1
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 6k 6n) (1.10)
es de comprobacin inmediata. A partir de ella se prueba fcilmente, por induccin sobre n,
que
_
n
k
_
es un nmero entero positivo.
1.14 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
kD0
_
n
k
_
a
nk
b
k
.
Prof. Javier Prez
Demostracin. Para n =1 la igualdad del enunciado es trivialmente verdadera. Supongamos
que dicha igualdad se verica para n N. Entonces:
(a b)
nC1
= (a b)(a b)
n
=(a b)
_
n
kD0
_
n
k
_
a
nk
b
k
_
=
n
kD0
_
n
k
_
a
nC1k
b
k
kD0
_
n
k
_
a
nk
b
kC1
=
=
n
kD0
_
n
k
_
a
nC1k
b
k
nC1
kD1
_
n
k 1
_
a
nC1k
b
k
= a
nC1
b
nC1
kD1
__
n
k
_
_
n
k 1
__
a
nC1k
b
k
=
=
nC1
kD0
_
n 1
k
_
a
nC1k
b
k
Lo que prueba la validez de la igualdad para n 1. En virtud del principio de induccin,
concluimos que la igualdad del enunciado es cierta para todo nN.
La induccin matemtica es un proceso demostrativo
Considera la expresin 991n
2
1. Con un ordenador puedes comprobar que si evalas
esta expresin para n =1. 2. 3. . . . . 1000. . . . . 100000 los valores obtenidos no son cuadrados
perfectos. Debemos concluir que para todo nmero 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 el nmero n =
12055735790331359447442538767 !
Con eso te indico que hay que ser precavido: no basta comprobar la veracidad de una
expresin 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.3.1. Ejercicios propuestos
19. Prueba, usando el principio de induccin, que las siguientes armaciones son ciertas para
todo nN.
a) 3
n
1 es divisible por 2.
b) n
3
5n es mltiplo de 6.
c) 3
2n
1 es mltiplo de 8.
d) n
5
n es divisible por 5.
e) n
3
n 1 no es divisible por 3.
Prof. Javier Prez
20. Dado un nmero x =1, prueba por induccin la frmula para la suma de una progresin
geomtrica:
1 x x
2
x
3
x
n
=
x
nC1
1
x 1
Deduce directamente este mismo resultado poniendo S =1 x x
2
x
3
x
n
,
multiplicando S por x y despejando S entre las dos igualdades obtenidas.
21. Prueba, usando el principio de induccin, que para todo nN se verica la igualdad
1
1
1 3
1
3 5
1
5 7

1
(2n 1)(2n 1)
=
n
2n 1
22. Prueba, usando el principio de induccin, que para todo nN se verican las desigual-
dades siguientes.
a)
_
n 61
1
_
2
1
_
3

1
_
n
62
_
n
b) 1
1
2
1
3
1
4

1
2
n
>1
n
2
c)
1 3 5 (2n 1)
2 4 6 (2n)
6
1
_
1 3n
23. Demuestra que cualquier conjunto de nmero reales, con un nmero nito de elementos,
tiene mximo y mnimo.
24. Demuestra que si la igualdad
2 4 6 2n =n
2
n 2
es verdadera para un nmero natural n > 2 tambin lo es para n 1. Sin embargo, esta
igualdad no es vlida para n =1. Qu deduces de esto?
25. Prueba que, usando solamente dos colores, es posible colorear todas las regiones que se
forman al trazar n circunferencias en el plano de forma que regiones adyacentes tengan
distinto color. Se entiende que dos regiones son adyacentes cuando tienen un arco de
circunferencia como frontera comn.
Sugerencia. Puede hacerse razonando por induccin sobre n. Tambin hay otra forma de
hacerlo directamente muy sencilla e ingeniosa.
26. Vamos a probar que todas las nias tienen los ojos del mismo color. Para ello vamos a
usar el principio de induccin para probar que la armacin siguiente:
P(n) =En todo grupo de n nias todas las nias del grupo tienen igual color
de ojos
es cierta para todo nN.
A) En un conjunto formado por una nica nia, es evidente que todas las nias de dicho
conjunto tienen el mismo color de ojos. Por tanto P(n) es cierta para n =1
Prof. Javier Prez
B) Supongamos que P(n) es cierta, es decir que para todo conjunto formado por n nias
se verica que todas las nias del conjunto tienen el mismo color de ojos.
Consideremos ahora un conjunto formado por n 1 nias. Quitamos una nia del con-
junto y nos queda un conjunto formado por n nias, las cuales, por la hiptesis de induc-
cin, tienen 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 ha-
bamos sacado 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 tienen ojos azules.
Dnde est el error en este razonamiento?
27. En un circuito circular hay n coches iguales. Entre todos ellos tienen justamente la gaso-
lina que necesita un coche para recorrer una vez el circuito completo. Prueba que alguno
de los n coches puede recorrer el circuito completo.
Sugerencia. Razona por induccin. Observa que no sabemos en qu lugar del circuito
estn situados los coches.
28. Prueba que para todo nmero natural n > 1 se verican las desigualdades siguientes.
1 3 5 (2n 1) < n
n
: n! <
_
n 1
2
_
n
Sugerencia: Usa la desigualdad de las medias.
29. Dados n nmeros positivos a
1
. a
2
. . . . . a
n
prueba las siguientes desigualdades.
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
6
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: Usa la desigualdad de las medias.
30. Sean a, b nmeros positivos distintos y nN. Utiliza la desigualdad de las medias para
probar que:
ab
n
<
_
a nb
n 1
_
nC1
.
Deduce que para todo nmero natural n se verica que:
_
1
1
n
_
n
<
_
1
1
n 1
_
nC1
. y
_
1
1
n 1
_
nC2
<
_
1
1
n
_
nC1
Los siguientes ejercicios pueden hacerse usando la desigualdad de las medias o bien el
corolario (1.13).
Prof. Javier Prez
31. Prueba que el cuadrado es el rectngulo de mxima rea para un permetro dado y de
mnimo permetro para un rea dada.
32. Prueba que el cubo es el ortoedro de mximo volumen para una supercie lateral dada y
de mnima supercie lateral para un volumen dado.
33. Prueba que el tringulo equiltero es el tringulo que tiene mxima rea para un perme-
tro dado y de mnimo permetro para un rea dada.
Sugerencia. Si a. b. c son las longitudes de los lados y p =(a b c),2 es el semipe-
rmetro, entonces, segn la frmula de Heron de Alejandra, el rea, A, viene dada por
A=
_
p(p a)(p b)(p c).
34. Calcula el rectngulo de mayor rea inscrito en la elipse de ecuacin
x
2
a
2

y
2
b
2
=1, donde
a > 0. b > 0.
35. Calcula el ortoedro de mayor volumen inscrito en el elipsoide de ecuacin
x
2
a
2

y
2
b
2

z
2
c
2
=1
donde a > 0. b > 0. c > 0.
36. Calcula la distancia mnima del origen a la supercie en R
3
de ecuacin xyz =27. En
otras palabras, si E ={(x. y. z) R
3
: xyz =27], lo que se pide es calcular el mnimo
del conjunto de nmeros reales C ={
_
x
2
y
2
z
2
: (x. y. z) E].
1.3.2. Ejercicios resueltos
Antes de ver la solucin de un ejercicio debes intentar resolverlo!
Ejercicio resuelto 11 Sean a, b nmeros positivos distintos y n N. Utiliza la desigualdad
de las medias para probar que:
ab
n
<
_
a nb
n 1
_
nC1
(1.11)
Deduce que para todo nmero natural n se verica que:
_
1
1
n
_
n
<
_
1
1
n 1
_
nC1
. y
_
1
1
n 1
_
nC2
<
_
1
1
n
_
nC1
(1.12)
Solucin. La desigualdad (1.11) se deduce de la desigualdad de las medias
nC1
_
a
1
a
2
a
n
a
nC1
6
a
1
a
2
a
n
a
nC1
n 1
haciendo a
1
=a
2
= =a
n
=b, a
nC1
=a y elevando a la potencia n 1.
Prof. Javier Prez
Haciendo ahora a=1 y b =1
1
n
en (1.11) se obtiene la primera desigualdad de (1.12).
Finalmente, susstituyendo en (1.11) n por n1 a=1 y b =1
1
n
, se obtiene la segunda
desigualdad de (1.12).
Ejercicio resuelto 12 Prueba que el cubo es el ortoedro de mximo volumen para una super-
cie lateral dada y de mnima supercie lateral para un volumen dado.
Solucin. El volumen de un ortoedro cuyas aristas tienen longitudes a. b. c viene dado
por V =abc y su supercie lateral por S =2(ab bc ca). Puesto que
3
_
(ab)(bc)(ca) 6
ab bc ca
3
(1)
o, lo que es igual,
3
_
V
2
6 S,6, deducimos que para un volumen dado, V , la supercie
lateral S es mnima cuando tengamos que S,6 =
3
_
V
2
, es decir que en (1) se de la
igualdad lo que ocurre si, y slo si, a =b =c (el ortoedro es un cubo).
Anlogamente, para un valor dado de la supercie lateral, S, tendremos que V es mxi-
mo cuando
3
_
V
2
=S,6, lo que, segn acabamos de ver, slo ocurre cuando el ortoedro
es un cubo.
Ejercicio resuelto 13 Calcula el rectngulo de mayor rea inscrito en la elipse de ecuacin
x
2
a
2

y
2
b
2
=1, donde a > 0. b > 0.
Solucin. Sean (. ) las coordenadas del vrtice del rectngulo situado en el cuadrante
positivo del plano ( > 0. > 0). El rea del rectngulo es igual a 4. El problema,
pues, consiste en hallar el mximo del producto cuando y verican que
2
a
2

2
b
2
=1 (1)
Supuesto que y satisfacen (1), en virtud de la desigualdad de las medias, tenemos
que
=
_
2
=ab
_
2
a
2
2
b
2
6
ab
2
(2)
La igualdad en (2) se da si, y slo si,

2
a
2
=

2
b
2
, lo que junto con (1) equivale a que
2
a
2
=

2
b
2
=
1
2
, es decir, =
a
_
2
. =
b
_
2
. Por tanto el mximo valor del rea de un
rectngulo inscrito en la elipse es 2ab.
Ejercicio resuelto 14 Calcula la distancia mnima del origen a la supercie en R
3
de ecua-
cin xyz =27. En otras palabras, si E ={(x. y. z) R
3
: xyz =27], lo que se pide es
calcular el mnimo del conjunto de nmeros reales C=
_
x
2
y
2
z
2
:(x. y. z) E
_
.
Solucin. Para todo (x. y. z)E se verica que
x
2
y
2
z
2
>3
3
_
(xyz)
2
=3
3
_
(27)
2
=27
Puesto que (3. 3. 3)E y
_
3
2
3
2
3
2
=
_
27, deducimos que mn(C) =
_
27.
Prof. Javier Prez
Complementos 26
1.4. Complementos
1.4.1. Nmeros y medida de magnitudes. Segmentos inconmensurables.
Estamos tan acostumbrados a contar que cuesta trabajo imaginar un mundo sin nmeros.
Pero as fue, no creo que nadie lo dude, durante muchsimo tiempo. Incluso en nuestros das se
tienen noticias de tribus aisladas que no saben contar ms all de cuatro o cinco objetos; cuando
tienen que referirse a una cantidad mayor emplean una expresin que quiere decir muchos.
Es frecuente tambin que en los lenguajes primitivos se utilicen palabras distintas para designar
nmeros iguales cuando stos se reeren a diferentes clases de objetos. Poco a poco, conforme
los primitivos grupos tribales fueron organizndose en sociedades cada vez ms complejas,
los hombres fueron capaces de abstraer el proceso de contar colecciones concretas de objetos
elaborando as el concepto de nmero abstracto. . . !Que a nosotros nos parece tan natural!
Una vez que los hombres aprendieron a contar objetos, el paso siguiente fue usar los n-
meros para medir magnitudes tales como longitudes, supercies, volmenes o tiempos. Este
proceso requiere bastante ingenio. Consideremos, para jar ideas, que queremos expresar nu-
mricamente la longitud de un segmento de recta AB . Lo primero que hay que hacer es elegir
una unidad de medida que ser otro segmento OU y comparar ambos. Puede ocurrir que AB
contenga un nmero exacto, m, de veces a OU. En tal caso podemos escribir simblicamente
AB=mOU. El nmero m representa entonces la medida de AB respecto de OU. Lo ms
frecuente, no obstante, es que OU no est contenido un nmero exacto de veces en AB. En
tal caso podemos dividir OU en un cierto nmero, n, de partes iguales con la esperanza de
que, al tomar como nueva unidad de medida una de estas partes, OU
0
, resulte que AB conten-
ga un nmero exacto, m, de veces a OU
0
. Cuando esto es as se dice que los segmentos AB
y OU son conmensurables. Esto quiere decir que admiten una unidad de medida comn: el
segmento OU
0
. Podemos escribir AB=mOU
0
. Por otra parte OU =nOU
0
. Podemos ahora
usar los nmeros m. n para hacernos una idea de cmo es AB comparado con OU ; esto es
lo que se expresa diciendo que la razn de AB respecto de OU es m: n (lase m sobre n).
Con el paso del tiempo el smbolo m : n que, en sus orgenes, como acabamos de explicar,
representaba la razn de (las longitudes) de dos segmentos qued desprovisto de su signicado
original y pas a ser considerado simplemente como un nmero naciendo de esta forma los n-
meros racionales (cuyo nombre alude, precisamente, a que tales nmeros representan razones
de segmentos conmensurables).
Volviendo a la situacin antes descrita, parece intuitivo que, cualquiera sea el segmento
AB, dividiendo OU en un nmero, n, sucientemente grande de partes iguales, podemos con-
seguir que la nueva unidad de medida, OU
0
, est efectivamente contenida un nmero exacto de
veces en AB. En otras palabras, parece que dos segmentos cualesquiera deben ser conmensu-
rables. Pues bien, la intuicin aqu nos engaa, y ese fue el extraordinario descubrimiento que
realizaron los pitagricos, probando que la diagonal de un cuadrado no es conmensurable con
el lado. En efecto, si OU es el lado y AB la diagonal, y suponemos que ambos admiten una
unidad de medida comn OU
0
, tendremos que OU = nOU
0
, y AB = mOU
0
para conve-
nientes nmeros naturales m. n. Pero, en virtud del teorema de Pitgoras, 2(OU)
2
=(AB)
2
,
y deducimos que 2n
2
(OU
0
)
2
=m
2
(OU
0
)
2
, por lo que debe ser 2n
2
=m
2
. Veamos que esto
lleva a una contradiccin. Podemos suponer que m y n no tienen factores comunes (si los
tuvieran se los quitamos) y, en particular, m y n no son ambos pares. La igualdad 2n
2
=m
2
Prof. Javier Prez
Nmeros y medida de magnitudes. Segmentos inconmensurables. 27
nos dice que m
2
es par lo cual implica que tambin tiene que serlo m. As podemos escribir
m = 2p . Sustituyendo en la igualdad anterior y simplicando tenemos que n
2
= 2p
2
, y de
aqu se sigue, al igual que antes, que n tiene que ser par y sta es la contradiccin anunciada.
Podemos dar la siguiente interpretacin a lo antes visto. Si consideramos los nmeros ra-
cionales puestos sobre una recta, en la cual se han jado el 0 y el 1, y con un comps centrado
en el origen trazamos un crculo de radio igual a la longitud de la diagonal de un cuadrado de
lado unidad, dicho crculo corta a la recta en un punto de la misma que no es racional. En otras
palabras en la recta racional hay huecos.
A la vista de este sorprendente resultado y puesto que, claramente debe haber algn n-
mero que represente la medida de la diagonal con respecto al lado de un cuadrado, podemos
decir que dicho nmero no puede ser racional y, en consecuencia, los nmeros racionales
no son sucientes para medir magnitudes. Aparece as la necesidad de ampliar el concepto
de nmero. Pues bien, se necesitaron casi 2.500 aos para llevar a cabo esa tarea de forma
satisfactoria! Los nuevos nmeros se llamaron irracionales porque no representan razones de
segmentos conmensurables, y una teora satisfactoria de ellos fue desarrollada por los mate-
mticos Georg Cantor (1845-1918) y Richard Dedekind (1831-1916). Los nmeros racionales
junto con los irracionales se llaman, indistintamente, nmeros reales.
1.4.1.1. La razn urea y el pentagrama
A B C D
Figura 1.1. El pentagrama pitagrico
Aunque suele usarse el teorema de Pitgoras
para probar la existencia de magnitudes incon-
mensurables, parece ser que fue un pitagrico,
Hipaso de Metaponto, quien en el siglo V a.C.,
al estudiar las propiedades geomtricas del pen-
tagrama (ver g.1.1), descubri la existencia de
los nmeros irracionales. Para los pitagricos
el pentagrama era un smbolo de la perfeccin
matemtica del Universo y, paradjicamente,
en el pentagrama se esconda la prueba de que
los nmeros racionales no eran sucientes, co-
mo los pitagricos crean, para describirlo. Las
razones de los segmentos AD, BD, CD y BC son todas ellas iguales a la razn urea.
AD
BD
=
BD
CD
=
CD
BC
=
1
_
5
2
Como dicho nmero es irracional, los segmentos considerados son inconmensurables. El n-
mero
1
_
5
2
es uno de los ms famosos de las Matemticas. Si en Google buscas razn
urea te saldrn ms de cien mil pginas. Eso en espaol, porque si buscas en ingls golden
section obtendrs casi cuatro millones de pginas. El poeta Rafael Alberti dedic un hermoso
soneto a la razn urea.
Prof. Javier Prez
Nmeros y medida de magnitudes. Segmentos inconmensurables. 28
A la divina proporcin
A ti, maravillosa disciplina,
media, extrema razn de la hermosura,
que claramente acata la clausura
viva en la malla de tu ley divina.
A ti, crcel feliz de la retina,
urea seccin, celeste cuadratura,
misteriosa fontana de mesura
que el Universo armnico origina.
A ti, mar de los sueos angulares,
or de las cinco formas regulares,
dodecaedro azul, arco sonoro.
Luces por alas un comps ardiente.
Tu canto es una esfera trasparente.
A ti, divina proporcin de oro.
R. Alberti
Volviendo a los pitagricos, ellos pensaban que el nmero era el fundamento ltimo de toda
realidad. Hoy vivimos en un mundo digitalizado: la msica que escuchas, las pelculas que ves,
la televisin digital y tantas ms cosas de uso cotidiano son, en su esencia, nmeros. Parece
que los pitagricos no estaban del todo equivocados.
Pitgoras, junto con su maestro Tales de Mileto, y tambin Anaximandro y Anximenes,
sin olvidar a Demcrito y algunos ms de los que queda memoria y que t mismo puedes con-
sultar en Wikipedia, todos ellos eran matemticos y lsofos. Casualidad? Ni mucho menos.
Lo que hoy llamamos Cultura Occidental nace de una gran blasfemia, a saber, la armacin
de que la realidad puede ser comprendida y explicada racionalmente. Frente a los relatos mito-
lgicos y a los caprichosos dioses imprevisibles, la armacin insolente de que la inteligencia
humana puede desentraar por sus propios medios el funcionamiento del Universo. Y qu
produce la inteligencia humana cuando empieza a indagar sobre la Naturaleza? Matemticas
y Filosofa. Las Matemticas, por su propia naturaleza, tienen un campo mucho ms restringi-
do que el de la Filosofa pero, en cambio, son extraordinariamente ecaces. La palabra griega
, que se lee mathema, signica conocimiento.
El Libro del Universo est escrito en el lenguaje de las matemticas y sus caracte-
res son tringulos, crculos y otras guras geomtricas, sin las cuales es imposible
entender ni una palabra; sin ellos es como girar vanamente en un oscuro laberin-
to. Galileo Galilei
1.4.1.2. Medimos con nmeros racionales
Acabamos de ver que hay segmentos inconmensurables; es decir, elegida una unidad para
medir, hay medidas que no pueden expresarse con nmeros racionales. Pero la intuicin nos
dice que a cada medida debe corresponder un nico nmero. En consecuencia, tenemos que
admitir la necesidad de otros nmeros, adems de los racionales, para lograr que a cada medida
le corresponda un nmero. Estos son los nmeros irracionales (sobre los que falta por decir
Prof. Javier Prez
Hacer matemticas 29
algo importante como veremos ms adelante). Debes darte cuenta de que se trata de una nece-
sidad terica: en el mundo real de cada da solamente hay nmeros racionales. Los ordenadores
trabajan con nmeros racionales (otra cosa diferente es que puedan representar simblicamente
nmeros irracionales). Quiere esto decir que podramos prescindir de los nmeros irraciona-
les? En absoluto. Por muchas razones. En primer lugar, los nmeros racionales e irracionales
juntos proporcionan la estructura bsica del Anlisis Matemtico: el cuerpo de los nmeros
reales R. Dicha estructura es el soporte de las herramientas del clculo diferencial e integral
y de la teora de Ecuaciones Diferenciales. La demostracin de la existencia de soluciones
de muchos problemas y la construccin de tcnicas ecaces para obtener dichas soluciones,
ya sea de forma exacta o con aproximacin tan buena como se desee, se fundamenta en las
propiedades matemticas de R. Aunque un ingeniero exprese los resultados de sus clculos
mediante nmeros racionales, escritos usualmente en forma decimal, para realizar los clculos
habr tenido que usar herramientas (derivadas, integrales, ecuaciones diferenciales,...) que no
tendran sentido sin los nmeros reales. En n, sin R ni siquiera podramos demostrar que hay
un nmero cuyo cuadrado es igual a 2.
Lo anterior tiene una enseanza: las Matemticas elaboran, a partir de la observacin de
la realidad, estructuras ideales que pueden parecer muy lejanas de la realidad que las motiv
inicialmente, pero que son herramientas muy tiles para obtener informacin y resultados sobre
sa realidad que de otra forma no podran obtenerse ni siquiera plantearse.
1.4.2. Hacer matemticas
En este Captulo hemos hablado de axiomas, deduccin lgica, demostraciones, teore-
mas,. . . . Espero que ya tengas una idea de lo que signica la armacin las Matemticas
son una ciencia deductiva, porque ese es uno de los objetivos que me propuse al escribir este
Captulo. Pero no quiero que pienses que las Matemticas se reducen a un formalismo axio-
mtico lgico deductivo. Esa es solamente una parte, y quizs no la ms atractiva, de las
Matemticas. Las teoras matemticas antes de llegar a esa helada perfeccin axiomtica se
desarrollan de una forma no muy diferente a las dems ciencias: por aproximaciones sucesivas,
experimentacin, intuiciones, analogas,. . . . Por eso hay que distinguir entre la Matemtica
hecha y la Matemtica que se est haciendo. La primera quizs puede vivir en el universo
platnico de las ideas puras, pero la segunda est contaminada de realidad y constituye una
actividad profundamente humana en la que se avanza tanteando, cometiendo errores,. . . como
en las dems ciencias. He tomado prestada una frase del historiador de las Matemticas W. S.
Anglin porque expresa muy bien lo que quiero decirte. Dice as:
Las matemticas no son un prudente recorrido por una autopista despejada, sino
un viaje a lo salvaje y a lo desconocido, en el cual los exploradores se pierden a
menudo. El rigor, la perfeccin lgico-deductiva, es una seal de que los mapas
ya han sido trazados, y de que los autnticos exploradores se han ido a alguna
otra parte.
El reconocido matemtico Paul R Halmos, expresa la misma idea como sigue.
Las matemticas no son una ciencia deductiva: eso es un tpico. Cuando se trata
de probar un teorema, no se hace una lista con las hiptesis y luego se empieza a
razonar. No, uno prueba, se equivoca, experimenta, conjetura . . .
Prof. Javier Prez
Algunas razones para estudiar matemticas 30
Y tambin dice:
La razn de ser de un matemtico no es otra que la de resolver y proponer proble-
mas pues dicha actividad constituye el corazn de las matemticas.
La parte ms atractiva de las Matemticas es justamente el desafo intelectual que constituyen
los problemas. Algunos problemas famosos tienen un enunciado muy sencillo. Por ejemplo, la
conjetura de Collatz propone el siguiente juego. Elige a tu gusto un nmero nN:
v Si el nmero n es par, se divide por 2 para obtener el nmero m=n,2.
v Si el nmero n es impar, se multiplica por 3 y se suma 1 para obtener el nmero
m=3n 1.
Este proceso se repite seguidamente partiendo del nmero m obtenido y as sucesivamente. Por
ejemplo, partiendo de n =61 se obtienen los siguientes resultados:
{61. 184. 92. 46. 23. 70. 35. 106. 53. 160. 80. 40. 20. 10. 5. 16. 8. 4. 2. 1]
Una vez obtenido 1 como resultado se repite indenidamente el grupo {4. 2. 1]. La conjetura
es que siempre se acaba obteniendo 1. Con ayuda de ordenadores se ha comprobado que la
conjetura es cierta para nmeros ms pequeos que 2
58
= 288 230 376 151 711 744 Pero eso
no es una demostracin matemtica!
Otro problema del que no se sabe la respuesta es si hay innitas parejas de primos gemelos.
Se llaman primos gemelos a las parejas de nmeros primos que se diferencian en dos unidades.
Por ejemplo (17. 19). (29. 31). (1000000000061. 1000000000063).
Resolver problemas es una actividad intelectual que puede tener mucho de juego. Quizs
ests pensando bueno, todo eso est muy bien, pero cmo puedo participar yo en ese juego?
Bueno, se requiere alguna preparacin y tiempo y seguramente t ahora ests empezando, pero
tienes una forma de participar en el juego que es hacer ejercicios. Es verdad que un ejercicio
no es lo mismo que un problema. Los ejercicios son ms mecnicos, con ellos se trata de que
compruebes si has entendido correctamente los conceptos y los resultados tericos y si eres ca-
paz de usarlos en situaciones sencillas. Pero no dejan de ser un pequeo desafo. Si el ejercicio
est ah es porque tienes las herramientas para resolverlo. El tiempo que dediques a resolver
ejercicios nunca ser tiempo perdido. Incluso si no te salen, porque se puede aprender ms de
un ejercicio que no se logra resolver pero que se trabaja con inters, que de uno que se resuelve
a primera vista. Resolver ejercicios junto con tus compaeros o consultarlos con tus profe-
sores es una forma estupenda de estudiar. En mi pgina Web puedes leer algunas sugerencias
respecto a la actitud apropiada y estrategias tiles para resolver ejercicios.
1.4.3. Algunas razones para estudiar matemticas
Vivimos rodeados de matemticas. Suelen pasar desapercibidas pero estn ah haciendo su
trabajo. Tarjetas de crdito, cdigos de barras, telfonos mviles, animacin grca, las mo-
dernas tcnicas de radiodiagnstico. . . , detrs de todo eso hay herramientas matemticas que
hacen posible su funcionamiento. No hay duda de que las Matemticas son extraordinariamen-
te ecaces. Ese llamativo acuerdo de las Matemticas con el mundo real no deja de resultar
bastante sorprendente.
Prof. Javier Prez
Algunas razones para estudiar matemticas 31
El milagro de la adecuacin del lenguaje de la Matemtica para la formula-
cin de las leyes fsicas es un don maravilloso que ni entendemos ni merecemos.
E.P. Wigner, Premio Nobel de Fsica 1972
Dos matemticos John Von Neumann y Alan Mathison Turing fueron los creadores de los mo-
dernos computadores y los fundadores de la Ciencia de la Computacin. Algunas de las teoras
matemticas ms abstractas, como la Teora de Nmeros o la de Categoras han encontrado
aplicaciones para el desarrollo de software. Las Matemticas son el lenguaje de las Ciencias F-
sicas (Fsica, Astronoma, Qumica,. . . ) pero tambin, cada vez ms, de las Ciencias Biolgicas
y Mdicas y de las Ciencias Sociales (Economa, Geografa, Psicologa,. . . ). Las Matemticas
aportan a todas estas Ciencias sus propios mtodos, a saber:
v Deniciones precisas.
v Razonamientos rigurosos.
v Mtodos de representacin simblica.
v Formulacin correcta de problemas.
v Modelos matemticos para manejar situaciones muy complejas.
v Una gran variedad de tcnicas (estadsticas, de clculo, algebraicas, simblicas,. . . ) para
la resolucin de problemas y toma de decisiones.
Por todo ello, no es exagerado armar que un cientco debe estar familiarizado con la forma
de pensar matemtica. Pero incluso para quienes no se sienten especialmente atrados por la
actividad cientca, el estudio de las Matemticas est especialmente indicado para desarrollar
determinadas facultades entre las que cabe destacar:
v Capacidad de razonamiento lgico-deductivo.
v Capacidad de resolucin de problemas.
v Reconocer razonamientos incorrectos.
v Capacidad de abstraccin para manejar situaciones complejas.
v Capacidad para reconocer modelos similares en estructuras diversas.
v Seleccionar, ordenar la informacin y elegir la herramienta adecuada en cada caso.
Hoy da, casi tan preciso como saber leer, es tener una formacin matemtica sucientemente
amplia para no sentirse extrao en un mundo al que las innovaciones tecnolgicas y el desarro-
llo cientco estn cambiando rpidamente.
El estudio de las Matemticas tambin puede respaldarse por razones de tipo cultural y
esttico. Las Matemticas son, junto con la msica sinfnica y la novela, una de las seas de
identidad de la Cultura Occidental. Pero hay una ltima razn: las sociedades democrticas
necesitan ciudadanos capaces de pensar con libertad y las Matemticas, una de las creaciones
ms libres del espritu humano, son una herramienta indicada para ello.
No hay modo de entender bien al hombre si no se repara en que la Matemtica
brota de la misma raz que la poesa, del don imaginativo. Jos Ortega y Gasset
Prof. Javier Prez
Lo que debes haber aprendido en este Captulo. Lecturas adicionales 32
1.4.4. Lo que debes haber aprendido en este Captulo. Lecturas adicionales
En este Captulo debes haber aprendido algunas cosas que resumo en la siguiente lista cuya
lectura puede servirte de repaso para comprobar lo que sabes.
v Debes saber lo que signica demostrar H=T .
v Debes saber lo que signica decir que las Matemticas son una ciencia deductiva.
v Debes saber que en Matemticas las cosas no son verdad porque lo diga tu profesor.
v Debes tener una idea de lo que es una teora axiomtica y la forma en que se desarrolla.
v Debes saber lo que son magnitudes inconmensurables y cmo aparecen los nmeros
irracionales.
v Debes saber cmo se deben leer las Matemticas.
v Debes haber aprendido y recordar de memoria los axiomas algebraicos y de orden de R.
v Debes ser capaz de usar dichos axiomas para probar propiedades algebraicas y de orden
de R.
v Debes haber aprendido y recordar de memoria las reglas para trabajar con desigualdades.
v Debes saber usar en casos prcticos las reglas para trabajar con desigualdades.
v Debes entender la denicin de la funcin raz cuadrada.
v Debes entender la denicin y recordar las propiedades del valor absoluto.
v Debes recordar la estrategia (1.8) para trabajar con desigualdades entre nmeros positi-
vos.
v Debes entender y saber aplicar el Principio de Induccin Matemtica.
v Debes recordar la desigualdad de las medias y saber usarla para resolver problemas de
extremos.
Como lectura adicional te recomiendo los dos primeros captulos del libro de Michael Spivak
[16], el cual, a pesar del tiempo transcurrido desde su primera edicin, sigue siendo, en mi
opinin, el mejor libro de introduccin al Anlisis Matemtico. Su coleccin de ejercicios es
excelente y algunos de ellos estn resueltos al nal del libro; adems, se ha editado un libro,
[15], con las soluciones de todos. Los textos de Larson [11] y de Engel [5] son de lo mejor
que hay para aprender estrategias de resolucin de ejercicios. Los ejercicios que traen tienen
cierto grado de dicultad, con frecuencia estn tomados de competiciones matemticas, pero
las soluciones estn claramente expuestas. Algunos de los ejercicios propuestos los he tomado
de esos libros.
Prof. Javier Prez

Calculo Cap01

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Calculo Cap01

Uploaded by

Copyright:

Available Formats

Captulo 1

Axiomas de R. Principio de inducci on

You might also like