j

Nmeros reales y aritmtica de ordenador

|
Et cox:ix+o rr tos xxrnos nr.trs Et cox:ix+o rr tos xxrnos nr.trs

El conjunto de los nmeros reales
1
1.1 El conjunto de los nmeros reales 5 1.2 Naturales, enteros, racionales e irracio-
nales 8 1.3 Valor absoluto 9 1.4 El principio de induccin 10 1.5 Intervalos
y conjuntos destacados 13 1.6 Ejercicios 14
Existen diferentes formas de formalizar el conjunto de los nmeros reales aunque se pueden
agrupar en dos variantes: constructivos y axiomticos. Los primeros son demasiado laboriosos
para un curso de Clculo y, por este motivo, hemos preferido dejarlos de lado. En su lugar, hemos
asumido que el conjunto de los nmeros reales es conocido por el lector y elegimos la denicin
axiomtica de este conjunto.
1.1 El conjunto de los nmeros reales
Vamos a denir el conjunto de los nmeros reales, R, en trminos de qu sabemos hacer con
sus elementos, qu propiedades tienen. Estas propiedades que vamos a presentar aqu se llaman
axiomas y, por supuesto, no son todas las propiedades de los nmeros reales sino las mnimas, y
es que a partir de ellas se obtienen el resto de propiedades.
Es difcil que, si alguien nos pregunta, seamos capaces de dar una respuesta clara de qu es un
nmero pero s somos capaces de decir qu cosas podemos hacer con ellos.
En el conjunto de los nmeros reales tenemos denidas varias operaciones. La primera que
todos aprendemos es la suma.
Suma de nmeros reales
Las suma verica, entre otras, las siguientes propiedades. Sean a, b y c nmeros reales cuales-
quiera.
a) Propiedad asociativa: a + (b + c) = (a + b) + c.
b) Propiedad conmutativa: a + b = b + a.
c) Existencia de elemento neutro: a + 0 = a.
d) Existencia de elemento opuesto: a + (a) = 0.
Estas cuatro propiedades se resumen diciendo que (R, +) es un grupo abeliano o conmutativo.
Producto de nmeros reales
Adems de la suma tambin sabemos multiplicar nmeros reales. Por el mismo motivo, se su-
pone que sabemos dividir. Mucho cuidado con esta armacin. No estamos hablando de cmo se
dividen nmeros sino de que, supuesto conocido el producto de nmeros, la divisin es la opera-
cin inversa. Ocurre lo mismo con la suma: no hemos dicho como se restan nmeros reales pero,
en teora, restar un nmero es simplemente sumar el nmero cambiado de signo, es decir, sumar el
opuesto. Con el producto, dividir por un nmero a es multiplicar por el inverso, al que llamaremos
1/a.
Et cox:ix+o rr tos xxrnos nr.trs Et cox:ix+o rr tos xxrnos nr.trs
6
Sean a, b y c nmeros reales. Entonces se verican las siguientes propiedades.
5) Propiedad asociativa: a(bc) = (ab)c.
6) Propiedad conmutativa: ab = ba.
7) Existencia de elemento neutro: a1 = 1a.
8) Existencia de elemento inverso: Si a es distinto de 0 entonces a
1
a
= 1.
Observacin 1.1. El elemento opuesto en el caso de la suma y el elemento inverso para el
producto son nicos. En el caso de la suma la notacin es siempre la misma: el opuesto de a
es a y en vez de escribir b + (a) escribiremos b a. Para el inverso del producto usaremos
indistintamente la notacin
1
a
o a
1
y tambin es ms usual escribir
b
a
que b
1
a
.
Una vez que tenemos la suma y el producto, hay otra propiedad que hace que se relacionen de
forma buena:
9) propiedad distributiva: a(b + c) = ab + ac.
Orden
El orden en el conjunto de los nmeros reales tambin es algo conocido por el lector. Lo po-
demos ver de varias formas: sabemos cundo un nmero es positivo o somos capaces de decidir
cul de dos nmeros es el mayor. Hagamos un breve resumen de las propiedades relacionadas con
el orden. Evidentemente las propiedades podemos exponerlas sobre "ser menor que", "ser mayor
que" o tambin sobre "ser mayor o igual que" o "ser menor o igual que". Como hay que elegir una
de las posibilidades elegimos esta ltima aunque el resto nos daran propiedades anlogas.
10) Propiedad reexiva: a a.
11) Propiedad antisimtrica: si a b y b a, entonces a = b.
12) Propiedad transitiva: si a b y b c, entonces a c.
13) El orden es total: dado a R, se cumple que a 0 o que a 0 o, lo que es lo mismo, dados
a, b R, se cumple que a b o que b a.
Las siguientes propiedades relacionan la suma y el producto con el orden que acabamos de
presentar.
14) Si a b, entonces a + c b + c.
15) Si a b y c 0, entonces ac bc.
El ltimo axioma
Las propiedades que hemos comentado hasta ahora no determinan de manera nica el conjunto
de los nmeros reales. El conjunto de los nmero racionales tambin las verica como se puede
comprobar fcilmente. Cal es la diferencia entre ambos conjuntos? Qu sabemos hacer en R
que no podamos hacer en Q? Siempre que se hace esta pregunta en clase las respuestas suelen ser
del tipo: races cuadradas, logaritmos, senos o cosenos, etc. Aunque se podra intentar seguir por
ah, ese camino puede tener ms dicultades a posteriori que el que vamos a elegir.
Necesitamos, por tanto, alguna propiedad ms para diferenciarlos. Esta ltima propiedad est
muy relacionada con el orden, pero antes de presentarla necesitamos denir algunos conceptos.
Denicin 1.2.
a) Sea A R, diremos que M R es una cota superior o mayorante (resp. inferior o Cota
minorante) de A si a M para cualquier a A (resp. a M).
Et cox:ix+o rr tos xxrnos nr.trs Et cox:ix+o rr tos xxrnos nr.trs

El conjunto A R est acotado superiormente o mayorado (resp. acotado inferiormente
o minorado) si tiene una cota superior (resp. inferior). Por ltimo el conjunto est acotado
si est mayorado y minorado.
b) Sea A un subconjunto de R. Diremos que a
0
A es el mximo absoluto (resp. mnimo Mximo absoluto
absoluto) de A si verica que a a
0
(resp. a a
0
) para cualquier a A y lo llamaremos
max(A) (resp. min(A)).
Veamos algunos ejemplos de estos conceptos.
Ejemplo 1.3.
a) El conjunto de los nmeros naturales no es un conjunto acotado. Concretamente, no es un
conjunto acotado superiormente pero s est acotado inferiormente. Como no est acotado su-
periormente no tiene mximo. S tiene mnimo: 1 n para cualquier natural n.
b) El conjunto
_
1
n
: n N
_
est acotado superior e inferiormente: 0
1
n
1 para cualquier natural
n. Tiene mximo: el 1, pero no tiene mnimo. El mnimo podra ser el cero pero no pertenece
al conjunto.

A la vista de los ejemplos, la existencia de mximo implica que el conjunto esta acotado pero
el recproco no es cierto. Hay conjuntos acotados y que no tienen ni mximo ni mnimo: piensa en
el intervalo ]0, 1[. Sin embargo, aunque ni el 0 ni el 1 sean ni mximo ni mnimo, s parece claro
que tienen un papel destacado. De alguna forma son los extremos del conjunto, pertenezcan o no
a dicho conjunto. El supremo y el nmo van a ser una forma de reconocer este tipo de puntos.
Denicin 1.4. Sea Aun subconjunto acotado superiormente de R. El supremo del conjunto Supremo
A, sup(A), es el mnimo del conjunto de las cotas superiores de A. Anlogamente se dene
el nmo de un conjunto acotado inferiormente como el mximo de sus cotas inferiores y lo nmo
notaremos inf(A).
Si llamamos, para A un conjunto mayorado, M(A) al conjunto de sus mayorantes, entonces
sup(A) = min(M(A)).
Cabe preguntarse si un conjunto mayorado tiene supremo. La situacin es la siguiente: Si A es un
conjunto mayorado el conjunto de sus mayorantes, M(A), est minorado. Sabemos que un conjunto
minorado no tiene por qu tener mnimo pero y si el conjunto minorado del que estamos hablando
es un conjunto de mayorantes?
Pues bien, la ltima propiedad de los nmeros reales nos dice que el supremo de un conjunto
mayorado siempre existe:
Axioma del supremo: todo conjunto acotado superiormente tiene supremo.
Este axioma es equivalente al axioma del nmo. Slo hay que darse cuenta de que si cambia-
mos el signo las desigualdades tambin cambian.
Ejemplo 1.5. Los extremos de un intervalo acotado son el supremo e nmo de dicho intervalo
independientemente de si pertenecen o no al intervalo. En el caso particular de que alguno de ellos
est en dicho intervalo sern, adems mximo o mnimo (lo que corresponda).
N.+in.trs, rx+rnos, n.ciox.trs r inn.ciox.trs Et cox:ix+o rr tos xxrnos nr.trs
8
Proposicin 1.6. Sea A un conjunto acotado superiormente y sea x el supremo de A.
a) Si x / A, entonces A no tiene mximo.
b) Si x A, entonces A tiene mximo y, de hecho, x = max(A).
La siguiente proposicin ser til en la demostracin de algunos resultados posteriores.
Proposicin 1.7. Sea A R un subconjunto acotado superiormente y sea x R. Entonces
x = sup(A)
_

