Funciones

Definiciones

Funciones
A
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, podemos 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.

A.1 Definiciones
A.1.1 Dominio, rango e imagen
Definicin A.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 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.
Utilizaremos la siguiente notacin


f 1 (b) = a A : f (a) = b .
Por extensin, tambin se puede hablar de la preimagen de un conjunto. Si B0 B,
la preimagen de B0 es


f 1 (B0 ) = a A : f (a) B0 .


La grfica de la funcin es el conjunto Gr( f ) = (a, b) A B : f (a) = b .
Observacin A.2. La definicin 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 define la funcin. Cules son su dominio y su codominio? Su dominio natural es el mayor conjunto donde la
definicin 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 definicin de
la funcin.
Ejemplo A.3.

Consideremos la funcin f : [0, 3] R definida como f (x) = cos(x).

355

Definiciones

Funciones

cos(x)
0

3
2

5
2

1
Figura A.1

Grfica 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 cualquier conjunto ms grande que el intervalo [1, 1] (su imagen).
c) En la Figura A.1 hemos representado en azul la grfica de la funcin, esto es, el siguiente subconjunto 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 figura 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 definicin, cuando el valor de la funcin es mayor
estrictamente que cero:

 


3 5
f 1 (]0, +[) = {x [0, 3] : cos(x) > 0} = 0,

,
.
2
2 2
Observa que en este caso f 1 (]0, +[) = f 1 (]0, 1]). C
Ejemplo A.4. Uno de los ejemplos ms frecuentes de funciones con los que nos encontramos son las sucesiones. En el Captulo 3 ya hemos hablado de ellas. 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 7 2
2 7 4
...
nos enumera el conjunto de los pares: el primer nmero par es el 2, el segundo el 4, etc. /

356

Funciones

Definiciones

Ejemplo A.5. Todos los ejemplos hasta ahora han tenido

subconjuntos de R como dominio y codominio. Es por eso
que todas las representaciones las hemos hecho en el plano
R2 . La representacin de funciones con ms variables en salida o en llegada requiere ms dimensiones para la representacin de su grfica. En la Figura A.2 tienes la representacin
Figura A.2 Grfica
de de la funcin definida en el plano como


una funcin de dos variacos x2 + y2
bles
.
f (x, y) =
1 + x2 + y2
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.

A.1.2 Funciones inyectivas, sobreyectivas y biyectivas

Definicin A.6.
a) Una funcin f : A B es inyectiva si se cumple que no hay dos elementos distintos
con la misma imagen, esto es, si x 6= y entonces f (x) 6= f (y).
b) Una funcin f : A B es sobreyectiva si todo elemento tiene una preimagen, esto
es, dado b B existe a A tal que f (a) = b.
c) Una funcin f : A B es biyectiva si es inyectiva y sobreyectiva.
Ejemplo A.7.
a) La funcin f : R R definida como f (x) = x2 no es inyectiva ni sobreyectiva. Su
imagen es R+0 . Por tanto, la funcin f : R R+0 , f (x) = x2 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) = x2 es inyectiva.
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.
h
i

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 definida por f 1 ( f (a)) = a. En otras palabras, si la funcin f
envia 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:
ln(ea ) = a y eln(b) = b.
Esto tiene una consecuencia en las grficas de las funciones. Mira la Figura A.4. Las
grficas de una funcin y su inversa son simtricas respecto de la bisectriz del primer
cuadrante.
357

Funcin inyectiva
Funcin sobreyectiva
Funcin biyectiva

Definiciones

Funciones

x2

18

18

x2

16

16

14

14

12

12

(-3,9) 10

(-3,9) 10

(3,9)

4 3 2 1 0 1 2 3 4
2

4 3 2 1 0 1 2 3 4
2

No

Figura A.3 La funcin x2 es inyectiva?

6
4
2
exponencial
4 3 2 1
2

0 1

logaritmo neperiano

Figura A.4 La funcin exponencial y el logaritmo

son inversas
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.

358

Funciones

Definiciones

f (x) =

x2

Ejemplo A.8. Consideremos la funcin f (x) = x2 + x + 1, cul es su inversa? Como hemos dicho, tenemos que
resolver la ecuacin

+x+1

5
4

y = x2 + x + 1

3
2
1
3 2 1 0 1
1
2

g(x) =
2

h(x) =

1+ 4x3
2

1 4x3
2

3
Figura A.5

considerando como incgnita x. Las soluciones del polinomio x2 +x+1 y = 0

son
p
1 1 4(1 y)
x=
2
p
1 4y 3
=
.
2

