Ca1 Cap06apendices

Apndice I
1 El sistema de los nmeros reales

Introduccin
El ente bsico de la parte de la matemtica conocida como anlisis lo constituye el llamado sistema de los nmeros reales.
Nmeros tales como 1, 3,
5 , , e, y sus correspondientes negativos, son usados en mediciones cuantitativas.
Existen dos mtodos principales para estudiar el sistema de los nmeros reales. Uno de ellos comienza con un sistema ms
primitivo tal como el conjunto de los nmeros naturales o enteros positivos 1, 2, 3, 4, ... , y a partir de l, por medio de
una secuencia lgica de definiciones y teoremas, se construye el sistema de los nmeros reales1.
En el segundo mtodo se hace una descripcin formal del sistema de los nmeros reales (asumiendo que existe), por medio
de un conjunto fundamental de propiedades (axiomas), de las cuales pueden deducirse muchas otras propiedades.
En esta primera parte se har una presentacin intuitiva del conjunto de los nmeros reales. Se parte de un conjunto
primitivo como es el conjunto ` de los nmeros naturales y se efectan las sucesivas ampliaciones del mismo, atendiendo
ms a la necesidad de resolver ciertas ecuaciones en las cuales los conjuntos que se van definiendo resultan insuficientes
para la solucin, que a un desarrollo axiomtico del mismo.
1.1 Conjunto de los nmeros reales

El conjunto de los nmeros reales est constituido por diferentes clases de nmeros. Entre ellas, se pueden mencionar los
siguientes subconjuntos:
Conjunto de los nmeros naturales
El conjunto de los nmeros naturales, que se denota por ` o tambin por ] + , corrientemente se presenta as:
` = {1, 2, 3, 4, 5, ...}.
La notacin de conjunto que incluye los puntos suspensivos es de carcter informal.
1. El matemtico Italiano G. Peano (1858-1932) present en 1889 un conjunto de cinco axiomas para los nmeros naturales. Puede
verse una discusin detallada en el desarrollo del sistema de los nmeros reales por medio de los axiomas de Peano, en el libro
Foundations of analysis, de F. Landau. New York, Chelsea, Publishing Co. 1951.
Elementos Bsicos de Clculo Diferencial
313
Este conjunto permite fundamentar las sucesivas ampliaciones que se hacen de los sistemas numricos y lleva principalmente a la consideracin de los nmeros reales.
Conjunto de los nmeros enteros
El conjunto de los nmeros enteros, que se denota por ], corrientemente se presenta as:
] = {..., 3, 2, 1, 0, 1, 2, 3, ...}.
En el conjunto de los nmeros enteros se pueden resolver ecuaciones que no tienen solucin en ` , como sucede por
ejemplo con la ecuacin x + 3 = 1, cuya solucin es x = 2.
Puede notarse que ` ].
Conjunto de los nmeros racionales
El conjunto de los nmeros racionales, que se denota por _, se define de la siguiente manera:
_ = , con m, n enteros y n 0 .
n
La introduccin de los nmeros racionales responde al problema de resolver la ecuacin

ax = b, con a, b ], a 0.
sta slo tiene solucin en ], en el caso particular en que a sea un divisor de b.
Note que todo entero n puede escribirse como el nmero racional n/1 y, en consecuencia, se puede concluir que ` ] _.
En lo sucesivo, cuando se haga referencia a los nmeros racionales, a/b, c/d, ..., se entender que a, b, c, d, ... son nmeros
enteros y que los denominadores son diferentes de cero.
Conjunto de los nmeros irracionales
En muchos temas de la geometra se plantean, en general, problemas para cuya solucin el conjunto de los nmeros
racionales resulta insuficiente. As por ejemplo, al considerar el problema de determinar el nmero x que mide la longitud de
la diagonal de un cuadrado cuyo lado sea la unidad, el teorema de Pitgoras permite establecer que x satisface la ecuacin
x2 = 2. Puede demostrarse fcilmente que no existe x _ que verifique esta ltima ecuacin. En general, una ecuacin de
la forma xn = a, con a _ y n `, carecer (excepto casos particulares) de solucin. Se hace necesario, por tanto,
describir otro conjunto, en el cual ecuaciones como las anteriores tengan solucin.
El conjunto de los nmeros irracionales, que se denota por _ , est constituido por los nmeros reales que no admiten la
representacin racional.
Ejemplos de esta clase de nmeros son el nmero e (base del logaritmo natural), , 2, etc.
En este conjunto se pueden resolver ecuaciones que no tienen solucin en _, como sucede, por ejemplo, con la ecuacin
x2 = 2, cuyas soluciones son x = 2, que no son nmeros racionales.
314 Apndice I
Conjunto de los nmeros reales

Se define como = _ _ .
En el conjunto de los nmeros reales estn definidas dos operaciones: adicin (+) y multiplicacin (), las cuales verifican
las siguientes propiedades AC (llamadas tambin axiomas de campo).
1.2 Axiomas de campo

AC1: Uniforme
Si se suman entre s dos nmeros reales, el resultado que se obtiene es un real nico.
Si se multiplican entre s dos nmeros reales, el resultado que se obtiene es un real nico.
AC2: Conmutativa
a + b = b + a.
Para todo a, b ,
a b = b a.
AC3: Asociativa
a + (b + c) = (a + b) + c.
Para todo a, b, c ,
a (b c) = (a b) c.
AC4: Modulativa
Existe el real 0 (cero) tal que para todo a ,
a + 0 = 0 + a = a.
Existe el real 1 (uno), 1 0, tal que para todo a ,
a 1 = 1 a = a.
El real 0 es llamado mdulo o elemento neutro para la adicin.

El real 1 es llamado mdulo o elemento neutro para la multiplicacin.
AC5: Invertiva
Para cada nmero real a existe un real nico llamado el opuesto de a, y que se denota (a ), tal que
a + ( a ) = 0.
Para cada nmero real a 0 existe un real nico llamado el recproco de a, y que se denota por a 1 o 1/a, tal que
a a 1 = a (1 a ) = 1.
315
As por ejemplo, el opuesto de 5 es 5; el recproco de 2 es 1 2.

Debe notarse que (a) no significa un nmero negativo, aunque en algunas ocasiones puede serlo. As, 3 es
negativo y es el opuesto de 3, mientras que (5) es positivo y es el opuesto de 5.
El opuesto de a tambin se conoce como inverso aditivo, y el recproco de a tambin es llamado inverso multiplicativo de a.
AC6: Distributiva
Para todo a, b, c , a (b + c) = a b + a c.
Consecuencias importantes de los axiomas de campo
A continuacin se presentan, sin demostracin, las consecuencias ms importantes de los axiomas de campo. Ms que una
simple lista, son propiedades conocidas por el estudiante y que le sern bastante tiles en el desarrollo del curso. En
algunas demostraciones de los teoremas del clculo haremos referencia a ellas.
C1: Ley cancelativa para la adicin (multiplicacin)
x + y = x + z y = z.
Si x 0, entonces xy = xz y = z.
C2
Para todo a, b , la ecuacin x + a = b tiene una y slo una solucin en .
C3
Para todo x , x 0 = 0.
C4
x y = 0 x = 0 y = 0.
C5
Para todo x , si x 0, entonces x 1 =
C6
x
Si y 0, entonces y = 0 x = 0.
C7
Para todo x , ( x) = x.
316
Apndice I
1
0.
x
C8
Si x 0, entonces ( x 1 ) 1 = x.
C9
Para todo x, y , ( x + y ) = ( x) + ( y ).
C10
1 1 1
Si x 0, y 0, entonces ( x y ) 1 = x 1 y 1 . Equivalentemente, xy = x y .
C11
Si b 0, d 0, entonces
a c ad +bc
+ =
.
b d
bd
Si b 0, d 0, entonces
a ad
=
.
b bd
C12
C13
a c ac
Si b 0, d 0, entonces b d = b d .
C14
Para todo x , x = (1) x.
C15
(1) (1) = 1.
C16
( x) ( y ) = xy.
C17
( xy ) = ( x) y = x( y ).
C18
x x
x
=
=
,
y
y y y 0.
317
C19
x(y z) = xy xz.
C20
(x y) + (y z) = x z.
C21
(a b) (c d) = (a + d) (b + c).
C22
(a + b) . (c + d) = (a c + b d) + (a d + b c).
C23
(a b) . (c d) = (a c + b d) (a d + b c).
C24
a b = c d a + d = b + c.
C25
Si x2 = x x, entonces x2 y2 = (x y) . (x + y).
1.3 Axiomas de orden

Los axiomas o propiedades del sistema de los nmeros reales que se enuncian a continuacin se expresan en trminos de un
cierto subconjunto especial de (este subcojunto, denotado por + , se identifica con el conjunto de los reales positivos).
En general, cualquier campo que tenga un subconjunto P con las propiedades AO mencionadas a continuacin, es llamado
un campo ordenado. En el caso particular que se estudiar, estas propiedades permiten establecer que el sistema de los
nmeros reales es un campo ordenado.
AO1
Existe un subconjunto + de tal que:
i.
+
Si a, b , entonces (a + b) + .
a b + .
ii.
Para cada a , una y slo una de las siguientes proposiciones es verdadera:

a + ; a = 0; a + .
318 Apndice I
Los elementos a , para los cuales a + , sern llamados reales positivos.

Los elementos a , para los cuales a + , sern llamados reales negativos.
Desigualdades
Usando solamente el subconjunto + descrito en AO1, se deducen todas las reglas usuales en el trabajo con desigualdades de nmeros reales.
Definiciones
Sean x, y nmeros reales.
i.
Los smbolos < y > (que se leen menor que y mayor que, respectivamente) se definen por las afirmaciones:
x < y y x + .
x > y x y + .
ii.
Los smbolos y (que se leen menor o igual que y mayor o igual que, respectivamente) se definen
por las afirmaciones:
x y x < y x = y.
x y x > y x = y.
Cada una de las expresiones x < y, x > y, x y, x y es llamada desigualdad.
De la definicin anterior se sigue que las desigualdades x > y e y < x son equivalentes. Igualmente, las desigualdades
x y e y x son equivalentes.
iii.
La expresin x < y < z se usa para indicar las dos desigualdades simultneas: x < y e y < z. Igualmente, la expresin
x > y > z se usa para indicar las dos desigualdades simultneas: x > y e y > z.
En cualquiera de los dos casos de la definicin iii, se dice que y est entre x y z.
Interpretaciones similares pueden establecerse para las desigualdades: x y z; x y z; x < y z; x y < z, etc.
Claramente, a + a > 0.
a es negativo a < 0.
Las propiedades siguientes, que enunciamos sin demostracin, son consecuencia inmediata de la propiedad de
orden y sern tiles en el trabajo con desigualdades.
319
Consecuencias principales de la propiedad de orden

01: Tricotoma
Si x, y , entonces una y slo una de las siguientes proposiciones es verdadera:
x > y ; x = y ; x < y.
02: Transitiva
Para todo x, y, z ,
x < y y < z x < z.
x > y y > z x > z.
03
Si x, y, z , entonces:
x< y x+z<y+z xz<yz.
x> y x+z>y+z xz>yz.
x y x + z y + z x z y z.
x y x + z y + z x z y z.
04
a > b > 0 y c d > 0, entonces:
a c > b d.
05
Las siguientes reglas de los signos para la adicin y multiplicacin de reales se cumplen:
(nmero positivo)
(nmero negativo)
(nmero positivo)
(nmero negativo)
+ (nmero positivo)
+ (nmero negativo)
(nmero positivo)
(nmero negativo)
=
=
=
=
nmero positivo.
nmero negativo.
nmero positivo.
nmero positivo.
06
a < b y c > 0 a c < b c.
a < b y c < 0 a c > b c.
Las dos propiedades anteriores muchas veces se expresan diciendo que si ambos miembros de una desigualdad se multiplican por una cantidad positiva, el sentido de la desigualdad se conserva, mientras que si se multiplican por una cantidad
negativa, el sentido de la desigualdad cambia.
320 Apndice I
07
Para todo x , x 2 0.
x2 = 0 x = 0.
08
x >0
1
> 0.
x
09
1 1
x > y > 0 x < y.
1.4 Representacin geomtrica de los nmeros reales

Una manera de representar geomtricamente los nmeros reales consiste en tomar una recta generalmente en forma horizontal y fijar dos puntos distintos en ella, denotando con 0 (cero) al de la izquierda y con 1 (uno) al de la derecha.
Se considera que cada punto de la recta corresponde a un nmero real, y viceversa: a cada nmero real le corresponde uno
y slo un punto de dicha recta. Se establece de esta forma una correspondencia biunvoca entre los nmeros reales y los
puntos de esta recta, la cual nos permite decir en adelante que cada punto es un nmero real. A la recta sobre la cual se
hacen representaciones de los nmeros reales se le seguir llamando recta real, o tambin, recta numrica.
Recurriendo a la idea de distancia y tomando como unidad de longitud el segmento de recta entre 0 y 1, que en adelante se
llamar segmento unitario, como punto de partida el 0, que en adelante se llamar origen, como nmeros positivos los
puntos que se dan a la derecha del origen, y negativos los que se dan a su izquierda, se puede entonces localizar algunos
nmeros reales. As, para localizar los nmeros enteros se lleva sucesivamente, y a ambos lados de 0 y 1, el segmento
unitario, como aparece en la figura 1.
Figura 1
Existe una construccin geomtrica sencilla para localizar nmeros racionales en la recta real. Ilustremos el procedimiento
por medio de un ejemplo. Para representar, por ejemplo, el nmero racional 12/5, se traza por el origen 0 de la recta real una
segunda recta oblicua y a partir de 0 se marcan cinco (5) segmentos iguales sobre la oblicua con extremos en P1, P2, P3, P4
y P5 (figura 2).
A continuacin se traza la recta que une a P5 con el racional 3 = 15 5 y luego cuatro rectas paralelas a la anterior y que pasen
por los puntos P1, P2, P3, P4 y P5.
Por geometra elemental se sabe que este sistema de rectas paralelas corta al segmento entre 0 y 3 en cinco partes iguales de
manera que la longitud de cada parte es 3/5.
321
Figura 2
En consecuencia, cada punto de corte en la recta real corresponde en forma sucesiva a los racionales 3/5, 6/5, 9/5, 12/5 y 15/5,
entre los cuales se encuentra el racional que se quera representar en la recta.
Para los enteros positivos que no son cuadrados perfectos, se puede demostrar que su raz cuadrada es un nmero
irracional, cuya localizacin en la recta numrica se logra de una manera sencilla empleando el teorema de Pitgoras (figura 3).
Figura 3
Otros nmeros irracionales, como 3.1415927... y e 2.7182818... , sern localizados en su forma decimal aproximada.
1.5 Intervalos y valor absoluto

Entre los subconjuntos infinitos del conjunto de los reales se destacan nueve de ellos, llamados intervalos, y que se definen
de la siguiente forma:
Definiciones
i.
Sean a, b , con a < b.

1.
322 Apndice I
El conjunto de puntos { x : a < x < b} se llama intervalo abierto de extremos a y b. Se denota por (a, b).
As que (a, b) = { x : a < x < b} , y geomtricamente se representa en la recta real en la forma de la figura 4.
Figura 4
2.
El conjunto de puntos { x : a x b} se llama intervalo cerrado de extremos a y b. Se denota por [a, b].
As que [ a, b] = { x : a x b} , y geomtricamente se representa en la recta real en la forma de la figura 5.
Figura 5
Ntese que a (a, b), b (a, b), a [a, b], b [a, b].
De manera similar se pueden definir y representar geomtricamente los dems tipos de intervalos, que
aparecen a continuacin de una manera simple.
3.
(a, b] = { x : a < x b} (figura 6).
Figura 6
4.
[a, b) = { x : a x < b} (figura 7).
Figura 7
ii.
Sea a . Un intervalo de cualquiera de las siguientes formas se llama semirrecta.

5.
( , a ) = { x : < x < a} (figura 8).
Figura 8
6.
( , a ] = { x : < x a} (figura 9).
Figura 9
323
7.
(a, + ) = { x : a < x < +} (figura 10).
Figura 10
8.
[a, +) = { x : a x < +} (figura 11).
Figura 11
iii.
Finalmente, el conjunto de los nmeros reales se define como el intervalo (, +) . Es decir:

9.
(, +) = { x : < x < +} .
Valor absoluto
a.
Definicin
Sea x . El valor absoluto de x, denotado por x , se define como
x
x =
x
si x 0
si x < 0
As, 5 = 5; 8 = (8); 0 = 0.
El valor absoluto de un nmero real x es siempre positivo o cero y se interpreta geomtricamente como la distancia del punto
x al origen (figura 12). Igualmente, x y se interpreta como la distancia del punto x al punto y en la recta real (figura 13).
Figura 12
Figura 13
324 Apndice I
b.
Propiedades del valor absoluto (VA)

VA1
Para todo x , x 0 y x = 0 x = 0.
VA2
x = y x = y x = y.
VA3
x y = x y , para todo x, y .
VA4
x
x
= , y 0.
y
y
VA5
x = x .
x y = yx .
VA6
x = x2 .
2
VA6
x < y x2 < y 2 .
VA7
x < < x < , siempre que > 0.

VA8
x x , siempre que 0.
VA9
x > a x > a x < a, siempre que a > 0.

VA10
x a x a x a.
VA11
x x x , para todo x .
VA12: Desigualdad triangular
Para todo x, y , x + y x + y .
En qu caso se verifica la igualdad? (compruebe).
325
VA13
x y x + y .
VA14
x y x y .
Solucin de desigualdades
En una desigualdad que envuelve una incgnita, dgase la letra x, un valor particular de x satisface la desigualdad si al
reemplazar x por su valor particular (en todas sus ocurrencias) la convierte en una proposicin verdadera.
As por ejemplo, x = 1 es un valor particular de x que satisface la desigualdad 3x 1 < x + 5 , ya que 3(1) 1 < 1 + 5,
mientras que x = 4 no es solucin particular.
Resolver una desigualdad es encontrar el conjunto de todos los nmeros reales que la hacen verdadera. En contraste con
una ecuacin, cuya solucin en general es un nmero o quiz un conjunto finito de nmeros, el conjunto solucin de una
desigualdad consta por lo comn de un intervalo, unin infinita de intervalos y en algunos casos el conjunto vaco.
Asi, el conjunto solucin de la desigualdad x2 x < 6 es el intervalo ( 2,3), el conjunto solucin de la desigualdad x2 x 6
es ( , 2] [3, + ) y el conjunto solucin de la desigualdad x2 + 5 < 4 es el conjunto vaco (por qu?).
El procedimiento para resolver desigualdades consiste en transformar la desigualdad inicial en una desigualdad equivalente (tiene las mismas soluciones). Las herramientas principales para hacerlo es el uso adecuado de las propiedades de orden
y sus consecuencias. Ello implica que debemos realizar ciertas operaciones en una desigualdad sin cambiar el conjunto
solucin. En particular:
1. Se puede sumar (restar) la misma cantidad en ambos miembros de una desigualdad.
2. Se pueden multiplicar (dividir) ambos miembros de una desigualdad por una misma cantidad positiva.
3. Se pueden multiplicar (dividir) ambos miembros de una desigualdad por una misma cantidad negativa, pero
entonces se debe invertir el sentido del signo de la desigualdad.
326 Apndice I
Ejercicios resueltos sobre intervalos, desigualdades y valor absoluto

Ejemplo 1
Considere los siguientes intervalos:
A = [3, 3]; B = (3, 3); C = [1, 4]; D = (4, 5].
Dibuje sobre la recta real y escriba con notacin de intervalo el resultado de las siguientes operaciones:
a.
b.
c.
d.
e.
f.
AD
AC
BC
A (B C)
B * (el complemento de B)
C * (el complemento de C)
Solucin
En primer lugar, se dibuja cada uno de los intervalos dados en la recta real, para luego efectuar de una manera ms sencilla
las operaciones propuestas.
As que:
a.
b.
A D = D = (4, 5] = { x : 4 < x 5} .
Como la interseccin de dos conjuntos corresponde al conjunto de elementos comunes, se deduce de las
grficas que
A C = [1, 3] = { x : 1 x 3} .
c.
La diferencia entre los conjuntos B y C se define como el conjunto formado por los elementos que estn en B,
pero que no estn en C, esto es, el intervalo (3, 1).
As que B C = (3, 1) = { x : 3 < x < 1} .
327
Igualmente, C B = [3, 4] = { x : 3 x 4} .
d.
En primer lugar, B C = (3, 4] = { x : 3 < x 4} .
De la grfica anterior se deduce que

A (B C) = (3, 3] = { x : 3 < x 3} .
e.
En este caso, el conjunto universal o referencial es . As que
B* = B = ( , 3] [3, + ) = { x : x 3 x 3} .
f.
Igualmente,
C* = C = ( , 1) ( 4, + ) = { x : x < 1 x > 4} .
Ejemplo 2
Resuelva la desigualdad 3x 1 x + 5.
Solucin
3x 1 x + 5 3 x x 5 + 1,
2 x 6,
x 3.
En consecuencia, la solucin o el conjunto solucin S viene dado por
S = { x : x 3} = ( , 3].
Ejemplo 3
Resuelva la desigualdad
x
2
>
.
x2 + 3 x2 + 3
Solucin
x
2
>
x > 2 (por qu?).
x2 + 3 x2 + 3
328 Apndice I
En consecuencia, la solucin es el intervalo abierto (2, +).

Ejemplo 4
x
2
.
x 1 x 1
Solucin
Debe notarse en primer lugar que la desigualdad
x
2
no es equivalente a x 2, puesto que ( x 1) no siempre es

x 1 x 1
positivo. Sin embargo,

x
2
x2
0.
x 1 x 1
x 1
Esta ltima desigualdad se satisface si y slo si x = 2 o las dos cantidades (x 2) y (x 1) tienen el mismo signo (ambas
positivas o ambas negativas) (por qu?).
Pero
(x 2) y (x 1) son positivas si y slo si x > 2.
Tambin
(x 2) y (x 1) son negativas si y slo si x < 1.
En consecuencia, la solucin de la desigualdad la constituye la unin de los intervalos
[ 2, + ) y ( ,1) .
Esto es, S = ( ,1) [ 2, + ) .
Ejemplo 5
x2 x+2
<
.
x 1 x + 1
Solucin
En primer lugar, la inexperiencia lo puede llevar a efectuar el producto de extremos y medios, conservando el sentido de
la desigualdad y escribir que
x2 x+2
<
( x 2)( x + 1) < ( x + 2)( x 1) x > 0 es la solucin.
x 1 x +1
Sin embargo, existen valores de x, x > 0 que no son solucin (por ejemplo x = 1 2 ) y existen valores de x, x < 0 que s son
329
solucin (por ejemplo x = 1 2). En consecuencia, x > 0 no corresponde al conjunto solucin.

Para evitar situaciones como la anterior, procedemos de la siguiente forma:
x2 x+2
x2 x+2
<
< 0,
x 1 x +1
x 1 x +1
( x 2)( x + 1) ( x 1)( x + 2)
< 0,
( x 1)( x + 1)
2 x
< 0.
( x 1)( x + 1)
La ltima desigualdad puede resolverse analticamente distinguiendo varios casos segn el signo del numerador y el
denominador de la fraccin.
El mtodo que se propone a continuacin es mucho ms gil y puede desarrollarse siguiendo estos pasos:
1.
Se analiza el signo de cada uno de los factores que contiene el numerador y el denominador de la fraccin, tomando
como punto de referencia los valores que anulan cada factor. Para ello se eligen puntos de prueba anteriores y
posteriores al referencial.
2.
Se efecta el producto de los signos de cada factor en los intervalos determinados por los puntos de referencia.
3.
El conjunto solucin lo constituye el intervalo o unin de intervalos cuyo signo coincide con el signo del lado
derecho de la desigualdad. As, si el signo del lado derecho de la desigualdad es >, se eligen los intervalos con
signo (+). Si el signo del lado derecho de la desigualdad es <, se eligen los intervalos con signo ().
4.
Se verifica si los puntos referenciales pertenecen o no al conjunto solucin, sustituyndolos en la desigualdad para
poder determinar de esta forma la naturaleza de ellos: abierto, cerrado, semiabierto, etc.
2 x
Apliquemos el mtodo al caso particular ( x 1)( x + 1) < 0. El diagrama adjunto recoge toda la informacin obtenida si-
guiendo el mtodo descrito.

Punto de
referencia
Signo de
+ + + + + + + + +
(2x)
0
2x = 0
x=0
x=1
x = 1
Signo de + + + + +
(x 1)
1
x1=0
x = +1
x=0
x=2
Signo de + + + + + + + + + + + +
(x + 1)
1
x+1=0
x= 1
x= 2
x=0
Signo del
producto
330 Apndice I
Puntos de
prueba
+ + + ++ + + +
1
Note que los puntos referenciales no satisfacen la desigualdad, por tanto no pertenecen al conjunto solucin.
Como el signo del lado derecho de la desigualdad es <, interesan para la solucin los intervalos del producto con signo
(). Es decir, S = (1, 0) (1, + ) es el conjunto solucin.
Ejemplo 6
Resuelva la desigualdad 3x + 1 2 x 6 .
Solucin
La desigualdad inicial puede escribirse en las formas equivalentes:
3x + 1 2 x 6
3x + 1 2 x 12 ,
(3 x + 1) 2 (2 x 12) 2 (propiedad VA6),
9 x 2 + 6 x + 1 4 x 2 48 x + 144,
5 x 2 + 54 x 143 0,
(5 x 11) . ( x + 13) 0.
La ltima desigualdad la resolvemos por el mtodo grfico.
Punto de
referencia
Puntos de
prueba
Signo de
(5x 11)
|+++++++
11/5
5x 11 = 0
x = 11/5 = 2.2
x=2
x=3
Signo de
(x + 13)
|+ + + + + + + + + + + + +
13
x + 13 = 0
x = 13
x = 14
x = 12
Signo del
Producto
+ + +| |+ + + + + + + +
13
11/5
Ntese que al sustituir los valores de x de los puntos de referencia en la ltima desigualdad, se transforma en una proposicin verdadera.
11
11
O sea que si x = 11/5, entonces 5 11 + 13 0; tambin, si x = 13, entonces ( 5 ( 13) 11) ( 13 + 13 ) 0.

5
5
En consecuencia, dichos puntos pertenecen al conjunto solucin. Como el signo del lado derecho de la ltima desigualdad
es , interesan para la solucin los intervalos del producto con signo (+). Es decir, S = ( , 13] [11/5, +) es el
conjunto solucin.
Se recomienda al estudiante lector que, despus de estudiar los ejemplos anteriores, afiance los conocimientos adquiridos desarrollando los ejercicios propuestos que para tal fin aparecen en las secciones 1.5.1 y 1.5.2 de la pgina:
http://huitoto.udea.edu.co/Matematicas/, del autor de este apndice.
331
332 Apndice I
Apndice II
2 La lnea recta
Introduccin
El propsito en este apndice es presentar las diferentes formas de la lnea recta. Antes de hacerlo se presentan algunos
conceptos preliminares, como el de distancia entre dos puntos del plano y las coordenadas del punto que divide a un
segmento en una razn dada, as como tambin los conceptos de pendiente e inclinacin de una recta en el plano cartesiano.
Se asume que el lector conoce los conceptos de plano cartesiano y la localizacin de puntos en el mismo.
2.1 Teorema: Distancia entre dos puntos del plano

Sean P1 (x1, y1) y P2 (x2, y2) dos puntos en el plano.
La distancia entre los puntos P1 y P2, denotada por d = PP
1 2 , est dada por
d = P1 P2 = ( x2 x1 )2 + ( y2 y1 )2 .
(1)
Demostracin
En la figura 1 se han localizado los puntos P1 (x1, y1) y P2 (x2, y2), as como tambin el segmento de recta P1 P2 .
Figura 1
Al trazar por el punto P1 una paralela al eje x y por P2 una paralela al eje y, stas se intersecan en el punto R, determinando
el tringulo rectngulo P1RP2 y en el cual se puede aplicar la relacin pitagrica
2
P1 P2 = P1 R + RP2 .
333
Pero P1 P2 = P1 P2 ; P1 R = x2 x1 y RP2 = y2 y1 .
2
Por tanto, P1 P2 = ( x2 x1 )2 + ( y2 y1 )2 ,
d = ( x2 x1 )2 + ( y2 y1 )2 .
Observaciones
i.
En la frmula (1) se observa que la distancia entre dos puntos es siempre un valor no negativo. Ntese adems que
el orden en el cual se restan las coordenadas de los puntos P1 y P2 no afecta el valor de la distancia.
ii.
Si el segmento rectilneo determinado por los puntos P1 y P2 es paralelo al eje x (figura 2a), entonces P1 P2 = x2 x1
puesto que y1 = y2.
Figura 2
Igualmente, si dicho segmento es paralelo al eje y (figura 2b), entonces P1 P2 = y2 y1 puesto que x2 = x1.
2.2 Coordenadas del punto que divide a un segmento en una razn dada. Coordenadas del punto
medio
Considere el segmento P1 P2 cuyos extremos son los puntos P1 (x1, y1) y P2 (x2, y2) (figura 3).
Figura 3
334 Apndice II
PM
1
.
Sea M (x, y) un punto sobre el segmento P1 P2 y llamemos =
PP
1 2
(1)
Se trata entonces de encontrar las coordenadas x e y del punto M en trminos de y de las coordenadas de los puntos P1
y P2.
Al proyectar los puntos P1, P2 y M sobre los ejes coordenados resultan los tringulos rectngulos semejantes P2MH y
P1MQ. Entonces se puede escribir
y2 y x2 x MP2
=
=
.
y y1 x x1 PM
1
MP1
Ahora, de (1)
Por tanto,
PP
1 2
(2)
= .
1
P1 M
P1 P2 P1 M
1 (obsrvese que cuando M se mueve de P1 a P2, vara de manera continua tomando valores
entre 0 y 1).
En consecuencia,
P1 M
MP2
,
1 que al sustituir en (2) da
y2 y x2 x 1
=
=
.
y y1 x x1
De donde
y2 y
,
y y1 y
x2 x 1
=
.
x x1
(3)
(4)
Al simplificar las ecuaciones (3) y (4) se obtienen finalmente:

y = y1 + ( y2 y1 ),
(5)
x = x1 + ( x2 x1 ).
(6)
Las ecuaciones (5) y (6) resuelven el problema.
335
Observaciones
i.
Ntese que para cada valor de , 0 1 las ecuaciones (5) y (6) nos dan un punto sobre el segmento P1P2.
ii.
En muchas ocasiones, el segmento P1P2 se expresa en notacin de conjunto en la siguiente forma:

x = x1 + ( x2 x1 )
P1 P2 = ( x, y ) R 2
; 0 1 .
y
y
y
y
(
)
=
+
1
2
1
iii.
PM
1
1
Ntese finalmente que cuando M coincide con el punto medio de P1 P2 , entonces = PP = 2 , y en consecuencia
1 2
1
1
x = x1 + ( x2 x1 ) e y = y1 + ( y2 y1 ).
2
2
Es decir, x =
x1 + x2
y + y2
y y= 1
representan las coordenadas del punto medio del segmento P1 P2 .
2
2
2.3 Pendiente e inclinacin de una recta

Definiciones
i.
El ngulo ( 0 < ) que forma una recta L con el eje x medido en el sentido positivo del eje a la recta L se llama
ngulo de inclinacin de la recta L (figura 4a).
ii.
Si L es una recta no vertical, la pendiente de la recta L, denotada por m, se define como el valor de la tangente de su
ngulo de inclinacin. Es decir,
m = tan ,
(1)
siendo 0 < , .
2
El nmero m se conoce tambin con el nombre de coeficiente angular de la recta L.
Figura 4
336 Apndice II
Observaciones
i.
Si la recta L es vertical, su ngulo de inclinacin es 90 y por tanto su pendiente m = tan 90 = + (figura 4c).
ii.
Si P1 (x1, y1) y P2 (x2, y2) son dos puntos distintos sobre una recta no vertical L (figura 4b), entonces, de acuerdo a
la definicin de pendiente, se tiene que
m = tan =
y2 y1
, x2 x1 .
x2 x1
(2)
Las expresiones (1) y (2) son equivalentes y en lo sucesivo se har uso indistinto de ellas. Ntese que el coeficiente
angular m es igual al incremento de ordenadas dividido por el incremento de abscisas.
iii.
El nombre de pendiente de una recta est justificado. Cuando se dice que un camino tiene la pendiente 5%, significa
que por cada 100 unidades horizontales asciende 5 unidades, es decir, el cociente de las ordenadas por las abscisas
correspondientes es 5/100.
iv.
La pendiente de una recta puede ser positiva, negativa o cero, segn el ngulo de inclinacin de la recta, as:
Si = 0, entonces m = 0 (figura 5a).
Si 0 < < 90, entonces m > 0 (figura 5b).
Si 90 < < 180o, entonces m < 0 (figura 5c).
Figura 5
v.
El valor de la pendiente de una recta no depende de la eleccin particular de los puntos P1 y P2 escogidos sobre ellas.
Dados tres puntos P1, P2 y P3 del plano, se dice que son colineales si y slo si la pendiente determinada por P1 y P2
es igual a la determinada por P2 y P3 e igual a la determinada por P1 y P3.
2.4 Formas de la ecuacin de la lnea recta

2.4.1 Ecuacin de la recta que pasa por el origen
Considere la recta l que pasa por el origen 0 y forma un ngulo de inclinacin con el eje x (figura 6).
337
Figura 6
Tmese sobre la recta los puntos P1(x1, y1), P2 (x2, y2) y P3 (x3, y3). Al proyectar los puntos P1, P2 y P3 sobre el eje x, se obtienen
los puntos P1 , P2 y P3
Como los tringulos OP1 P1, OP2 P2 y OP3 P3 son semejantes, se tiene que
y1 y2 y3
=
=
= const = tan = m.
x 1 x2 x3
Esto es, cualquiera que sea el punto P(x, y) sobre l,
y
= m o y = mx.
x
(1)
La ecuacin (1) es la ecuacin de la recta que pasa por el origen y tiene pendiente conocida m.
2.4.2 Ecuacin de la recta conocida su pendiente m y su intercepto b con el eje y

Considere una recta l de la que se conocen m (m = tan ) y b (figura 7).
Figura 7
Trace por el origen la recta l paralela a l. Sea P (x, y) un punto de l. Al llamar P la proyeccin de P sobre el eje x, PP corta
a la recta l en un punto P de coordenadas P(x, Y), Y y.
Como P (x, Y) est sobre l, entonces
338 Apndice II
Y
= tan = m, de donde Y = mx.
x
Ahora, el cuadriltero OBPP es un paralelogramo. Por tanto, PP = OB = b, y se tiene que:

y = PP = PP + PP = Y + b = mx + b.
Es decir, para todo (x, y) l, y = mx + b = (tan )x + b.
La ecuacin y = mx + b es la ecuacin de la recta en trminos de su pendiente m y su intercepto b con el eje y.
2.4.3 Ecuacin de la recta que pasa por un punto y de pendiente conocida

Considere la recta l que pasa por un punto dado P1(x1, y1) y cuya pendiente m tambin es conocida (figura 8).
Figura 8
Al llamar b al intercepto de la recta l con el eje y, entonces la ecuacin de l viene dada por
y = mx + b.
(1)
Como P1(x1, y1) l, entonces satisface (1) y en consecuencia se tiene que

y1 = mx1 + b.
(2)
Al restar de la ecuacin (2) la ecuacin (1) se elimina el parmetro b que se desconoce y se obtiene
y y1 = m(x x1).
(3)
La ecuacin (3) es conocida como la forma punto-pendiente de la ecuacin de la recta.

Ntese que la ecuacin (3) tambin puede escribirse en la forma
y = mx + (y1 mx1),
lo que indica que el intercepto b con el eje y viene dado por
b = y1 mx1.
2.4.4 Ecuacin de la recta que pasa por dos puntos dados P1(x1, y1) y P2(x2, y2)
Sea l la recta que pasa por los puntos P1(x1, y1) y P2(x2, y2) y llmese ml su pendiente.
339
Como l pasa por el punto P1(x1, y1) y tiene pendiente ml (figura 9), se tiene, de acuerdo a 2.4.3, que
y y1 = ml (x xl)
(1)
representa la ecuacin de dicha recta.
Figura 9
Ahora, como el punto P2(x2, y2) l, entonces satisface su ecuacin, esto es,
y2 y1 = m1 ( x2 x1 ), de donde
m1 =
y2 y1
.
x2 x1
(2)
Sustituyendo (2) en (1) se obtiene

y y1 =
y2 y1
( x x1 ),
x2 x1
x2 x1 .
(3)
La ecuacin (3) se conoce como la forma dos-puntos de la ecuacin de la recta.

Observaciones
i.
Ntese que la ecuacin (2) nos proporciona el valor de la pendiente m y la ecuacin (3) tambin puede escribirse en
la forma
y=
y2 y1
y y
x + y1 x1 2 1 ,
x2 x1
x2 x1
lo que indica que el intercepto de la recta l con el eje y viene dado por
b = y1 x1
ii.
y2 y1
.
x2 x1
Si (x, y) es un punto cualquiera de la recta determinada por P1(x1, y1), entonces la ecuacin de la resta (3) tambin
puede escribirse en forma de determinante, as:
340 Apndice II
x1
x2
y1 1 = 0.
y2 1
2.4.5 Ecuacin segmentaria de la recta

Considere la recta l de la cual se conocen los interceptos a y b con los ejes x e y, respectivamente (figura 10).
Figura 10
Como l pasa por los puntos A (a, 0) y B (0, b), entonces, de acuerdo a la seccin 2.4.4, la ecuacin de l viene dada por:
y0 =
Es decir, y =
b0
( x a).
0a
b
b
( x a), de donde x + y = b.
a
a
Dividiendo esta ltima ecuacin por b, se obtiene

x y
+ = 1.
a b
(1)
La ecuacin (1) se conoce como la ecuacin segmentaria, cannica o forma de los interceptos de la lnea recta. Los
nmeros a y b son las medidas de los segmentos que la recta interseca con cada eje, con su signo correspondiente, pues
haciendo en (1)
y = 0, resulta x = a (intercepto con el eje x )
x = 0, resulta y = b (intercepto con el eje y )
2.4.6 Ecuacin general de la lnea recta

La ecuacin Ax + By + C = 0, donde A, B, C son nmeros reales y A y B no son simultneamente nulos, se conoce como la
ecuacin general de primer grado en las variables x e y.
La ecuacin explcita de la recta, cuando se conocen dos puntos, excluye las rectas paralelas al eje y, cuyas ecuaciones son
de la forma x = constante, pero todas las rectas del plano, sin excepcin, quedan incluidas en la ecuacin Ax + By + C = 0
que se conoce como la ecuacin general de la lnea recta, como lo afirma el siguiente teorema:
Teorema
La ecuacin general de primer grado:
Ax + By + C = 0
(1)
341
con A, B, C , A y B no son simultneamente nulos, representan una lnea recta.

Demostracin
Se pueden considerar varios casos:
i.
A = 0, B 0.
En este caso, la ecuacin (1) se transforma en By + C = 0, de donde
y=
C
.
B
(2)
La ecuacin (2) representa una lnea recta paralela al eje x y cuyo intercepto con el eje y es
C
(figura 11).
B
Figura 11
ii.
A 0, B = 0.
En este caso, la ecuacin (1) se transforma en Ax + C = 0, de donde

C
x= .
A
(3)
La ecuacin (3) representa una lnea recta paralela al eje y y cuyo intercepto con el eje x es
Figura 12
342 Apndice II
C
(figura 12).
A
iii.
A 0, B 0.
En este caso, la ecuacin (1) puede escribirse en la siguiente forma:
y=
A
C
x + .
B
B
(4)
La ecuacin (4) representa una lnea recta, cuya pendiente es m =

b=
A
y cuyo intercepto con el eje y viene dado por
B
C
(figura 13).
B
Figura 13
Observaciones
i.
Es posible escribir la ecuacin general de la lnea recta en varias formas, de tal manera que slo involucre dos constantes. Es decir, si A, B y C son todos distintos de cero, podemos escribir la ecuacin (1) en las siguientes formas
equivalentes:
B
C
y + = 0.
A
A
(1A)
A
C
x + y + = 0.
B
B
(1B)
A
B
x + y + 1 = 0.
C
C
(1C)
x+
En cada una de las ecuaciones (1A), (1B) y (1C) existen esencialmente slo dos constantes independientes, por
ejemplo
B C
y
en (1A).
A A
Esto indica que para determinar la ecuacin de una recta en particular necesitamos conocer dos condiciones, como
por ejemplo dos puntos, un punto y la pendiente, en concordancia con lo establecido en los numerales anteriores.
343
ii.
Cuando la ecuacin de una recta est expresada en la forma general Ax + By + C = 0, su pendiente o

coeficiente angular con respecto al eje x, m, viene dado por m =
y, viene dado por n =
A
y su coeficiente angular n, con respecto al eje
B
B
.
A
Los coeficientes A y B se denominan coeficientes directores de la recta.
2.5 ngulo entre dos rectas. Perpendicularidad y paralelismo entre rectas

Sean l1 y l2 dos rectas no verticales, cuyos ngulos de inclinacin son 1 y 2 , respectivamente. Al cortarse las rectas l1 y
l2 forman cuatro ngulos iguales de dos en dos (figura 14), esto es, 1 = 2 = 1 2 , y 1 = 2 = 1800 1 .
Se define el ngulo entre l1 y l2 como el ngulo positivo obtenido al rotar la recta l2 hacia l1.En este caso el ngulo entre l1
y l2 viene dado por
1 = 1 2 .
(1)
Figura 14
El propsito ahora es establecer una relacin entre las pendientes de dos rectas y el ngulo entre ellas.
De la igualdad (1) se tiene:
tan 1 = tan(1 2 ),
=
tan 1 tan 2
, 1 .
1 + tan 1 tan 2
2
(2)
Tambin,
cot 1 = cot(1 2 ),
=
344 Apndice II
1 + tan 1 tan 2
, 1 0.
tan 1 tan 2
(3)
Puesto que m1 = tan 1 y m2 = tan 2 , entonces las igualdades (2) y (3) podemos escribirlas en la forma:
tan 1 =
m1 m2
, 1 ,
1 + m1 m2
2
(2)
cot 1 =
1 + m1 m2
, 1 0.
m1 m2
(3)
Las ecuaciones (2) y (3) expresan la tangente y la cotangente del ngulo 1 entre las rectas l1 y l2 en trminos de sus
pendientes, y por medio de ellas se pueden establecer criterios de perpendicularidad y paralelismo entre rectas, como lo
afirma el siguiente teorema.
Teorema: Condiciones de perpendicularidad y paralelismo

Sean l1 y l2 dos rectas no verticales con pendientes m1 y m2, respectivamente. Entonces:
i.
l1 es paralela ( & ) a l2 m1 = m2 .
ii.
l1 es perpendicular ( ) a l2 m1 m2 = 1.
Demostracin
En la figura 15 aparece ilustrada cada una de las situaciones.
Figura 15
i.
Suponga que l1 & l2, y veamos que m1 = m2.

En efecto, como l1 & l2, entonces los ngulos 1 y 2 son iguales por correspondientes, y en consecuencia
tan 1 = tan 2 , es decir, m1 = m2.
Ahora, si m1= m2 , se sigue de (2) que tan 1 = 0, y de aqu 1 = 1 2 = 0, de donde 1 = 2 y por tanto l1 y l2 son
paralelas.
345
ii.
Si l1 y l2 son perpendiculares, entonces 1 =

mos 0 =
y cot 1 = cot
= 0. Sustituyendo este ltimo valor en (3) obtene-
1 + m1 m2
, de donde m1 m2 + 1 = 0, y de aqu se deduce que m1 m2 = 1.
m1 m2
Recprocamente, si m1 m2 = 1, entonces m1 =
tan 1 =
1
, y como m2 = tan 2 , y m1 = tan 1 , se tiene que
m2
1
= cot 2 , de donde, sin prdida de generalidad, hemos escogido la recta l1 con mayor inclinatan 2
cin 1. Teniendo en cuenta que tanto 1 como 2 son ngulos positivos y menores que 180, concluimos que
1 = 90 + 2 , de lo cual 1 2 = 90 y por tanto las rectas l1 y l2 son perpendiculares.

Observaciones
i.
Si las rectas l1 y l2 estn dadas por las ecuaciones en forma general Ax + By + C = 0 y A1x + B1y + C1 = 0, puesto
A m = A1 ,
y 2
B1 entonces las condiciones de paralelismo y perpendicularidad del teorema pueden
B
enunciarse en la siguiente forma:
que m1 =
l1 & l2
A
A
A B
= 1
=
AB1 A 1 B = 0.
B
B1
A1 B1
A A
l1 l2 1 = 1 A A1 = B B1 A A1 + B B1 = 0.
B B1
ii.
Un caso especial del paralelismo entre rectas es la coincidencia. Una condicin necesaria y suficiente para que dos
rectas l1 y l2 sean coincidentes es la proporcionalidad entre sus coeficientes. Es decir, las rectas de ecuaciones
Ax + By + C = 0 y A1x + B1y + C1 = 0 son coincidentes.
A1 B1 C1
=
=
A1 = kA, B1 = kB, C1 = kC.
A B C
Distancia de un punto a una recta

Teorema
Sea P(x1, y1)un punto que no pertenece a la recta de ecuacin Ax + By + C = 0. La distancia d del punto P a la recta l
viene dada por medio de la frmula
d=
Ax1 + By1 + C
A2 + B 2
Demostracin
Vea los ejercicios 12 y 13 de la seccin 4.11 de la pgina web: http:// huitoto.udea.edu.co/Matematicas/
Se recomienda a los estudiantes lectores de este apndice mirar los ejemplos resueltos y desarrollar los ejercicios propuestos en las secciones 4.11 y 4.12 de la misma pgina.
346 Apndice II
347
Apndice III
3 Funciones y sus grficas

Introduccin
Quizs la idea central en la matemtica sea el concepto de funcin. En la historia de la matemtica parece ser Ren Descartes
quien introdujo primeramente en el ao 1637 el concepto de funcin, para significar la potencia entera de la variable x.
Posteriormente Gottfried Wilhelm Leibniz (1646-1716) utiliz dicho concepto para denotar las cantidades asociadas a una
curva. Leonhard Euler (1706-1783) lo utiliz luego para identificar la relacin entre variable y constantes en una frmula.
Pero la definicin que se usa actualmente de funcin es debida a Peter Dirichlet (1805-1859), la cual describe una funcin
como una regla de correspondencia entre dos conjuntos.
Intuitivamente se considera que la cantidad y es funcin de la cantidad x, si existe alguna regla, ley o procedimiento que
permita asignar un valor nico de y para cada valor que se considere de x, dentro de cierto conjunto posible de valores.
Muchas veces es posible expresar dicha regla o ley por medio de una ecuacin matemtica, como ocurre por ejemplo con el
rea y de un crculo, en funcin del radio x, y = x2; otras veces es difcil o aun imposible hallar la frmula matemtica que
relaciona las variables x e y aunque siga siendo posible la asignacin de un valor nico de y para cada valor de x.
Lo que interesa realmente es poder determinar un conjunto de pares ordenados (x, y), independientemente de si la ley o
regla que relaciona las variables x e y es de tipo matemtico, emprica o simplemente descriptiva.
Definiciones
i.
Sean A y B dos conjuntos no vacos.

Una funcin de A en B es una regla de correspondencia que asocia a cada elemento x de A un nico elemento y de B.
Se usan indistintamente los smbolos
f :AB
f
A
B
x y = f ( x)
x 6 y = f ( x)
para expresar que f es una funcin de A en B y que adems al elemento x de A le corresponde el elemento y (imagen
de x mediante f) de B.
ii.
Al conjunto A se le llama dominio de la funcin y se denotar por el smbolo D (f).

Igualmente, al subconjunto de B, formado por todas las imgenes de los elementos de A, se le llama rango de la
funcin y se denotar por el smbolo r (f).
348 Apndice III
Observaciones
i.
Para los conceptos del clculo que se desarrollan, los conjuntos A y B mencionados anteriormente son por lo general
subconjuntos de ; de esta forma, la funcin
f : A B se llamar funcin real de variable real.
ii.
En la expresin y = f (x) que expresa la correspondencia entre los elementos x de A con los y de B, la letra x se llama
variable independiente y la letra y se denomina variable dependiente.
En el siguiente ejemplo se ilustran los conceptos establecidos hasta ahora.
Considere los conjuntos:
A = {a, b, c, d , e} y B = {0, 1, 2, 3, 4, 5, 6, 7} , y la funcin f : A B definida por medio del diagrama de la figura 1:
Figura 1
Se tiene entonces que:

La imagen del elemento
a
b
c
d
e
mediante
mediante
mediante
mediante
mediante
f
f
f
f
f
es
es
es
es
es
5.
3.
7.
0.
5.
Es decir, f (a) = 5.
Es decir, f (b) = 3.
Es decir, f (c) = 7.
Es decir, f (d) = 0.
Es decir, f (e) = 5.
Ahora,
D( f ) = A = {a, b, c, d , e} ,
r ( f ) = {0,3,5,7} B.
En lo sucesivo, cuando no se mencionen los conjuntos A y B de una funcin sino solamente la regla o correspondencia entre
sus elementos, se entender que tanto A como B son subconjuntos de nmeros reales. En este caso se dice que el dominio
es el conjunto de nmeros reales para los cuales tiene sentido la regla o correspondencia, o ms precisamente, los
valores para los cuales f (x) es un nmero real.
Ms adelante se ilustrar la manera de proceder en estos casos.
349
3.1 Grfica de una funcin

En las aplicaciones es frecuente que una grfica muestre con mayor claridad que una ecuacin o una tabla la relacin que
existe entre las variables de una funcin. Las ecuaciones y tablas que corresponden a una funcin por lo general requieren
algunos clculos e interpretaciones, antes de poder ver con claridad todo tipo de informacin contenida en ellas.
Cuando la regla que define una funcin f est dada mediante una ecuacin que relaciona las variables x e y, la grfica de f es
la grfica de la ecuacin, es decir, el conjunto de puntos (x, y) del plano cartesiano que satisfacen la ecuacin. Ms
precisamente:
Definicin
Sea f : A B una funcin real de variable real. La grfica de f es el conjunto de puntos ( x, y ) 2 tales que
la pareja ordenada (x, y) pertenece a f. Es decir,
2
grfica de f = {( x, y ) : y = f ( x), x D( f )} .
Observacin
La restriccin dada en la definicin de funcin de que no existen dos parejas distintas que tengan la primera componente
igual se traduce en la grfica de la funcin de la siguiente manera: ninguna recta vertical puede cortar su grfica en ms de
un punto (criterio de la recta vertical).
Figura 2
As por ejemplo, la grfica de la figura 2a corresponde a la grfica de una funcin (la recta vertical slo corta la grfica en el
punto A), mientras que la figura 2b no corresponde a la grfica de una funcin. Ntese que la recta vertical corta la grfica
en ms de un punto: A, B y C.
En el captulo 4 del texto se trazaron las grficas de muchas funciones, definiendo y especificando otros elementos tericos
tiles (asntotas, mximos, mnimos, concavidad) que permiten ver con mayor claridad la relacin entre las variables x e y de
una funcin y = f (x).
350 Apndice III
3.1.1 Algunas funciones especiales

A continuacin se describen algunas funciones especiales y los nombres con que se les conoce en el lenguaje matemtico.
Adems se muestra una grfica aproximada de cada una de ellas.
i.
Funcin exponencial de base a (figura 3)

f : + ,
x 6 y = f ( x) = a x , a > 0, a 1.
Figura 3
ii.
Funcin logartmica de base a (figura 4)

f : + ,
x 6 y = f ( x) = log a x, a > 0, a 1.
Figura 4
351
iii.
Funcin lineal (figura 5)

f : ,
x 6 y = f ( x) = mx + b,
que corresponde a la lnea recta de pendiente m e intercepto b con el eje y.
Figura 5
iv.
Funcin cuadrtica (figura 6)

f : ,
x 6 y = f ( x ) = ax 2 + bx + c,
donde a, b, c y que corresponde a una parbola abierta hacia arriba o hacia abajo segn el signo de la constante a.
En la figura 6 aparece la grfica de la parbola y = ax2 + bx + c, de acuerdo al signo de a. Igualmente, como caso
particular, se ha trazado la curva y = x2 (figura 6c).
(a)
(b)
Figura 6
352 Apndice III
(c)
v.
Ramas de circunferencia (figura 7)

La ecuacin en forma implcita x2 + y2 = r2, que corresponde a una circunferencia centrada en el origen y radio r, y
cuya grfica no es una funcin (criterio de la recta vertical), genera, sin embargo, dos funciones llamadas ramas de
circunferencia y cuyas definiciones y grficas se describen a continuacin:
x2 + y2 = r
f : [r, r]
x 6 y = f ( x) =
r x
2
f : [r, r]
2
Rama superior de la circunferencia
x 6 y = f ( x) = r 2 x 2
Rama inferior de la circunferencia
Figura 7
vi.
Ramas de elipse (figura 8)
x2 y 2
+ = 1, con a, b , y a > b, corresponde a una elipse centrada en el origen y
a 2 b2
eje mayor 2a y cuya grfica no es una funcin (criterio de la recta vertical) y genera dos funciones llamadas ramas de
elipse, cuyas definiciones y grficas se describen a continuacin:
La ecuacin en forma implcita
x2 y 2
+
=1
a 2 b2
f : [ a, a]
b 2
a x2
a
Rama superior de la elipse
x 6 y = f ( x) =
f : [ a, a]
b 2
a x2
a
Rama inferior de la elipse
x 6 y = f ( x) =
Figura 8
353
vii.
Ramas de parbola (figura 9)

La ecuacin en forma implcita y2 = x corresponde a una parbola abierta hacia el eje x positivo y cuyo vrtice y foco
son respectivamente los puntos V (0, 0) y F (1/2, 0). Su grfica no es una funcin (criterio de la recta vertical); sin
embargo, genera dos funciones llamadas ramas de parbola, cuyas definiciones y grficas se describen a continuacin:
f : + {0}
y2 = x
x6 y= y= x
Rama superior de la parbola
f : + {0}
x6 y= y= x
Rama inferior de la parbola
Figura 9
viii.
La ecuacin en forma implcita x y = 1 corresponde a una curva llamada hiprbola equiltera y genera la funcin
f: {0} ,
1
x 6 y = f ( x) = ,
x
cuya grfica aparece en la figura 10.
Figura 10
354 Apndice III
ix.
Funcin polinmica de grado n

f : ,
x y = f ( x) = a0 + a1 x + a2 x 2 + ... + an x n ,
en donde a0, a1, a2,...,an son nmeros reales.

Casos particulares
1.
La funcin definida por y = f (x) = a0 (a0 una constante) se llama funcin constante y su grfica corresponde a una
recta paralela al eje x, a0 unidades por encima o por debajo del eje x (figura 11) segn el signo de a0.
Figura 11
2.
La funcin definida por y = f (x) = a0 + a1x se llama funcin lineal (ver iii).
3.
La funcin definida por y = f (x) = x se llama funcin identidad y su grfica corresponde a una recta que pasa por el
origen formando un ngulo de 45 con el semieje positivo x (figura 12).
Figura 12
4.
La funcin definida por y = f (x) = a0 + a1x + a2x2 se llama funcin cuadrtica (ver iv).
355
5.
La funcin definida por y = f (x) = a0 + a1x + a2x2 + a3x3 se llama funcin cbica. Entre estas cbicas se destaca una
por el uso que se hace de ella en las aplicaciones. Se trata de la funcin y = f (x) = x3, llamada parbola cbica, cuya
grfica aparece en la figura 13.
Figura 13
x.
Funcin mayor entero menor o igual a x

f : ].
x 6 y = f ( x) = a x b = n,
en donde n es un nmero entero tal que n x < n + 1.
La expresin a x b se lee: mayor entero que no supera a x.
As, para x = 0.85, a x b = a0.85b = 0.
Tambin, a1.35b = 1, a 2.4b = 3.
La grfica de la funcin se muestra en la figura 14 y est constituida por una serie de segmentos unitarios, faltndole
a cada uno su extremo derecho.
Figura 14
356 Apndice III
xi.
Funcin definida a tramos

f : A ,
f1 ( x) si x D1
f ( x) si x D
2
2
.
x 6 y = f ( x) =
.
.
f n ( x) si x Dn
en donde D1 D2 D3 ........... Dn = A (dominio de f).

Casos particulares
1.
Funcin valor absoluto
f : + {0} ,
x si x 0
x6 y= x =
x si x < 0
La grfica de la funcin valor absoluto est formada por las rectas perpendiculares y = x y y = x (figura 15).
Figura 15
2.
Funcin signo
f : {1, 0, 1}
1 si x < 0
x 6 y = f ( x) = 0 si x = 0
1 si x > 0
Su grfica se muestra en la figura 16 y est constituida por el origen de coordenadas y dos semirrectas a las cuales les
falta el punto inicial.
357
Figura 16
Note que el dominio es el conjunto , mientras que el rango es el conjunto {1, 0, 1}.
xii.
Funcin racional
f : ,
x 6 y = f ( x) =
Pn ( x)
,
Qm ( x)
en donde Pn (x) y Qm(x) son polinomios de grados n y m, respectivamente.

Ntese que el dominio de una funcin racional f viene dado por
D( f ) = { x : Qm ( x) 0} = { x : Qm ( x) = 0} .
Es decir, el dominio f lo constituye el conjunto de los nmeros reales, excepto los valores que anulan el denominador.
3.2 Funciones algebraicas y trascendentes

Una funcin algebraica explcita es aquella cuya variable y se obtiene combinando un nmero finito de veces la variable
x y constantes reales por medio de operaciones algebraicas de suma, resta, multiplicacin, divisin, elevacin a potencias
y extraccin de races.
Un ejemplo de una funcin algebraica explcita es aquella para la cual la regla de correspondencia viene dada por
(
y=
(x
x +5
2/3
).
3
+ 3)
Se llama funcin trascendente aquella cuya variable y contiene expresiones trigonomtricas, exponenciales o logartmicas.
Ejemplos de funciones trascendentes son las siguientes:
y = e x + sen x.
y = 3x.
y = log 2 x + 5.
358 Apndice III
3.3 Funciones pares e impares

Definiciones
i.
Una funcin f es par si los nmeros x y x estn en su dominio y adems

f ( x) = f (x).
ii.
Una funcin f es impar si los nmeros x y x estn en su dominio y adems

f ( x) = f (x).
Observaciones
i.
Es evidente desde el punto de vista geomtrico que la grfica de una funcin par es simtrica con respecto al eje y
(figura 17).
Figura 17
Tambin es evidente que toda funcin racional que slo contiene potencias pares (x0, x2, x4, ...) de la variable x, es par.
As, la funcin y = f ( x) =
ii.
x2 1
es par.
x + 2 x2 + 1
4
Igualmente, la grfica de una funcin impar es simtrica con respecto al origen (figura 18).
Figura 18
359
3.4 Funciones peridicas

Definicin
Una funcin es peridica con periodo P 0 si su dominio contiene al nmero (x + P) siempre que contenga a x, y si adems
f(x + P) = f (x) para todo x D( f ).
El mnimo nmero positivo P con esta propiedad se denomina periodo primitivo de f.
La definicin anterior significa, geomtricamente, que para cualquier a D ( f ) la grfica entre a y (a + P) es exactamente
igual a la grfica entre (a + P) y (a + 2P), y as sucesivamente (figura 19).
Figura 19
Son ejemplos de funciones peridicas:

1.
Las funciones trigonomtricas: seno, coseno, secante y cosecante, que tienen periodo P = 2, mientras que las
funciones tangente y cotangente tienen periodo P = .
En efecto,
Si f (x) = sen x, entonces f (x + 2) = sen (x + 2) = sen x = f (x).
Si g (x) = cos x, entonces g (x + 2) = cos (x + 2) = cos x = g (x).
Si h(x) = tan x, entonces h (x + ) = tan (x + ) = tan x = h (x).
En la figura 20 aparecen las grficas de las funciones trigonomtricas en las cuales se indica el periodo correspondiente.
360 Apndice III
Figura 20
2.
La funcin constante (seccin 3.1.1) f (x) = k es una funcin peridica, puesto que para cualquier nmero P, f (x + P) = k = f (x).
Ntese, sin embargo, que esta funcin carece de periodo primitivo.
3.5 Operaciones con funciones

Definicin
Sean f, g dos funciones reales de variable real. Entonces se pueden definir las siguientes operaciones:
i.
Suma
( f + g )( x ) = f ( x ) + g ( x ) .
ii.
Diferencia
( f g )( x ) = f ( x ) g ( x ) .
iii.
Producto
(f
iv.
Cociente
f ( x)
f
.
( x) =
g ( x)
g
g )( x ) = f ( x ) g ( x ) .
Nota: en cada uno de los casos anteriores, el dominio de la funcin resultante es la interseccin de los dominios de f y g. En
el caso particular del cociente se deben excluir de la interseccin los valores de x que anulen el denominador g.
361
v.
Composicin de funciones
Bajo ciertas condiciones es posible definir a partir de dos funciones f y g una nueva funcin llamada la compuesta de f y g.
Sean f : A B y g : B C dos funciones donde coincide el dominio de la segunda con el codominio de la
primera. Aunque slo es suficiente que nicamente sea una parte de l, es decir, B B* (figura 21).
El propsito es asignar a cada elemento de A un nico elemento de C, y el camino natural consiste en determinar la
imagen de cualquier x A mediante f, y luego obtener la imagen de f (x) B mediante g.
Figura 21
Definicin
Sean f : A B y g : B C dos funciones. La composicin de las funciones f y g, denotada por (g D f), es la funcin:
g D f : A C,
x 6 ( g D f )( x) = g ( f ( x)).
As por ejemplo, si f y g son las funciones definidas por

f ( x) =
x3
y g ( x) = x ,
2
entonces,
( g D f )( x ) = g ( f ( x ) ) =
f ( x) =
( f D g )( x ) = f ( g ( x ) ) =
g ( x) 3
=
2
x 3
,
2
x 3
.
2
Del ejemplo anterior se deduce fcilmente que en general

( g D f )( x) ( f D g )( x).
Se debe tener tambin cuidado con los dominios de g D f y de f D g. El dominio de g D f es la parte del dominio de f, para
los cuales g acepta a f (x) como preimagen.
Esto es, D (f ) = .
362 Apndice III
Ahora, como g slo acepta reales positivos de f (x), esto es, valores de x para los cuales f ( x) 0
x3
0 x 3, se
2
concluye entonces que D(g D f) = [3, + ).

Ntese que (g D f) (1) = g (f (1)) = g (1) no est definido.
Igualmente, (g D f) (2) = g (f (2)) = g (1/ 2) no est definido.
Tambin, el dominio f D g es la parte del dominio de g para los cuales f acepta a g (x) como preimagen.
Es decir, D( g ) = [ 0, + ) .
Ahora, como f acepta cualquier valor real de g(x), entonces f acepta en particular los valores de g en el intervalo D(g) = [0, + ).
De esta forma,
D (f D g) = [0, + ).
En el clculo se necesita a menudo escribir una funcin dada como la composicin de dos funciones. Esto puede hacerse de
varias maneras.
As por ejemplo, la funcin P ( x ) = 3 x 2 + 5 x + 2 puede escribirse en las formas:
P(x) = (g D f) (x), siendo f ( x ) = 3 x 2 + 5 x + 2 y g ( x) = x ,
P(x) = (g D f) (x), siendo f ( x ) = 3 x 2 + 5 x y g ( x) = x + 2.
En efecto, ( g D f )( x ) = g ( f ( x ) ) = g ( 3 x 2 + 5 x + 2 ) = 3x 2 + 5 x + 2 en el primer caso, y
( g D f )( x ) = g ( f ( x ) ) = g ( 3x 2 + 5 x ) =
3x 2 + 5 x + 2 en el segundo.
3.6 Clasificacin de las funciones

3.6.1 Funciones montonas
Definiciones
Sea f (x) una funcin definida en [a, b].
i.
f es creciente en [a, b] si y slo si se cumple que

x1 < x2 f ( x1 ) < f ( x2 )
ii.
x1 , x2 [ a, b] .
f es decreciente en [a, b] si y slo si se cumple que

x1 < x2 f ( x1 ) > f ( x2 )
x1 , x2 [ a, b] .
363
iii.
f es montona en [a, b] si y slo si f es creciente o decreciente en [a, b].

Las grficas siguientes (figura 22) ilustran las definiciones anteriores.
Funcin creciente
Funcin decreciente
No es ni creciente ni decreciente
Figura 22
3.6.2 Funciones inyectivas

Definicin
Una funcin f es inyectiva (uno a uno) si se cumple que
f ( x1 ) = f ( x2 ) x1 = x2
x1 , x2 D( f ),
o equivalentemente,
x1 x2 f ( x1 ) f ( x2 )
364 Apndice III
x1 , x2 D( f ).
En otras palabras, una funcin f es 1-1, si para cada x en el dominio f existe exactamente una y en el rango, y ninguna y en el
rango es imagen de ms de una x en el dominio.
Existe tambin un criterio sencillo para determinar si la grfica de una ecuacin corresponde a una funcin 1-1. Este criterio
se conoce como criterio de la recta horizontal.
Criterio de la recta horizontal
Si toda recta horizontal corta a la grfica de una funcin f en uno y slo un punto, entonces f es 1-1.
As por ejemplo, en la figura 23a aparece la grfica de la funcin y = f(x) = x2 + 1, la cual, de acuerdo al criterio de la recta
horizontal, no corresponde a una funcin 1-1.
Ntese que la recta y = 2 corta la grfica en ms de un punto: P1 (1, 2) y P2 (1, 2).
Figura 23
Igualmente, en la figura 23b aparece la grfica de la funcin y = x3 1, la cual, de acuerdo al criterio de la recta horizontal,
corresponde a una funcin 1-1.
Ntese que toda recta horizontal corta a la grfica en uno y slo un punto.
Si se analiza un poco ms la grfica de la funcin en la figura 23b, se nota adems que f es una funcin creciente en su
dominio, y como toda funcin creciente (o decreciente), siempre tendr valores diferentes de y, para valores distintos de x,
se sigue entonces que toda funcin creciente (o decreciente) en su dominio es 1-1.
3.7 Funciones inversas

Para hacer claridad sobre el concepto de funcin inversa, que se presenta en esta seccin, se toma nuevamente la funcin
f de la figura 23b que est definida por la ecuacin
y = f (x) = x3 1,
(1)
y cuyo dominio y rango es el conjunto de los nmeros reales. Al despejar x en la ecuacin (1) se obtiene
x = 3 y + 1.
(2)
365
Por la forma que presenta esta ecuacin, se sabe que dado cualquier valor de y, tomado del rango de f (esto es, de ), existe
uno y slo un valor de x situado en el dominio de f. En consecuencia, la ecuacin (2) nos define otra funcin cuyo dominio
es el rango de f y cuyo rango es el dominio de f.
As por ejemplo, la ecuacin (1) asigna al valor x = 2 un nico valor de y, en este caso y = 23 1 = 7.
La segunda ecuacin efecta la operacin inversa, es decir, al valor y = 7 le asigna el valor de x = 3 7 + 1 = 2.
Si se quiere ahora representar, como es usual, con x a la variable independiente y con y a la dependiente, se intercambia x con
y en la ecuacin (2) y as se obtiene
y = 3 x + 1.
(3)
La funcin definida por (2) o (3) y que se representa en forma general por f 1 se conoce como la inversa de la funcin f
definida por (1). Igualmente, la funcin definida por (1) es la inversa de la funcin f 1 definida por (2).
Es decir,
y = f ( x) = x3 1 y = f 1 ( x) = 3 x + 1.
Las grficas de f (x) y de f 1 (x) representadas en el mismo plano cartesiano aparecen en la figura 24.
Figura 24
Considere ahora la funcin y = f (x) = x2 + 1 cuya grfica se muestra en la figura 23a.

El dominio de f lo constituye el conjunto de los nmeros reales y el rango es el intervalo [1, ).
Al despejar x, se obtiene x = y 1.
366 Apndice III
Esta ltima ecuacin dice que para cada valor que se le asigne a la variable y, le corresponden dos valores a la variable x, y
en consecuencia esta ltima ecuacin no define una funcin. En este caso se dice que la funcin y = f (x) = x2 + 1 no tiene
inversa o que f 1 no existe.
De los dos ejemplos anteriores se deduce fcilmente que una funcin f tiene inversa si f es 1-1.
Definicin
Sea f : A B una funcin 1-1.
x 6 f ( x).
La inversa de f, denotada f 1, es la funcin

f 1 : B A,
x 6 f 1 ( x),
tal que
f 1 ( f (x) ) = x para cada x A (dominio de f).
f (f 1 (x) ) = x para cada x B (dominio de f 1).
Ntese que D (f) = r(f 1) r (f) = D(f 1).
Se debe tener cuidado con el ( 1) usado en f 1. El (1) no es un exponente, sino simplemente un smbolo para denotar la inversa.
Como ejemplo ilustrativo considere nuevamente la funcin definida por la ecuacin y = f (x) = x3 1. Se tiene:
f :
3
x 6 f ( x) = x 1
f es 1 1
f 1 :
1
3
x 6 f ( x) = x + 1
en donde f y f 1 son inversas una de la otra. Adems,

f 1 ( f ( x ) ) = f 1 ( x 3 1) =
f ( f 1 ( x ) ) = f
) (
x +1 =
(x
x + 1 1 = x, x D( f 1 ) = .
1) + 1 = x, x D ( f ) = ,
Como se mencion antes, la funcin f : [1, + ) ,

x 6 f ( x) = x 2 + 1,
no tiene inversa (pues f no es 1-1).

Sin embargo, dicha funcin genera dos funciones:
367
f : ( , 0] [1, + )
x 6 f ( x) = x + 1,
2
g : [ 0, + ) [1, + )
x 6 g ( x) = x 2 + 1.
que son 1-1 en sus respectivos dominios (figura 25) y en consecuencia tienen inversa.
Figura 25
Para la funcin f se tiene:
f : ( , 0] [1, + )
f 1 : [1, + ) ( , 0]
x 6 f 1 ( x) = x 1.
x 6 f ( x) = x 2 + 1,
Las grficas de f y f 1 en el mismo sistema de coordenadas aparecen en la figura 26.
Figura 26
Igualmente, para la funcin g se tiene:
g : [ 0, + ) [1, + )
x 6 g ( x) = x 2 + 1,
368 Apndice III
g 1 : [1, + ) [ 0, + )
x 6 g ( x) = x 1.
Las grficas de g y g1 en el mismo sistema de coordenadas aparecen en la figura 27.
Figura 27
Adems,
f 1 ( f ( x ) ) = f 1 ( x 2 + 1) =
(x
+ 1) 1
= x2
= x
(propiedad VA6)
= x
= x.
(definicin de x )
Es decir,
f 1 ( f ( x ) ) = x para cada x ( , 0] = D( f ).
Igualmente,
) (
f ( f 1 ( x ) ) = f x 1 = x 1 + 1 = ( x 1) + 1 = x.
2
1
1
Es decir, f ( f ( x ) ) = x para cada x [1, + ) = D ( f ) .
Se deja para el lector el hacer las mismas consideraciones para la funcin g y su inversa g1.
Observacin
Ntese en las figuras 26 y 27 que las grficas de f y f 1 (g y g1) son simtricas con respecto a la recta y = x.
El teorema que se presenta a continuacin, sin demostracin, establece condiciones suficientes para la existencia de la
funcin inversa.
369
Teorema 1: Existencia de la funcin inversa

i.
Sea f una funcin definida, continua y creciente en el intervalo I y de rango un subconjunto A de . Entonces f 1
existe, es continua y creciente en A.
ii.
Sea f una funcin definida, continua y decreciente en el intervalo I y de rango un subconjunto A de . Entonces f 1
existe, es continua y decreciente en A.
Uno de los resultados ms importantes del clculo diferencial es el que establece la relacin entre la derivada de una funcin
y la derivada de su inversa, cuando existe, y sea derivable.
El teorema que se enuncia a continuacin permite hallar la derivada de la funcin inversa, en trminos de la derivada de la
funcin directa.
Teorema 2: Derivada de la funcin inversa
Sea f una funcin montona y derivable en un intervalo I y tal que f (x0) 0, con x0 I . Entonces f 1 es derivable en f (I)
y su derivada en y0 = f (x0) viene dada por
( f ) ( y ) =
1
1
.
f ( x0 )
No se hace la demostracin del teorema, pero s se hace notar que la forma en la que se plantea aparece de manera natural.
En efecto, como vimos al final de la seccin 3.7 del presente apndice III,
(f
D f ) ( x) = x f 1 ( f ( x) ) = x.
Tomando derivada con respecto a x en ambos miembros de la ltima igualdad, y teniendo en cuenta que:
Dx f 1 ( f ( x) ) = ( f 1 ) ( f ( x) ) f ( x)
(RD10)
Dx ( x) = 1
(RD2)
se tiene entonces que
( f ) ( f ( x) ) f ( x) = 1 ( f ) ( f ( x) ) =
1
1
.
f ( x)
En particular, como y0 = f ( x0 ),
( f ) ( f ( x ) ) =
1
370 Apndice III
1
1
.
( f 1 ) ( y0 ) =
f ( x0 )
f ( x0 )
Observacin
Cuando se utiliza la notacin de Leibniz para la derivada, resulta del teorema una igualdad bastante sugestiva entre las dos
derivadas. Es decir,
si y = f (x) con derivada
dx
dy
y, x = f 1(y) es su inversa, con derivada dy , entonces el teorema de la derivada de la
dx
funcin inversa nos dice que

dx 1
= ,
dy dy
dx
igualdad cuya forma simple hace parecer (por supuesto sin serlo) el resultado del teorema como una igualdad
algebraica trivial.
371
372
Bibliografa
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
Edwards CH, Penny DE. 1996. 4.a ed. Clculo con geometra analtica. Mxico: Prentice Hall.
Larson RE, Hostetler RP. 1998. Clculo. 6.a ed. Madrid: McGraw-Hill Interamericana.
Leithold L. 1998. El clculo. 7.a ed. Mxico: Editorial Oxford University Press.
Pita Ruiz C. 1998. Clculo de una variable. Mxico: Prentice Hall Hispanoamericana.
Purcell E, Varberg D. 1992. Clculo con geometra analtica. 6.a ed. Mxico:
Pearson Prentice Hall Hispanoamericana.
Purcell EJ, Varberg D, Rigdon SE. 2001. Clculo. 8.a ed. Mxico: Editorial
Pearson Educacin.
Smith RT, Minton RB. 2003. Clculo. 2.a ed. Madrid: McGraw-Hill Interamericana.
Stein SK. 1995. Clculo y geometra analtica. 5.a ed. Mxico: McGraw-Hill.
Sullivan M. 1997. Preclculo. 4.a ed. Mxico: Prentice Hall Hispanoamericana.
Swokosky EW. 1998. Clculo con geometra analtica. 2.a ed. Mxico: Editorial Iberoamericana.
http://huitoto.udea.edu.co/Matematicas/
373
Ude@
Educacin no presencial

Ca1 Cap06apendices

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Ca1 Cap06apendices

Cargado por

Copyright:

Formatos disponibles

Apndice I

1 El sistema de los nmeros reales

5 , , e, y sus correspondientes negativos, son usados en mediciones cuantitativas.

1.1 Conjunto de los nmeros reales

La notacin de conjunto que incluye los puntos suspensivos es de carcter informal.

Elementos Bsicos de Clculo Diferencial

La introduccin de los nmeros racionales responde al problema de resolver la ecuacin

Conjunto de los nmeros reales

1.2 Axiomas de campo

El real 0 es llamado mdulo o elemento neutro para la adicin.

Elementos Bsicos de Clculo Diferencial

As por ejemplo, el opuesto de 5 es 5; el recproco de 2 es 1 2.

Elementos Bsicos de Clculo Diferencial

1.3 Axiomas de orden

Para cada a , una y slo una de las siguientes proposiciones es verdadera:

Los elementos a , para los cuales a + , sern llamados reales positivos.

Elementos Bsicos de Clculo Diferencial

Consecuencias principales de la propiedad de orden

1.4 Representacin geomtrica de los nmeros reales

Elementos Bsicos de Clculo Diferencial

1.5 Intervalos y valor absoluto

Sean a, b , con a < b.

(a, b] = { x : a < x b} (figura 6).

[a, b) = { x : a x < b} (figura 7).

Sea a . Un intervalo de cualquiera de las siguientes formas se llama semirrecta.

( , a ) = { x : < x < a} (figura 8).

( , a ] = { x : < x a} (figura 9).

Elementos Bsicos de Clculo Diferencial

(a, + ) = { x : a < x < +} (figura 10).

[a, +) = { x : a x < +} (figura 11).

Finalmente, el conjunto de los nmeros reales se define como el intervalo (, +) . Es decir:

Propiedades del valor absoluto (VA)

x < < x < , siempre que > 0.

x > a x > a x < a, siempre que a > 0.

Elementos Bsicos de Clculo Diferencial

Ejercicios resueltos sobre intervalos, desigualdades y valor absoluto

Elementos Bsicos de Clculo Diferencial

En primer lugar, B C = (3, 4] = { x : 3 < x 4} .

De la grfica anterior se deduce que

En este caso, el conjunto universal o referencial es . As que

En consecuencia, la solucin o el conjunto solucin S viene dado por

En consecuencia, la solucin es el intervalo abierto (2, +).

no es equivalente a x 2, puesto que ( x 1) no siempre es

positivo. Sin embargo,

Elementos Bsicos de Clculo Diferencial

solucin (por ejemplo x = 1 2). En consecuencia, x > 0 no corresponde al conjunto solucin.

guiendo el mtodo descrito.

La ltima desigualdad la resolvemos por el mtodo grfico.

O sea que si x = 11/5, entonces 5 11 + 13 0; tambin, si x = 13, entonces ( 5 ( 13) 11) ( 13 + 13 ) 0.

Elementos Bsicos de Clculo Diferencial

2.1 Teorema: Distancia entre dos puntos del plano

Elementos Bsicos de Clculo Diferencial

Al simplificar las ecuaciones (3) y (4) se obtienen finalmente:

Las ecuaciones (5) y (6) resuelven el problema.

Elementos Bsicos de Clculo Diferencial

En muchas ocasiones, el segmento P1P2 se expresa en notacin de conjunto en la siguiente forma:

2.3 Pendiente e inclinacin de una recta

2.4 Formas de la ecuacin de la lnea recta

Elementos Bsicos de Clculo Diferencial

Esto es, cualquiera que sea el punto P(x, y) sobre l,

2.4.2 Ecuacin de la recta conocida su pendiente m y su intercepto b con el eje y

Ahora, el cuadriltero OBPP es un paralelogramo. Por tanto, PP = OB = b, y se tiene que:

2.4.3 Ecuacin de la recta que pasa por un punto y de pendiente conocida