_
i) a x, para todo a A
ii) dado > 0, a A tal que x < a.
1.2 Naturales, enteros, racionales e irracionales
Nmeros naturales
El conjunto de los nmeros naturales, al que denotaremos N, es
N = 1, 2, 3, . . .
La inclusin del cero como nmero natural es una convencin. En algunos textos aparece como
natural y en otros no. Nosotros no lo vamos a incluir para simplicar algunas notaciones. Por
ejemplo, para poder hablar de log(n) o de
1
n
sin necesidad de estar recordando constantemente que
n no puede ser cero.
Nmeros enteros
El conjunto de los nmeros enteros, Z, es
Z = . . . , 3, 2, 1, 0, 1, 2, 3, . . .
La operacin suma en Z es una operacin interna: la suma (y la resta) de enteros es un entero. No
ocurre lo mismo con el producto. El inverso de un nmero entero no nulo es un nmero racional.
Nmeros racionales e irracionales
Los nmeros racionales son aquellos que se pueden expresar como cociente de un entero y un
natural:
Q =
_
p
q
: p Z, q N
_
.
Los nmeros irracionales, R \ Q, son aquellos que no son racionales. Probablemente ests ms
acostumbrado a tratar con la representacin decimal de los nmeros reales. Los racionales tienen
una cantidad nita de decimales o innita peridica. Los irracionales, por tanto, tienen una cantidad
innita de decimales no peridicos.
Observacin 1.8. El conjunto de los nmeros irracionales no es, ni siquiera, un espacio vectorial
como lo es el conjunto de los nmeros racionales. El elemento neutro para la suma o el producto, 0
y 1, no son irracionales. Es muy fcil encontrar ejemplos de que la suma y el producto de nmeros
irracionales no es necesariamente un numero irracional:
2

= 2.
Dentro de los nmeros reales podemos distinguir entre nmeros algebraicos y nmeros tras-
cendentes. Un nmero es algebraico si es solucin de un polinomio con coecientes enteros. Por Nmero algebraico
Et cox:ix+o rr tos xxrnos nr.trs V.ton .nsoti+o

ejemplo, cualquier racional o

2 son nmeros algebraicos. Si no se puede expresar como raz de
un polinomio con coecientes enteros diremos que es un nmero trascendente. Nmero trascen-
dente
No es fcil buscar las races irracionales de un polinomio, pero s podemos buscar las posibles
races racionales de un polinomio con coecientes enteros.
Observacin 1.9. Dada la ecuacin a
n
x
n
+ a
n1
x
n1
+ . . . + a
1
x + a
0
= 0, donde a
0
, a
1
,,...,a
n
son nmeros enteros y a
0
a
n
,= 0, si la ecuacin tiene una raz racional p/q (con p y q primos entre
si), entonces p divide a a
0
y q divide a a
n
.
El conocimiento de las races racionales nos puede servir para comprobar que un nmero no es
racional.
Ejemplo 1.10. Las nicas posibles races racionales del polinomio x
2
2 = 0 son 1, 2. Cmo
ninguna de ellas es solucin del polinomio,

2 no puede ser un nmero racional.

La otra demostracin usual de que

2 no es un nmero racional utiliza la descomposicin en
primos de un nmero y la reduccin al absurdo: supongamos que

2 fuera racional. Eso quiere
decir que podra escribirse de la forma

2 =
p
q
, donde
p
q
es una fraccin irreducible. Si elevamos
al cuadrado obtenemos que 2q
2
= p
2
y, en consecuencia, p
2
es un nmero par. Pero para que
el cuadrado de un nmero sea par, necesariamente dicho nmero debe ser par. Luego p = 2a
para conveniente a. Sustituyendo, q
2
= 2a
2
y, por tanto, q tambin es par. Hemos obtenido una
contradiccin: la fraccin p/q no puede ser irreducible y, a la vez, que numerador y denominador
sean pares. Por tanto,

2 no puede ser racional.

Comprueba t mismo que con las mismas ideas puedes comprobar que la raz cuadrada de un
natural es otro natural o un nmero irracional.
1.3 Valor absoluto
La distancia entre dos nmeros reales se mide calculando la diferencia entre el mayor y el menor
de ellos. La funcin que mide la distancia al cero es la funcin valor absoluto.
Denicin 1.11. Se dene el valor absoluto de un nmero real x como Valor Absoluto
x =
_
x, si x 0
x, si x < 0
Proposicin 1.12. Dados x, y R, se verican las siguientes armaciones.
a) x 0, y x = 0 x = 0,
b) x y y x y,
c) x + y x + y, Desigualdad trian-
gular
d) x y x y,
e) si xy = x y.
Para demostrar cualquiera de estas desigualdades o, en general, para trabajar con expresiones en
las que intervienen valores absolutos tenemos varias posibilidades. La primera de ellas es discutir
los distintos casos que se pueden presentar. Veamos un ejemplo.
Ejemplo 1.13. Cundo es cierta la desigualdad x 3 < x 1?
Lo que vamos a hacer es eliminar el valor absoluto (una funcin denida a trozos) discutiendo
todas las posibilidades:
Et rnixcirio rr ixriccix Et cox:ix+o rr tos xxrnos nr.trs
1o
a) si x 1, x 3 < x 1 (x 3) < (x 1) 3 > 1 lo que, claramente, no es
cierto,
b) si 1 x 3, x 3 < x 1 (x 3) < (x 1) 2 < x, y por ltimo
c) si x 3, x 3 < x 1 (x 3) < (x 1) 3 < 1.
Resumiendo, la desigualdad es cierta si, y slo si, x > 2.
Tambin podemos aprovechar el hecho de que elevar al cuadrado conserva el orden en los reales
positivos: 0 < a < b a
2
< b
2
. Vamos a utilizar esto para demostrar la desigualdad triangular:
x + y x + y x + y
2
(x + y)
2
x
2
+ y
2
+ 2xy x
2
+ y
2
+ 2 xy
xy xy ,
lo cual, evidentemente, es cierto. Observa que, de regalo, hemos probado que la igualdad en la
desigualdad triangular es cierta si, y slo si, xy = xy o, lo que es lo mismo, si x e y tienen el
mismo signo. Prueba t a demostrar el resto de armaciones de la proposicin anterior.
1.4 El principio de induccin
La denicin del conjunto de los nmeros naturales puede hacerse como la denicin que hemos
dado del conjunto de los nmeros reales mediante una serie de propiedades que lo caractericen en
lugar de especicar cules son sus elementos. Si el axioma del supremo es la propiedad clave que
nos ha permitido denir los nmeros reales, en el caso de los naturales dicha propiedad es la de
ser inductivo.
Denicin 1.14. Un subconjunto A de los nmeros reales diremos que es inductivo si Conjunto inductivo
verica las siguientes dos propiedades:
a) 1 A,
b) si a A, entonces a + 1 A.
Ejemplo 1.15.
a) R, Q, Z, N, R
+
son conjuntos inductivos.
b) Ningn conjunto acotado puede ser un conjunto inductivo.

Denicin 1.16. El conjunto de los nmeros naturales es el menor conjunto inductivo o, lo

que es lo mismo, la interseccin de todos los conjuntos inductivos.
Proposicin 1.17. Sea A un subconjunto de los nmeros reales vericando que Principio de
induccin
a) A es inductivo,
b) A N.
Entonces A = N.
En otras palabras, para demostrar que un subconjunto del conjunto de los nmeros naturales,
A N, es, en realidad, el conjunto de los naturales es suciente con comprobar que
a) 1 A, y que
b) si n A, entonces n + 1 A.
La principal utilidad de este principio es demostrar que una propiedad indicada en el conjunto
de los naturales es cierta. Por ejemplo, la propiedad todos los nmeros de la forma n
3
+ 5n son
Et cox:ix+o rr tos xxrnos nr.trs Et rnixcirio rr ixriccix
11
divisibles por 6 son en realidad muchas (tantas como naturales) armaciones. No es difcil jar
un natural y comprobar que para ese concreto la propiedad es cierta. Pero, cmo podemos hacerlo
para todos a la vez? En este tipo de demostraciones, el principio de induccin nos proporciona una
ventaja. Para demostrar que se cumple para un natural puede suponerse que la propiedad es cierta
para el natural anterior (hiptesis de induccin). Esto puede ser muy til en algunas ocasiones.
Ejemplo 1.18. Demostrar que 1 + 3 + 5 + . . . + (2n 1) = n
2
, para cualquier n N.
Lo demostramos usando el mtodo de induccin. Tenemos que comprobar que el conjunto
A =
_
n N; 1 + 3 + 5 + . . . + (2n 1) = n
2
_
coincide con N. Para ello es suciente con demostrar que Aes un conjunto inductivo, o sea, tenemos
que comprobar que
a) la propiedad es cierta para n = 1, y que
b) si la propiedad es cierta para un nmero natural, tambin es cierta para el siguiente nmero
natural.
Vamos all.
a) Es inmediato comprobar que la propiedad se cumple la propiedad para n = 1.
b) Supongamos que se cumple para un natural jo m y comprobemos que se cumple para m + 1:
1 + 3 + 5 + . . . + (2m 1) + (2m + 1) = m
2
+ (2m + 1) = (m + 1)
2
.
Por tanto, A = N y la propiedad se cumple para todos los naturales.
1.4.1 Una aplicacin del principio de induccin: el binomio de Newton
Cuntas posibilidades tienes de que aciertes la lotera primitiva? Tienes que escoger 6 nmeros
de entre 47 sin importar el orden. El nmero de combinaciones posibles es
_
47
6
_
.
Las combinaciones sin repeticin de n elementos tomados de p en p se denen como las distintas
agrupaciones formadas con p elementos distintos, eligindolos de entre los n elementos de que
disponemos, considerando una variacin distinta a otra slo si dieren en algn elemento, y sin
tener en cuenta el orden de colocacin de sus elementos. El nmero de combinaciones que se
pueden construir de esta forma es
_
n
p
_
=
n!
p!(n p)!
Alos nmeros de la forma
_
n
p
_
, n sobre p se les suele llamar nmeros combinatorios. Recordemos
Nmeros combina-
torios que el factorial de un nmero natural n es
n! = 1 2 3 n
y que 0! = 1.
Las siguientes propiedades de los nmeros combinatorios son fciles de comprobar y nos sern
muy tiles.
a)
_
n
0
_
=
_
n
n
_
= 1, para cualquier n N.
b)
_
n
i
_
+
_
n
i1
_
=
_
n+1
i
_
, para cualesquiera i n naturales.
Proposicin 1.19. Dados a, b R y n N, se cumple que Binomio de Newton
Et rnixcirio rr ixriccix Et cox:ix+o rr tos xxrnos nr.trs
1z
(a + b)
n
=
n