La funcin x2 + x + 1 y sus inversas Las dos soluciones provienen del hecho de que la funcin y = x2 +x+1 no es
inyectiva. S es inyectiva en cualquiera
de los intervalos ] , 1/2] y [1/2, +[.
En la Figura A.5 tienes las grficas de
la funcin y su inversa en cada uno de
dicho es intervalos. /

A.1.3 Funciones pares e impares

Definicin A.9.
a) Una funcin f : A B es par si f (a) = f (a) para cualquier a en A.
b) Una funcin f : A B es impar si f (a) = f (a) para cualquier a en A.

Figura A.6

Funciones pares e impares

Las funciones pares son aquellas cuya grfica es simtrica respecto del eje OY. En otras
palabras, si doblamos la hora por el eje vertical, ambos mitades coinciden. Para conseguir
el mismo efecto con una funcin impar tienes que doblar primero respecto por eje vertical
y, en segundo lugar, por el eje horizontal.
Ejemplo A.10.

359

Funcin par
Funcin impar

Definiciones

Funciones

a) Las funciones f (x) = x2 o cos(x) son pares.

b) La funcin f (x) = x3 o sen(x) son impares. /

A.1.4 Funciones peridicas

Funcin peridica

Definicin A.11. Una funcin f : R R es peridica si existe algn nmero real T

tal que 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

Figura A.7

Funcin peridica

Ejemplo A.12. Las funciones seno y coseno son peridicas con periodo 2 (o cualquier
mltiplo 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. /

A.1.5 Acotacin
Para las nociones de acotacin, necesitamos hablar de cundo una funcin vale ms o
menos. Para eso necesitamos tener un orden en el rango de la funcin y este es el motivo
de que hablemos de funciones con valores reales.
Todas las definiciones que siguen trasladan una propiedad de conjuntos a la imagen
de la funcin.
Definicin A.13. Sea f : A R una funcin.
a) Diremos que la funcin f est acotada superiormente 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.

360

Funciones

Definiciones

f(x)
m
Figura A.8

Funcin acotada

Ejemplo A.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.
Definicin A.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 a0 A si f (a) f (a0 ) 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 a0 A si f (a) f (a0 ) para cualquier a A.
Observacin A.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 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.

A.1.6 Funciones montonas

Definicin A.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) 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 A.18.

361

Funcin estrictamente creciente

Funciones elementales

Funciones

3
2
1
2

Hay veces que los nombres nos pueden inducir a error y este es uno de esos casos. La idea
intuitiva que tenemos todos es que una funcin creciente es aquella que tiene una grfica ascendente. En realidad eso es una funcin
estrictamente creciente. Una funcin constante es creciente (y decreciente). La expresin
correcta debera ser que una funcin creciente es aquella cuya grfica no baja.

Monotona e inyectividad
3
2
1

f
0 1

3
2
1

g
0 1

Figura A.9 Monotona e inyectividad

Se deduce directamente de la definicin 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 definida
como

x,
si 0 x < 2,
f (x) =
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 definida como

x,
si 0 x < 1,
f (x) =
5 x, si 2 x 3,

Como puedes ver, para la inyectividad no es una condicin suficiente para probar monotona si consideramos funciones que no sean continuas o que no
estn definidas en intervalos. En otro caso, el resultado es cierto.

A.2 Funciones elementales

A.2.1 Funciones potenciales
La funcin potencial f : R+ R definida como f (x) = xb tiene sentido para cualquier exponente b real. En el caso particular de potencias naturales, se puede extender la
definicin a toda la recta real.
a) f es biyectiva de R+ en R+ , continua y derivable con f 0 (x) = bxb1 .
b) (xy)b = xb yb .
c) Si b > 0, f es estrictamente creciente y verifica limx0 xb = 0 y limx+ xb = +.
d) Si b < 0, f es estrictamente decreciente y verifica limx0 xb = + y limx+ xb = 0.

362

Funciones

Funciones elementales

f (x) = x2

4
3
2
1

-2

-1

g(x) =
0

-1
-2

Figura A.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) = a0 + a1 x + . . . +
an xn , entonces p0 (x) = a1 + 2a2 x + . . . + nan xn1 , x R.

A.2.2 Funcin exponencial

La funcin exponencial de base e, f : R R est definida como f (x) = ex . A veces
usaremos la notacin exp(x) para indicar ex .
a) f es continua y derivable en R con f 0 (x) = ex .
b) f es biyectiva de R en R+ y estrictamente creciente.
c) lim ex = 0 y lim ex = +.
x

x+

d) ex+y = ex e y .

6
5

f (x) = ex

4
3
2

g(x) = ln(x)

1
-4

-3

-2

-1