i=0
_
n
i
_
a
ni
b
i
Demostracin. Vamos a probarlo usando el mtodo de induccin. Es claro que la propiedad es
cierta para n = 1. Supongamos que es cierta para un natural jo n y comprobemos que se cumple
para n + 1:
(a + b)
n+1
= (a + b)(a + b)
n
= (a + b)
n

i=0
_
n
i
_
a
ni
b
i
=
n

i=0
_
n
i
_
a
ni+1
b
i
+
n

i=0
_
n
i
_
a
ni
b
i+1
=
_
n
0
_
a
n+1
+
n

i=1
_
n
i
_
a
n+1i
b
i
+
n1

i=0
_
n
i
_
a
ni
b
i+1
+
_
n
n
_
b
n+1
=
_
n + 1
0
_
a
n+1
+
n

i=1
_
n
i
_
a
n+1i
b
i
+
n1

i=0
_
n
i
_
a
ni
b
i+1
+
_
n + 1
n + 1
_
b
n+1
=
_
n + 1
0
_
a
n+1
+
n

i=1
_
n
i
_
a
n+1i
b
i
+
n

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

i=1
__
n
i
_
+
_
n
i 1
__
a
n+1i
b
i
+
_
n + 1
n + 1
_
b
n+1
=
_
n + 1
0
_
a
n+1
+
n

i=1
_
n + 1
i
_
a
n+1i
b
i
+
_
n + 1
n + 1
_
b
n+1
=
n+1

i=0
_
n + 1
i
_
a
n+1i
b
i
.
La utilidad del binomio de Newton estriba en que no es necesario calcular el desarrollo completo
de (x + 3)
15
si slo nos interesa el coeciente de x
4
que, por cierto, es
_
15
4
_
3
11
.
Los coecientes del desarrollo de (a + b)
n
tambin se pueden encontrar usando el llamado
tringulo de Pascal (o de Tartaglia). Este consiste en lo siguiente: comenzamos con un 1, en cada Tringulo de Pas-
cal o de Tartaglia
lnea nueva aadimos unos en los extremos y bajo cada par de nmeros colocamos su suma. El
resultado que se obtiene nos da los coecientes del binomio de Newton.
n tringulo de Pascal n
o
combinatorio (a + b)
n
0 1
_
0
0
_
1 1 1
_
1
0
_ _
1
1
_
a + b
2 1 2 1
_
2
0
_ _
2
1
_ _
2
2
_
a
2
+ 2ab + b
2
3 1 3 3 1
_
3
0
_ _
3
1
_ _
3
2
_ _
3
3
_
a
3
+ 3a
2
b + 3ab
2
+ b
3
Tabla 1.1 Tringulo de Pascal o Tartaglia
Et cox:ix+o rr tos xxrnos nr.trs Ix+rnv.tos . cox:ix+os rrs+.c.ros
1j
1.5 Intervalos y conjuntos destacados
Los conjuntos que van a jugar un papel ms destacado son los intervalos.
Denicin 1.20. Un subconjunto I de R es un intervalo si para cualesquiera x, y I se Intervalo
cumple que
_
x, y
_
= t R : x t y I.
Ya conoces cules son los distintos intervalos: abiertos, semiabiertos, cerrados, acotados o no:
[a, b] = x R : a x b
]a, b] = x R : a < x b
[a, b[= x R : a x < b
]a, b[= x R : a < x < b
[a, +[= x R : a x
]a, +[= x R : a < x
] , b] = x R : x b
] , b[= x R : x < b
Denicin 1.21. Sea A un subconjunto de R.
a) Diremos que a A es un punto interior si existe > 0 tal que ]a , a + [ I. Punto interior
b) El interior de A es el conjunto,

A =
_
a A : a es un punto interior
_
. Diremos que el
conjunto A es abierto si coincide con su interior.
c) Diremos que x R es un punto adherente si para cualquier > 0 se tiene que Punto adherente
]a , a + [A ,= .
d) El cierre o adherencia del conjunto A es A =
_
x R : x es un punto adherente de A
_
.
Diremos que el conjunto A es cerrado si coincide con su adherencia.
e) Diremos que x R es un punto de acumulacin de A si para cualquier r positivo se Punto de acumula-
cin
cumple que
]a r, a + r[(A \ a) ,= .
Notaremos A

al conjunto de todos los puntos de acumulacin de A.

f) Diremos que x R es un punto aislado del conjunto A si existe r > 0 tal que Punto aislado
]a r, a + r[A = a.
g) La frontera de A es Fr(A) = A \

A. Frontera
Ejemplo 1.22.
a) Los intervalos abiertos, ya sean acotados o no, son conjuntos abiertos. De la misma forma los
intervalos cerrados son conjuntos cerrados.
b) El conjunto de los naturales N es cerrado y tiene interior vaco al igual que Z. Adems todos
sus puntos son aislados.
c) El conjunto A =
_
1
n
: n N
_
tiene interior vaco, todos sus puntos son aislados y su cierre es
A 0. Ms concretamente, 0 es un punto de acumulacin de A.
E:rncicios Et cox:ix+o rr tos xxrnos nr.trs
1|

Proposicin 1.23. Sea A un subconjunto de R. Se verican las siguientes armaciones.

a)

A A A,
b) A es abierto si, y slo si, R \ A es cerrado.
1.6 Ejercicios
Ejercicio 1.1. Calcula para qu valores de x se verica que
2x3
x+2
<
1
3
.
Ejercicio 1.2. Encuentra aquellos valores de x que verican que:
a)
1
x
+
1
1x
> 0,
b) x
2
5x + 9 > x,
c) x
3
(x 2)(x + 3)
2
< 0,
d) x
2
x,
e) x
3
x,
f) x
2
3x 2 < 10 2x.
Ejercicio 1.3. Discute para qu valores de x se verica que:
a) x 1 x + 2 = 3,
b) x
2
x > 1,
c) x 1 + x + 1 < 1,
d) x + 1 < x + 3.
Ejercicio 1.4. Para qu valores de x se cumple la desigualdad x
2
(a + b)x + ab < 0?
1.6.1 Principio de induccin
Ejercicio 1.5. Demuestra por induccin que 1 + 2 + 3 + . . . + n =
n(n+1)
2
, para cualquier n N.
Ejercicio 1.6. Demuestra que 1 + 1 + 2 + 2
2
+ 2
3
+ . . . + 2
n
= 2
n+1
, para cualquier n N.
Ejercicio 1.7. Prueba que la suma de los cubos de tres nmeros naturales consecutivos es divi-
sible por 9.
Ejercicio 1.8. Demuestra que 1
2
+ 2
2
+ 3
2
+ . . . + n
2
=
n(n+1)(2n+1)
6
, para cualquier n N.
Ejercicio 1.9. Demuestra que 1
3
+ 2
3
+ 3
3
+ . . . + n
3
=
n
2
(n+1)
2
4
, para n N.
Ejercicio 1.10. Demuestra que
1
2
+
1
4
+
1
8
+ . . . +
1
2
n1
1 para cualquier natural mayor o igual
que dos.
1.6.2 Ejercicios complementarios
Ejercicio 1.1. Calcula, si existen, el supremo, nmo, mximo y mnimo de los siguientes con-
juntos
a) A = [0, 1] [2, 3[,
b) A = 2n : n N,
c) A =
_
x R :

x
2
+ 2x + 1

<
1
2
_
,
d) A = [0, +[Q.
Ejercicio 1.2. Resuelve las siguientes inecuaciones:
a) x 5 < x + 1, b) x 3 < 0.
Et cox:ix+o rr tos xxrnos nr.trs E:rncicios
1
Ejercicio 1.3. Demostrar por induccin que todos los nmeros de la forma n
3
+5n son divisibles
por 6.
Ejercicio 1.4. Demostrar por induccin que todos los nmeros de la forma 3
2n
1 son divisibles
por 8.
Ejercicio 1.5. Prubese que para todo natural n 2 se verica que 3 no divide a n
3
n + 1. E
Ejercicio 1.6. Prubese que para todo natural n 2 se verica que 5 divide a n
5
n.
Ejercicio 1.7. Demostrar que (1 + x)
n
> 1 + nx, n N, n > 1. para x R \ 0, x > 1.
Ejercicio 1.8. Demostrar que x
n+1
+
1
x
n+1
> x
n
+
1
x
n
, para cualquier natural n y cualquier real x
positivo distinto de uno.
Ejercicio 1.9. Probar que si x R \ 1, entonces se verica que
1 + x + x
2
+ x
3
+ . . . + x
n
=
x
n+1
1
x 1
, n N.
Ejercicio 1.10. Demostrar que, dado un natural n,

n es natural o irracional.
Ejercicio 1.11. Demostrar que

2 +