-1

-2
-3
-4

Figura A.11 Funciones exponencial y logaritmo neperiano

363

Funciones elementales

Funciones

A.2.3 Funcin logaritmo neperiano

La funcin logaritmo neperiano, g(x) = ln(x) para x positivo, es la inversa de la funcin
exponencial.
a) g es derivable y g0 (x) = x1 .
b) g es biyectiva de R+ en R y estrictamente creciente.
c) lim ln(x) = y lim ln(x) = +.
x0

x+

d) ln(xy) = ln(x) + ln(y), x, y R+ .

 
e) ln xy = ln(x) ln(y), x, y R+ .

f) ln(x y ) = y ln(x), x R+ , y R.
g) ln(1) = 0, ln(e) = 1.
Haciendo uso de la siguiente frmula se deducen las dems funciones elementales,
excepto las trigonomtricas
ab = eln(a ) = eb ln(a) , a R+ , b R.
b

A.2.4 Funcin exponencial de base a 6= 1

f : R R, f (x) = ax , x R
a)
b)
c)
d)

f es biyectiva de R en R+ , continua y verifica ax+y = ax a y .

Si a > 1, f es estrictamente creciente y verifica limx ax = 0 y limx+ ax = +.
Si a < 1, f es estrictamente decreciente y verifica limx ax = + y limx+ ax = 0.
f es derivable y f 0 (x) = ax ln(a).
4
3.5

g(x) =

1 3
2x

f (x) = 1.5x

2.5
2
1.5
1
0.5
-2

-1.5

-1

-0.5

0 0.5

1.5

2.5

Figura A.12 Funcin exponencial

A.2.5 Funciones logartmicas de base a 6= 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) = loga (x) =

364

ln(x)
x R+
ln(a)

Funciones

Funciones elementales

a) g es biyectiva de R+ en R y continua. Adems g es la inversa de la funcin exponencial

de base a. Verifica tambin que
loga (xy) = loga (x) + loga (y),
x
loga ( ) = loga (x) loga (y),
y
loga (xz ) =z loga (x)
para cualesquiera x, y R+ , z R.
b) Si a > 1, g es estrictamente creciente y
lim loga (x) = , y

lim loga (x) = +.

x+

x0

c) Si a < 1, g es estrictamente decreciente y

lim loga (x) = +, y

lim loga (x) = .

x+

x0

f (x) = ln(x)
g(x) = log0.5 (x)

2
1

-1
-2
-3

Figura A.13 Funcin logaritmo

Funciones trigonomtricas
A.2.6 Las funciones seno y coseno
a) Son derivables en todo R y sen0 (x) = cos(x), cos0 (x) = sen(x).
b) Son funciones peridicas de periodo 2
sen(x + 2) = sen(x), cos(x + 2) = cos(x).
c) sen2 (x) + cos2 (x) = 1, x R.
d) cos : [0, ] [1, 1] es una biyeccin estrictamente decreciente con cos(0) = 1,
 
cos 2 = 0, cos() = 1.

365

Frmula fundamental de trigonometra

Funciones elementales

Funciones

 
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 .
1
tan(x)
(cos(x),sen(x))
ngulo x
1

0.5

0.5

1
Funcin seno

1
0.5
0.5

3
2

1 Funcin coseno
Figura A.14 Las funciones seno y coseno

366

Funciones

Funciones elementales

Algunos valores destacados de seno y coseno

2
3

3
2

3
4

5
6

2
2

1
2

3
2

2
2

2
2

12

5
6

1
2

12

3
4

2
3

Figura A.15

3
2

3
2

22

Crculo trigonomtrico

Teorema del coseno

h = a sen()
rea= 12 bh
Teorema del coseno: c2 = a2 + b2 2ab cos()

b
Figura A.16 Tringulo

367

Funciones elementales

Funciones

A.2.7 La funcin tangente

Como se verifica que cos(x) = 0 x = 2 + k, k Z, podemos definir la funcin
tangente como


sen(x)

tan : A R, A = R \
+ k : k Z , tan(x) =
2
cos(x)

Figura A.17 Funcin tangente

a) tan(x + ) = tan(x), x A.
h
i
b) tan : 2 , 2 R es una funcin continua y estrictamente creciente y adems verifica
que limx 2 tan(x) = y limx 2 tan(x) = +.
c) La funcin tangente es derivable y
tan0 (x) = 1 + tan2 (x) =

1
.
cos2 (x)

A.2.8 Secante, cosecante, cotangente

Siempre que los respectivos denominadores no se anulen, se pueden definir las siguientes funciones

368

Funciones

Funciones elementales