3 es irracional.
16
Ix+noriccix .t Axtisis Nixrnico Ix+noriccix .t Axtisis Nixrnico
1
Introduccin al Anlisis Numrico
2
2.1 Introduccin al Anlisis Numrico 17 2.2 Errores absolutos y relativos 18
2.3 Aritmtica de ordenador 21 2.4 Estabilidad 23 2.5 Ejercicios 24
2.1 Introduccin al Anlisis Numrico
El anlisis numrico usa mtodos para aproximar de forma eciente las soluciones de un pro-
blema matemtico. De forma usual involucra cambiar cantidades que no pueden ser calculadas
explcitamente por aproximaciones y, por tanto, es muy importante el manejo de los errores come-
tidos.
En la prctica, un problema matemtico se suele derivar de un problema fsico sobre el que
se hacen algunas suposiciones y/o simplicaciones hasta un obtener un modelo matemtico. Nor-
malmente las suposiciones permiten trabajar con un problema matemtico resoluble que se sue-
le complicar ms cuando eliminamos dichas suposiciones. Dado que el problema matemtico es
una aproximacin al problema fsico, tiene inters encontrar soluciones aproximadas al menos al
problema matemtico. El anlisis numrico est interesado en el desarrollo de mtodos (algorit-
mos) que construyan de forma explcita y en una cantidad nita de pasos una solucin aproximada.
Tienen ms inters por tanto aquellas demostraciones o construcciones que permiten encontrar
explcitamente la solucin.
Problema A Problema matemtico B Solucin exacta u
Problema aproximado B

Solucin aproximada u

En resumen, comenzamos con un problema real A, dicho problema lo trasladamos a un problema

matemtico Bcon solucin exacta u y, por ltimo, este problema se puede cambiar por un problema
matemtico ms sencillo B

con solucin u

. De este desarrollo surgen algunos problemas que hay

que considerar:
Ennonrs .nsoti+os . nrt.+ivos Ix+noriccix .t Axtisis Nixrnico
18
a) Cmo podemos medir el parecido o la diferencia entre B y B

?
b) Problemas de estabilidad; es inevitable cometer errores en el clculo, debido a los redondeos
que efectan los computadores. Interesa que pequeos errores cometidos en los clculos que
conducen a u

hagan que el resultado no diera mucho de u (hablaremos de esto en la ltima

seccin).
c) Coste del proceso. Cuntas operaciones deben realizarse? Cunto tiempo se precisa para
realizarlas?
Ejemplo 2.1. Podemos evaluar el polinomio p(x) = 12x
4
+ 5x
3
18x
2
+ 7x + 11 de varias
formas. Tambin podemos escribirlo como p(x) = (((12x + 5)x 18)x + 7)x + 11. El nmero de
operaciones para evaluarlo en el primer caso es de 4 + 3 + 2 + 1 = 10 multiplicaciones y 4 sumas,
15 en total, mientras que en el segundo se requieren solamente 4 multiplicaciones y 4 sumas.
En el caso general de un polinomio de orden n, el nmero de multiplicaciones necesario para
evaluarlo si est escrito como
a
n
x
n
+ a
n1
x
n1
+ + a
1
x + a
0
es
n(n+1)
2
. En cambio, si lo evaluamos usando
(. . . ((a
n
x + a
n1
)x + a
n2
)x + + a
1
)x + a
0
slo necesitamos n multiplicaciones. Es preferible usar el segundo mtodo porque exige menos
operaciones y, por tanto, menos posibilidades error. El segundo mtodo de evaluar el polinomio
se denomina algoritmo de Horner. Algoritmo
de Horner
2.2 Errores absolutos y relativos
Cuando aproximamos un nmero real existen dos indicadores de la precisin de dicha aproxi-
macin. En concreto:
Denicin 2.2. Sea un valor real y

una aproximacin de ste. Se dene entonces el

error absoluto como Error absoluto
err
a
=

Y si ,= 0, se dene el error relativo como Error relativo

err
r
=

Ejemplo 2.3. Con los siguientes ejemplos vamos a constatar que se puede dar el mismo error
relativo aunque los errores absolutos sean distintos.

error absoluto error relativo

2 2.1 0.1 0.05
210
-4
2.110
-4
0.110
-4
0.05
210
4
2.110
4
0.110
4
0.05
Tabla 2.1 Ejemplos de errores absolutos y relativos
Ix+noriccix .t Axtisis Nixrnico Ennonrs .nsoti+os . nrt.+ivos
1