cosec : B R, cosec(x) =
sec : A R, sec(x) =

1
, x B
sen(x)

1
, x A
cos(x)

cotan : B R, cotan(x) =

cos(x)
, x B,
sen(x)

donde A = R \ { 2 + k : k Z} y B = R \ {k : k Z}.
Dichas funciones son continuas y derivables en su correspondiente dominio y
sec0 (x) = tan(x) sec(x),
cosec0 (x) = cotan(x) cosec(x),
1
= cosec2 (x) = (1 + cotan2 (x)).
cotan0 (x) =
2
sen (x)

A.2.9 Inversas de funciones trigonomtricas

Funcin arcoseno

Arcocoseno

0
2

Arcoseno

Esta funcin es la inversa de la restriccin de la funcin seno

al intervalo [ 2 , 2 ], y por tanto arcsen : [1, 1] [ 2 , 2 ]
verifica que sen(arcsen(x)) = x, x [1, 1].
Adems, es una funcin biyectiva, continua y estrictamente
creciente con

arcsen(1) = , arcsen(0) = 0, arcsen(1) = .

2
2
Por ltimo, es derivable en el intervalo abierto ] 1, 1[ con
derivada
1
arcsen0 (x) =
.
1 x2

Figura A.18 Arcoseno

y arcocoseno

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) = , arccos(1) = 0

2
Es derivable en el intervalo abierto ] 1, 1[ con derivada

369

Funciones elementales

Funciones

1
arccos0 (x) =
.
1 x2

Funcin arcotangente
i
h
Es la inversa de la restriccin de la funcin tangente al intervalo 2 , 2 y, por tanto,



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

lim arctan(x) = , arctan(0) = 0, lim arctan(x) = .

x+
x
2
2
b) Es derivable en R y arctan0 (x) =

1
.
1+x2

Arcotangente

2
Figura A.19 Funcin arcotangente

A.2.10 Identidades trigonomtricas

a) Identidades pitagricas
sen2 (x) + cos2 (x) = 1
tan2 (x) + 1 = sec2 (x)
cotan2 (x) + 1 = cosec2 (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

370

Funciones

Funciones elementales

sen(2x) = 2 sen(x) cos(x),

cos(2x) = cos2 (x) sen2 (x) = 2 cos2 (x) 1 = 1 2 sen2 (x)
d) Angulo mitad
1
sen2 (x) = (1 cos(2x))
2
1
cos2 (x) = (1 + cos(2x))
2
 
1 cos(x)
sen(x)
x
tan
=
=
2
sen(x)
1 + cos(x)
e) Producto


1
cos(x y) cos(x + y)
2


1
cos(x) cos(y) =
cos(x y) + cos(x + y)
2


1
sen(x) cos(y) =
sen(x + y) + sen(x y)
2

sen(x) sen(y) =

A.2.11 Funciones hiperblicas

De forma anloga a como estn definidas las funciones seno y coseno, podemos interpretar geomtricamente las funciones hiperblicas. El papel que juega la circunferencia
unidad x2 + y2 = 1 lo pasa a representar la hiprbola x2 y2 = 1. En este caso, relacionamos
el punto (x, y) con el rea que aparece sombreada en la figura A.20.

(x, y)

senh()
rea
cosh()

x2 y2 = 1

Figura A.20 Seno

y coseno hiperblicos

371

Funciones elementales

Funciones

Las funciones hiperblicas estn definidas como:

senh(x) =

senh(x)
ex ex
ex + ex
, cosh(x) =
, tanh(x) =
2
2
cosh(x)

Por analoga con las funciones trigonomtricas hablaremos tambin de tangente, secante y cosecante hiperblica.
4
3
2
1
4

Figura A.21

Seno hiperblico

Coseno hiperblico

Funciones hiperblicas

372

Funciones

Funciones elementales

A.2.12 Identidades hiperblicas

a) Identidades pitagricas
cosh2 (x) senh2 (x) = 1,
tanh2 (x) + sech2 (x) = 1
cotanh2 (x) cosech2 (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
senh2 (x) =

1 + cosh(2x)
,
2

cosh2 (x) =

Funciones hiperblicas inversas




arcsenh(x) = ln x + x2 + 1



arccosh(x) = ln x + x2 1


1
1+x
arctanh(x) = ln
2
1x

373

1 + cosh(2x)
.
2

Geometra

Parbolas, elipses e hiprbolas

Geometra
B
B.1 Parbolas, elipses e hiprbolas
Adems de las curvas asociadas a lineas rectas, funciones trigonomtricas o a cualquier
otra funcin elemental, hay tres curvas que tienen una destacada importancia: las secciones
cnicas. Los griegos ya conocan que el corte de un cono por un plano produca slo tres
tipos de curvas: parbolas, elipses e hiprbolas. Vamos a comentarlas con ms detalle.

B.1.1 Parbola

n
o
(x, y) R2 : y = ax2 + bx + c

Una parbola es el conjunto de puntos que equidistan de un

punto dado, llamado foco, y de una recta llamada directriz. La
recta perpendicular a la directriz y que pasa por el foco se llama
eje de la parbola. La interseccin del eje y de la directriz se
llama vrtice.

Figura B.1 Parbola

B.1.2 Elipse

)
x2 y2
(x, y) R : 2 + 2 = 1
a
b
2