Hay que comentar que el valor del error relativo nos informa de la relevancia del error cometido
al hacer la aproximacin. Si medimos la distancia de Granada a Barcelona, as como la longitud de
una pizarra y en ambos casos cometemos un error (absoluto) de 15cm, est claro que en el primer
caso podramos asegurar que la medicin es correcta, cosa que en el segundo caso no sera. El
motivo de que una aproximacin sea precisa o no estriba en el error relativo. En el primer caso
el error relativo es muy pequeo si estamos midiendo kilmetros; mientras que en el caso de la
pizarra, sera un error relativo considerable.
En la prctica, como el valor de no se conoce, en consecuencia tampoco se conocen los errores
absoluto y relativo. Pero s se pueden encontrar acotaciones de dichos errores.
Denicin 2.4. Se dice que M > 0 es una cota del error si se verica que err
a
< M.
Clasicacin de los errrores
Hay muchas causas que pueden interferir en la precisin de un clculo y generar errores. Esos
errores se pueden clasicar en:
Errores iniciales Vienen de los problemas al recoger los datos iniciales y se deben usual-
mente a medidas con precisin limitada.
Errores de redondeo Son debidos a redondeos en los clculos porque estn hechos con un
nmero nito de cifras signicativas
Errores de truncamiento Corresponden a truncamientos de procedimientos innitos como cuando
nos quedamos con una cantidad nita de trminos en una serie.
Errores de propagacin Son debidos a la propagacin de errores previos en el algoritmo.
Ejemplo 2.5. El siguiente cdigo es parte de la implementacin de la funcin exponencial en
la librera Clibc
1
/*
* ====================================================
* Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
*
* Developed at SunPro, a Sun Microsystems, Inc. business.
* Permission to use, copy, modify, and distribute this
* software is freely granted, provided that this notice
* is preserved.
* ====================================================
*/
/* __ieee754_exp(x)
* Returns the exponential of x.
*
* Method
* 1. Argument reduction:
* Reduce x to an r so that |r| <= 0.5*ln2 0.34658.
* Given x, find r and integer k such that
Clibc es una pequea biblioteca en C diseada para sistemas con Linux empotrado.
1
Ennonrs .nsoti+os . nrt.+ivos Ix+noriccix .t Axtisis Nixrnico
zo
*
* x = k*ln2 + r, |r| <= 0.5*ln2.
*
* Here r will be represented as r = hi-lo for better
* accuracy.
*
* 2. Approximation of exp(r) by a special rational function on
* the interval [0,0.34658]:
* Write
* R(r**2) = r*(exp(r)+1)/(exp(r)-1) = 2 + r*r/6 - r**4/360 + ...
* We use a special Reme algorithm on [0,0.34658] to generate
* a polynomial of degree 5 to approximate R. The maximum error
* of this polynomial approximation is bounded by 2**-59. In
* other words,
* R(z) 2.0 + P1*z + P2*z**2 + P3*z**3 + P4*z**4 + P5*z**5
* (where z=r*r, and the values of P1 to P5 are listed below)
* and
* | 5 | -59
* | 2.0+P1*z+...+P5*z - R(z) | <= 2
* | |
* The computation of exp(r) thus becomes
* 2*r
* exp(r) = 1 + -------
* R - r
* r*R1(r)
* = 1 + r + ----------- (for better accuracy)
* 2 - R1(r)
* where
* 2 4 10
* R1(r) = r - (P1*r + P2*r + ... + P5*r ).
*
* 3. Scale back to obtain exp(x):
* From step 1, we have
* exp(x) = 2k * exp(r)
Sin entrar en detalles, el clculo de la exponencial incluye que
a) Dividimos y cambiamos el punto donde se calcula la exponencial por otro menor o igual que
0.5 log(2) 0.34658.
b) Aproximamos la funcin exponencial por un polinomio de grado 5 en dicho intervalo.
c) Reescalamos para obtener el resultado buscado.
Observa que en cada paso, estamos perdemos algo de exactitud. Qu tipo de errores estamos
cometiendo?
Ix+noriccix .t Axtisis Nixrnico Ani+xr+ic. rr onrrx.ron
z1
2.3 Aritmtica de ordenador
Cuando hacemos clculos con un ordenador se suelen cometer errores debido a las aproxima-
ciones que se suelen hacer en dichos clculos y en cmo el ordenador almacena los nmeros que
aparecen. Estos ltimos errores se llaman de redondeo.
Veamos a continuacin cmo el ordenador almacena los nmeros reales.
2.3.1 Expresin decimal y expresin binaria
El sistema decimal es el sistema de representacin de nmeros que nos resulta ms familiar. Si
un nmero x se puede escribir en base 10 como
x = (
n
10
n
+
n1
10
n1
+ +
0
10
0
+
1
10
1
+
2
10
2
+ )
donde
i
0, 1, 2, . . . , 9, su expresin decimal es

n1
. . .
0
.
1

2
. . .
Por ejemplo, si un nmero tiene por expresin decimal 74.348 es porque
74.348 = 7 10
1
+ 4 10
0
+ 3 10
1
+ 4 10
2
+ 8 10
3
Sin embargo, en la mayora de los ordenadores se utliza la representacin en el sistema binario;
esto es, los dgitos con los que vamos a trabajar ahora van a ser dos:0, 1, ya que trabajamos en
base 2:
x = (
n
2
n
+
n1
2
n1
+ +
0
2
0
+
1
2
1
+
2
2
2
+ )
donde
i
0, 1, entonces la expresin binaria de x es

n1
. . .
0
.
1

2
. . .
Ejemplo 2.6. No es difcil pasar de la representacin en sistema decimal a sistema binario y
viceversa. Por ejemplo, dado el nmero 101.011 en sistema binario, su representacin en sistema
decimal es 5.375 ya que
1 2
2
+ 0 2
1
+ 1 2
0
+ 0 2
1
+ 1 2
2
+ 1 2
3
= 5.375
Veamos ahora un ejemplo del paso contrario. Por ejemplo, sea 10.75 en sistema decimal. Su repre-
sentacin en sistema binario es 1010.11 ya que
10.75 = 1 2
3
+ 0 2
2
+ 1 2
1
+ 0 2
0
+ 1 2
1
+ 1 2
2
Por qu?

Hay que tener en cuenta que un nmero en sistema decimal puede tener un nmero nito de
decimales (por ejemplo 0.1) y, sin embargo, puede tener innitos decimales en sistema binario
(0.1
2)
= 0.0001100011 . . .).
Ani+xr+ic. rr onrrx.ron Ix+noriccix .t Axtisis Nixrnico
zz
2.3.2 Almacenamiento de nmeros reales
La limitacin del espacio en un ordenador obliga a que ste no pueda guardar todos los nme-
ros reales (innitos), sino que slo pueda almacenar un subconjunto nito de nmeros llamados
nmeros mquina. Adems, cuando un ordenador almacena un nmero real, en realidad lo que
almacena es una aproximacin suya.
Cuando escribimos el nmero 12.304 en el sistema decimal tambin lo podramos escribir as:
12304 10
3
1230.4 10
2
123.04 10
1
12.304 10
0
1.2304 10
1
12304 10
2
0.12304 10
3
Lo que hemos hecho ha sido desplazar el punto decimal. Anlogamente se hara en el sistema
binario.
El ordenador utiliza una representacin estndar para escribir los nmeros reales que se llama
representacin de punto otante. Esto es, si x es un nmero real dado, se escribira como sigue
x = a 10
b
donde a es una expresin decimal nita, llamada mantisa y verica que: 0.1 a 1 y b es un
nmero entero, llamado exponente. Si trabajamos en el sistema binario, entonces:
x = a 2
b
siendo 0.1 a 1 (en base 2) la mantisa, y b un entero, el exponente.
La precisin de un nmero mquina depende del nmero de bits (espacios) utilizados para ser
almacenados. La limitacin de espacios (bits) hace que el ordenador tenga una cota por arriba y una
cota por abajo, adems de que para calcular obligatoriamente se vea obligado a hacer redondeos
para manejar nmeros que pueda almacenar.
2.3.3 Propiedades de la aritmtica de ordenador
Los errores de redondeo pueden alterar las propiedades elementales de la aritmtica, como son
la propiedad asociativa o la de elemento neutro.
En prcticas con wxMaxima veremos ejemplos de cmo la aritmtica de ordenador altera la
aritmtica real.
2.3.4 Cancelacin de cifras signicativas
La aritmtica de ordenador requiere que al hacer clculos organicemos con detalle los mismos
para que las aproximaciones que se hagan no afecten en demasa a la precisin del resultado nal.
Con respecto a esto y, en concreto, cuando restamos dos nmeros similares, se da el fenmeno
Ix+noriccix .t Axtisis Nixrnico Es+.nitir.r
zj
de la cancelacin de cifras signicativas que, en determinados procesos de clculo, puede afectar
considerable y negativamente a la precisin del resultado nal.
Ejemplo 2.7. Consideremos dos nmeros reales casi iguales
p = 1.23456789 q = 1.23454678
y supongamos que estamos trabajando con una precisin de 9 cifras. Si los restamos:
p q = 0.00002111
observamos que hemos perdido precisin ya que de 9 cifras signicativas, hemos pasado a slo 4
(el resto son iguales). Puede ocurrir, entonces, que el ordenador sustituya estas cifras por ceros o
por valores arbitrarios (depende de la mquina), lo que puede afectar a los clculos siguientes.
Veamos otro ejemplo donde se constata el efecto que produce el fenmeno de la cancelacin de
cifras signicativas.
Ejemplo 2.8. Por ejemplo, al resolver una ecuacin de segundo grado a x
2
+ bx + c = 0 y al
calcular las races de la forma convencional
x
1
=
b +

b
2
4ac
2a
x
2
=
b

b
2
4ac
2a
observamos que, cuando b es positivo y grande, en el numerador de x
1
estamos restando dos n-
meros similares (

b
2
4ac b), con lo que se producir el efecto de la cancelacin de cifras
signicativas; mientras que en el clculo de x
2
este efecto no se producir puesto que estamos
sumando dos cifras similares. Para evitar lo primero podemos radicalizar la frmula que calcula
x
1
de la forma siguiente:
x
1
=
b +

b
2
4ac
2a
=
(b +

b
2
4ac)
2a
(b

b
2
4ac)
(b

b
2
4ac)
=
2c
b +

b
2
4ac
El fenmeno que acabamos de comentar lo constataremos en prcticas con wxMaxima con un
ejemplo concreto.
2.4 Estabilidad
Qu pasa cuando acumulamos errores debido a hacer un nmero elevado de operaciones?
A este fenmeno se le conoce como propagacin de errores. Y el objetivo es saber reconocer
situaciones en los que los errores se magniquen. Veremos que muchas veces, slo cambiando el
proceso de clculo podemos evitar situaciones molestas.
2.4.1 Propagacin de errores
Las operaciones de multiplicacin, divisin y radicacin no afectan a la magnicacin de errores
relativos. No ocurre lo mismo con los errores absolutos ya que el dividir por un nmero pequeo
o, lo que es lo mismo, multiplicar por un nmero grande, se puede magnicar el error absoluto.
Ya que los errores son inevitables en el clculo numrico, al menos debemos aspirar cuando
establezcamos un algoritmo que la propagacin de errores no afecte demasiado al resultado nal.
Cuando esto ocurra diremos que el algoritmo es estable. En otro caso, diremos que el algoritmo es
inestable. A lo largo del curso intentaremos asegurar la estabilidad de los algoritmos propuestos.
E:rncicios Ix+noriccix .t Axtisis Nixrnico
z|
En prcticas veremos cmo dos algoritmos matemticamente equivalentes no tienen por qu
tener la misma estabilidad cuando se trabaja con aritmtica de ordenador. Concretamente, estable-
ceremos dos algoritmos para calcular la potencia n-sima de 1/3, es decir, 1/3
n
, ambos equivalentes.
Sin embargo, trabajando con una aritmtica de 5 dgitos (esto es, aproximando 1/3 por 0.33333),
uno de ellos ser estable, mientras que el otro ser inestable.
2.5 Ejercicios
Ejercicio 2.1. Comprobar las siguientes propiedades de los sumatorios:
a)
n

k=1
(a
k
+ b
k
) =
n

k=1
a
k
+
n

k=1
b
k
b)
n

k=1
(c a
k
) = c
n

k=1
a
k
,
c)
n

k=1
(a
k
a
k1
) = a
n
a
0
,
Ejercicio 2.2. Estudiar si son ciertas las igualdades:
a)
100

i=1
(i 1)
2
=
99

i=0
i
2
,
b)
100

k=0
(2 + k) = 202 +
100

k=0
k,
c)
100

k=1
k
3
=
_

_
100

k=1
k
_

_
_

_
100

k=1
k
2
_

_
,
d)
100

k=1
k
3
=
_

_
100

k=1
k
_

_
3
,
e)
100

k=0
k
2
=
100

k=1
k
2
,
f)
100

k=0
k
2
=
99

k=1
k
2
+ 2
99

k=1
k + 100.
Ejercicio 2.3. Consideremos las funciones:
f (x) = x
_
x + 1

x
_
, g(x) =
x

x + 1 +

x
Observemos que algebraicamente f es equivalente a g. Deseamos hallar el valor de f (500) y g(500).
Qu funcin proporciona mejores resultados? Por qu?
Ejercicio 2.4. Deseamos calcular

9876

9875 Cul es el mejor modo de realizarlo?

Ejercicio 2.5. Detectar posibles problemas en la evaluacin de las expresiones siguientes y
proponer alternativas para evitarlas:
Ix+noriccix .t Axtisis Nixrnico E:rncicios
z
a)
1
1 + 2x

1 x
1 + x
para x mucho menor que 1.
b)
_
x +
1
x

_
x
1
x
para x mucho mayor que 1.
c)
1 cos(x)
x
para x mucho menor que 1, x ,= 0.
z6
Fixcioxrs rtrxrx+.trs Drrixicioxrs
z
Funciones elementales
3
3.1 Deniciones 27 3.2 Funciones elementales 34 3.3 Ejercicios 44
La idea de funcin aparece por todas partes: cada persona tiene una edad o un nmero de hijos o
una cantidad de dinero en el bolsillo. No necesariamente tenemos que referirnos a nmeros, pode-
mos decir que cada persona tiene, o tuvo, un color de pelo, una marca de coche, etc. El formalismo
de las funciones nos permite tratar todas estas situaciones de la misma forma.
3.1 Deniciones
3.1.1 Dominio, rango e imagen
Denicin 3.1. Una funcin f : A B es una regla que a cada elemento a de A le asocia
un nico elemento de B. Al conjunto A se la llama dominio de la funcin y a B se le suele dominio
llamar codominio. No hay que confundir el codominio con la imagen de la funcin que es
conjunto
f (A) =
_
b B : a A tal que f (a) = b
_
.
La preimagen de un elemento b de B son aquellos elementos de A cuya imagen es B. Utiliza-
remos la siguiente notacin
f
1
(b) = a A : f (a) = b .
Por extensin, tambin se puede hablar de la preimagen de un conjunto. Si B
0
B, la preima-
gen de B
0
es
f
1
(B
0
) = a A : f (a) B
0
.
La grca de la funcin es el conjunto Gr( f ) = (a, b) A B : f (a) = b.
Observacin 3.2. La denicin de funcin incluye tres cosas obligatoriamente: el dominio, el
codominio y la regla que a cada elemento del dominio le asocia uno del codominio. En ocasiones
abusaremos del lenguaje y hablaremos, por ejemplo, de la funcin f (x) =

x + 1. Qu queremos
decir? Slo tenemos la regla que dene la funcin. Cules son su dominio y su codominio? Su
dominio natural es el mayor conjunto donde la denicin tiene sentido. En nuestro caso sera
x R : x 1 y el codominio es simplemente la imagen de la funcin. En general y salvo que
se diga lo contrario, en ausencia de un dominio explcito nos referiremos al conjunto donde tiene
sentido la denicin de la funcin.
Ejemplo 3.3. Consideremos la funcin f : [0, 3] R denida como f (x) = cos(x).
Drrixicioxrs Fixcioxrs rtrxrx+.trs
z8

2
3
2
2
5
2
3
1
1
0
cos(x)
Figura 3.1 Grca e imagen de la funcin coseno
a) Su dominio es el intervalo [0, 3]
b) Su codominio es todo el conjunto de los nmeros reales aunque podramos haber puesto cual-
quier conjunto ms grande que el intervalo [1, 1] (su imagen).
c) En la Figura 3.1 hemos representado en azul la grca de la funcin, esto es, el siguiente sub-
conjunto del plano
(x, cos(x)) : x [0, 3] .
d) La imagen de la funcin son los valores que toma. En este caso, la funcin coseno toma todos
los valores entre 1 y 1 (en rojo en la gura anterior).
e) La preimagen de un valor puedes ser nica, pueden ser varios elementos o vaca. En nuestro
caso, al ser la funcin peridica, la preimagen nunca es nica. Por ejemplo,
f
1
(1) = x [0, 3] : cos(x) = 1 = 0, 2 ,
en cambio, f
1
(2) = , ya que la funcin coseno nunca vale 2.
f) Cuando es la funcin positiva? Por denicin, cuando el valor de la funcin es mayor estricta-
mente que cero:
f
1
(]0, +[) = x [0, 3] : cos(x) > 0 =
_
0,

2
_

_
3
2
,
5
2
_
.
Observa que en este caso f
1
(]0, +[) = f
1
(]0, 1]).

Ejemplo 3.4. Uno de los ejemplos ms frecuentes de funciones con los que nos encontramos
son las sucesiones. En el Captulo 4 hablaremos de ellas con ms detalle. Una sucesin es una
funcin cuyo dominio es el conjunto de los nmeros naturales. Si el codominio es el conjunto de
los nmeros reales, tenemos una sucesin de nmeros reales; si el codominio es el conjunto de
los alumnos de la clase, tendremos una sucesin de estudiantes, etc. Es importante resaltar que el
hecho de que el dominio sea N lo que nos da es una lista ordenada de elementos. Por ejemplo, la
funcin
f : N R, f (n) = 2n
1 2
2 4
. . .
nos enumera el conjunto de los pares: el primer nmero par es el 2, el segundo el 4, etc.
Fixcioxrs rtrxrx+.trs Drrixicioxrs
z
Figura 3.2 Grca de una
funcin de dos variables
Ejemplo 3.5. Todos los ejemplos hasta ahora han tenido subcon-
juntos de Rcomo dominio y codominio. Es por eso que todas las re-
presentaciones las hemos hecho en el plano R
2
. La representacin
de funciones con ms variables en salida o en llegada requiere ms
dimensiones para la representacin de su grca. En la Figura 3.2
tienes la representacin de la funcin denida en el plano como
f (x, y) =
cos
_
x
2
+ y
2
_
1 + x
2
+ y
2
.
No es sencillo visualizar en el papel funciones de ms variables ya que habra que representar
espacios con cuatro dimensiones o ms en el plano.
3.1.2 Funciones inyectivas, sobreyectivas y biyectivas
Denicin 3.6.
a) Una funcin f : A B es inyectiva si se cumple que no hay dos elementos distintos con Funcin inyectiva
la misma imagen, esto es, si x ,= y entonces f (x) ,= f (y).
b) Una funcin f : A B es sobreyectiva si todo elemento tiene una preimagen, esto es, Funcin sobreyecti-
va
dado b B existe a A tal que f (a) = b.
c) Una funcin f : A B es biyectiva si es inyectiva y sobreyectiva. Funcin biyectiva
Ejemplo 3.7.
a) La funcin f : R R denida como f (x) = x
2
no es inyectiva ni sobreyectiva. Su imagen es
R
+
0
. Por tanto, la funcin f : R R
+
0
, f (x) = x
2
es sobreyectiva. Ninguna de las dos versiones
es inyectiva: f (x) = f (x). Si restringimos a los positivos o a los negativos, s. Por ejemplo,
f : R

R, f (x) = x
2
es inyectiva.
4 3 2 1 1 2 3 4
2
2
4
6
8
10
12
14
16
18
0
x
2
(3,9) (-3,9)
4 3 2 1 1 2 3 4
2
2
4
6
8
10
12
14
16
18
0
x
2
(-3,9)
No S
Figura 3.3 La funcin x
2
es inyectiva?
Drrixicioxrs Fixcioxrs rtrxrx+.trs
jo
b) Las funciones peridicas no son inyectivas: el valor de la funcin se repite cuando avanzamos
el periodo, ms concretamente, si la funcin es T-peridica, entonces f (x) = f (x + T).
c) La funcin exponencial y el logaritmo son inyectivas.
d) La funcin sen :
_

2
,

2
_
[1, 1] es biyectiva.

Funcin inversa
Si f : A B es una funcin inyectiva, la funcin inversa de f , a la que denotaremos f
1
, es la
funcin f
1
: f (A) A denida por f
1
( f (a)) = a. En otras palabras, si la funcin f enva a en
f (a), su inversa deshace el camino y envia a f (a) de nuevo a a.
Conocemos muchas funciones inyectivas y, para algunas de ellas, tambin conocemos su inversa.
Por ejemplo, sabemos que la funcin exponencial y el logaritmo neperiano son inversas una de la
otra. Qu quiere decir esto? Simplemente que se cumplen las dos siguientes igualdades:
log(e
a
) = a y e
log(b)
= b.
4 3 2 1 1 2 3 4 5 6 7
2
2
4
6
0
exponencial
logaritmo neperiano
Figura 3.4 La funcin exponencial
y el logaritmo son inversas
Esto tiene una consecuencia en las grcas de las funciones. Mira la Figura 3.4. Las grcas de
una funcin y su inversa son simtricas respecto de la bisectriz del primer cuadrante.
Cmo calculamos la inversa de una funcin? En teora es sencillo: si y = f (x) es la funcin,
slo tenemos que cambiar los papeles de x e y. Tenemos que despejar x como funcin de y. Esto
es la teora. Dependiendo de la funcin podemos estar ante un problema fcil o uno imposible.
Veamos un ejemplo.
Fixcioxrs rtrxrx+.trs Drrixicioxrs
j1
3 2 1 1 2 3 4 5 6 7 8
3
2
1
1
2
3
4
5
6
0
f (x) = x
2
+ x + 1
g(x) =
1+

4x3
2
h(x) =
1

4x3
2
Figura 3.5 La funcin x
2
+ x + 1 y sus inversas
Ejemplo 3.8. Consideremos la funcin
f (x) = x
2
+ x + 1, cul es su inversa?
Como hemos dicho, tenemos que resolver
la ecuacin
y = x
2
+ x + 1
considerando como incgnita x. Las solu-
ciones del polinomio x
2
+ x + 1 y = 0
son
x =
1
_
1 4(1 y)
2
=
1
_
4y 3
2
.
Las dos soluciones provienen del hecho de
que la funcin y = x
2
+x+1 no es inyectiva.
S es inyectiva en cualquiera de los intervalos ] ,
1
/2] y [
1
/2, +[. En la Figura 3.5 tienes las
grcas de la funcin y su inversa en cada uno de dicho es intervalos.
3.1.3 Funciones pares e impares
Denicin 3.9.
a) Una funcin f : A B es par si f (a) = f (a) para cualquier a en A. Funcin par
b) Una funcin f : A B es impar si f (a) = f (a) para cualquier a en A. Funcin impar
0
Figura 3.6 Funciones pares e
impares
Las funciones pares son aquellas cuya grca es simtrica res-
pecto del eje OY. En otras palabras, si doblamos la hora por el
eje vertical, ambos mitades coinciden. Para conseguir el mis-
mo efecto con una funcin impar tienes que doblar primero
respecto por eje vertical y, en segundo lugar, por el eje hori-
zontal.
Ejemplo 3.10.
a) Las funciones f (x) = x
2
o cos(x) son pares.
b) La funcin f (x) = x
3
o sen(x) son impares.

3.1.4 Funciones peridicas

Denicin 3.11. Una funcin f : R R es peridica si existe algn nmero real T tal que Funcin peridica
f (x) = f (x +T) para cualquier x real. A cualquiera de esos valores se le llama un periodo de
la funcin. El periodo fundamental, , es el menor de todos ellos, o sea,
= inf T : f (x) = f (x + T), x R
Drrixicioxrs Fixcioxrs rtrxrx+.trs
jz
Figura 3.7 Funcin peridica
Ejemplo 3.12. Las funciones seno y coseno son peridicas con periodo 2 (o cualquier mlti-
plo entero de 2). El periodo fundamental de la tangente es . El caso trivial son las funciones
constantes: son peridicas con cualquier periodo. Por tanto, su periodo fundamental es cero.
3.1.5 Acotacin
f(x)
M
m
Figura 3.8 Funcin acotada
Dada una funcin con valores reales, podemos hablar de
cundo los valores que toma dicha funcin se encuentran
en un rango determinado, son mayores o son menores que
una cierta cantidad. En otras palabras, podemos aplicar las
nociones de acotacin de conjuntos a la imagen de la fun-
cin. As surgen las nociones de funcin acotada y funcio-
nes acotadas superior o inferiormente.
Denicin 3.13. Sea f : A R una funcin.
a) Diremos que la funcin f est acotada superior-
mente si su imagen, f (A), lo est. En otras palabras, f est acotada superiormente si existe
un nmero M tal que f (a) M para cualquier elemento a de A.
b) Diremos que la funcin f est acotada inferiormente si su imagen, f (A), lo est. En otras
palabras, f est acotada superiormente si existe un nmero m tal que f (a) m para
cualquier elemento a de A.
c) Diremos que la funcin est acotada si lo est superior e inferiormente.
Ejemplo 3.14. Las funciones seno o coseno estn acotadas. En cambio ningn polinomio, salvo
los constantes, es una funcin acotada en R.
Una vez que tenemos un conjunto acotado, podemos hablar de mximo y supremo.
Denicin 3.15. Sea f : A R una funcin.
a) Diremos que la funcin f tiene mximo si su imagen, f (A) lo tiene. Diremos que f alcanza
su mximo en a
0
A si f (a) f (a
0
) para cualquier a A.
b) Diremos que la funcin f tiene mnimo si su imagen, f (A) lo tiene. Diremos que f alcanza
su mnimo en a
0
A si f (a) f (a
0
) para cualquier a A.
Observacin 3.16. Ya sabemos que un conjunto acotado superiormente tiene supremo. No
podemos decir lo mismo con respecto al mximo. Hay conjuntos que tienen supremo pero este no
Fixcioxrs rtrxrx+.trs Drrixicioxrs
jj
se alcanza. Piensa, por ejemplo, en los intervalos abiertos. La misma situacin se puede dar con
funciones. Por ejemplo, la funcin f :]0, 1[]0, 1[, f (x) = x est acotada, pero no tiene mximo
ni mnimo.
3.1.6 Funciones montonas
Denicin 3.17.
a) Una funcin f : A R R es creciente (resp. decreciente) si Funcin creciente
x y = f (x) f (y) (resp. f (x) f (y)).
b) Una funcin f : A R R es estrictamente creciente (resp. estrictamente decreciente) Funcin estricta-
mente creciente
si
x < y = f (x) < f (y) (resp. f (x). > f (y))
En general, diremos que una funcin es montona si es creciente o decreciente y diremos que
es estrictamente montona si es estrictamente creciente o estrictamente decreciente.
Observacin 3.18.
1 2 3 4 5 6
1
2
3
0
Hay veces que los nombres nos pueden inducir
a error y este es uno de esos casos. La idea in-
tuitiva que tenemos todos es que una funcin cre-
ciente es aquella que tiene una grca ascendente.
En realidad eso es una funcin estrictamente cre-
ciente. Una funcin constante es creciente (y de-
creciente). La expresin correcta debera ser que
una funcin creciente es aquella cuya grca no
baja.
Monotona e inyectividad
Se deduce directamente de la denicin de funcin estrictamente montona que puntos del
dominio distintos tienen imgenes distintas. En particular, las funciones estrictamente montonas
son inyectivas. Es cierto el recproco? Es fcil encontrar ejemplos de que no es cierto en general.
Por ejemplo, la funcin f : [0, 3] R denida como
f (x) =
_
x, si 0 x < 2,
5 x, si 2 x 3,
no es creciente ni decreciente. La funcin f no es continua y podra pensarse que este fenmeno
no se presentara en funciones continuas, pero no es difcil conseguir un ejemplo con funciones
continuas. Dnde presenta problemas de continuidad la funcin f ? Pues eliminemos esos puntos.
Considera la funcin g : [0, 1] [2, 3] R denida como
f (x) =
_
x, si 0 x < 1,
5 x, si 2 x 3,
Fixcioxrs rtrxrx+.trs Fixcioxrs rtrxrx+.trs
j|
1 2 3
1
2
3
0
f
1 2 3
1
2
3
0
g
Figura 3.9 Monotona e inyectividad
Como puedes ver, para la inyectividad no es una condicin suciente para probar monotona si
consideramos funciones que no sean continuas o que no estn denidas en intervalos. En otro caso,
el resultado es cierto.
3.2 Funciones elementales
3.2.1 Funciones potenciales
La funcin potencial f : R
+
R denida como f (x) = x
b
tiene sentido para cualquier expo-
nente b real. En el caso particular de potencias naturales, se puede extender la denicin a toda la
recta real.
a) f es biyectiva de R
+
en R
+
, continua y derivable con f

(x) = bx
b1
.
b) (xy)
b
= x
b
y
b
.
c) Si b > 0, f es estrictamente creciente y verica lim
x0
x
b
= 0 y lim
x+
x
b
= +.
d) Si b < 0, f es estrictamente decreciente y verica lim
x0
x
b
= +y lim
x+
x
b
= 0.
-2 -1 1 2 3 4 5
-2
-1
1
2
3
4
0
f (x) = x
2
g(x) =

x
Figura 3.10 Funcin potencial
Como consecuencia se obtiene que los polinomios, suma de funciones potenciales con exponente
natural, son derivables en todo R. Ms concretamente, si p(x) = a
0
+ a
1
x + . . . + a
n
x
n
, entonces
p

(x) = a
1
+ 2a
2
x + . . . + na
n
x
n1
, x R.
Fixcioxrs rtrxrx+.trs Fixcioxrs rtrxrx+.trs
j
3.2.2 Funcin exponencial
La funcin exponencial de base e, f : R R est denida como f (x) = e
x
. A veces usaremos
la notacin exp(x) para indicar e
x
.
a) f es continua y derivable en R con f

(x) = e
x
.
b) f es biyectiva de R en R
+
y estrictamente creciente.
c) lim
x
e
x
= 0 y lim
x+
e
x
= +.
d) e
x+y
= e
x
e
y
.
-4 -3 -2 -1 1 2 3 4 5 6 7 8
-4
-3
-2
-1
1
2
3
4
5
6
0
f (x) = e
x
g(x) = log(x)
Figura 3.11 Funciones exponencial y logaritmo neperiano
3.2.3 Funcin logaritmo neperiano
La funcin logaritmo neperiano
2
, g(x) = log(x) para x positivo, es la inversa de la funcin
exponencial.
a) g es derivable y g

(x) =
1
x
.
b) g es biyectiva de R
+
en R y estrictamente creciente.
c) lim
x0
log(x) = y lim
x+
log(x) = +.
d) log(xy) = log(x) + log(y), x, y R
+
.
e) log
_
x
y
_
= log(x) log(y), x, y R
+
.
f) log(x
y
) = y log(x), x R
+
, y R.
g) log(1) = 0, log(e) = 1.
Haciendo uso de la siguiente frmula se deducen las dems funciones elementales, excepto las
trigonomtricas
a
b
= e
log(a
b
)
= e
b log(a)
, a R
+
, b R.
Usaremos indistintamente la notacin ln(x) y log(x) para indicar el logaritmo neperiano
2
Fixcioxrs rtrxrx+.trs Fixcioxrs rtrxrx+.trs
j6
3.2.4 Funcin exponencial de base a ,= 1
f : R R, f (x) = a
x
, x R
a) f es biyectiva de R en R
+
, continua y verica a
x+y
= a
x
a
y
.
b) Si a > 1, f es estrictamente creciente y verica lim
x
a
x
= 0 y lim
x+
a
x
= +.
c) Si a < 1, f es estrictamente decreciente y verica lim
x
a
x
= +y lim
x+
a
x
= 0.
d) f es derivable y f

(x) = a
x
log(a).
-2 -1 1 2 3
1
2
3
4
0
f (x) = 2.5
x
g(x) =
1
2.5
x
Figura 3.12 Funcin exponencial
3.2.5 Funciones logartmicas de base a ,= 1
La inversa de la funcin exponencial es la funcin logaritmo. Su comportamiento depende de
la base de la expoencial que hayamos considerado. Es por esto que en algunos casos tengamos que
distinguir entre base mayor o menor que uno.
g : R
+
R, g(x) = log
a
(x) =
log(x)
log(a)
x R
+
a) g es biyectiva de R
+
en R y continua. Adems g es la inversa de la funcin exponencial de base
a. Verica tambin que
log
a
(xy) =log
a
(x) + log
a
(y),
log
a
_
x
y
_
=log
a
(x) log
a
(y),
log
a
(x
z
) =z log
a
(x)
para cualesquiera x, y R
+
, z R.
b) Si a > 1, g es estrictamente creciente y
lim
x0
log
a
(x) = , y lim
x+
log
a
(x) = +.
c) Si a < 1, g es estrictamente decreciente y
lim
x0
log
a
(x) = +, y lim
x+
log
a
(x) = .
Fixcioxrs rtrxrx+.trs Fixcioxrs rtrxrx+.trs
j
1 2 3 4 5 6 7
-3
-2
-1
1
2
3
0
f (x) = log(x)
g(x) = log
0.5
(x)
Figura 3.13 Funcin logaritmo
Funciones trigonomtricas
3.2.6 Las funciones seno y coseno
a) Son derivables en todo R y sen

(x) = cos(x), cos

(x) = sen(x).
b) Son funciones peridicas de periodo 2
sen(x + 2) = sen(x), cos(x + 2) = cos(x).
c) sen
2
(x) + cos
2
(x) = 1, x R. Frmula funda-
mental de trigono-
metra
d) cos : [0, ] [1, 1] es una biyeccin estrictamente decreciente con cos(0) = 1, cos
_

2
_
= 0,
cos() = 1.
e) sen : [

2
,

2
] [1, 1] es una biyeccin estrictamente creciente con sen
_

2
_
= 1, sen(0) = 0,
sen
_

2
_
= 1.
f) La imagen, tanto de la funcin seno como de la funcin coseno, es el intervalo [1, 1].
g) La funcin coseno es par: cos(x) = cos(x), x R.
h) La funcin seno es impar: sen(x) = sen(x), x R.
i) cos(x + ) = cos(x), sen(x + ) = sen(x), x R.
j) Las funciones seno y coseno no tienen lmite en +ni en .
Fixcioxrs rtrxrx+.trs Fixcioxrs rtrxrx+.trs
j8
Algunos valores destacados de seno y coseno
1 0.5 0.5 1
1
1
0
(cos(x),sen(x))
tan(x)
ngulo x

2
3
2
2
1
0.5
0.5
1
0
Funcin seno
Funcin coseno
Figura 3.14 Las funciones seno y coseno
Radianes Coseno Seno Tangente
0 1 0 0
/6

3/2 1/2 1/

3
/4

2/2

2/2 1
/3 1/2

3/2

3
/2 0 1
2/3 1/2

32

3
3/4

2/2

2/2 1
5/6

3/2 1/2 1/

3
1 0 0
Tabla 3.1 Valores de seno, coseno y tangente en los
dos primeros cuadrantes
Fixcioxrs rtrxrx+.trs Fixcioxrs rtrxrx+.trs
j
0
1
2

1
2

3
2
3

2
3

3
2

3
2

2
5
6

5
6

3
2

3
2
1
2

1
2

2
3
4

3
4

2
2

2
2

2
2

2
2
Figura 3.15 Crculo trigonomtrico
Teorema del coseno
h = a sen()
rea=
1
2
bh
Teorema del coseno: c
2
= a
2
+ b
2
2ab cos()
h
b
c a

3.2.7 La funcin tangente

Como se verica que cos(x) = 0 x =

2
+ k, k Z, podemos denir la funcin tangente
como
tan : A R, A = R \
_

2
+ k : k Z
_
, tan(x) =
sen(x)
cos(x)
Fixcioxrs rtrxrx+.trs Fixcioxrs rtrxrx+.trs
|o

2

2

0
Figura 3.16 Funcin tangente
a) tan(x + ) = tan(x), x A.
b) tan :
_

2
,

2
_
R es una funcin continua y estrictamente creciente y adems verica que
lim
x

2
tan(x) = y lim
x

2
tan(x) = +.
c) La funcin tangente es derivable y
tan

(x) = 1 + tan
2
(x) =
1
cos
2
(x)
.
3.2.8 Secante, cosecante, cotangente
Siempre que los respectivos denominadores no se anulen, se pueden denir las siguientes fun-
ciones
cosec : B R, cosec(x) =
1
sen(x)
, x B
sec : A R, sec(x) =
1
cos(x)
, x A
cotan : B R, cotan(x) =
cos(x)
sen(x)
, x B,
donde A = R \

2
+ k : k Z y B = R \ k : k Z.
Dichas funciones son continuas y derivables en su correspondiente dominio y
sec

(x) =tan(x) sec(x),

cosec

(x) = cotan(x) cosec(x),

cotan

(x) =
1
sen
2
(x)
= cosec
2
(x) = (1 + cotan
2
(x)).
Fixcioxrs rtrxrx+.trs Fixcioxrs rtrxrx+.trs
|1
3.2.9 Inversas de funciones trigonomtricas
Funcin arcoseno
1 1

0
Arcoseno
Arcocoseno
Figura 3.17 Arcoseno y
arcocoseno
Esta funcin es la inversa de la restriccin de la funcin seno al in-
tervalo [

2
,

2
], y por tanto arcsen : [1, 1] [

2
,

2
] verica que
sen(arcsen(x)) = x, x [1, 1].
Adems, es una funcin biyectiva, continua y estrictamente cre-
ciente con
arcsen(1) =

2
, arcsen(0) = 0, arcsen(1) =

2
.
Por ltimo, es derivable en el intervalo abierto ] 1, 1[ con derivada
arcsen

(x) =
1

1 x
2
.
Funcin arcocoseno
Es la funcin inversa de la restriccin de la funcin coseno al intervalo [0, ], y por tanto
cos(arccos(x)) = x, x [1, 1].
Esta funcin es biyectiva, continua y estrictamente decreciente con
arccos(1) = , arccos(0) =

2
, arccos(1) = 0
Es derivable en el intervalo abierto ] 1, 1[ con derivada
arccos

(x) =
1

1 x
2
.
Funcin arcotangente
Es la inversa de la restriccin de la funcin tangente al intervalo
_

2
,

2
_
y, por tanto,
arctan : R
_

2
,

2
_
verica que tan(arctan(x)) = x, x R.
a) Esta funcin es biyectiva, continua y estrictamente creciente con
lim
x
arctan(x) =

2
, arctan(0) = 0, lim
x+
arctan(x) =

2
.
b) Es derivable en R y arctan

(x) =
1
1+x
2
.
Fixcioxrs rtrxrx+.trs Fixcioxrs rtrxrx+.trs
|z

2
6 5 4 3 2 1 1 2 3 4 5 6 0
Arcotangente
Figura 3.18 Funcin arcotangente
3.2.10 Identidades trigonomtricas
a) Identidades pitagricas
sen
2
(x) + cos
2
(x) = 1
tan
2
(x) + 1 = sec
2
(x)
cotan
2
(x) + 1 = cosec
2
(x)
b) Suma y diferencia de ngulos
sen(x y) = sen(x) cos(y) cos(x) sen(y)
cos(x y) = cos(x) cos(y) sen(x) sen(y)
tan(x y) =
tan(x) tan(y)
1 tan(x) tan(y)
c) Angulo doble
sen(2x) = 2 sen(x) cos(x),
cos(2x) = cos
2
(x) sen
2
(x) = 2 cos
2
(x) 1 = 1 2 sen
2
(x)
d) Angulo mitad
sen
2
(x) =
1
2
(1 cos(2x))
cos
2
(x) =
1
2
(1 + cos(2x))
tan
_
x
2
_
=
1 cos(x)
sen(x)
=
sen(x)
1 + cos(x)
e) Producto
sen(x) sen(y) =
1
2
(cos(x y) cos(x + y))
cos(x) cos(y) =
1
2
(cos(x y) + cos(x + y))
sen(x) cos(y) =
1
2
(sen(x + y) + sen(x y))
Fixcioxrs rtrxrx+.trs Fixcioxrs rtrxrx+.trs
|j
3.2.11 Funciones hiperblicas
De forma anloga a como estn denidas las funciones seno y coseno, podemos interpretar
geomtricamente las funciones hiperblicas. El papel que juega la circunferencia unidad x
2
+y
2
= 1
lo pasa a representar la hiprbola x
2
y
2
= 1. En este caso, relacionamos el punto (x, y) con el
rea que aparece sombreada en la gura 3.19.
1
1
x
2
y
2
= 1
rea
(), ())
Figura 3.19 Seno y coseno hiperblicos
Las funciones hiperblicas estn denidas como:
senh(x) =
e
x
e
x
2
, cosh(x) =
e
x
+ e
x
2
, tanh(x) =
senh(x)
cosh(x)
Por analoga con las funciones trigonomtricas hablaremos tambin de tangente, secante y co-
secante hiperblica.
4 3 2 1 1 2 3 4
2
1
1
2
3
4
0
Seno hiperblico
Coseno hiperblico
Figura 3.20 Funciones hiperblicas
E:rncicios Fixcioxrs rtrxrx+.trs
||
3.2.12 Identidades hiperblicas
a) Identidades pitagricas
cosh
2
(x) senh
2
(x) = 1,
tanh
2
(x) + sech
2
(x) = 1
cotanh
2
(x) cosech
2
(x) = 1
b) Sumas y diferencias de ngulos.
senh(x + y) = senh(x) cosh(y) + cosh(x) senh(y),
senh(x y) = senh(x) cosh(y) cosh(x) senh(y),
cosh(x + y) = cosh(x) cosh(y) + senh(x) senh(y),
senh(x y) = cosh(x) cosh(y) senh(x) senh(y).
c) ngulo doble
senh
2
(x) =
1 + cosh(2x)
2
, cosh
2
(x) =
1 + cosh(2x)
2
.
Funciones hiperblicas inversas
arcsenh(x) = log
_
x +
_
x
2
+ 1
_
arccosh(x) = log
_
x +
_
x
2
1
_
arctanh(x) =
1
2
log
_
1 + x
1 x
_
3.3 Ejercicios
Ejercicio 3.1. Calcula el dominio de las siguientes las funciones:
a) y =
_
x2
x+2
b) y = log
_
x
2
5x+6
x
2
+4x+6
_
c) y =
_
x
1x
d) y = tan
_
x +

4
_
Ejercicio 3.2. Si f (x) = 1/x y g(x) = 1/

x, cules son los dominios naturales de f , g, f + g,

f g y de las composiciones f g y g f ?
Ejercicio 3.3. Estudia si son pares o impares las siguientes funciones:
a) f (x) = x + 1 x 1
b) f (x) = log
_
1+x
1x
_
c) f (x) = e
x
+ e
x
d) f (x) = e
x
e
x
e) f (x) = sen (x)
f) f (x) = cos(x
3
)
Fixcioxrs rtrxrx+.trs E:rncicios
|
Ejercicio 3.4. Para qu nmeros reales es cierta la desigualdad e
3x+8
(x + 7) > 0?
Ejercicio 3.5. Comprueba que la igualdad a
log(b)
= b
log(a)
es cierta para cualquier par de nmeros
positivos a y b.
Ejercicio 3.6. Resuelve la siguiente ecuacin:
1
log
x
(a)
=
1
log
b
(a)
+
1
log
c
(a)
+
1
log
d
(a)
.
Ejercicio 3.7. Para qu valores de x se cumple que log(x 1)(x 2) = log(x 1) +log(x 2)?
Ejercicio 3.8. Prueba que log
_
x +

1 + x
2
_
+ log
_
1 + x
2
x
_
= 0.
Ejercicio 3.9. Resuelve la ecuacin x

x
=
_

x
_
x
.
Ejercicio 3.10. Simplica las siguientes expresiones:
a) a
log(log a)/ log a
,
b) log
a
_
log
a
(a
a
x
)
_
.
Ejercicio 3.11. Comprueba que si f (x) =
1
1x
, entonces f f f (x) = x.
Ejercicio 3.12. Calcula la inversa de las siguientes funciones
a) f (x) =
3

1 x
3
b) f (x) =
e
x
1+e
x
Ejercicio 3.13. Hay algn valor de x e y para los que se cumpla que

x + y =

x +

y?
Ejercicio 3.14. Hay algn valor de x e y para los que se cumpla que
1
x+y
=
1
x
+
1
y
?