rea = ab
b
Una elipse es el conjunto de puntos verificando
que la suma de las distancias a dos puntos fijos (F
y F0 ), llamados focos, es una constante mayor que
la distancia entre los focos. El punto medio del sega
a
O
F
F0
mento que une los focos se llama centro. El segmento que pasa por los dos focos y acaba en la elipse se
llama eje mayor. El segmento perpendicular al eje
b
mayor y que acaba en la elipse es el eje menor. Las
intersecciones de los ejes con la elipse se llaman vrtices de la elipse. Los focos son los puntos (c, 0) y
Figura B.2 Elipse
(c, 0) que verifican a2 = b2 + c2 . El caso particular
a = b es conocido: la circunferencia.
Las ecuaciones que hemos escrito describen elipses o, en el caso particular de que los
semiejes coincidan, circuferencias centradas en el origen de coordenadas. Si el centro est
en el punto (h, k) la ecuacin es

375

Superficies cuadrticas

Geometra

(x h)2 (y k)2
+
= 1.
a2
b2
Es inmediato comprobar que la circunferencia de radio r centrado en el punto (h, k) es
(x h)2 + (y k)2 = r2
y su longitud es
Longitud de una circunferencia de radio r= 2r

B.1.3 Hiprbola
(
)
x2 y2
2
(x, y) R : 2 2 = 1
a
b
Una hiprbola es el conjunto de puntos que verifican que la diferencia de las distancias
a dos puntos fijos, llamados focos, es una constante positiva menor que la distancia entre
los focos (F y F0 ).

B.2 Superficies cuadrticas

a) Esfera: (x a)2 + (y b)2 + (z c)2 = R2

Secciones paralelas al plano xy: circunferencias.

Secciones paralelas al plano xz: circunferencias.
Secciones paralelas al plano yz: circunferencias.
Volumen = 34 R3
rea = 4R2

b) Elipsoide:

x2
a2

y2
b2

z2
c2

=1

Secciones paralelas al plano xy: Elipses.

Secciones paralelas al plano xz: Elipses.
Secciones paralelas al plano yz: Elipses.

376

Geometra

Superficies cuadrticas

c) Cilindro elptico:

x2
a2

y2
b2

=1

Secciones paralelas al plano xy: elipses.

Secciones paralelas al plano xz: rectas.
Secciones paralelas al plano yz: rectas.
Volumen = abaltura

d) Cilindro hiperblico:

x2
a2

y2
b2

=1

Secciones paralelas al plano xy: hiprbolas.

Secciones paralelas al plano xz: rectas.
Secciones paralelas al plano yz: rectas.

e) Paraboloide elptico:

x2
a2

y2
b2

=z

Secciones paralelas al plano xy: Elipses.

Secciones paralelas al plano xz: Parbolas.
Secciones paralelas al plano yz: Parbolas.

377

Superficies cuadrticas

Geometra

f) Paraboloide hiperblico:

x2
a2

y2
b2

=z

Secciones paralelas al plano xy: Hiprbolas.

Secciones paralelas al plano xz: Parbolas.
Secciones paralelas al plano yz: Parbolas.

g) Cono elptico:

x2
a2

y2
b2

z2
c2

=0

Secciones paralelas al plano xy: Elipses.

Secciones paralelas al plano xz: Hiprbolas.
Secciones paralelas al plano yz: Hiprbolas.

h) Hiperboloide elptico de una hoja:

x2
a2

y2
b2

Secciones paralelas al plano xy: Elipses.

Secciones paralelas al plano xz: Hiprbolas.
Secciones paralelas al plano yz: Hiprbolas.

378

z2
c2

=1

Geometra

Superficies cuadrticas

i) Hiperboloide elptico de dos hojas:

x2
a2

y2
b2

Secciones paralelas al plano xy: Elipses.

Secciones paralelas al plano xz: Hiprbolas.
Secciones paralelas al plano yz: Hiprbolas.

379

z2
c2

= 1