Funciones Reales

Definición: Definición: Dados dos conjuntos X e Y , una función f es una ley que asocia a
cada elemento 𝑥 ∈ 𝑋 un único elemento 𝑦 ∈ 𝑌. Notación: 𝑓: 𝑋 → 𝑌
Llamaremos:
- al conjunto X , dominio de la función f y lo notaremos Dom (f)
- al conjunto Y , codominio de la función f y lo notaremos Codom (f)
- al elemento y, imagen de x por la función f y lo notaremos y=f(x) que se lee “y es
igual a f de x” y se dice que y es el valor de f en x
- al elemento x, pre-imagen de y por f
El conjunto de todas las imágenes es el recorrido de f o imagen de f y se lo nota Rec (f ) o
Im(f), es decir
𝑅𝑒𝑐(𝑓) = 𝐼𝑚(𝑓) = {𝑦 ∈ 𝑌: 𝑦 = 𝑓(𝑥) ∧ 𝑥 ∈ 𝑋} = 𝑓(𝑋)

Operaciones con funciones

Dadas dos funciones f y g, para cada 𝑥 ∈ 𝐷𝑜𝑚(𝑓) ∩ 𝐷𝑜𝑚(𝑔), f(x) y g(x) son números reales
por lo que podemos operar con ellos
Función suma: f+g
𝑓 + 𝑔: 𝑋 → 𝑅, (𝑓 + 𝑔)(𝑥) = 𝑓(𝑥) + 𝑔(𝑥)
Función diferencia: f-g
𝑓 − 𝑔: 𝑋 → 𝑅, (𝑓 − 𝑔)(𝑥) = 𝑓(𝑥) − 𝑔(𝑥)
Función producto: f.g
𝑓 · 𝑔: 𝑋 → 𝑅, (𝑓 · 𝑔)(𝑥) = 𝑓(𝑥) · 𝑔(𝑥)
Función cociente: f/g
𝑓 𝑓 𝑓(𝑥)
𝑔
: 𝐴 → 𝑅, 𝑔
(𝑥) = 𝑔(𝑥)
, 𝐴 = {𝑥 ∈ 𝑋: 𝑔(𝑥) ≠ 0}

Gráfica de una función

La gráfica de una función f s el conjunto de pares ordenados (x,y) donde
𝑥 ∈ 𝐷𝑜𝑚(𝑓), 𝑦 = 𝑓(𝑥). Entonces, sea ese conjunto 𝐺𝑓:
𝐺𝑓 = {(𝑥, 𝑦): 𝑥 ∈ 𝐷𝑜𝑚(𝑓), 𝑦 = 𝑓(𝑥)} = {(𝑥, 𝑓(𝑥)): 𝑥 ∈ 𝐷𝑜𝑚(𝑓)}
Un par ordenado de números reales (x,y), tiene un primer elemento x y un segundo
elemento y. Para representar los pares ordenados utilizaremos un sistema de coordenadas
cartesianas. Dibujamos en el plano dos rectas perpendiculares que denominamos ejes
coordenados
Las coordenadas del origen son (0,0). Los puntos sobre el eje x tienen ordenada 0, o sea
coordenadas (x,0) y los puntos sobre el eje y tienen abscisa 0, o sea coordenadas (0,y)
Cualquier recta vertical corta a la gráfica de una función a lo sumo en un punto
Propiedades de las funciones
Función suryectiva: Decimos que una función f es suryectiva o sobreyectiva cuando su
recorrido coincide con su codominio. O sea
𝑅𝑒𝑐(𝑓) = 𝐶𝑜𝑑𝑜𝑚(𝑓)
Función inyectiva: Decimos que una función f es inyectiva cuando a todo par de elementos
distintos del dominio le corresponden distintas imágenes. O sea:
𝑥1, 𝑥2 ∈ 𝐷𝑜𝑚(𝑓), 𝑓(𝑥1) = 𝑓(𝑥2) ⇒ 𝑥1 = 𝑥2
Función biyectiva: Una función es biyectiva cuando es suryectiva e inyectiva. Se dice en
este caso que existe una correspondencia biunívoca o uno a uno entre el dominio y el
codominio de la función f.
Conjunto simétrico: Un conjunto no vacío A de números reales es simétrico cuando
𝑥 ∈ 𝐴⇒− 𝑥 ∈ 𝐴
Función Par: Una función f es par, si su dominio es un conjunto simétrico y se verifica
𝑓(𝑥) = 𝑓(− 𝑥) ∀𝑥 ∈ 𝐷𝑜𝑚(𝑓)
La gráfica de una función par es simétrica respecto al eje y ya que
(𝑥, 𝑦) ∈ 𝐺𝑓 ⇔ 𝑥 ∈ 𝐷𝑜𝑚(𝑓), 𝑦 = 𝑓(𝑥) ⇔ − 𝑥 ∈ 𝐷𝑜𝑚(𝑓), 𝑦 = 𝑓(− 𝑥) ⇔ (− 𝑥, 𝑦) ∈ 𝐺𝑓
Función Impar: Una función f es impar, si su dominio es un conjunto simétrico y se verifica
𝑓(− 𝑥) =− 𝑓(𝑥), o bien 𝑓(𝑥) =− 𝑓(− 𝑥), ∀𝑥 ∈ 𝐷𝑜𝑚(𝑓)
La gráfica de una función impar es simétrica respecto al origen de coordenadas ya que:
(𝑥, 𝑦) ∈ 𝐺𝑓 ⇔ 𝑥 ∈ 𝐷𝑜𝑚(𝑓), 𝑦 = 𝑓(𝑥) ⇔ − 𝑥 ∈ 𝐷𝑜𝑚(𝑓), 𝑦 =− 𝑓(− 𝑥) ⇔
− 𝑥 ∈ 𝐷𝑜𝑚(𝑓), − 𝑦 = 𝑓(− 𝑥) ⇔ (− 𝑥, − 𝑦) ∈ 𝐺𝑓
Función creciente y decreciente: Sea A un subconjunto del dominio de f. Si para todo par
de puntos 𝑥1, 𝑥2 de A se tiene:
- 𝑥1 < 𝑥2 ⇒ 𝑓(𝑥1) < 𝑓(𝑥2) entonces f es creciente en A
- 𝑥1 < 𝑥2 ⇒ 𝑓(𝑥1) > 𝑓(𝑥2) entonces f es decreciente en A
- 𝑥1 < 𝑥2 ⇒ 𝑓(𝑥1) ≤ 𝑓(𝑥2) entonces f es no decreciente en A
- 𝑥1 < 𝑥2 ⇒ 𝑓(𝑥1) ≥ 𝑓(𝑥2) entonces f es no creciente en A
Una función se dice que es monótona en un conjunto si es creciente o decreciente en dicho
conjunto

Funciones elementales
Función constante: Sea c una constante real
𝑓: 𝑅 → 𝑅, 𝑓(𝑥) = 𝑐, 𝐺𝑓 = {(𝑥, 𝑦): 𝑥 ∈ 𝑅, 𝑦 = 𝑐} = {(𝑥, 𝑐): 𝑥 ∈ 𝑅}
La gráfica de la función constante es una recta paralela al eje x de ecuación y=c
Función identidad:
𝑖: 𝑅 → 𝑅, 𝑖(𝑥) = 𝑥, 𝐺𝑓 = {(𝑥, 𝑦): 𝑥 ∈ 𝑅, 𝑦 = 𝑥} = {(𝑥, 𝑥): 𝑥 ∈ 𝑅}
La gráfica de la función identidad es la recta de ecuación y=x
Función lineal
𝑓: 𝑅 → 𝑅, 𝑓(𝑥) = 𝑚𝑥 + ℎ, 𝐺𝑓 = {(𝑥, 𝑦): 𝑥 ∈ 𝑅, 𝑦 = 𝑚𝑥 + ℎ} = {(𝑥, 𝑚𝑥 + ℎ): 𝑥 ∈ 𝑅}
Si m=0, tenemos la función constante.
La gráfica de la función lineal f es la recta de ecuación y=mx+h donde m es la pendiente de
la recta y h la ordenada al origen
Función valor absoluto
𝑓: 𝑅 → 𝑅, 𝑓(𝑥) = |𝑥|
|x|=
- x si x≥0
- -x si x<0
La gráfica de f consta de dos semirrectas de ecuaciones:
- y=x si x≥0
- y=-x si x<0
Función cuadrática
2 2 2
𝑓: 𝑅 → 𝑅, 𝑓(𝑥) = 𝑥 , 𝐺𝑓 = {(𝑥, 𝑦): 𝑥 ∈ 𝑅, 𝑦 = 𝑥 } = {(𝑥, 𝑥 ): 𝑥 ∈ 𝑅}
Función potencia
𝑎 𝑎 𝑎
𝑓: 𝑅 → 𝑅, 𝑓(𝑥) = 𝑥 , 𝑐𝑜𝑛 𝑎 ∈ 𝑄 𝑐𝑡𝑒., 𝐺𝑓 = {(𝑥, 𝑦): 𝑥 ∈ 𝑅, 𝑦 = 𝑥 } = {(𝑥, 𝑥 ): 𝑥 ∈ 𝑅}
Caso 1: 𝑎 ∈ 𝑁 ⇒ 𝑓(𝑥) = 𝑥 · 𝑥 ·... · 𝑥 (𝑎 𝑣𝑒𝑐𝑒𝑠)
Caso 2: 𝑎 =− 1 ⇒ Función recíproca
1
𝑓: 𝑅 − {0} → 𝑅, 𝑓(𝑥) = 𝑥
La gráfica resultante es una hipérbola
Función parte entera
𝑓: 𝑅 → 𝑅, 𝑓(𝑥) = [𝑥]
Función mantisa
𝑓: 𝑅 → 𝑅, 𝑓(𝑥) = 𝑥 − [𝑥]
Función polinómica
𝑛 𝑛−1
𝑓: 𝑅 → 𝑅, 𝑓(𝑥) = 𝑎𝑛𝑥 + 𝑎𝑛−1𝑥 +... + 𝑎1𝑥 + 𝑎0, 𝑛 ∈ 𝑁0, 𝑎𝑛 constantes reales (coeficientes
del polinomio). 𝑎𝑛 ≠ 0, entonces 𝑎𝑛 es el grado del polinomio
Función cuadrática, caso general
2
𝑓: 𝑅 → 𝑅, 𝑓(𝑥) = 𝑎𝑥 + 𝑏𝑥 + 𝑐
Se puede demostrar completando cuadrados que los ceros de f son
2
−𝑏± 𝑏 −4𝑎𝑐
𝑥1, 𝑥2 = 2𝑎
El vértice de la gráfica de la función cuadrática es
2
−𝑏 −𝑏 +4𝑎𝑐
(𝑥, 𝑦): 𝑥 = 2𝑎
, 𝑦= 4𝑎
Y el eje de simetría corresponde a la recta vertical determinada por la coordenada x del
vértice
La función tiene mínimo o máximo si a>0 o a<0 respectivamente. En ambos casos dicho
valor corresponde a la coordenada y del vértice.
Función homográfica
Dados 𝑎, 𝑏, 𝑐, 𝑑 ∈ 𝑅, 𝑏𝑐 ≠ 𝑎𝑑, 𝑐 ≠ 0 se define la función homográfica
𝑎𝑥+𝑏 −𝑑
𝑓(𝑥) = 𝑐𝑥+𝑑
, 𝑥≠ 𝑐
Siendo a=0, b=1, c=1, d=0 obtenemos la gráfica de la función recíproca, que es una
hipérbola. A partir de esta se puede obtener la gráfica de cualquier otra función homográfica
sabiendo que
 𝑎𝑥+𝑏 𝑏𝑐−𝑎𝑑 1 𝑎
𝑓(𝑥) = 𝑐𝑥+𝑑
= 2 · 𝑐 + 𝑐
, de modo que obtenemos
𝑐 𝑥+ 𝑑
𝑎
- Asíntota horizontal: 𝑦 = 𝑐
−𝑑
- Asíntota vertical: 𝑥 = 𝑐
Función racional
𝑝(𝑥)
𝑓: 𝑅 ∩ {𝑥 ∈ 𝑅: 𝑞(𝑥) ≠ 0} → 𝑅, 𝑓(𝑥) = 𝑞(𝑥)
siendo p y q dos polinomios
Función signo
|𝑥|
𝑠𝑔𝑛(𝑥) = 𝑥
𝑠𝑖 𝑥 ≠ 0, 0 𝑠𝑖 𝑥 = 0
Función periódica
Una función es periódica de periodo p si 𝑓(𝑥) = 𝑓(𝑥 + 𝑝) ∀𝑥 ∈ 𝐷𝑜𝑚(𝑓) y p es el mínimo
número positivo que verifica esta relación
Funciones trigonométricas

Función recíprocas trigonométricas: cosecante, secante y cotangente.

1 1 𝑐𝑜𝑠(𝑥)
𝑐𝑠𝑐(𝑥) = 𝑠𝑒𝑛(𝑥)
, 𝑠𝑒𝑐(𝑥) = 𝑐𝑜𝑠(𝑥)
, 𝑐𝑜𝑡(𝑥) = 𝑠𝑒𝑛(𝑥)
Identidades trigonométricas:
2 2
1. 𝑐𝑜𝑠 𝑥 + 𝑠𝑒𝑛 𝑥 = 1
2 2
2. 1 + 𝑡𝑎𝑛 𝑥 = 𝑠𝑒𝑐 𝑥
 2 2
3. 1 + 𝑐𝑜𝑡 𝑥 = 𝑐𝑠𝑐 𝑥
4. 𝑐𝑜𝑠(𝑥 ± 𝑦) = 𝑐𝑜𝑠𝑥𝑐𝑜𝑠𝑦 ∓ 𝑠𝑒𝑛𝑥𝑠𝑒𝑛𝑦, 𝑠𝑒𝑛(𝑥 ± 𝑦) = 𝑠𝑒𝑛𝑠𝑥𝑐𝑜𝑠𝑦 ± 𝑐𝑜𝑠𝑥𝑠𝑒𝑛𝑦,
𝑥+𝑦 𝑥−𝑦 𝑥+𝑦 𝑥−𝑦
5. 𝑐𝑜𝑠𝑥 + 𝑐𝑜𝑠𝑦 = 2𝑐𝑜𝑠 2
𝑐𝑜𝑠 2 , 𝑐𝑜𝑠𝑥 − 𝑐𝑜𝑠𝑦 =− 2𝑠𝑒𝑛 2
𝑠𝑒𝑛 2 ,
𝑥+𝑦 𝑥−𝑦 𝑥+𝑦 𝑥−𝑦
6. 𝑠𝑒𝑛𝑥 + 𝑠𝑒𝑛𝑦 = 2𝑠𝑒𝑛 2 𝑐𝑜𝑠 2 , 𝑠𝑒𝑛𝑥 − 𝑠𝑒𝑛𝑦 = 2𝑐𝑜𝑠 2
𝑠𝑒𝑛 2
2 2
7. 𝑐𝑜𝑠(2𝑥) = 𝑐𝑜𝑠 𝑥 − 𝑠𝑒𝑛 𝑥, 𝑠𝑒𝑛(2𝑥) = 2𝑠𝑒𝑛𝑥𝑐𝑜𝑠𝑥
2 1+𝑐𝑜𝑠2𝑥 2 1−𝑐𝑜𝑠2𝑥
8. 𝑐𝑜𝑠 𝑥 = 2
, 𝑠𝑒𝑛 𝑥 = 2
Para algunas demostraciones pueden ser útiles las siguientes igualdades
𝑥+𝑦 𝑥−𝑦 𝑥+𝑦 𝑥−𝑦
𝑥= 2
+ 2
, 𝑦= 2
− 2
Ley del coseno
En cualquier triángulo de lados a,b,c con respectivos ángulos opuestos A,B,C
2 2 2
𝑐 = 𝑎 + 𝑏 − 2𝑎𝑏𝑐𝑜𝑠𝐶
Ley del seno
En cualquier triángulo de lados a,b,c con respectivos ángulos opuestos A,B,C
𝑠𝑒𝑛𝐴 𝑠𝑒𝑛𝐵 𝑠𝑒𝑛𝐶
𝑎
= 𝑏
= 𝑐
Función exponencial
𝑥
𝑓(𝑥) = 𝑎 , 𝑎 > 0, 𝑎 ≠ 1
Función logarítmica
𝑦
𝑓(𝑥) = 𝑙𝑜𝑔𝑎𝑥, 𝑎 > 0, 𝑎 ≠ 1: 𝑙𝑜𝑔𝑎𝑥 = 𝑦 ⇔ 𝑎 = 𝑥
Propiedades del logaritmo y la exponencial
𝑎 > 1⇒
𝑥 𝑦 𝑥+𝑦
𝑖) 𝑙𝑜𝑔𝑎(𝑥𝑦) = 𝑙𝑜𝑔𝑎𝑥 + 𝑙𝑜𝑔𝑎𝑦; 𝑎 + 𝑎 = 𝑎
𝑥
𝑥 𝑎 𝑥−𝑦
𝑖𝑖) 𝑙𝑜𝑔𝑎( 𝑦 ) = 𝑙𝑜𝑔𝑎𝑥 − 𝑙𝑜𝑔𝑎𝑦; 𝑦 =𝑎
𝑎
𝑦 𝑥 𝑦 𝑥𝑦
𝑖𝑖𝑖) 𝑙𝑜𝑔𝑎(𝑥 ) = 𝑦𝑙𝑜𝑔𝑎𝑥; (𝑎 ) = 𝑎
Funciones trigonométricas inversas
−1
𝑎𝑟𝑐𝑠𝑒𝑛(𝑥) = 𝑠𝑒𝑛 (𝑥) = 𝑦 ⇔ 𝑠𝑒𝑛(𝑦) = 𝑥
−π π
𝑎𝑟𝑐𝑠𝑒𝑛: [− 1, 1] → [ 2
, 2
]
−1
𝑎𝑟𝑐𝑐𝑜𝑠(𝑥) = 𝑐𝑜𝑠 (𝑥) = 𝑦 ⇔ 𝑐𝑜𝑠(𝑦) = 𝑥
𝑎𝑟𝑐𝑐𝑜𝑠(𝑥): [− 1, 1] → [0, π]
−1
𝑎𝑟𝑐𝑡𝑎𝑛(𝑥) = 𝑡𝑎𝑛 (𝑥) = 𝑦 ⇔ 𝑡𝑎𝑛(𝑦) = 𝑥
−π π
𝑎𝑟𝑐𝑡𝑎𝑛: 𝑅 → ( 2
, 2
)
Funciones hiperbólicas
𝑥 −𝑥
𝑒 −𝑒
𝑠𝑒𝑛ℎ(𝑥) = 2
𝑥 −𝑥
𝑒 +𝑒
𝑐𝑜𝑠ℎ(𝑥) = 2
𝑠𝑒𝑛ℎ(𝑥)
𝑡𝑎𝑛ℎ(𝑥) = 𝑐𝑜𝑠ℎ(𝑥)
Gráfica de una función definida a partir de otra
Traslaciones o reflexiones respecto de una recta
Si g(x)=-f(x), entonces la gráfica de g se obtiene a partir de una reflexión respecto al eje x de
la gráfica de f
Si g(x)=|f(x)|, entonces la gráfica de g se obtiene a partir de una reflexión respecto al eje x
de los valores negativos de la gráfica de f, y de los valores positivos de la misma
Si g(x)=f(x)+A, la gráfica de g se obtiene a través de trasladar verticalmente hacia arriba A
unidades la gráfica de f. Si A es negativo, entonces se traslada hacia abajo
Si g(x)=f(x+A), la gráfica de g se obtiene trasladando horizontalmente A unidades hacia la
izquierda la gráfica de f. Si A es negativo, se traslada hacia la derecha.
Cambio de tamaño y reflexión
Con algún c>1
y=c*f(x) dilata o estira verticalmente la gráfica de f
y=(1/c)*f(x) comprime verticalmente la gráfica de f
y=f(cx) comprime horizontalmente la gráfica de f
y=f(x/c) dilata o estira horizontalmente la gráfica de f
Con c=-1
y=f(-x) refleja la gráfica de f respecto al eje y

Composición de funciones
Dadas dos funciones 𝑓: 𝐷𝑜𝑚(𝑓) → 𝑅, 𝑔: 𝐷𝑜𝑚(𝑔) → 𝑅, se puede definir una nueva función h
denominada compuesta de f con g mediante la siguiente ley:
ℎ(𝑥) = 𝑓(𝑔(𝑥)) = (𝑓 ◦ 𝑔)(𝑥)
Por lo tanto, x debe pertenecer al Dom(g) y g(x) al Dom(f)
Es decir 𝐷𝑜𝑚(𝑓 ◦ 𝑔) = {𝑥 ∈ 𝐷𝑜𝑚(𝑔): 𝑔(𝑥) ∈ 𝐷𝑜𝑚(𝑓)}
Por norma general, 𝑔 ◦ 𝑓 ≠ 𝑓 ◦ 𝑔

Funciones inversas
Una función es inyectiva cuando a todo par de elementos distintos del dominio le
corresponden distintas imágenes, o sea, 𝑥1, 𝑥2 ∈ 𝐷𝑜𝑚(𝑓), 𝑥1 ≠ 𝑥2 ⇒ 𝑓(𝑥1) ≠ 𝑓(𝑥2)
O bien, 𝑥1, 𝑥2 ∈ 𝐷𝑜𝑚(𝑓), 𝑓(𝑥1) = 𝑓(𝑥2) ⇒ 𝑥1 = 𝑥2
En una función inyectiva, toda recta horizontal debe cortar a la gráfica de la función en a lo
sumo un punto
Una función es biyectiva cuando es sobreyectiva e inyectiva. Entonces existe una
correspondencia biunívoca o uno a uno entre el dominio y el codominio de f
Cuando f es biyectiva podemos asignar a cada elemento del recorrido de f su única
preimagen perteneciente al dominio mediante una función que llamaremos inversa de f
−1
Sea f una función inyectiva 𝑓: 𝐴 → 𝐵, entonces su inversa 𝑓 : 𝐵 → 𝐴 se define para cada
elemento y de B como
−1
𝑓 (𝑦) = 𝑥 ⇔ 𝑓(𝑥) = 𝑦
La gráfica de la inversa se obtiene de reflejar (x,y) respecto de la recta de ecuación y=x. Es
decir, las gráficas de f y su inversa son simétricas respecto a la gráfica de la función
identidad

Trigonometría
Definimos π 𝑟𝑎𝑑 = 180°
En un triángulo rectángulo, dado un ángulo θ que no sea el recto, el cateto adyacente (ady)
es el que define al ángulo junto con la hipotenusa (hip), y el cateto opuesto (op) es el lado
restante.
Entonces definimos las siguientes relaciones
𝑜𝑝 𝑎𝑑𝑦 𝑜𝑝 ℎ𝑖𝑝 ℎ𝑖𝑝 𝑎𝑑𝑦
𝑠𝑒𝑛(θ) = ℎ𝑖𝑝
, 𝑐𝑜𝑠(θ) = ℎ𝑖𝑝
, 𝑡𝑎𝑛(θ) = 𝑎𝑑𝑦
, 𝑐𝑠𝑐(θ) = 𝑜𝑝
, 𝑠𝑒𝑐(θ) = 𝑎𝑑𝑦
, 𝑐𝑜𝑡(θ) = 𝑜𝑝

Números Reales

Axiomas

Axiomas de cuerpo.
Sean a, b, c ∈ R (es decir, son números reales cualesquiera). Son válidas las siguientes
afirmaciones:
A1) Propiedades conmutativas:
- a+b=b+a
- ab = ba.
A2) Propiedades asociativas:
- a + (b + c) = (a + b) + c
- a(bc) = (ab)c.
A3) Propiedad distributiva:
- a(b + c) = ab + ac.
A4) Existencia de elementos neutros: Existen dos números reales distintos, denotados con 0
y 1, tales que, para todo a ∈ R, verifican
- a+0=0+a=a
- a · 1 = 1 · a = a.
A5) Existencia de elementos opuestos: Para todo número real a, existe un número real b tal
que
- a + b = b + a = 0.
A6) Existencia de elementos recíprocos: Para todo número real a ≠ 0, existe un número
real b tal que
- ab = ba = 1.

Axiomas de Orden
+ +
A7) Si a ∈ 𝑅 y b ∈ 𝑅 , entonces
 +
- a+b∈𝑅
+
- ab ∈ 𝑅 .
+ +
A8) Para todo a ∈ R tal que a ≠ 0, vale que a ∈ 𝑅 ó −a ∈ 𝑅 , pero no ambas.
A9) 0 ∉ R +. (Es decir: el 0, el elemento neutro de la suma, no es un número positivo.)

Axioma del Supremo

A10) Axioma del Supremo: Todo conjunto no vacío de números reales que sea acotado
superiormente tiene un supremo.

Propiedades de la igualdad
Junto a los axiomas se presupone la validez de las siguientes propiedades de la igualdad:
Propiedad de reflexividad: para todo a vale, a = a.
Propiedad de simetría: si a = b, entonces b = a.
Propiedad de transitividad: si a = b y b = c, entonces a = c.

Teoremas y Demostraciones
En las demostraciones, aparecerán aclaraciones como (A2) o (A5) entre paréntesis; hacen
referencias a los axiomas que justifican los pasos correspondientes. Es posible que en no
todas las demostraciones se indique el axioma o propiedad que justifica cada paso de las
mismas.

Teorema 1 - Propiedad Cancelativa de la Suma

Hipótesis y Tesis: Sean a, b, c ∈ R.
Si a + b = a + c, entonces b = c
Demostración: Sean a, b y c números reales tales que a + b = a + c. Llamemos con d a la
suma a + b. Es decir, sea d = a + b (y por ende, d = a + c).
Por el axioma 5, existe al menos un número, llamémoslo y, que es opuesto a a; es decir, que
verifica a + y = y + a = 0.
Entonces:
y + d = y + (a + b) =(A2)
(y + a) + b = 0 + b =(A4)
b.
Luego, y + d = b.
Pero también y + d = c;
en efecto:
y + d = y + (a + c) =(A2)
(y + a) + c = 0 + c =(A4)
c.
Por lo tanto b = c
Corolario 1 - Unicidad del elemento neutro de la suma
Hipótesis y Tesis: Si 0 ′ es un número que verifica que a + 0′ = 0′ + a = a, para todo a ∈ R,
entonces 0 ′ = 0.
Demostración: El axioma 4 afirma que 0 es un elemento neutro para la suma. Supongamos
que 0 ′ es un número que también funciona como neutro de la suma, es decir que
a + 0′ = 0′ + a = a para todo a ∈ R.
Sea a un número cualquiera. Entonces
a + 0 = a y también a + 0′ = a. Luego,
a + 0 = a + 0′ , y, por la propiedad cancelativa de la suma,
0 = 0′ .

Corolario 2 - Unicidad del elemento opuesto

Hipótesis y Tesis: Para todo a ∈ R, existe un único número b tal que a + b = b + a = 0.
Demostración: Dado a ∈ R, la existencia de un número b tal que a+b = b+a = 0 está
garantizada por el axioma 5. Lo que debemos probar es que hay un solo número capaz de
satisfacer aquello. Supongamos que hubiera otro:
sea b ′ ∈ R tal que a + b ′ = b ′ + a = 0. En particular, tenemos que
a + b = 0 y a + b ′ = 0.
Luego,
a + b = a + b ′ , y, por la propiedad cancelativa de la suma,
b=b′
Notación: para cualquier número a, denotamos con −a al único elemento opuesto de a.
Aclaración: a no es necesariamente negativo.

Teorema 2 - Propiedades del elemento opuesto

Definición: Llamamos diferencia entre dos números reales a y b, y la denotamos con a−b,
al número dado por la suma de a y el opuesto de b. Es decir, a − b = a + (−b).
Hipótesis y Tesis: Sean a, b, c ∈ R (cualesquiera). Entonces:
1. −(−a) = a (El número opuesto al opuesto de a es el propio número a).
2. −0 = 0 (El opuesto a 0 es el propio 0).
3. 0 · a = 0. (El producto de 0 con cualquier otro número, es 0).
4. a(−b) = −(ab) = (−a)b.
5. (−a)(−b) = ab
6. a(b − c) = ab − ac.
Demostración:
1. Dado a ∈ R, su opuesto −a también es un número real y por lo tanto tiene que
existir su elemento opuesto (por el Axioma 5, aplicado sobre −a); es decir, debe
existir un número real d tal que
(−a) + d = d + (−a) = 0.
Más aún, por el Corolario anterior, sabemos que hay un único número d que verifica
aquello. Ahora bien, como −a es el elemento opuesto a a, vale
(−a) + a = a + (−a) = 0.
Por lo tanto, d = a; es decir, −(−a) = a.
 2. Hemos visto que si a y b son números cualesquiera tales que a + b = 0 entonces uno
es el opuesto del otro. En particular, como 0 + 0 = 0, entonces −0 = 0.
3. Notar que
0 · a = (A4)
(0 + 0) · a = (A1 y A3)
0 · a + 0 · a y también
0 · a = (A4)
0 · a + 0, de donde
0 · a + 0 · a = (Transitividad)
0 · a + 0.
Por la propiedad cancelativa de la suma,
0 · a = 0.
4. Basta probar por separado estas dos igualdades:
a(−b) = −(ab) y (−a)b = −(ab), es decir se debe probar que ab es el elemento opuesto
a a(−b) y también a (−a)b.
a(-b) + ab = a(-b + b) = 0a = 0
(-a)b + ab = b(-a + a) = 0b = 0
5. (-a)(-b) = ab => (-a)(-b) + -(ab) = 0
(-a)(-b) + -(ab) =
(-a)(-b) + (-a)b =
(-a)(-b + b) =
0(-a) = 0
6. a(b - c) =
a(b + (-c)) =
ab + a(-c) =
ab + -(ac) =
ac - ac

Teorema 3 - Propiedad cancelativa del producto

Hipótesis y Tésis: Sean a, b, c ∈ R, con a ≠ 0. Si ab = ac, entonces b = c.
Demostración: Sea d el recíproco de a (que existe ya que a es distinto de 0), y e = ab = ac
de = dab = adb = (ad)b = 1b = b
A su vez,
de = dac = adc = (ad)c = 1c = c
Como de = de, de = b y de = c, por lo tanto, b = c

Corolario 3 - Unicidad del elemento neutro del producto

Hipótesis y Tésis: Si 1′ es un número que verifica que a · 1′ = 1′ · a = a para todo a ∈ R,
entonces 1′ = 1.
Demostración: Sabemos que 1 · a = a por A4. Por hipótesis, 1′ · a = a. Entonces,
1′ · a = 1 · a
Por propiedad cancelativa de producto,
1′ = 1
Corolario 4 - Unicidad del recíproco o inverso
Hipótesis y Tésis: Para todo a ∈ R − {0}, existe un único número b tal que ab = ba = 1.
Demostración: Sea b el recíproco de a, supongamos que b’ también lo es.
ab = 1; ab’ = 1 => ab = ab’
Por propiedad cancelativa del producto,
b = b’
Notación: A partir de la unicidad recién demostrada, dado a ≠ 0, al único número que es
−1
recíproco de a se lo denota con 𝑎 .

Teorema 4 - Propiedades del recíproco

Definición: Si a y b son dos número reales y b ≠ 0, llamamos cociente entre a y b, y lo
𝑎
denotamos con 𝑏
(o también a/b), al número dado por el producto de a y el recíproco de b.
𝑎 −1
Es decir, 𝑏
= 𝑎𝑏
Hipótesis y Tésis:
Sean a, b, c, d ∈ R.
1. El número 0 no tiene recíproco. (Y es por esto que “no se puede dividir por cero”).
−1
2. 1 =1
1 −1
3. a/1 = a; y si a ≠ 0, 𝑎
=𝑎 .
4. Si ab = 0, entonces a = 0 o b = 0.
5. Si b ≠ 0 y d ≠ 0 entonces:
−1 −1 −1
a. (𝑏𝑑) =𝑏 𝑑
𝑎 𝑐 𝑎𝑑+𝑐𝑏
b. 𝑏
+ 𝑑
= 𝑏𝑑
𝑎 𝑐 𝑎𝑐
c. 𝑏
· 𝑑
= 𝑏𝑑
𝑎 −1
−1
𝑎
6. Si a ≠ 0 y b ≠ 0, entonces ( 𝑏 ) = −1
𝑏
7. −a = (−1) · a
Demostración:
1. Supongamos que existe a tal que a es recíproco de 0. Por definición de recíproco, 0a
= 1. Pero ya vimos que 0a = 0 para todo A ∈ R. Como 0a = 0 = 1, lo cual es absurdo,
no existe a ∈ R que verifique la igualdad 0a = 1, y entonces 0 no tiene recíproco
2. sea a el recíproco de 1, sabemos que 1a = 1. Por A4, 1a = a => a = 1
𝑎 −1 1 −1 −1
3. 1
= 𝑎1 = 1𝑎 = 𝑎; 𝑎
= 1𝑎 =𝑎
4. Sea ab = 0, si a = 0 la afirmación es verdadera. Si a ≠ 0, existe c igual al recíproco
de a. 1 * 0 = (ac)b = (ab)c = 0*c = 0. Por otra parte, (ac)b = 1b = b. Por lo tanto, b=0
5. sea b ≠ 0 y d ≠ 0, ambos tienen recíproco
−1
a. 𝑏𝑑(𝑏𝑑) = 1 (A6)
−1 1 −1
𝑏(𝑏𝑑) = 𝑑
(Multiplicamos por 𝑑 en ambos lados y simplificamos)
−1 1 1 −1 −1 −1 1 −1
(𝑏𝑑) = 𝑏 𝑑
= 𝑏 𝑑 (Repetimos el paso anterior con 𝑏 ; 𝑎
=𝑎 )
𝑎 𝑐 −1 −1 −1 −1 −1 −1 −1 −1
b. 𝑏
+ 𝑑
= 𝑎𝑏 + 𝑐𝑑 = 𝑏𝑑(𝑏𝑑) (𝑎𝑏 + 𝑐𝑑 ) = (𝑏𝑑) (𝑎𝑏𝑑𝑏 + 𝑐𝑏𝑑𝑑 ) =
 −1 𝑎𝑏+𝑐𝑏
(𝑏𝑑) (𝑎𝑑 + 𝑐𝑏) = 𝑏𝑑
𝑎 𝑐 −1 −1 −1 −1 −1 −1 𝑎𝑐
c. 𝑏 𝑑
= 𝑎𝑏 𝑐𝑑 = 𝑎𝑐𝑏 𝑑 = (𝑎𝑐)(𝑏 𝑑 ) = 𝑏𝑑
−1 −1
6. Si a ≠ 0 y b ≠ 0, existen 𝑎 𝑦𝑏 .
𝑎 −1 −1 −1 −1 −1
−1
−1 𝑎
(𝑏) = (𝑎𝑏 ) = 𝑎 (𝑏 ) = −1
𝑏
7. -a = (A4)
1 · (-a) = (Teorema 2, punto 4)
(−1) · a

Definición de signos de desigualdad

Vamos a definir los símbolos
<, menor que
>, mayor que
≤, menor o igual que
≥, mayor o igual que,
de la siguiente forma:
Sean a y b dos números culesquiera:
+
a < b significa que b − a ∈ 𝑅 .
+
a > b significa que a − b ∈ 𝑅 , es decir, b < a.
+
a ≤ b significa que, o bien b − a ∈ 𝑅 , o bien a = b.
+
a ≥ b significa que, o bien a − b ∈ 𝑅 , o bien a = b; es decir, b ≤ a.
Con estas definiciones a > 0 si y sólo si a es positivo. Más aún, se deduce:
1. Si a > 0, entonces −a < 0:
+ +
Existe -a ∈ R. Sabemos que a ∈ 𝑅 (ya que a > 0). Por A8, -a ∉ 𝑅 => -a ≤ 0. A su
vez, como a > 0 => a ≠ 0 => -a ≠ 0 => a < 0
2. Si a < 0, entonces −a > 0:
Se deduce análogamente al punto anterior
+
Si a < 0 (esto es, si −a ∈ 𝑅 ) se dice que a es negativo. Así, el Axioma 8 se puede
reexpresar diciendo que todo número distinto de 0 es positivo o negativo, pero no ambos.
Si a ≥ 0, se dice que a es no negativo.

Teorema 5 - Propiedad de Tricotomía

Hipótesis y Tesis: Dados dos números reales cualesquiera a y b, se verifica una y sólo una
de las siguientes proposiciones:
1. a < b
2. b < a
3. a = b
Demostración: Sean a y b dos números reales cualesquiera. Llamemos c = a − b.
Obviamente se cumple exactamente una de esta dos posibilidades: o es c = 0 o es c ≠ 0. Si
c = 0, entonces a − b = 0, y por lo tanto a = b. Caso contrario, si c ≠ 0, entonces el Axioma 8
impone que sea c ∈ R + o −c ∈ R +, pero no ambas ciertas. De esto se deduce
respectivamente que b < a o a < b, pero no ambas. Por lo tanto, una y solo una de las
siguientes afirmaciones es cierta: a < b, b < a o a = b

Teorema 6 - Propiedad Transitiva de la relación de menor

Hipótesis y Tesis: Dados a, b, c ∈ R, si a < b y b < c entonces a < c.
Demostración:
+ +
Sea a, b, c ∈ R tales que a < b y b < c; b − a ∈ 𝑅 y c − b ∈ 𝑅 . Por A7,
+
(b - a) + (c - b) ∈ 𝑅 => (Definición de resta)
+
b + (-a) + c + (-b) ∈ 𝑅 => (A5)
+
(-a) + c ∈ 𝑅 => (Definición de resta)
+
c - a ∈ 𝑅 => a < c (Propiedad del <)

Teorema 7 - Propiedades de las desigualdades

Hipótesis y Tesis: Sean a, b, c, d ∈ R.
1. Si a < b, entonces a + c < b + c.
2. Si a < b y c < d entonces a + c < b + d.
3.
a. Si a < b y c > 0, entonces ac < bc.
b. Si a < b y c < 0, entonces ac > bc.
2 2
4. Si a ≠ 0, entonces 𝑎 > 0 (donde 𝑎 es una notación para el producto aa).
+
5. 1 > 0. Es decir, 1 ∈ 𝑅
6. Si a < b, entonces −b < −a
7. ab > 0 si y sólo si a y b son los dos positivos o los dos negativos.
8. ab < 0, entonces o bien a es positivo y b negativo o bien a es negativo y b positivo.
1
9. a > 0 si y sólo si 𝑎
>0
1 1
10. Si 0 < a < b, entonces 0 < 𝑏
< 𝑎
.
Demostración:
+
1. Sean a, b y c ∈ R; a < b => b - a ∈ 𝑅
b - a = (A4)
b - a + 0 = (A5)
b - a + (c + (-c)) = (Def de resta)
b - a + c - c = (A1)
b + c - a - c = (A2)
b + c + (-a -c) = (Def de resta)
b + c - (a + c) => (Propiedad del <)
b+c<a+c
+ +
2. Sean a, b, c y d; a < b => b - a ∈ 𝑅 ; c < d => d - c ∈ 𝑅
+
(b - a) + (d - c) ∈ 𝑅 (A7)
b - a + d - c = (Def de opuesto)
b + (-a) + d + (-c) = (A1)
b + d + (-a) + (-c) = (Def de resta)
 +
b + d - (a + c) ∈ 𝑅 => (Propiedad del <)
a+c<b+d
+
3. Sean a, b, c ∈ R, a < b => b - a ∈ 𝑅 ; c > 0
+
c(b - a) ∈ 𝑅 (A7)
c(b - a) = (A3)
+
cb - ca ∈ 𝑅 = (A1)
bc - ca => (Propiedad del <)
ac < bc
Sea c < 0
+
-c(b - a) ∈ 𝑅 (A7)
-c(b - a) = (A3)
-cb - (-ca) = (Def de resta)
-cb + ca = (A1)
+
ac - bc ∈ 𝑅 => (Propiedad del <)
bc < ac ⇔ ac > bc
4. a ∈ R, a ≠ 0.
Si 𝑎 > 0 => 𝑎𝑎 > 0 (A7)
Si 𝑎 < 0 => (A7)
+
(-a)(-a) ∈ 𝑅
(-a)(-a) = (Propiedad de opuesto)
(-1)a(-1)a = (A1)
aa(-1)(-1) = (Propiedad de opuesto)
aa(1)(1) = (A4)
+ 2
aa ∈ 𝑅 => 𝑎 > 0
−1 −1
5. 0 = 0a; 1 = 𝑎𝑎 ; 1 - 0 = 𝑎𝑎 − 0𝑎
−1
𝑎𝑎 − 0𝑎 = (A3)
−1
𝑎(𝑎 − 0) = (A4)
−1
𝑎𝑎
−1 −1
Si a > 0; 𝑎 > 0; Si a < 0; 𝑎 < 0 ⇒ (***)
−1 + +
𝑎𝑎 ∈ 𝑅 => 1 - 0 ∈ 𝑅 =>
1>0
(***) Punto 7 del teorema
+ +
6. Sean a, b, a < b => b - a ∈ 𝑅 ; (b - a)(-1) ∉ 𝑅
(b - a)(-1) = (A3)
-b + a = (A1)
a - b ≤ 0 => (Prop de <)
-a + a - b ≤ -a => (A5)
-b ≤ -a, Pero b ≠ a => (Unicidad del elem opuesto)
-b ≠ -a =>
-b < -a
7. Ida:
 ab > 0 => (Prop de >)
+
ab - 0 ∈ 𝑅 => (A4)
+
ab ∈ 𝑅 =>
- En caso de que a > 0 y b > 0, se cumple ab > 0 (por A7)
- Si uno de los dos es negativo (sin pérdida de generalidad, digamos que a),
(-a)b > 0 => (Prop de > y del opuesto)
a + a(-b) > a => (A3)
a(1 - b) > a => (Prop de >)
(1/a)a(1 - b) > (1/a)a => (A6)
1 - b > 1 => (Prop de >)
(-1) + 1 - b > (-1) + 1 => (A5)
-b > 0 =>
b<0
Vuelta:
Si a > 0 y b > 0, por (A7), ab > 0
Si a < 0 y b < 0, (-a)(-b) > 0
(-a)(-b) =
(-1)a(-1)b =
ab(-1)(-1) =
ab(1)(1) =
+
ab ∈ 𝑅 =>
ab > 0
+
8. ab < 0 => 0 - ab ∈ 𝑅 =>
0 - ab > 0 => (A4)
-ab > 0 => (Prop del Opuesto)
(-a)b > 0 ∨ a(-b) > 0 => (Propiedad previamente demostrada)
(-a > 0 ∧ b > 0) ∨ (-b > 0 ∧ a > 0) => (A8)
(a < 0 ∧ b > 0) ∨ (b < 0 ∧ a > 0)
−1
9. 1 > 0 => 𝑎𝑎 > 0
Como vimos, el producto de dos números es mayor a 0 si ambos son mayores a 0.
−1
Luego, si 𝑎 > 0 => 𝑎 >0
Si aplicamos A1
−1 −1
𝑎 𝑎 > 0 => Si 𝑎 > 0 => 𝑎 > 0
10. Sea 𝑎 > 0 y 𝑏 > 𝑎
−1 −1 −1 −1
𝑎𝑎 = 1 = 𝑏𝑏 => 𝑏 > 0 ∧𝑎 >0
−1 −1
Por lo tanto debemos demostrar que 𝑏 > 𝑎 ⇒ 𝑏 <𝑎
+
𝑏 > 𝑎 ⇒ 𝑏 − 𝑎 ∈ 𝑅 ⇒ (Propiedad de >)
−1 −1 −1 −1 +
𝑏𝑏 𝑎 − 𝑎𝑏 𝑎 ∈ 𝑅 ⇒ (Teorema 3)
−1 −1 −1 −1 +
(𝑏𝑏 )𝑎 − 𝑏 (𝑎𝑎 ) ∈ 𝑅 ⇒ (A2)
−1 −1 +
1𝑎 − 1𝑏 ∈ 𝑅 ⇒ (A4)
−1 −1 +
𝑎 −𝑏 ∈ 𝑅 ⇒ (Propiedad de >)
 −1 −1
𝑎 >𝑏

Subconjuntos de los Reales

Definición. Llamamos conjunto de números naturales al conjunto
N = {1, 2, 3, 4, . . . , 10, 11, . . . }.
+
Notemos que N ⊂ 𝑅 , pues 0 < n para todo n ∈ N. El conjunto de los naturales verifica dos
propiedades básicas:
1. El número 1 pertenece al conjunto.
2. Si a pertenece al conjunto, también a + 1 pertenece. (Es un conjunto inductivo)
Al conjunto formado por los naturales, sus opuestos y el 0 se lo denomina conjunto de
números enteros, Z. Así,
Z = {x ∈ R : x ∈ N ∨ −x ∈ N ∨ x = 0} = {. . . , −3, −2, −1, 0, 1, 2, 3. . . . }
Al conjunto de todos los números reales que se obtienen como cocientes de números
enteros se lo llama conjunto de números racionales, Q:
Q = {x ∈ R : ∃p, q ∈ Z, q ≠ 0 tal que x = p/q}
Los números reales que no son racionales forman el conjunto de números irracionales,
I : I = R − Q = {x ∈ R : x /∈ Q}.

Proposición 1 - Entre a y b reales existen infinitos números

Hipótesis y Tesis: Para todo par de números reales a y b, con a<b, existe otro número real
x tal que a < x < b
𝑎+𝑏
Demostración: Sean a, b ∈ R, con a < b. Sea 𝑥 = 2
𝑎+𝑏 𝑎+𝑏−2𝑎 𝑏−𝑎
𝑥−𝑎= 2
−𝑎 = 2
= 2
Como b - a > 0 y 2 > 0 => x - a > 0 => x > a
Por otra parte,
𝑎+𝑏 2𝑏 − (𝑎+𝑏) 𝑏−𝑎
𝑏−𝑥 =𝑏− 2
= 2
= 2
> 0 => 𝑥 < 𝑏 => 𝑎 < 𝑥 < 𝑏

Definición de intervalos
Definición. Dados a, b ∈ R, con a < b, se definen los siguientes conjuntos:
(a, b) = {x ∈ R : a < x < b} (intervalo abierto).
[a, b) = {x ∈ R : a ≤ x < b} (intervalo semiabierto).
(a, b] = {x ∈ R : a < x ≤ b} (intervalo semiabierto).
[a, b] = {x ∈ R : a ≤ x ≤ b} (intervalo cerrado).
(a, +∞) = {x ∈ R : a < x}.
[a, +∞) = {x ∈ R : a ≤ x}.
(−∞, b) = {x ∈ R : x < b}.
(−∞, b] = {x ∈ R : x ≤ b}.

Definición de valor absoluto

Definición. Dado x ∈ R, su valor absoluto es el número real |x| definido por:
|x| =
 - x, si x ≥ 0
- −x, si x < 0

Proposición 2 (Propiedades del valor absoluto).

Hipótesis y Tesis: Sean x, y ∈ R. Entonces:
1. |x| ≥ 0. Además, |x| = 0 si y sólo si x = 0.
2. |x| = | − x|.
3. −|x| ≤ x ≤ |x|.
4. Dado a > 0, se tiene:
a. |x| < a si y sólo si −a < x < a.
b. |x| > a si y sólo si x < −a o bien a < x.
5. Desigualdad triangular: |x + y| ≤ |x| + |y|
6. |x · y| = |x| · |y|
𝑥 |𝑥|
7. Si y ≠ 0, || 𝑦 || = |𝑦|
Demostración:
1. Si 𝑥 ≥ 0, por definición, |𝑥| = 𝑥 ≥ 0
Si 𝑥 < 0, por definición, |𝑥| =− 𝑥. Entre x y -x, si 𝑥 ≠ 0, uno es positivo, pero no
ambos (el otro es negativo). En este caso, x es negativo, lo que implica que -x > 0
Por lo tanto, si x < 0 => |𝑥| > 0 => |𝑥| ≥ 0
Si 𝑥 = 0 ⇒ 𝑥 ≥ 0 ⇒ |𝑥| = 𝑥 = 0
Por otro lado,
Si |𝑥| = 0 ⇒ 𝑥 = |𝑥| = 0 ∨− 𝑥 = |𝑥| =− 0 = 0 ⇒ 𝑥 = 0
2. Si x > 0, -x < 0 => |− 𝑥| =− (− 𝑥) = 𝑥 y |𝑥| = 𝑥 => |x| = | − x|.
Si x < 0, -x > 0 => |− 𝑥| = (− 𝑥) y |𝑥| = (− 𝑥) => |x| = | − x|.
3. −|x| ≤ x ≤ |x|.
En primer lugar,
+ +
− |𝑥| ≤ 𝑥 ⇒ 𝑥 − (− |𝑥|) ∈ 𝑅0 ⇒ 𝑥 + |𝑥| ∈ 𝑅0
+
Si 𝑥 ≥ 0, |𝑥| ≥ 0 ⇒ 𝑥 + |𝑥| ∈ 𝑅0
+
Si 𝑥 < 0, |𝑥| =− 𝑥 ⇒ 𝑥 + |𝑥| = 0 ∈ 𝑅0
Por lo tanto, 𝑥 ≥− |𝑥|
Luego,
+
𝑥 ≤ |𝑥| ⇒ |𝑥| − 𝑥 ∈ 𝑅0
+
Si 𝑥 ≥ 0, |𝑥| = 𝑥 ⇒ |𝑥| − 𝑥 = 𝑥 − 𝑥 = 0 ∈ 𝑅0
+
Si 𝑥 < 0, |𝑥| =− 𝑥 ⇒ |𝑥| − (− 𝑥) = |𝑥| + 𝑥 = 0 ∈ 𝑅0
4. Sea a > 0
a. |x| < a si y sólo si −a < x < a.
Si 𝑎 > 0 ∧ 𝑎 > |𝑥| ⇒ |𝑎| > |𝑥| ⇒ − 𝑎 <− |𝑥| ⇒ − 𝑎 < |𝑥|
Por lo tanto, − 𝑎 < 𝑥 < 𝑎
Por otro lado,
− 𝑎 < 𝑥 < 𝑎⇒− 𝑎 < 𝑥 ∧ 𝑥 < 𝑎⇒
 + + + +
𝑥 − (− 𝑎) ∈ 𝑅 ∧ 𝑎 − 𝑥 ∈ 𝑅 ⇒ 𝑥 + 𝑎 ∈ 𝑅 ∧ 𝑎 − 𝑥 ∈ 𝑅
+ +
𝑎 − 𝑥 ∈ 𝑅 ⇒ 𝑎 + (− 𝑥) ∈ 𝑅 ⇒
Si 𝑥 < 0 ⇒ − 𝑥 > 0 ⇒ 𝑎 + (− 𝑥) > 0
Si 𝑥 > 0 ⇒ − 𝑥 < 0 ⇒ 𝑎 + (− 𝑥) > 0 ⇒ 𝑎 > 𝑥 ⇒ 𝑎 > |𝑥|
b. |x| > a si y sólo si x < −a o bien a < x.
|𝑥| > 𝑎 ⇒ |𝑥| − 𝑎 > 0
Si 𝑥 > 0 ∧ |𝑥| > 𝑎 ⇒ 𝑥 > 𝑎
Si 𝑥 < 0 ∧ |𝑥| > 𝑎 ⇒ − 𝑥 > 𝑎 ⇒ 𝑥 <− 𝑎
Por otro lado,
Si 𝑥 > 𝑎 ⇒ 𝑥 > 0 ⇒ |𝑥| > 𝑎
Si
𝑥 < (− 𝑎) ⇒ (− 𝑎) − 𝑥 > 0 ⇒ − 𝑥 − 𝑎 > 0 ⇒ − 𝑥 > 𝑎 ⇒ |− 𝑥| > 𝑎 ⇒ |𝑥| > 𝑎
5. |x + y| ≤ |x| + |y|
Sea x + y ≥ 0 => |x + y| = x + y ≤ |x| + |y|
Sea x + y < 0 => |x + y| = -(x + y)
Por otro lado, |x| + |y| es igual a -x + y, - x - y ó x - y (dependiendo el signo de x y de
y)
Si ambos son negativos, |x| + |y| = -x - y ≥ -(x + y)
Ahora supongamos, sin pérdida de generalidad, que x es positivo e y es negativo.
Por lo tanto, |y| > |x| ya que -y > x ⇔ x + y < 0
Entonces
-(x + y) ≤ x + (-y) <=>
-x - y ≤ x - y <=>
-x ≤ 0 <=>
x ≥ 0, Lo cual es cierto, ya que fue lo que asumimos. Por lo cual,
Si x + y < 0 => |x + y| ≤ |x| + |y|
6. |x · y| = |x| · |y|
En caso de que x, y ≥ 0 ó x, y < 0 => |x · y| = x · y
Si son ambos positivos, |x| · |y| = x · y
Si son ambos negativos, |x| · |y| = (-x) · (-y) = x · y
Sino, |x · y| = -(x · y)
Sin pérdida de generalidad, si x < 0, |x| · |y| = -x · y = -(x · y)
Por lo cual, |x · y| = |x| · |y|
𝑥 |𝑥|
7. Si y ≠ 0, || 𝑦 || = |𝑦|
| 𝑥 | = 𝑥𝑦−1
| |
|𝑦|
−1
= |𝑥||𝑦 |
|𝑥|
|𝑦|
Por la propiedad vista anteriormente,
| 𝑥𝑦−1| = | −1|
|𝑥| 𝑦

Definiciones previas al Axioma del Supremo

Definición. Sea A un subconjunto no vacío de R. Sea b ∈ R. Se dice que b es una cota
superior de A si a ≤ b ∀a ∈ A.
Si existe b tal que b es una cota superior de A, se dice que A está acotado superiormente.
Definición. Sea A tal que ∅ ≠ A ⊂ R. Se dice de un punto b ∈ R que es supremo de A si
verifica:
1. a ≤ b ∀a ∈ A.
2. Si c < b, entonces c no es una cota superior de A.

Teorema 8 - Unicidad del supremo

Hipótesis y Tesis: Dos números distintos no pueden ser supremos de un mismo conjunto.
Demostración: Sea A tal que ∅ ≠ A ⊂ R, y sean b y b′ dos supremos de A. Probaremos
que b = b′ . Al ser supremos del conjunto, b y b′ son, en particular, cotas superiores de A.
Siendo que b es supremo de A y b′ una cota superior, no puede ser b′ < b.
Por lo tanto, b ≤ b′ . Y con un razonamiento análogo, b′ ≤ b. Por lo tanto, b = b′
Notación: si b es el supremo de A, escribiremos: b = sup(A).

Teorema 9 (Caracterización del supremo).

Hipótesis y Tesis: Sea A un conjunto no vacío de números reales. Entonces b = sup(A) si y
solo si b es una cota superior de A tal que para todo ϵ > 0, existe algún elemento a ∈ A tal
que b − ϵ < a.
Demostración:
b = sup(A) => (definición de supremo)
a ≤ b ∀a ∈ A => (definición de cota superior)
b es cota superior de A
Además, sea ϵ > 0, b - ϵ < b => b no es cota superior de A => Para todo ϵ > 0, existe a ∈ A
tal que b − ϵ < a.
Por otro lado,
Si b es cota superior de A => (definición de cota superior)
a ≤ b ∀a ∈ A => (definición de supremo)
b = sup(A)
Dado c ∈ R, si c<b => b - c > 0
como ϵ > 0, podemos escribir ϵ = b - c
Luego, para todo b - c > 0 existe a ∈ A / b - (b - c) < a => b - b + c < a => c < a => c no es
cota superior de A
Por lo tanto, b = sup(A)

Definición de Máximo
Definición. Sea A tal que ∅ ≠ A ⊂ R. Un punto b ∈ R es el máximo de A, y se denota b =
máx(A), si verifica:
1. a ≤ b ∀a ∈ A.
2. b ∈ A.

Proposición 3 - El máximo de un conjunto es su supremo

Sea A tal que ∅ ≠ A ⊂ R. Entonces b = máx(A) si y solo si b ∈ A y b = sup(A).
Demostración:
Dirección "si": Supongamos que b = máx(A), es decir, b es el elemento más grande en el
conjunto A. Entonces, por definición, b ∈ A. Además, cualquier elemento a en A satisface a
≤ b, lo que significa que b es una cota superior del conjunto A. Para mostrar que b = sup(A),
necesitamos demostrar que b es la cota superior más pequeña de A, es decir, que si c es
cualquier otra cota superior de A, entonces c ≥ b. Supongamos que c es una cota superior
de A. Como b ∈ A, c ≥ b. Por lo tanto, b es la cota superior más pequeña de A, y b =
sup(A).
Dirección "solo si": Ahora supongamos que b = sup(A) y además b ∈ A. Entonces b es una
cota superior de A. Como A no es vacío, sabemos que hay un elemento a en A. Como b es
una cota superior de A, a ≤ b. Por lo tanto, b es el máximo elemento de A, porque b es una
cota superior de A y pertenece a A.

Teorema 10 - Existencia de raíces cuadradas

2
Hipótesis y Tesis: Dado a ≥ 0, existe un único x ∈ R tal que x ≥ 0 y 𝑥 = a.
Demostración:
2
Sea 𝑎 = 0 ⇒ 𝑎 = 0
2 2
Sea 𝑎 > 0, si existe x tal que 𝑎 = 𝑥 , entonces 𝑎 = (− 𝑥) . Entre estas dos soluciones, sólo
una es positiva (A8).
2
Definimos 𝑆𝑎 = {𝑥 ∈ 𝑅: 𝑥 ≤ 𝑎}. Notemos que 𝑆𝑎 es no vacío ya que 0 ∈ 𝑆𝑎 (ya que 0^2 = 0
≤ a) y que también es acotado superiormente, ya que a es una cota superior de 𝑆𝑎. Por lo
tanto, por A10, 𝑆𝑎 tiene un supremo. Llamemos sup(𝑆𝑎)=b. Entonces, por cómo definimos 𝑆𝑎,
2 2
𝑏 ≤ 𝑎. Por lo tanto, no puede darse 𝑏 > 𝑎.
2 2
Ahora, supongamos que 𝑏 < 𝑎 ⇒ 𝑎 − 𝑏 > 0.
2 2 2
Por lo tanto existe c > 0 tal que 𝑎 − 𝑏 = 𝑐 ⇒ 𝑎 = 𝑏 + 𝑐. Entonces 𝑏 + 𝑐 = 𝑠𝑢𝑝(𝑆𝑎) (ya
2
que 𝑏 + 𝑐 pertenece a 𝑆𝑎 y además es una cota superior del mismo, por ser igual a a). Sin
2
embargo, dijimos que b=sup(𝑆𝑎). Esta contradicción surge por suponer que 𝑏 < 𝑎. Por lo
2
tanto, 𝑏 = 𝑎 ⇒ 𝑏 = 𝑎 (por propiedad de tricotomía)

Teorema 11 - Propiedad Arquimediana de los números reales

Hipótesis y Tesis: Sean x, y ∈ R, con x > 0. Entonces existe algún n ∈ N tal que y < nx.
Demostración: Si, por lo contrario, fuese nx ≤ y para todo n ∈ N, se tendría que y es una
cota superior del conjunto S = {nx : n ∈ N} = {x, 2x, 3x, 4x, . . . } (notar que S ≠ ∅).
Por el axioma del supremo, S tiene un supremo. Sea b = sup(S). Por el teorema de
caracterización del supremo (tomando en particular ϵ = x, ya que por hipótesis x > 0) , existe
un elemento a ∈ S tal que b − x < a.
Como a ∈ S, a se escribe como a = mx, para algún m ∈ N.
Luego, b − x < mx es decir,
b < mx + x = (m + 1)x.
Ahora bien, (m+ 1)x ∈ S, y por lo tanto b no es una cota superior de S. Pero esto contradice
el hecho que b = sup(S). La contradicción se genera al suponer que S está acotado
superiormente.
Luego, existe n ∈ N tal que y < nx,

Corolario 5 - Propiedades de los Reales derivadas de los Naturales

Hipótesis y Tesis:
1. Para todo y ∈ R, existe n ∈ N tal que y < n.
2. N no está acotado superiormente.
3. Si x > 0, entonces existe n ∈ N tal que 1/n < x.
4. Sean x, y, z ∈ R, con z > 0. Si se verifica: x ≤ y < x + z/n ∀n ∈ N, entonces x = y.
Demostración:
1. Sea y ∈ R. Supongamos que y > n para todo n ∈ N. Entonces, para todo n ∈ N, n
es una cota inferior del conjunto {y}, ya que y es mayor o igual que cualquier
elemento en N. Pero como N no tiene cota superior, debe existir n’ ∈ N que no sea
cota inferior de {y}. Por lo tanto, n’ > y.
Por lo tanto, la hipótesis original es falsa y podemos afirmar que para todo número
real y, existe un número natural n tal que y < n.
2. Sea n ∈ N, sabemos que existe n + 1 ∈ N: n + 1 > n. Esto sucede para todo n ∈ N.
Por lo tanto, no existe elemento a ∈ N tal que n ≤ a para todo n ∈ N.
3. Dado x > 0, por el axioma del supremo, existe un número real α tal que 0 < α < x y
que α no es cota superior de N. Por lo tanto, existe algún n ∈ N tal que n > 1/α (de lo
contrario, 1/α sería una cota superior de N y esto contradice nuestra elección de α).
Luego, se tiene que:
1/n < 1/(1/α) = α < x
Por lo tanto, existe un n ∈ N tal que 1/n < x, como se quería demostrar.
4. Para demostrar esta propiedad, supongamos por contradicción que x ≠ y. Entonces,
sin pérdida de generalidad, podemos asumir que x < y.
Ahora, dado que z > 0, podemos elegir un número natural n0 tal que z/n0 < y - x.
Luego, por la hipótesis del enunciado, se cumple que:
x ≤ y < x + z/n para todo n ∈ N
En particular, para n = n0, tenemos:
x ≤ y < x + z/n0
Restando x a ambos lados, obtenemos:
0 ≤ y - x < z/n0
Pero esto contradice la elección de n0, ya que habíamos tomado n0 tal que z/n0 < y
- x. Por lo tanto, nuestra suposición inicial de que x ≠ y debe ser falsa, y concluimos
que x = y.

Cotas inferiores, ínfimo y mínimo de un conjunto.

Definición. Sea A un subconjunto no vacío de R. Sea b ∈ R. Se dice que b es una cota
inferior de A si b ≤ a ∀a ∈ A. Si existe b tal que b es una cota inferior de A, se dice que A
está acotado inferiormente.
Definición. Sea A tal que ∅ ≠ A ⊂ R. Se dice de un punto b ∈ R que es ínfimo de A si
verifica:
1. b ≤ a ∀a ∈ A.
2. Si b < c, entonces c no es una cota inferior de A.
Análogamente al caso del supremo, se prueba que, si existe, el ínfimo de un conjunto A es
único; se lo denota ínf(A).
Definición. Sea A tal que ∅ ̸= A ⊂ R. Un punto b ∈ R es el mínimo de A, y se denota
b = mín(A), si verifica:
1. b ≤ a ∀a ∈ A. ii)
2. b ∈ A.

Proposición 4 - El mínimo de un conjunto es su ínfimo

Hipótesis y Tesis: Sea A tal que ∅ ≠ A ⊂ R. Entonces b = mín(A) si y sólo si b ∈ A y b =
ínf(A).
Demostración:
(i) Si b es el mínimo de A, entonces b pertenece a A y es el ínfimo de A.
● Para demostrar que b pertenece a A, notemos que si b no perteneciera a A,
entonces habría un elemento a en A tal que a < b, lo cual contradice la hipótesis de
que b es el mínimo de A.
● Para demostrar que b es el ínfimo de A, debemos probar dos cosas: (a) b es una
cota inferior de A, y (b) si c es cualquier otra cota inferior de A, entonces c ≥ b. La
primera parte es cierta por definición de mínimo, ya que b es menor o igual que
cualquier elemento de A. Para la segunda parte, supongamos por contradicción que
existe una cota inferior c de A tal que c < b. Entonces, por la propiedad de los
números reales, existe un número positivo ε tal que c + ε < b. Pero esto contradice el
hecho de que b es el mínimo de A, ya que c + ε es una cota inferior de A que es
menor que b.
(ii) Si b pertenece a A y es el ínfimo de A, entonces b es el mínimo de A.
Para demostrar que b es el mínimo de A, notemos que si existiera un elemento a en A tal
que a < b, entonces (b-a)/2 es un número positivo que cumple que a + (b-a)/2 = (a+b)/2 < b,
lo cual contradice la hipótesis de que b es el ínfimo de A.
● Por lo tanto, b es el mínimo de A.

Teorema 12 - Todo conjunto acotado inferiormente posee ínfimo

Hipótesis y Tesis: Sea A tal que ∅ ≠ A ⊂ R.
Si A está acotado inferiormente, entonces existe b ∈ R tal que b = ínf(A).
Demostración:
Sea A un conjunto acotado inferiormente, existe un número real m tal que m ≤ a para todo a
en A. El conjunto de todas las cotas inferiores de A, denotado por L, no es vacío ya que m
∈ L. Además, L está acotado superiormente por cualquier elemento a en A, es decir, a es
una cota superior de L.
Por lo tanto, por A10, L tiene un supremo, denotado por b. Queremos demostrar que b es el
ínfimo de A. Para hacer esto, necesitamos demostrar dos cosas:
1. b es una cota inferior de A.
2. b es la cota inferior más grande de A.
Para demostrar que b es una cota inferior de A, supongamos que hay un elemento a en A
tal que a < b. Entonces, como b es la cota superior más pequeña de L, debe haber un
elemento l en L tal que a < l ≤ b. Pero esto es una contradicción, ya que l es una cota inferior
de A que es mayor que b, lo que significa que b no puede ser la cota superior más pequeña
de L. Por lo tanto, b es una cota inferior de A.
Para demostrar que b es la cota inferior más grande de A, supongamos que c es cualquier
otra cota inferior de A. Entonces c es también una cota inferior de L(***), lo que significa que
c ≤ b. Por lo tanto, b es la cota inferior más grande de A.
Por lo tanto, b es el ínfimo de A, lo que completa la demostración.
(***) Si c es una cota inferior de A, entonces se tiene que c ≤ a para todo a en A. Pero como
L es el conjunto de todas las cotas inferiores de A, entonces c debe ser una cota inferior de
L. Esto se debe a que cualquier elemento l en L es una cota inferior de A, por lo que c ≤ l
para todo l en L. Por lo tanto, c es una cota inferior tanto de A como de L.

Teorema 13 - Parte entera

Hipótesis y Tesis: Dado x ∈ R, existe un único número entero p, tal que p ≤ x < p + 1. lo
que equivale a decir que p es el mayor número entero menor o igual que x.
Demostración: Si x ∈ Z, entonces p = x verifica p ≤ x < p + 1. Caso contrario, si x ∉ Z,
separamos la prueba en los siguientes casos:
● Si 0 < x < 1 entonces p = 0 verifica p ≤ x < p + 1.
● Si x > 1, consideremos el conjunto S = {n ∈ N : x < n}. S ≠ ∅, pues por la propiedad
arquimediana (aplicada a y = x > 1 y a x = 1 > 0) existe 𝑛0 ∈ N tal que x < 𝑛0 · 1,
luego 𝑛0 ∈ S; además, S está acotado inferiormente por x. Por lo tanto, S tiene un
elemento mínimo (primer elemento), y este es único, llamémosle m, que por estar en
S será x < m y por ser mínimo m − 1 ∉ S, lo que implica que m − 1 ≤ x. Luego,
llamando p = m − 1 se verifica p ≤ x < p + 1, siendo p único.
● Si x < 0 ⇒ −x > 0 por lo demostrado anteriormente existe un único q ∈ N tal que
q ≤ −x < q + 1, por lo tanto −q − 1 ≤ x < −q, llamando p = −q − 1 ∈ Z, se tiene
p ≤ x < p + 1, siendo p único. Luego queda demostrado que cualquiera sea x ∈ R,
existe un único p ∈ Z tal que p ≤ x < p + 1 que suele denotarse con [x] y se lo
denomina parte entera de x, [x] ≤ x < [x] + 1,

Límite
Llamamos entorno (o entorno abierto) de un número real a, de radio δ, al intervalo abierto (a
− δ, a + δ), y lo notamos por E(a, δ). Esto es,
E(a, δ) = {x ∈ R : a − δ < x < a + δ}
= {x ∈ R : − δ < x − a < δ}
= {x ∈ R : |x − a| < δ} .
Además, llamamos entorno reducido del punto a y de radio δ, al conjunto E(a, δ) − {a}, y lo
notamos por E′(a, δ). Esto es,
E′(a, δ) = {x ∈ R : |x − a| < δ y x ̸= a}
= {x ∈ R : 0 < |x − a| < δ}
Sean a un número real y dos números reales positivos δ1 y δ2. Entonces, si δ es un número
positivo tal que δ ≤ m´ın{δ1, δ2}, se tiene
|x − a| < δ ⇒ |x − a| < δ1 y |x − a| < δ2 ,
y
0 < |x − a| < δ ⇒ 0 < |x − a| < δ1 y 0 < |x − a| < δ2 .

Definición de límite finito en un punto

Dada una función real f y un número real a, de manera que f está definida en un entorno
reducido del punto a, decimos que un valor ℓ es el límite de la función f, cuando la variable
independiente tiende al valor a, y notamos con el símbolo
lím[x→a] f(x) = ℓ ,
si, para cualquier valor ε > 0, prefijado, existe un número positivo δ, tal que,
0 < |x − a| < δ ⇒ |f(x) − ℓ| < ε .
En términos de entornos, si
x ∈ E′(a, δ) ⇒ f(x) ∈ E(ℓ, ε) .
No se exige que el número a esté en el dominio de la función f. Sí que la función f esté
definida en un entorno reducido del punto a.
Observemos que, para una misma función, el número δ, en general depende tanto del valor
ε, como del punto a. Además, si en un punto a, para un ε, un número δ satisface la
definición de límite, entonces, cualquier δ′ < δ, también es válido. Y por otro lado, si un valor
δ es útil para un ε, también es útil para un ε′ > ε. En efecto, para tales δ′, δ, ε y ε′
0 < |x − a| < δ′ ⇒ 0 < |x − a| < δ ⇒ |f(x) − ℓ| < ε < ε′ .

Algunos límites finitos

Función constante: lím [x→a] c = c
En efecto, para cualquier ε > 0 y cualquier δ > 0, se verifica que
0 < |x − a| < δ implica
|f(x) − c| = |c − c| = 0 < ε .
Función lineal: lím [x→a] (mx + h) = ma + h
En efecto, dado ε > 0,
|f(x)−ℓ| = |(mx+h)−(ma+h)| = |mx+h−ma−h| = |m(x−a)| = |m||x − a|,
basta considerar δ < ε/|m| y así,
0 < |x − a| < δ < ε/|m| ⇒ |mx + h − (ma + h)| = |m||x − a| < ε .
Función cuadrática: lím [x→a] x^2 = a^2
Demostración: ejercicio
Función recíproca: lím [x→a] 1/x = 1/a
Demostración: ejercicio

Teorema 1: unicidad del límite

Sea f una función real definida en un entorno reducido del punto a y sean ℓ1 y ℓ2 dos
números reales tales que
lím [x→a] f(x) = ℓ1 y
lím [x→a] f(x) = ℓ2 ,
entonces se verifica que ℓ1 = ℓ2.
Demostración: Dado ε > 0, sean δ1 > 0 y δ2 > 0, (cuya existencia garantizamos por ser ℓ1 y
ℓ2 límites de la función en el punto a) tales que
0 < |x − a| < δ1 ⇒ |f(x) − ℓ1| < ε/2
y 0 < |x − a| < δ2 ⇒ |f(x) − ℓ2| < ε/2
Entonces, si consideramos δ ≤ min{δ1, δ2} y consideramos cualquier x ∈ E′(a, δ),
tendremos
|ℓ1 − ℓ2| = |ℓ1 − f(x) + f(x) − ℓ2| ≤ |ℓ1 − f(x)| + |f(x) − ℓ2| < ε/2 + ε/2 = ε
De la arbitrariedad de ε, por consecuencia de la Propiedad Arquimedeana, surge
|ℓ1 − ℓ2| = 0 ⇒ ℓ1 = ℓ2 .

Límites laterales
1. Se dice que un número ℓ es el límite por derecha de la función f en el punto a, y se
nota
lim [x→a+] f(x) = ℓ ,
si para cualquier ε > 0, existe un número δ > 0, tal que
a < x < a + δ ⇒ |f(x) − ℓ| < ε .
2. Se dice que un número ℓ es el límite por izquierda de la función f en el punto a, y se
nota lim [x→a−] f(x) = ℓ ,
si para cualquier ε > 0, existe un número δ > 0, tal que
a − δ < x < a ⇒ |f(x) − ℓ| < ε .
Proposición 1: Sean a un número real y f una función. Entonces, existe el límite
lim [x→a] f(x) = ℓ ,
si y solamente si, existen los límites laterales, y ambos valen ℓ. Esto es, si y sólo si
lim [x→a−] f(x) = ℓ y lim [x→a+] f(x) = ℓ .
Demostración: ⇒) Si lim [x→a] f(x) = ℓ ,
entonces, dado ε > 0, existe δ > 0, tal que
0 < |x − a| < δ ⇒ |f(x) − ℓ| < ε .
Pero entonces, para ese δ, si x verifica
a − δ < x < a ⇒ 0 < |x − a| < δ ⇒ |f(x) − ℓ| < ε
y
a < x < a + δ ⇒ 0 < |x − a| < δ ⇒ |f(x) − ℓ| < ε ,
con lo que se verifican las afirmaciones para los límites laterales
lím [x→a−] f(x) = ℓ y lím [x→a+] f(x) = ℓ .
⇐) Recíprocamente, si valen
lím [x→a−] f(x) = ℓ y lím [x→a+] f(x) = ℓ ,
entonces, para ε > 0, existen δ1 y δ2 tales que
a − δ1 < x < a ⇒ |f(x) − ℓ| < ε y a < x < a + δ2 ⇒ |f(x) − ℓ| < ε .
Entonces, para δ ≤ min{δ1, δ2},
a − δ > a − δ1 y a + δ < a + δ2
y se tiene que si x verifica
a − δ < x < a ⇒ a − δ1 < x < a ⇒ |f(x) − ℓ| < ε ,
a < x < a + δ ⇒ a < x < a + δ2 ⇒ |f(x) − ℓ| < ε ,
con lo que
0 < |x − a| < δ ⇒ |f(x) − ℓ| < ε
y entonces
lím [x→a] f(x) = ℓ .

Proposición 2
Sean f una función y a un número real tal que existe lim [x→a] f(x) = ℓ .
Entonces, existe
lím [x→a] |f(x)| = |ℓ| .
Demostración: Dado ε > 0, por hipótesis, existe δ > 0 tal que si x verifica
0 < |x − a| < δ ⇒ |f(x) − ℓ| < ε .
Como además
|f(x)| − |ℓ| < |f(x) − ℓ| ,
para el mismo δ, vale
0 < |x − a| < δ ⇒ |f(x)| − |ℓ| < |f(x) − ℓ| < ε .

Teorema 2 (carácter local del límite)

Sean a un número real y dos funciones f y g para las cuales se verifican
lím [x→a] f(x) = ℓ y f(x) = g(x) en algún E′(a, ρ) (entorno reducido de a). Entonces g tiene
límite en el punto a y vale
lím [x→a] g(x) = ℓ .
Demostración: Dado ε > 0, existe δ′ > 0, tal que
0 < |x − a| < δ′ ⇒ |f(x) − ℓ| < ε .
Por hipótesis, existe ρ > 0 tal que
0 < |x − a| < ρ ⇒ f(x) = g(x) .
Tomando en cuenta esas afirmaciones, y eligiendo δ ≤ mín{δ′, ρ}, vale
0 < |x − a| < δ ⇒ |f(x) − ℓ| < ε y f(x) = g(x) ⇒ |g(x) − ℓ| < ε .
Así, dado ε > 0, encontramos δ > 0 para el cual
0 < |x − a| < δ ⇒ |g(x) − ℓ| < ε ,
que es lo que queríamos probar.

Teorema 3. Si existe el lim [x→a] f(x), f esta acotada en el

entorno de a
Definición. Sea A un subconjunto no vacío de R y f una función definida en A (no
necesariamente es A el dominio de f). Diremos que la función f está acotada en el conjunto
A, si existe un número real M > 0, tal que, para todo x ∈ A se tiene
|f(x)| ≤ M .
De manera alternativa, decimos que f está acotada en el conjunto A si el conjunto
{f(x) : x ∈ A}
es un subconjunto acotado de R.
Hipótesis: Sean f una función y a un número real tal que existe lím [x→a] f(x) = ℓ .
Entonces, existe un entorno reducido E′(a, δ) en el cual la función f está acotada.
Demostración: Como f tiene límite ℓ en el punto a, en particular, para ε = 1, existe δ > 0 tal
que si x ∈ E′(a, δ),
|f(x) − ℓ| < 1 .
Con lo cual, en ese entorno,
|f(x) − ℓ| < 1 ⇒ -1 < f(x) − ℓ < 1 ⇒ ℓ − 1 < f(x) < ℓ + 1
⇒ −|ℓ| − 1 < ℓ − 1 < f(x) < ℓ + 1 < |ℓ| + 1
⇒ −(|ℓ| + 1) < f(x) < |ℓ| + 1 ⇒ |f(x)| < |ℓ| + 1 .

Teorema 4
Sean f una función, a un número real tal que existe lím [x→a] f(x) = ℓ ,
y dos números, k y h, tales que
h<ℓ<k.
Entonces, existe un entorno reducido E′(a, δ), donde para todo x allí se verifica
h < f(x) < k .
Demostración: Mostraremos primero que existe un entorno reducido del punto, para el cual
se verifica la desigualdad derecha de la tesis, o sea, f(x) < k. Luego probaremos que existe
otro entorno reducido para la desigualdad izquierda, l < f(x). Y finalmente el resultado será
consecuencia de considerar el entorno reducido intersección de los dos encontrados.
Siendo k > ℓ, como
lím [x→a] f(x) = ℓ ,
eligiendo ε = k − ℓ > 0, sabemos que existe δ1 > 0 tal que, si x ∈ E′(a, δ1),
|f(x) − ℓ| < k − ℓ .
Con lo cual, en ese entorno E′(a, δ1),
f(x) − ℓ ≤ |f(x) − ℓ| < k − ℓ ⇒ f(x) < k − ℓ + ℓ = kQuad(1)
Ahora, como ℓ > h, si elegimos ε = ℓ − h > 0, sabemos que existe δ2 > 0 tal que, si
x ∈ E′(a, δ2), |f(x) − ℓ| < ℓ − h .
Con lo cual, en E′(a, δ2)
h − ℓ < f(x) − ℓ < ℓ − h ⇒ h < f(x) < 2ℓ − hQuad(2)
Considerando, δ = m´ın(δ1, δ2) de (1) y (2) vale que si
x ∈ E′(a, δ) ⇒ h < f(x) < k .

Corolario 1. Teorema de conservación del signo

Sean f una función, a un número real tal que existe lím [x→a] f(x) = ℓ ≠ 0 .
Entonces, existe un entorno reducido E′(a, δ), donde f(x) ̸= 0 ; y vale, por ejemplo,
|f(x)| > |ℓ|/2
Demostración: Si ℓ > 0, consideramos h = ℓ/2 < ℓ, y si ℓ < 0, tomamos k = ℓ/2 > ℓ, y
aplicamos el teorema anterior. Además, por la Proposición 2, vale
lím [x→a] |f(x)| = |ℓ| ≠ 0 ,
siendo |ℓ|/2 < |ℓ|, sigue la segunda afirmación del enunciado.

Teorema 5. Álgebra de límites

Sean a un número real, f y g dos funciones tales que existen los límites en el
punto a, y valen lím [x→a]f(x) = ℓ1 y lím [x→a] g(x) = ℓ2 .
Entonces, se verifican:
1. la función f + g tiene límite en el punto a, y vale lím [x→a] (f + g)(x) = ℓ1 + ℓ2 ;
 2. si c ∈ R, la función cf tiene límite en el punto a, y vale lím [x→a] (cf)(x) = cℓ1 ;
3. la función f − g tiene límite en el punto a, y vale lím [x→a] (f − g)(x) = ℓ1 − ℓ2 ;
Demostración:
1. Dado ε > 0, sean δ1 > 0 y δ2 > 0, tales que
0 < |x − a| < δ1 ⇒ |f(x) − ℓ1| < ε/2
y 0 < |x − a| < δ2 ⇒ |g(x) − ℓ2| < ε/2
.
Entonces, para δ ≤ mín{δ1, δ2} y x tal que 0 < |x − a| < δ,
|(f + g)(x) − (ℓ1 + ℓ2)| = |(f(x) − ℓ1) + (g(x) − ℓ2)| ≤ |f(x) − ℓ1| + |g(x) − ℓ2| < ε/2 + ε/2 = ε
2. Si c = 0 el resultado es trivial, sea entonces c ≠ 0; dado ε > 0, sea δ > 0 tal que
0 < |x − a| < δ ⇒ |f(x) − ℓ1| < ε/|c|
Entonces, para los x tales que 0 < |x − a| < δ,
|(cf)(x) − (cℓ1)| = |c(f(x) − ℓ1)| = |c| |f(x) − ℓ1| < |c| ε/|c| = ε .
3. Por los apartados anteriores,
lím [x→a] (f − g)(x) = lím [x→a] (f + (−1)g)(x) = lím [x→a] f(x) + (−1) lím [x→a] g(x) = ℓ1 − ℓ2 .

Teorema 6.
Sean a un número real, f y g dos funciones tales que lím [x→a] f(x) = 0 y g está acotada en
un entorno reducido E′(a, ρ). Entonces, la función fg tiene límite en el punto a, y vale
lím [x→a] (fg)(x) = 0 .
Demostración: Dado ε > 0, sean δ′ > 0 y M > 0 tales que 0 < |x − a| < δ′ ⇒ |f(x)| < ε/M
y 0 < |x − a| < ρ ⇒ |g(x)| ≤ M .
Entonces, para δ ≤ mín{ρ, δ′} y x tal que 0 < |x − a| < δ, se tiene
|(fg)(x) − 0| = |f(x)g(x)| = |f(x)| |g(x)| < ε/M * M = ε .
Observar que en el teorema anterior, no se exige la existencia de límite de la función g.

Teorema 7. Límite del producto y del cociente entre funciones

Sean a un número real, f y g dos funciones tales que existen los límites en el
punto a, y valen lím [x→a] f(x) = ℓ1 y lím [x→a] g(x) = ℓ2 .
1. Entonces existe el límite de la función fg en el punto a, y vale
lím [x→a] (fg)(x) = ℓ1ℓ2 .
2. Si además, ℓ2 ≠ 0, la función fg tiene límite en el punto a y vale
lím [x→a] f/g(x) = ℓ1/ℓ2
Demostración:
1. En primer lugar, recordemos (por teorema 3) que como f tiene límite ℓ1 en el punto a, está
acotada en un E′(a, ρ), por un número M > 0, esto es,
0 < |x − a| < ρ ⇒ |f(x)| ≤ M .
Si ℓ2 = 0, el enunciado es del teorema anterior. Supongamos entonces ℓ2 ≠ 0.
Dado ε > 0, sean δ1 y δ2 tales que
0 < |x − a| < δ1 ⇒ |f(x) − ℓ1| < ε/(2 |ℓ2|) y 0 < |x − a| < δ2 ⇒ |g(x) − ℓ2| < ε/(2 M)
Entonces, para δ ≤ mín{ρ, δ1, δ2}, y x tal que 0 < |x − a| < δ,
|(fg)(x) − (ℓ1ℓ2)| = |f(x)g(x) − f(x)ℓ2 + f(x)ℓ2 − ℓ1ℓ2|
≤ |f(x)g(x) − f(x)ℓ2| + |f(x)ℓ2 − ℓ1ℓ2|
= |f(x)(g(x) − ℓ2)| + |(f(x) − ℓ1)ℓ2|
= |f(x)| |g(x) − ℓ2| + |f(x) − ℓ1| |ℓ2|
< Mε/(2 M) + ε/(2 |ℓ2|)|ℓ2| = ε/2 + ε/2 = ε .
2. Mostraremos primero el caso particular
lím [x→a] 1/g(x) = 1/ℓ2
Comencemos notando que, como ℓ2 ≠ 0, por la prueba del Corolario 1, existen un
entorno E′(a, ρ), dentro del cual es |g(x)| > m, para algún m > 0, por ejemplo, |ℓ2|/2 .
Por otro lado, para ε > 0, existe δ′ > 0, tal que
0 < |x − a| < δ′ ⇒ |g(x) − ℓ2| < m |ℓ2| ε .
Entonces, para δ ≤ m´ın{ρ, δ′}, y x tal que 0 < |x − a| < δ,
|(1/g)(x) − 1/ℓ2| = |1/g(x) − 1/ℓ2| = |(ℓ2 − g(x))/(g(x)ℓ2)|
= |g(x) − ℓ2| 1/|g(x)| 1/|ℓ2| < m |ℓ2|ε*1/m*1/|ℓ2|= ε.
Para concluir, por el primer apartado,
lím [x→a] f/g (x) = lím [x→a] f(x)*1/g(x) = ℓ1*1/ℓ2 =ℓ1/ℓ2
Nota: Combinando los resultados de esta parte con los límites hechos por definición al
comienzo podemos afirmar las siguientes proposiciones.
1. Para todo n ∈ N, y a ∈ R, existe
lím [x→a] x^n = a^n .
2. Dado un polinomio p(x) = α[n]x^n + α[n−1]x^(n−1) + ... + α[1]x + α[0] y a ∈ R, existe
lím x→a p(x) = α[n]a^n + α[n−1]a^(n−1) + ... + α[1]a + α[0] = p(a) .
3. Dada una función racional
p(x)/q(x) = (α[n]x^n + α[n−1]x^(n−1) + ... + α[1]x + α[0])/(β[m]x^m + β[m−1]x^(m−1) + ... +
β[1]x + β[0])
y a ∈ R, existe
lím x→a p(x)/q(x) = (α[n]a^n + α[n−1]a^(n−1) + ... + α[1]a + α[0])/(β[m]a^m + β[m−1]a^(m−1)
+ ... + β[1]a + β[0]) = p(a)/q(a)
siempre que q(a) ̸= 0.
4. En particular, podemos generalizar la afirmación para a ̸= 0 y n ∈ Z.

Proposición 3.
Los resultados del álgebra de Límites (Teoremas 5,6 y 7) son válidos si se reemplazan los
símbolos x → a por x → a+ o x → a−.

Proposición 4.
Si −π/2 < x < π/2 ,
| sen x| ≤ |x| ≤ | tan x| ,
y las igualdades valen sólo para x = 0.
Teorema 8. Límites de senos y cosenos
Para a ∈ R, lím [x→a] sen x = sen a y lím [x→a] cos x = cos a .
Demostración: Utilizando lo anterior, más las fórmulas para la suma de senos y cosenos, y
el álgebra de Límites, tenemos
lím [x→a] sen x = lím [x→0] sen(x + a) = lím [x→0] (sen x cos a + cos x sen a)
= 0 · cos a + 1 · sen a = sen a ,
y
lím [x→a] cos x = lím [x→0] cos(x + a) = lím [x→0] (cos x cos a − sen x sen a)
= 1 · cos a − 0 · sen a = cos a .

Corolario 2

Teorema 9. Principio de intercalación

Sean f, g y h tres funciones y a un número real, tales que, en algún entorno reducido E′(a, ρ)
se tiene
g(x) ≤ f(x) ≤ h(x) ,
y además las funciones g y h tienen límite en el punto a, siendo
lím [x→a] g(x) = lím [x→a] h(x) = ℓ .
Entonces la función f también tiene límite en el punto a y vale
lím [x→a] f(x) = ℓ .
Demostración: Sean ε > 0 y los números positivos δ1 y δ2, para los cuales valen
0 < |x − a| < δ1 ⇒ |g(x) − ℓ| < ε y 0 < |x − a| < δ2 ⇒ |h(x) − ℓ| < ε .
Entonces, para δ ≤ mín{ρ, δ1, δ2}, y x tal que
0 < |x − a| < δ ⇒
- g(x) ≤ f(x) ≤ h(x),
- ℓ − ε < g(x),
- h(x) < ℓ + ε,
combinando las tres desigualdades, se tiene que
ℓ − ε < g(x) ≤ f(x) ≤ h(x) < ℓ + ε ⇒ ℓ − ε < f(x) < ℓ + ε ⇒ |f(x) − ℓ| < ε .

Proposición 5.
El Principio de Intercalación es válido también si se reemplazan los símbolos x → a
por x → a+ o x → a−.

Proposición 6
lím [x→0] (sen x)/x = 1 .
Demostración: Por la Proposición 4, para −π/2 < x < π/2 , y x ≠ 0, valen
|sen x| < |x| < | tan x| .
Entonces, para los x tales que 0 < x < π/2 donde sen x > 0 y tan x > 0; se tiene
|sen x| < |x| < | tan x| ⇒ sen x < x < tan x dividimos por(sen x > 0)
⇒ sen x/sen x < x/sen x < tan x/sen x ⇒ 1 < x/sen x < 1/cos x ,
Y para los x tales que −π/2 < x < 0, donde sen x < 0 y tan x < 0, se tiene
|sen x| < |x| < | tan x|
⇒ −sen x < −x < −tan x; dividimos por(−sen x > 0)
⇒ sen x/sen x < x/sen x < tan x/sen x
⇒ 1 < x/sen x < 1/cos x
Como además sabemos que
lím [x→0] cos x = 1 ≠ 0 ⇒ lím [x→0] 1/cos x = 1 ,
utilizando el teorema 9 se concluye que
lím [x→0] x/sen x = 1 ≠ 0 ,
por lo que existe el límite y vale
lím [x→0] sen x/x = 1 .

Límites infinitos
1. Una función tiene límite +∞ en el punto a, si para cualquier número positivo M, existe
un número positivo δ, tal que
0 < |x − a| < δ ⇒ f(x) > M .
Para indicar esta situación, notamos
lím [x→a] f(x) = +∞ .
2. Una función tiene límite −∞ en el punto a, si para cualquier número positivo M, existe
un número positivo δ, tal que
0 < |x − a| < δ ⇒ f(x) < −M .
En este caso,
lím [x→a] f(x) = −∞ .

Teorema 10. álgebra de límites infinitos

Sean a un número real y f y g dos funciones
tales que
1. Si lím [x→a] f(x) = +∞ y lím [x→a] g(x) = +∞ entonces lím [x→a] (f + g)(x) = +∞ .
2. Si lím [x→a] f(x) = −∞ y lím [x→a] g(x) = −∞ entonces lím [x→a] (f + g)(x) = −∞ .
3. Si c es número positivo, lím [x→a] f(x) = +∞ y lím [x→a] g(x) = −∞ entonces
lím [x→a] (cf)(x) = +∞ y
lím [x→a] (cg)(x) = −∞ .
4. Si c es número negativo, lím [x→a] f(x) = +∞ y lím [x→a] g(x) = −∞ entonces
lím [x→a] (cf)(x) = −∞ y
lím [x→a] (cg)(x) = +∞ .
5. Si lím [x→a] f(x) = +∞ y lím [x→a] g(x) = +∞ (resp. −∞) entonces
lím [x→a] (f · g)(x) = +∞ (resp. −∞) . En consecuencia,
lím [x→a] f(x) = −∞ y
lím [x→a] g(x) = −∞ entonces
lím [x→a] (f · g)(x) = +∞ .
Demostración:
1. Dado M > 0, sean δ1 > 0 y δ2 > 0, tales que
0 < |x − a| < δ1 ⇒ f(x) > M/2
y 0 < |x − a| < δ2 ⇒ g(x) > M/2
Entonces, para δ ≤ mín{δ1, δ2} y x tal que 0 < |x − a| < δ,
(f + g)(x) = f(x) + g(x) > M/2 + M/2 = M

2. Dado M > 0, sean δ1 > 0 y δ2 > 0, tales que

0 < |x − a| < δ1 ⇒ f(x) < −M/2
y 0 < |x − a| < δ2 ⇒ g(x) < −M/2
Entonces, para δ ≤ mín{δ1, δ2} y x tal que 0 < |x − a| < δ,
(f + g)(x) = f(x) + g(x) < −M/2 − M/2 = −M

3. Dado M > 0, sean δ1 > 0 y δ2 > 0, tales que

0 < |x − a| < δ1 ⇒ f(x) > M/c
y 0 < |x − a| < δ2 ⇒ g(x) < −M/c
Entonces, para x tal que 0 < |x − a| < δ1,
(cf)(x) = c f(x) > c(M/c) = M,
y para x tal que 0 < |x − a| < δ2,
(cg)(x) = c g(x) < c(−M/c) = −M.

4. Dado M > 0, sean δ1 > 0 y δ2 > 0, tales que (recordar c < 0)

0 < |x − a| < δ1 ⇒ f(x) > −M/c
y 0 < |x − a| < δ2 ⇒ g(x) < M/c
Entonces, para x tal que 0 < |x − a| < δ1,
(cf)(x) = cf(x) < c(−M/c) = −M ,
y para x tal que 0 < |x − a| < δ2,
(cg)(x) = c g(x) > c(M/c) = M.

5. Dado M > 0, sean δ1 > 0 y δ2 > 0, tales que

0 < |x−a| < δ1 ⇒ f(x) >√M
y 0 < |x−a| < δ2 ⇒ g(x) > √M (resp. g(x) < −√M) .
Entonces, si δ ≤ mín{δ1, δ2} y x tal que 0 < |x − a| < δ,
(f ·g)(x) = f(x)g(x) >√M*√M = M , (resp. (f · g)(x) < √M(−√M) = −M) .
De manera alternativa, podríamos haber observado que,
lím [x→a] g(x) = −∞ ⇔ lím [x→a] (−g)(x) = +∞ y entonces
lím [x→a] (f · (−g))(x) = +∞ ⇒ lím [x→a] −(f · g)(x) = +∞ ⇒ lím [x→a] (f · g)(x) = −∞ .
Por último,
lím [x→a] f(x) = −∞ y lím [x→a] g(x) = −∞ , implican
lím [x→a] (−f)(x) = +∞ y lím [x→a] (−g)(x) = +∞ , con lo que
lím [x→a] (f · g)(x) = lím [x→a] ((−f) · (−g))(x) = +∞ .

Límites laterales infinitos

1. Una función tiene límite +∞ (resp. −∞) por izquierda en el punto a, si para M > 0,
existe δ > 0, tal que
a − δ < x < a ⇒ f(x) > M (resp. f(x) < −M) ;
2. Una función tiene límite +∞ (resp. −∞) por derecha en el punto a, si dado M > 0,
existe δ > 0, tal que
a < x < a + δ ⇒ f(x) > M (resp. f(x) < −M) .
Las situaciones anteriores se notarán, correspondientemente,
lím [x→a+] f(x) = ±∞ y lím [x→a−] f(x) = ±∞ .

Álgebra de límites laterales infinitos

Los resultados del Teorema 10 son válidos si se reemplazan los símbolos x → a por x → a+
o x → a−.

Límites en el infinito
1. Una función f tiene límite ℓ cuando x → +∞, si para cualquier número ε > 0, existe
un número H > 0, tal que
x > H ⇒ |f(x) − ℓ| < ε .
Para indicar esta situación, notamos
lím [x→+∞] f(x) = ℓ .
2. Una función f tiene límite ℓ cuando x → −∞, si para cualquier número ε > 0, existe
un número H > 0, tal que
x < −H ⇒ |f(x) − ℓ| < ε .
En este caso, notamos
l´ım [x→−∞] f(x) = ℓ .
Los resultados de los teoremas de álgebra de límites son válidos si se reemplazan los
símbolos x → a por x → +∞ o x → −∞. Lo mismo para el Principio de Intercalación

Límites infinitos en el infinito

1. Una función f tiene límite +∞ cuando x → +∞, si para cualquier número M > 0,
existe un número H > 0, tal que
x > H ⇒ f(x) > M .
2. Una función f tiene límite +∞ cuando x → −∞, si para M > 0, existe H > 0, tal que
x < −H ⇒ f(x) > M .
3. Una función f tiene límite −∞ cuando x → +∞ si dado M > 0, existe H > 0, tal que
x > H ⇒ f(x) < −M .
4. Una función f tiene límite −∞ cuando x → −∞ si dado M > 0, existe H > 0, tal que
x < −H ⇒ f(x) < −M .
Los símbolos para las situaciones anteriores son, respectivamente,
lím [x→+∞] f(x) = +∞ ,
lím [x→−∞] f(x) = +∞ ,
lím [x→+∞] f(x) = −∞ , y
lím [x→−∞] f(x) = −∞ .
Los resultados del álgebra de límites infinitos son válidos si se reemplazan los símbolos x →
a por x → +∞ o x → −∞.

Proposición 10
1. lím [x→a] f(x) = ±∞ ⇒ lím [x→a] (1/f)(x) = 0 , y lo mismo ocurre cuando se reemplazan los
símbolos punto x → a por x → a+, x → a−, x → +∞ o x → −∞.
2. lím x→±∞ f(x) = ℓ ⇔ lím [x→0±] f(1/x) = ℓ , y lo mismo ocurre si se reemplaza el valor ℓ por
los símbolos +∞ o −∞.
Demostración:
1. Surge observando que, para M > 0, f(x) > M ⇔ 0 < 1/f(x) < 1/M ⇒
|1/f(x)− 0| < 1/M, y
f(x) < −M ⇔ −1/M < 1/f(x) < 0 ⇒ |1/f(x) − 0| < 1/M
2. Aquí, para H > 0,
x > H ⇔ 0 < 1/x < 1/H, y x < −H ⇔ −1/H < 1/x < 0 .

Límites indeterminados
Se dice que el límite del cociente de dos funciones que tienen límite cero en un punto es una
indeterminación del límite.
Un límite es indeterminado cuando no puede anticiparse o determinarse el resultado, y se
deben realizar simplificaciones, reemplazos adecuados, etc., antes de encontrarlo.
Casos de Límites Indeterminados
1. Cociente de dos funciones con límite cero.
2. Cociente de dos funciones con límite infinito (de cualquier signo).
3. Producto de un límite cero por uno infinito.
4. Suma de dos infinitos de distinto signo.
Si bien mencionamos que el cociente de dos funciones con límite 0 en un punto es un caso
de indeterminación del límite, no pasa esto cuando el numerador es la función nula, pues en
este caso, el límite sí está determinado, y vale 0.

Análisis de límites con raíz cuadrada

Proposición 11
lím [x→0+] √x = 0.
Demostración. Sea ϵ > 0. Tomando δ = ϵ^2 resulta
0 < x < δ ⇒ 0 < √x < √δ ⇒ 0 < √x < ϵ.
Por lo tanto, lím [x→0+] √x = 0 .

Proposición 12
lím [x→a] √x = √a.
La demostración es muy larga y está en el apunte; se hace aplicando la definición de límite

Proposición 13
Sea f una función no negativa tal que existe lím [x→a] f(x) = L . Entonces
lím [x→a] √f(x) = √L .
La demostración es muy larga y está en el apunte; se hace aplicando la definición de límite

Límites con las funciones recíprocas

Proposición 14
Sea f una función tal que lím [x → a+] f(x) = 0. Si existe un entorno reducido a derecha de a
en el cual f es positiva, i.e. existe ρ > 0 tal que f(x) > 0 ∀x ∈ (a, a + ρ), entonces
lím [x → a+] 1/f(x) = +∞.
Demostración.
Sea M > 0. Queremos hallar δ > 0 tal que si x ∈ (a, a + δ) entonces 1/f(x) > M.
Como lím [x → a+] f(x) = 0, para ε = 1/M existe δ1 > 0 tal que si x ∈ (a, a + δ1) entonces
|f(x)| < ε = 1/M .
Sabemos además que f(x) > 0 ∀x ∈ (a, a + ρ). Luego, considerando δ = m´ın{δ1, ρ},
resulta que si x ∈ (a, a + δ) entonces 0 < f(x) = |f(x)| < 1/M .
Luego, si x ∈ (a, a + δ) entonces 1/f(x) > M, i.e.
lím [x → a+] 1/f(x) = +∞.
Las siguientes tres proposiciones se demuestran de manera análoga a la Proposición
14.
Proposición 15. Sea f una función tal que lím [x → a+] f(x) = 0.
Si existe un entorno reducido a derecha de a en el cual f es negativa, i.e. existe ρ > 0 tal que
f(x) < 0 ∀x ∈ (a, a + ρ), entonces
lím [x → a+] 1/f(x) = −∞.
Proposición 16. Sea f una función tal que lím [x → a−] f(x) = 0.
Si existe un entorno reducido a izquierda de a en el cual f es positiva, i.e. existe ρ > 0 tal que
f(x) > 0 ∀x ∈ (a − ρ, a), entonces
lím [x → a−] 1/f(x) = +∞.
Proposición 17. Sea f una función tal que lím [x → a−] f(x) = 0.
Si existe un entorno reducido a izquierda de a en el cual f es negativa, i.e. existe ρ > 0 tal
que f(x) < 0 ∀x ∈ (a − ρ, a), entonces
lím [x → a−] 1/f(x) = −∞.

Más álgebra de límites

Teorema 11
Sea a ∈ R, sean f y g funciones reales tales que
lím [x→a+] f(x) = L ∧ lím [x→a+] g(x) = +∞. Entonces
lím [x→a+] (f + g)(x) = +∞.
Demostración en el apunte

Corolario 3
Sea a ∈ R, sean f y g funciones reales tales que
lím [x→a+] f(x) = L ∧ lím [x→a+] g(x) = −∞. Entonces
lím [x→a+] (f + g)(x) = −∞.
Demostración. Consideremos la función ˜g tal que x ∈ Dom(g) ⇒ ˜g(x) = −g(x).
Luego, por el ítem 4 del Teorema 10 de la página 21 del apunte, sabemos que
lím [x→a+] ˜g(x) = +∞
(En realidad, estaríamos usando la Proposición 7 por tratarse de límites laterales).
Entonces, con ˜g y f se puede utilizar el teorema anterior y obtener el resultado de este
corolario.

Corolario 4.
Sea a ∈ R, sean f, g1 y g2 funciones reales tales que
lím [x → a−] f(x) = L ∧ lím [x → a−] g1(x) = +∞ ∧ lím [x → a−] g2(x) = −∞. Entonces
lím [x → a−] (f + g1)(x) = +∞ ∧ lím [x → a−] (f + g2)(x) = −∞.
Demostración. Para ver este corolario basta reescribir la demostración del teorema anterior
considerando siempre los semientornos a izquierda del punto a, es decir, a − δ < x < a.

Teorema 12. Sea a ∈ R, sean f y g funciones reales tales que

lím [x→a+] f(x) = L ≠ 0 ∧ lím [x→a+] g(x) = +∞. Entonces
lím [x→a+] (fg)(x) =
- +∞ si L > 0,
- −∞ si L < 0.
Demostración en el apunte.

Corolario 5.
Sea a ∈ R, sean f y g funciones reales tales que
lím [x→a+] f(x) = L ≠ 0 ∧ lím [x→a+] g(x) = −∞. Entonces
lím [x→a+] (fg)(x) =
- −∞ si L > 0,
- +∞ si L < 0.
Demostración. Consideremos la función ˜g tal que x ∈ Dom(g) ⇒ ˜g(x) = −g(x).
Luego, por el ítem 4 del Teorema 10 de la página 21 del apunte, sabemos que
lím [x→a+] ˜g(x) = +∞
(En realidad, estaríamos usando la Proposición 7 por tratarse de límites laterales).
Entonces, con ˜g y f se puede utilizar el teorema anterior y obtener el resultado de este
corolario.

Corolario 6.
Sea a ∈ R, sean f, g1 y g2 funciones reales tales que
lím [x→a−] f(x) = L ≠ 0 ∧ lím [x→a−] g1(x) = +∞∧ lím [x→a−] g2(x) = −∞. Entonces
lím [x→a−] (f · g1)(x) =
- +∞ si L > 0,
- −∞ si L < 0.
y
lím [x→a−] (f · g2)(x) =
- −∞ si L > 0,
- +∞ si L < 0.
Demostración. Para ver este corolario basta reescribir la demostración del teorema anterior
considerando siempre los semientornos a izquierda del punto a, es decir, a − δ < x < a.

Teorema 13.
Sean f y g funciones reales tales que
lím [x→+∞] f(x) = L ∧ lím [x→+∞] g(x) = +∞. Entonces
lím [x→+∞] (f + g)(x) = +∞.
Demostración en el apunte

Corolario 7.
Sean f y g funciones reales tales que
lím [x→+∞] f(x) = L ∧ lím [x→+∞] g(x) = −∞. Entonces
lím [x→+∞] (f + g)(x) = −∞.
Demostración. Consideremos la función ˜g tal que
x ∈ Dom(g) ⇒ ˜g(x) = −g(x).
Luego, por álgebra de límites en el infinito, sabemos que
lím [x→a+] ˜g(x) = +∞
Entonces, con ˜g y f se puede utilizar el teorema anterior y obtener el resultado de este
corolario.

Corolario 8. Sean f, g1 y g2 funciones reales tales que

lím [x→−∞] f(x) = L ∧ lím [x→−∞] g1(x) = +∞ ∧ lím [x→−∞] g2(x) = −∞. Entonces
lím [x→−∞] (f + g1)(x) = +∞ ∧ lím [x→−∞] (f + g2)(x) = −∞.
Demostración. Para ver este corolario basta reescribir la demostración del teorema anterior
o del corolario anterior, considerando siempre x < −H y las adaptaciones que correspondan.

Teorema 14. Sean f y g funciones reales tales que

lím [x→+∞] f(x) = L ≠ 0 ∧ lím [x→+∞] g(x) = +∞. Entonces
lím [x→+∞] (fg)(x) =
- +∞ si L > 0,
- −∞ si L < 0.
Demostración en el apunte
Corolario 9. Sean f y g funciones reales tales que
lím [x→+∞] f(x) = L ≠ 0 ∧ lím [x→+∞] g(x) = −∞. Entonces
lím [x→+∞] (fg)(x) =
- −∞ si L > 0,
- +∞ si L < 0.
Demostración. Consideremos la función ˜g tal que x ∈ Dom(g) ⇒ ˜g(x) = −g(x).
Luego, por el ítem 4 del Teorema 10 (para el caso de límite en el infinito), sabemos que
lím [x→+∞] ˜g(x) = +∞
Entonces, con ˜g y f se puede utilizar el teorema anterior y obtener el resultado de este
corolario.

Corolario 10. Sean f, g1 y g2 funciones reales tales que

lím [x→−∞] f(x) = L ≠ 0 ∧ lím [x→−∞] g1(x) = +∞ ∧ lím [x→−∞] g2(x) = −∞. Entonces
lím [x→−∞] (f · g1)(x) =
- +∞ si L > 0,
- −∞ si L < 0.
y lím [x→−∞] (f · g2)(x) =
- −∞ si L > 0,
- +∞ si L < 0.
Demostración. Para ver este corolario basta reescribir la demostración del teorema anterior
considerando siempre x < −H y las adaptaciones que correspondan.

Asíntotas
Se dice que la recta vertical x = a es una asíntota vertical de la función f en el punto a si se
verifica por lo menos uno de estos cuatro límites
lím [x → a+] f(x) = +∞,
lím [x → a+] f(x) = −∞,
lím [x → a−] f(x) = +∞,
lím [x → a−] f(x) = −∞.

Se dice que la recta horizontal y = b es una asíntota horizontal de función f si se verifica por
lo menos uno de estos dos límites
lím [x → +∞] f(x) = b,
lím [x → −∞] f(x) = b.

Se dice que la recta y = mx + b, con m ≠ 0, es una asíntota oblicua de la función f si se

verifica por lo menos uno de estos dos límites
lím [x → +∞] (f(x) − (mx + b)) = 0
lím [x → −∞] (f(x) − (mx + b)) = 0

Continuidad
Continuidad en un punto y en un conjunto.
Sean f una función y a un número real, entonces, se dice que la función f es continua en el
punto a, si y sólo si,
1. existe el valor f(a),
2. existe el valor lím [x→a] f(x) (finito),
3. lím [x→a] f(x) = f(a).
Si la función no es continua en el punto a, allí se dice discontinua.
Si en todo punto de un conjunto A la función es continua, se dice que es continua en el
conjunto A.
Como la definición de continuidad utiliza el concepto de límite en un punto, puede entonces
darse la definición utilizando entornos de a y f(a).
Definición de continuidad utilizando la definición de límite
Decimos que f es continua en a, si y solamente si, dado ε > 0, existe δ > 0, tal que si
|x − a| < δ ⇒ |f(x) − f(a)| < ε .
Respecto de la definición de límite, se han realizado dos modificaciones:
1. Se ha reemplazado el valor ℓ por el número f(a) y
2. la condición se debe verificar en el entorno completo, ya que f debe estar definida en
el punto a, y en dicho punto vale, para todo ε > 0,
Continuidad lateral.
Una función f se dice continua por izquierda (respectivamente, por derecha) en el punto a, si
existe el valor de f(a), el límite lateral por izquierda (respectivamente, por derecha) de la
función allí, y ambos coinciden.
Función continua.
Se dice que una función es continua si es continua en todos los puntos de su dominio.

Tipos de discontinuidades
Discontinuidades Evitables
Una función presenta una discontinuidad evitable en un punto, si existe el límite (finito) de la
función allí, pero no coincide con el valor de la función en el punto, que puede incluso no
estar definido.
Si f presenta una discontinuidad evitable en a, y allí tiene límite ℓ, definiendo una nueva
función g de manera que
g(x) =
- f(x) si x ≠ a
- ℓ si x = a
se obtiene una función continua en a, que coincide con f en los demás puntos.
Discontinuidades Inevitables de Salto Finito
En el caso que en un punto a una función posea ambos límites laterales (finitos), pero ellos
no coincidan, se dice que la función tiene una discontinuidad de salto finito. En un punto
donde una función presenta una discontinuidad de salto finito se suele llamar discontinuidad
del salto la distancia entre los límites laterales en el punto.
Discontinuidades Inevitables de Salto Infinito
Una función tiene una discontinuidad de salto infinito en el punto a, si al menos uno de los
dos límites laterales es infinito, y el otro existe finito o es infinito.
Discontinuidades Esenciales
Una función tiene una discontinuidad esencial en un punto, si allí la discontinuidad no es
evitable, ni de salto finito o infinito. En el punto no existe uno de los límites laterales, finito ni
infinito.

Algunos teoremas
Proposición 18
Si f es una función continua en a, entonces existe un entorno de a en el cual f está acotada.
Esto es, existen δ > 0 y M > 0,
x ∈ E(a, δ) ⇒ |f(x)| ≤ M .
Proposición 19
Si f es una función continua en a y k es un número tal que f(a) > k (respect. f(a) < k),
entonces existe un entorno de a en el cual f asume valores todos mayores a k (respect.
asume valores todos menores a k). Esto es, existe δ > 0 tal que
x ∈ E(a, δ) ⇒ f(x) > k (respect. f(x) < k).
Corolario 11. Principio de conservación del signo
Si f es una función continua en a, tal que f(a) > 0 (respect. f(a) < 0), entonces existe un
entorno de a en el cual la función f se mantiene positiva (respect. negativa).
Corolario 12.
Si f es una función continua en a tal que, en cualquier entorno de a, la función f asume tanto
valores positivos como negativos, entonces f(a) = 0.
Demostración: Si suponemos, f(a) > 0, existiría un entorno de a donde la función es siempre
positiva, que contradice la hipótesis. Luego, f(a) ≤ 0. Si ahora suponemos que f(a) < 0,
habría un entorno donde la función es siempre negativa, que también contradice la
hipótesis. Concluimos que, necesariamente, como la función efectivamente está definida en
a (pues es continua en a), debe ser f(a) = 0.

Algebra de funciones continuas y continuidad de la función

compuesta
Teorema 15. Álgebra de funciones continuas
Sean f y g dos funciones continuas en a, entonces son continuas en el punto a las funciones
f ± g, c · f (si c ∈ R), f · g y f/g si g(a) ≠ 0 .
Demostración: Solamente probaremos la continuidad de la función suma, quedan como
ejercicio las demás.
Como f y g son continuas en a, existen f(a) y g(a), luego existe (f + g)(a) = f(a) + g(a).
Además existen los límites de f y g en a y vale
lím [x→a] (f + g)(x) = lím [x→a] f(x) + lím [x→a] g(x) = f(a) + g(a) = (f + g)(a) .
Teorema 16. Límite de la función compuesta
Sean f y g dos funciones tales que Rec(g) ⊆ Dom(f). Supongamos que existe el límite
lím [x→a] g(x) = ℓ ,
y que además f es continua en ℓ. Entonces existe el límite
lím [x→a] (f ◦ g)(x) = f(ℓ) .
Demostración: Dado ε > 0, queremos encontrar δ > 0, tal que
0 < |x − a| < δ ⇒ |(f ◦ g)(x) − f(ℓ)| = |f(g(x)) − f(ℓ)| < ε .
Como f es continua en ℓ, dado el valor ε propuesto, existe un valor ρ, para el cual
|z − ℓ| < ρ ⇒ |f(z) − f(ℓ)| < ε . (1)
Ahora, como lím [x→a] g(x) = ℓ , dado el valor ρ > 0, existe δ > 0, que hace válido
0 < |x − a| < δ ⇒ |g(x) − ℓ| < ρ . (2)
Combinando las implicaciones (1) y (2),
0 < |x − a| < δ ⇒ |g(x) − ℓ| < ρ ⇒ |f(g(x)) − f(ℓ)| < ε ,
que es lo que queríamos probar.
Corolario 13 (Continuidad de la función compuesta).
Con f, g y a como antes, si g es continua en a y f es continua en g(a), entonces f ◦ g es una
función continua en a.

Teorema 17 (Teorema de Bolzano)

Sea f una función continua en el intervalo [a, b] tal que f(a) · f(b) < 0 (i.e. f(a) y f(b) tienen
distinto signo). Entonces, existe un punto ξ ∈ (a, b), donde f(ξ) = 0.

Teorema 18 (Propiedad de los valores intermedios)

Sea f una función continua en [a, b], donde f(a) ≠ f(b) y k un valor comprendido
estrictamente entre f(a) y f(b). Entonces, existe un punto ξ∈(a, b) para el cual resulta f(ξ) =
k.
Demostración: Sea f una función continua en un intervalo [a, b], supongamos que f(a) < f(b)
(si f(b) < f(a) el razonamiento es análogo) y un número real k tal que f(a) < k < f(b) .
Definimos la función sobre el intervalo [a, b] por la ley g(x) = f(x) − k , se tiene
- g es continua en [a, b], por ser resta de funciones continuas.
- g(a) = f(a) − k < 0,
- g(b) = f(b) − k > 0.
Tenemos entonces que g verifica las hipótesis del Teorema de Bolzano, entonces existe un
valor ξ ∈ (a, b), para el cual 0 = g(ξ) = f(ξ) − k , en consecuencia f(ξ) = k .

Teorema 19. Continuidad de la función inversa

Si f es creciente y continua en un intervalo[a, b], entonces
−1
1. existe la función inversa 𝑓 definida sobre el intervalo [f(a), f(b)],
−1
2.𝑓 es creciente en [f(a), f(b)] y
−1
3. 𝑓 es continua en [f(a), f(b)].
Demostración:
1. Como ya observamos, f creciente, implica f inyectiva, o biyectiva restringiendo el
codominio. Ahora bien, Rec(f) = [f(a), f(b)], ya que, por PVI, como f es continua sobre [a, b],
−1
dado un z ∈ [f(a), f(b)], existe un c ∈ [a, b] tal que f(c) = z. Luego, f admite inversa, 𝑓 y
−1
Dom𝑓 = Rec(f) = [f(a), f(b)].
2. Sean y1 e y2 dos puntos cualesquiera de [f(a), f(b)] y sean x1, x2 ∈ [a, b] tales que
−1
f(x1) = y1 y f(x2) = y2 (las correspondientes preimágenes). Para mostrar que 𝑓 es
creciente, habrá que ver
 −1 −1
y1 < y2 ⇒ 𝑓 (y1) < 𝑓 (y2) .
De manera equivalente,
−1 −1
y1 < y2 ⇒ 𝑓 (y1) < 𝑓 (y2)
⇔
−1 −1
f(x1) < f(x2) ⇒ 𝑓 (f(x1)) < 𝑓 (f(x2))
⇔
f(x1) < f(x2) ⇒ x1 < x2
Argumentamos la validez de esta implicación suponiendo que si existiesen dos valores x1 y
x2, tales que
x1 ≥ x2 y f(x1) < f(x2)
Si x1 > x2 con f(x1) < f(x2), esto llevaría a contradecir que f sea creciente y si x1 = x2 con
−1
f(x1) < f(x2), contradice que f sea función. Luego, 𝑓 es monótona creciente sobre [f(a),
f(b)].
−1
3. Mostratremos primero que 𝑓 es continua en (f(a), f(b)).
−1
Sea y0 = f(x0) ∈ (f(a), f(b)); 𝑓 será continua y0, si dado ε > 0, puede encontrarse δ > 0 tal
que
−1 −1
|y − y0| < δ ⇒ |𝑓 (y) − 𝑓 (y0)| < ε ,
o equivalente a la proposición
|f(x) − f(x0)| < δ ⇒ |x − x0| < ε .
Ahora bien,
|x − x0| < ε ⇒ x0 − ε < x < x0 + ε ⇒ f(x0 − ε) < f(x) < f(x0 + ε) .
Sea δ un número positivo, elegido de manera que el entorno E(y0, δ) = E(f(x0), δ) esté
incluido en el intervalo (f(x0 − ε), f(x0 + ε)), así, si
δ ≤ mín{f(x0) − f(x0 − ε), f(x0 + ε) − f(x0)} ,
será
(f(x0) − δ, f(x0) + δ) ⊆ (f(x0 − ε), f(x0 + ε)) .
La gráfica de la figura muestra los elementos mencionados, nombrando c a nuestro
x0.
 −1
Con esta elección y recordando que al ser f creciente también lo es 𝑓 ,
|y − y0| < δ ⇒ y0 − δ < y < y0 + δ
⇒ f(x0) − δ < y < f(x0) + δ
⇒ f(x0 − ε) < f(x) < f(x0 + ε)
−1 −1 −1
⇒ 𝑓 (f(x0 − ε)) < 𝑓 (f(x)) < 𝑓 (f(x0 + ε))
⇒ x0 − ε < x < x0 + ε ⇒ |x − x0| < ε
−1 −1
⇒ |𝑓 (y) − 𝑓 (y0)| < ε .
Así, dado ε > 0, encontramos δ > 0, que hace válida la condición de continuidad de la
−1
función 𝑓 en el punto y0.
−1
A continuación, mostraremos la continuidad por derecha de la función𝑓 en el punto
f(a), y dejamos como ejercicio la demostración de continuidad por izquierda en el
punto f(b).
Dado ε > 0, como f es una función continua por derecha en a, podemos elegir δ > 0
tal que el intervalo (f(a), f(a)+δ) esté incluido en el intervalo (f(a), f(a+ε)), haciendo
δ ≤ mín{f(a + ε) − f(a} .
Entonces
f(a) < y < f(a) + δ ⇒ f(a) < y < f(a + ε)
⇒ f(a) < f(x) < f(a + ε)
−1 −1 −1
⇒ 𝑓 (f(a)) < 𝑓 (f(x)) < 𝑓 (f(a + ε))
⇒ a < x < a + ε ⇒ |x − a| < ε
−1 −1
⇒ |𝑓 (y) − 𝑓 (f(a))| < ε ,
y dado ε > 0, encontramos δ > 0, que hace válida la condición de continuidad por
−1
derecha de la función 𝑓 en el punto f(a).

Teorema 20. Si f es decreciente y continua en un intervalo [a, b], entonces

−1
1. existe la función inversa𝑓 definida sobre el intervalo [f(b), f(a)],
−1
2. 𝑓 es decreciente en [f(b), f(a)], y,
−1
3. 𝑓 es continua en [f(b), f(a)].

Valores extremos y teorema de Weierstrass

Máximos y mínimos
Sea f una función definida sobre un conjunto A. Diremos que el valor M es el máximo de la
función f en el conjunto A, si existe un número x∗ ∈ A, para el cual,
M = f(x∗) ≥ f(x) , para todo x ∈ A ,
y en ese caso, decimos que f alcanza el máximo en x∗.
Análogamente, diremos que m es el mínimo de la función f en el conjunto A, si existe x∗ ∈
A, donde vale
m = f(x∗) ≤ f(x) , para todo x ∈ A ,
y en ese caso, decimos que f alcanza el mínimo en x∗.
Cuando existen estas cantidades, notaremos,
Teorema 21 (Primer Teorema de Weierstrass). Si f es una función continua en un intervalo
[a, b] entonces f está acotada en dicho intervalo. Consultar los videos disponibles y la
bibliografía para ver una prueba del primer teorema
de Weierstrass.
Teorema 22 (Segundo Teorema de Weierstrass). Si f es una función continua en un
intervalo [a, b], entonces alcanza sus valores máximo y mínimo en [a, b].
Demostración: Por el Primer Teorema de Weierstrass, la función f está acotada en [a, b].
Mostremos que f alcanza su valor máximo.
Como el recorrido de la función f está acotado, lo está en particular superiormente. Sea M
el supremo del conjunto de números reales Rec(f).
Entonces,
f(x) ≤ M ∀x ∈ [a, b].
El número M puede o no pertenecer Rec(f).
Si M ∈ Rec(f), existe x∗ ∈ Dom(f) tal que f(x∗) = M y la existencia de máximo está probada.
Ahora supongamos que no existe dicho punto. Esto es f(x) < M, ∀x ∈ [a, b], es decir
M − f(x) > 0, ∀x ∈ [a, b]. Queda bien definida entonces en el intervalo [a, b] la función
g(x) = 1/(M − f(x))
Luego, g es una función continua (por ser la recíproca de una función continua que no
se anula en [a, b]). Nuevamente, por el Primer Teorema de Weierstrass, la función g está
acotada en el intervalo [a, b]. Por lo tanto, existe un valor M′ > 0 tal que g(x) < M′ ∀x ∈ [a,
b].
En consecuencia, para todo x ∈ [a, b] se tiene
0 < g(x) < M′ ⇒
⇒ 0 < 1/(M − f(x)) < M′ ⇒ 0 < 1/M′ < M − f(x)
⇒ f(x) < M − 1/M′ < M.
Resumiendo tenemos
f(x) < M − 1/M′ < M , ∀x ∈ [a, b].
Esto quiere decir que Rec(f) admite una cota superior estrictamente menor que el número
M, asumido como supremo de ese conjunto. Esta contradicción nos lleva a afirmar que
existe al menos un punto x∗ ∈ [a, b], para el cual f(x∗) = M, y luego M es el máximo
absoluto de la función f en el intervalo [a, b].
La existencia de mínimo se deja como ejercicio.
Teorema 23. (Teorema de los valores intermedios)
Sea f una función definida en un intervalo cerrado y acotado [a, b] y supongamos que f es
continua en [a, b], con m y M sus respectivos valores mínimo y máximo absolutos,
respectivamente.
Entonces, f alcanza todos los valores entre m y M. Es decir, Rec(f) = [m,M].

Cálculo Diferencial (Derivadas)

Definición. Sea f una función definida en un intervalo abierto y a un punto cualquiera de
dicho intervalo. Se dice que la función f tiene derivada en el punto a si y sólo existe el límite
 𝑓(𝑥)−𝑓(𝑎) 𝑓(𝑎+ℎ)−𝑓(𝑎)
lim 𝑥−𝑎
= lim ℎ
, 𝑐𝑜𝑛 ℎ = 𝑥 − 𝑎 = 𝑓'(𝑎)
𝑥→𝑎 ℎ→0
Notación:
𝑑𝑓 𝑑𝑦
𝑓'(𝑎) = 𝐷𝑓(𝑎) = 𝑑𝑥
(𝑎) = 𝑑𝑥
(𝑎), 𝑦 = 𝑓(𝑥)

Función Derivada y Derivadas Sucesivas

Definición. En el conjunto {x ∈ Dom( f ) : f es derivable en x}, definimos, la función f′
derivada de f (o función derivada primera de f ) como
𝑓': 𝐷𝑜𝑚(𝑓') → 𝑅
𝐷𝑜𝑚(𝑓′) = {𝑥 ∈ 𝐷𝑜𝑚(𝑓) : 𝑓 𝑒𝑠 𝑑𝑒𝑟𝑖𝑣𝑎𝑏𝑙𝑒 𝑒𝑛 𝑥} ⫅ 𝐷𝑜𝑚(𝑓).
Definición En el conjunto {x ∈ Dom( f ′) : f ′es derivable en x}, definimos la función (f′)′ = f ′′
derivada de f′ (o función derivada segunda de f ) como
𝑓′′ : 𝐷𝑜𝑚(𝑓′′) → 𝑅
𝐷𝑜𝑚((𝑓′)′) = 𝐷𝑜𝑚(𝑓′′) = {𝑥 ∈ 𝐷𝑜𝑚(𝑓′) : 𝑓 ′𝑒𝑠 𝑑𝑒𝑟𝑖𝑣𝑎𝑏𝑙𝑒 𝑒𝑛 𝑥} ⫅ 𝐷𝑜𝑚(𝑓′).
Definición. Dada la función derivada (n−1)-ésima de la función f , se llama derivada n-ésima
de la función f (o de derivada de orden n de f ) a la función derivada primera de la función
(𝑛−1) (𝑛) (𝑛−1)
𝑓 , y se la nota 𝑓 = (𝑓 )'.
Notación:
𝑛 𝑛
(𝑛) 𝑛 𝑑 𝑓 𝑑 𝑦
𝑓 =𝐷 𝑓 = 𝑛 = 𝑛 , 𝑦 = 𝑓(𝑥)
𝑑𝑥 𝑑𝑥

Rectas Tangente y Normal a una Curva

Definición. Si f es una función derivable en un punto a, la recta tangente a la gráfica de f en
el punto (a, f(a)) es la recta que pasa por dicho punto, de pendiente f′(a). Esto es, la recta de
ecuación
𝑦−𝑓(𝑎)
𝑥−𝑎
= 𝑓'(𝑎) ⇒ 𝑦 = 𝑓'(𝑎)(𝑥 − 𝑎) + 𝑓(𝑎)
Definición: La recta normal a la gráfica de una función f en el punto (a, f (a)) es la recta que
−1
pasa por dicho punto, de pendiente 𝑓'(𝑎) si 𝑓'(𝑎) ≠ 0, de ecuación
−1
𝑦= 𝑓'(𝑎)
(𝑥 − 𝑎) + 𝑓(𝑎)

Razón de cambio
Se puede interpretar a la derivada de una función como la razón de cambio de la misma, es
decir, la tasa de cambio de la variable y cuando cambia la variable x

Algunas Derivadas
Función lineal:
𝑓(𝑥) = 𝑚𝑥 + ℎ ⇒ 𝑓'(𝑥) = 𝑚
Demostración:
 𝑚𝑥+ℎ−(𝑚𝑎+ℎ) 𝑚(𝑥−𝑎)
𝑓'(𝑎) = lim 𝑥−𝑎
= lim 𝑥−𝑎
=𝑚
𝑥→𝑎 𝑥→𝑎
Función de exponente natural:
𝑛−1
𝑓'(𝑎) = 𝑛𝑎
Demostración:
Teniendo en cuenta la Fórmula para el Desarrollo del Binomio de Newton:
𝑛
𝑛 𝑛−𝑘 𝑘
(𝑥 + 𝑦) = ∑ 𝑛𝐶𝑘 · 𝑥 𝑦
𝑘=0
𝑛
𝑛−𝑘 𝑘 𝑛
𝑛 𝑛 ( ∑ 𝑛𝐶𝑘·𝑥 ℎ )−𝑎
(𝑎+ℎ) −𝑎 𝑘=0
𝑓'(𝑎) = lim ℎ
= lim ℎ
=
ℎ→0 ℎ→0
𝑛 𝑛 𝑛
𝑛 𝑛−𝑘 𝑘 𝑛 𝑛−𝑘 𝑘 𝑛−1 𝑛−𝑘 𝑘
(𝑎 + ∑ 𝑛𝐶𝑘·𝑥 ℎ )−𝑎 ∑ 𝑛𝐶𝑘·𝑥 ℎ 𝑛𝐶1·𝑎 ℎ+ ∑ 𝑛𝐶𝑘·𝑥 ℎ
𝑘=1 𝑘=1 𝑘=2
lim ℎ
= lim ℎ
= lim ℎ
=
ℎ→0 ℎ→0 ℎ→0
𝑛
𝑛−1 𝑛−𝑘 𝑘−1 𝑛−1 𝑛−1
lim 𝑛𝑎 + ∑ 𝑛𝐶𝑘 · 𝑥 ℎ = 𝑛𝑎 + 0 = 𝑛𝑎
ℎ→0 𝑘=2

Funciones trigonométricas
Proposición 3: Las funciones sen(x) y cos(x) son derivables para todo x en los reales y
valen
sen’(a) = cos(a)
cos’(a) = -sen(a)
Demostración: Se aplica la definición de derivada en las respectivas funciones en el punto a.
Puede ser útil recordar que
𝑠𝑒𝑛(ℎ) 𝑐𝑜𝑠(ℎ)−1
lim ℎ
= 1; lim ℎ
= 0; 𝑠𝑒𝑛(𝑎 + ℎ) = 𝑠𝑒𝑛(𝑎)𝑐𝑜𝑠(ℎ) + 𝑐𝑜𝑠(𝑎)𝑠𝑒𝑛(ℎ);
ℎ→0 ℎ→0
𝑐𝑜𝑠(𝑎 + ℎ) = 𝑐𝑜𝑠(𝑎)𝑐𝑜𝑠(ℎ) − 𝑠𝑒𝑛(𝑎)𝑠𝑒𝑛(ℎ)

Continuidad de funciones derivables

Toda función derivable es continua, sin embargo no se cumple la propiedad recíproca
Teorema 1. Si una función tiene derivada en un punto, entonces es continua en dicho punto.
Demostración: Sea f derivable en 𝑎, 𝑥 ≠ 𝑎
𝑓(𝑥)−𝑓(𝑎)
𝑓(𝑥) − 𝑓(𝑎) = 𝑥−𝑎
(𝑥 − 𝑎)
Calculando el límite:
𝑓(𝑥)−𝑓(𝑎)
lim 𝑓(𝑥) − 𝑓(𝑎) = lim 𝑥−𝑎
lim (𝑥 − 𝑎) = 𝑓'(𝑎) · 0 = 0
𝑥→𝑎 𝑥→𝑎 𝑥→𝑎
Por lo tanto, lim 𝑓(𝑥) = 𝑓(𝑎). Entonces f es continua en a
𝑥→𝑎
Álgebra de Derivadas
Teorema 2. Sean f y g derivables en un punto a, c una constante real, entonces
1. f + g es derivable en a y vale (f+g)’(a) = f’(a)+g’(a)
2. c*f es derivable en a y vale (c*f)’(a) = c*f’(a)
3. f-g es derivable en a y vale (f-g)’(a) = f’(a)-g’(a)
Demostración
1. Se demuestra aplicando la definición de derivada
2. Se demuestra aplicando la definición de derivada
3. Se demuestra aplicando álgebra de límites (apartados 1 y 2) con c = -1
Teorema 3. Sean f y g derivables en un punto a, entonces f*g es derivable en a y vale
(𝑓 · 𝑔)'(𝑎) = 𝑓'(𝑎)𝑔(𝑎) + 𝑓(𝑎)𝑔'(𝑎)
Demostración: Se demuestra aplicando la definición de derivada. Es útil tener en cuenta que
f(a)*g(x)-f(a)*g(x)=0
𝑛 𝑛−1
Proposición 4. Si 𝑛 ∈ 𝑁 ⇒ 𝑓(𝑥) = 𝑥 es derivable en a y vale 𝑓'(𝑎) = 𝑛𝑎
Demostración: Se demuestra por inducción sobre n.
1−1
𝑛 = 1 ⇒ 𝑓(𝑎) = 𝑎, 𝑓'(𝑎) = 1 = 1 · 𝑎
𝑛 𝑛−1
Si el enunciado es cierto para algún natural n: 𝑓(𝑥) = 𝑥 ⇒ 𝑓'(𝑎) = 𝑛𝑎 .
𝑛+1 𝑛
Sea 𝑓(𝑥) = 𝑥 . Entonces 𝑓(𝑥) = 𝑔(𝑥) · ℎ(𝑥) = 𝑥 · 𝑥
𝑛−1 𝑛 𝑛
Así que 𝑓'(𝑎) = 𝑔'(𝑎)ℎ(𝑎) + 𝑔(𝑎)ℎ'(𝑎) = 𝑛𝑎 · 𝑎 + 𝑎 · 1 = (𝑛 + 1)𝑎
Entonces el enunciado vale para n+1, por lo que vale para todo número natural
𝑓
Teorema 4. Si f y g son derivables en a y 𝑔(𝑎) ≠ 0, 𝑔
es derivable en a y vale
𝑓 𝑓'(𝑎)𝑔(𝑎)−𝑓(𝑎)𝑔'(𝑎)
( 𝑔 )'(𝑎) = 2
𝑔(𝑎)
Demostración: se demuestra por definición de derivadas. Puede ser útil saber que
𝑓(𝑎)𝑔(𝑎) − 𝑓(𝑎)𝑔(𝑎) = 0
−𝑛 1 −𝑛−1
Proposición 5. Si 𝑛 ∈ 𝑁 ⇒ 𝑓(𝑥) = 𝑥 = 𝑛 es derivable en a y vale 𝑓'(𝑎) =− 𝑛𝑎
𝑥
𝑛 ℎ
Demostración: Definimos ℎ(𝑥) = 1, 𝑔(𝑥) = 𝑥 ⇒ 𝑓 = 𝑔
. Como h y g son derivables en
𝑛 𝑛−1
0·𝑎 −1·𝑛𝑎 −1−𝑛
𝑎 ≠ 0, 𝑔(𝑎) ≠ 0, entonces 𝑓'(𝑎) = 2𝑛 =− 𝑛𝑎
𝑎
Nota. Los polinomios son derivables en todos los Reales, y también las funciones racionales
en todo su dominio.

Regla de la cadena - Derivada de la composición de funciones

Teorema 5. Regla de la cadena.
Sean f y g funciones tales que 𝑅𝑒𝑐(𝑔) ⊆ 𝐷𝑜𝑚(𝑓) y sea a un punto tal que g es derivable en
a y f es derivable en g(a), Entonces
(𝑓 ◦ 𝑔)'(𝑎) = 𝑓'(𝑔(𝑎)) · 𝑔'(𝑎)
Demostración. Si para un incremento de h unidades en la variable a, notamos con la
variable auxiliar k al incremento de la función g, entonces
𝑘 = 𝑔(𝑎 + ℎ) − 𝑔(𝑎) ⇔ 𝑔(𝑎 + ℎ) = 𝑔(𝑎) + 𝑘
Se supone además que k es distinto a 0
Entonces trabajando con la definición de derivada llegamos a un límite de un producto;
podemos ver que cuando ℎ → 0 ⇒ 𝑘 = 𝑔(𝑎 + ℎ) − 𝑔(𝑎) → 0, por lo que el primer término
es igual a f’(g(a)). Además, como g es derivable en a, el segundo término del mismo es igual
a g’(a). Aplicamos álgebra de límites y llegamos al enunciado del teorema
Definición de Leibniz
𝑑𝑓
La definición de derivada de Leibniz nos dice que 𝑓'(𝑥) = 𝑑𝑥
Si en la composición 𝑓 ◦ 𝑔 evaluada en un x arbitrario, notamos 𝑢 = 𝑔(𝑥), la regla de la
cadena nos dice que
𝑑(𝑓◦𝑔) 𝑑𝑓 𝑑𝑢
𝑑𝑥
= 𝑑𝑢
· 𝑑𝑥
, entonces la derivada se comporta como si pudieramos cancelar la
cantidad du

Derivada de la función inversa

Teorema 6. Derivada de la función inversa.
Sea f biyectiva, definida en un intervalo abierto I, f derivable en un punto 𝑎 ∈ 𝐼, con
−1
𝑓'(𝑎) ≠ 0. Entonces su función inversa 𝑓 es derivable en el punto f(a) y vale
−1 1
(𝑓 )'(𝑓(𝑎)) = 𝑓'(𝑎)
Demostración:
Utilizamos la demostración de derivada, planteando el límite del cociente incremental.
−1
Además, teniendo en cuenta que todo punto f(a)+h en el dominio de 𝑓 es un punto en el
recorrido de f, podemos escribirlo como f(a+k) para un único k, por la biyectividad de f. De
−1 −1
esta forma vemos que 𝑘= 𝑓 (𝑓(𝑎) + ℎ) − 𝑓 (𝑓(𝑎)). Por el teorema de continuidad de la
−1
función inversa, 𝑓 es continua en el punto f(a) por lo que ℎ → 0 ⇒ 𝑘 → 0. Manipulando
algebraicamente un poco más el límite planteado previamente, llegamos al enunciado del
teorema.

Derivada de Potencias de Exponente Racional

Proposición 6.
1
𝑛
1. Si 𝑛 ∈ 𝑁 entonces 𝑓(𝑥) = 𝑥 𝑛 = 𝑥 es derivable en todo a del dominio, con 𝑎 ≠ 0, y
vale
1
1 −1
𝑓'(𝑎) = 𝑛
𝑎𝑛
𝑝 1
𝑝 𝑝
2. Si 𝑛 = 𝑞
∈ 𝑄, entonces 𝑓(𝑥) = 𝑥 𝑞 = (𝑥 𝑞 ) es derivable en todo a del dominio, con
𝑎 ≠ 0, y vale
𝑝
𝑝 𝑞
−1
𝑓'(𝑎) = 𝑞
𝑎
Demostración
𝑛
1. Se demuestra utilizando el teorema 6, viendo que f es la inversa de 𝑔(𝑥) = 𝑥
2. Se demuestra utilizando el teorema 6 y la regla de la cadena
Derivada de funciones trigonométricas inversas
−π π
Sea sen(x) definida en el intervalo [ 2
, 2
], se puede demostrar por el teorema 6 que
1 2
𝑎𝑟𝑐𝑠𝑒𝑛'(𝑥) = 2
, 𝑥 ≠± 1 sabiendo que 𝑐𝑜𝑠(𝑥) = 1 − 𝑠𝑒𝑛(𝑥)
1−𝑥
Sea cos(x) definida en el intervalo [0, π], se puede demostrar de una forma similar que
−1
𝑎𝑟𝑐𝑐𝑜𝑠'(𝑥) = 2
, 𝑥 ≠± 1
1−𝑥
Para la derivada de arctan(x), recordemos que
2 2
2 1 𝑐𝑜𝑠 𝑥+𝑠𝑒𝑛 𝑥 2
𝑠𝑒𝑐 𝑥 = 2 = 2 = 1 + 𝑡𝑎𝑛 𝑥
𝑐𝑜𝑠 𝑥 𝑐𝑜𝑠 𝑥
−π π
Sea tan(x) definida en el intervalo [ 2
, 2
], se puede demostrar de una forma similar que
1
𝑎𝑟𝑐𝑡𝑎𝑛'(𝑥) = 2
1+𝑏

Diferenciabilidad y Aproximación de Primer Orden

Una función f es diferenciable en un punto a si existen un número real α y una función θ
definida en un entorno de a tales que para h>0
𝑓(𝑎 + ℎ) = 𝑓(𝑎) + αℎ + ℎθ(ℎ) donde lim θ(ℎ) = 0
ℎ→0
Teorema 7. Una función f es derivable en un punto a si y sólo si es diferenciable en a
Demostración:
En primer lugar, supongamos que f es derivable en a. Entonces
𝑓(𝑎+ℎ)−𝑓(𝑎)
𝑓'(𝑎) = lim ℎ
ℎ→0
Definamos la función θ como
𝑓(𝑎+ℎ)−𝑓(𝑎)
θ(ℎ) = ℎ
𝑠𝑖 ℎ ≠ 0
θ(ℎ) = 0 𝑠𝑖 ℎ ≠ 0
Por construcción, la función θ junto al número real α = 𝑓'(𝑎) verifican la condición de
diferenciabilidad
Recíprocamente, supongamos que f es diferenciable en a, y sean θ y α los requeridos en la
definición de diferenciabilidad. Entonces
𝑓(𝑎 + ℎ) = 𝑓(𝑎) + αℎ + ℎθ(ℎ), lim θ(ℎ) = 0
ℎ→0
𝑓(𝑎+ℎ)−𝑓(𝑎) 𝑓(𝑎+ℎ)−𝑓(𝑎)
Así, para ℎ ≠ 0, = α + θ(ℎ) ⇒ lim
ℎ ℎ
= α + lim θ(ℎ) = α
ℎ→0 ℎ→0
Por lo que f es derivable en a y vale 𝑓'(𝑎) = α
Nota
De esta forma podemos aproximar el valor de f(a+h) por el valor f(a) para un h chico

Teorema de Fermat
Sean f una función y un número 𝑥0 ∈ 𝐷𝑜𝑚(𝑓), diremos que
 1. f alcanza un máximo relativo en 𝑥0 si existe un entorno de 𝑥0
𝐸(𝑥0, δ): ∀𝑥 ∈ 𝐸(𝑥0, δ) ⇒ 𝑓(𝑥) ≤ 𝑓(𝑥0)
2. f alcanza un mínimo relativo en 𝑥0 si existe un entorno de 𝑥0
𝐸(𝑥0, δ): ∀𝑥 ∈ 𝐸(𝑥0, δ) ⇒ 𝑓(𝑥) ≥ 𝑓(𝑥0)
3. f tiene un extremo relativo en 𝑥0 si tiene un máximo o un mínimo relativo en 𝑥0
Notación:
MA: Máximo absoluto
MR: Máximo relativo
ma: mínimo absoluto
mr: mínimo relativo
Teorema 8. Teorema de Fermat
Sea f definida en un entorno de 𝑥0 y supongamos que f tiene un extremo relativo en 𝑥0.
Entonces, si f es derivable en 𝑥0, se tiene 𝑓'(𝑥0) = 0
Demostración: Se demuestra por absurdo, suponiendo que 𝑓'(𝑥0) > 0 o 𝑓'(𝑥0) < 0,
llegando a que f no puede tener un extremo relativo en 𝑥0 (absurdo)
Nota:
Si f es derivable en 𝑥0 y 𝑓'(𝑥0) = 0, no necesariamente existe un extremo relativo de f en 𝑥0.
3
Por ejemplo, la función 𝑓(𝑥) = 𝑥 , 𝑥0 = 0
Si f tiene un extremo relativo en 𝑥0, o bien 𝑓'(𝑥0) = 0 o bien f no es derivable en 𝑥0
Definición. Punto Crítico: 𝑥0 ∈ 𝐷𝑜𝑚(𝑓) es un punto crítico de f si 𝑓'(𝑥0) = 0 o si f no es
derivable en 𝑥0
Nota:
El teorema de Fermat nos dice que si f tiene un extremo relativo en 𝑥0 entonces 𝑥0 es un
punto crítico de f.

Teoremas de Valor Medio del Cálculo Diferencial

Teorema 9. Teorema de Rolle. Sea f definida en un intervalo cerrado y acotado [a,b] tal que
f es continua en [a,b] y derivable en (a,b). Si además vale que f(a)=f(b), entonces existe al
menos un 𝑐 ∈ (𝑎, 𝑏): 𝑓'(𝑐) = 0
Demostración:
Por ser f continua en [a,b], el teorema de Weierstrass asegura la existencia de extremos de f
en [a,b]
Sean M y m los valores máximo y mínimo absolutos de f en [a,b]. Entonces 𝑚 ≤ 𝑀,
Si fuese 𝑚 = 𝑀, resultaría 𝑓'(𝑥) = 0 por ser f(x) cte. y queda demostrado el teorema
Si 𝑚 < 𝑀, por ser 𝑓(𝑎) = 𝑓(𝑏), al menos uno de los valores, m o M será asumido en un
punto 𝑐 ∈ (𝑎, 𝑏), y f tendrá un extremo relativo en c. Por lo tanto, por el teorema de Fermat,
f’(c)=0
Teorema 10. Teorema de Lagrange. Sea f definida en [a,b] y supongamos que f es
continua en [a,b] y derivable en (a,b).
Entonces existe al menos un 𝑐 ∈ (𝑎, 𝑏) tal que
𝑓(𝑏)−𝑓(𝑎)
𝑏−𝑎
= 𝑓'(𝑐), 𝑜 𝑏𝑖𝑒𝑛 𝑓(𝑏) − 𝑓(𝑎) = 𝑓'(𝑐)(𝑏 − 𝑎)
El teorema de Lagrange nos dice que, dada la recta secante a la gráfica de f que pasa por
𝑓(𝑏)−𝑓(𝑎)
los puntos (a,f(a)) y (b,f(b)), 𝑏−𝑎
, existe un c en el interior del intervalo (a,b) tal que la
recta tangente a la gráfica de f en el punto (c, f(c)) tiene la misma pendiente. O sea, ambas
rectas son paralelas.
Demostración:
𝑓(𝑏)−𝑓(𝑎)
Definimos una función auxiliar 𝐹(𝑥) = 𝑓(𝑥) −. 𝑏−𝑎
(𝑥 − 𝑎)
F verifica las condiciones del teorema de Rolle. Por lo tanto podemos afirmar que existe
𝑐 ∈ (𝑎, 𝑏): 𝐹'(𝑐) = 0
𝑓(𝑏)−𝑓(𝑎)
Si calculamos F’ vemos que para 𝑥 ∈ (𝑎, 𝑏) 𝐹'(𝑥) = 𝑓'(𝑥) − 𝑏−𝑎
𝑓(𝑏)−𝑓(𝑎)
Y calculando en c será 0 = 𝐹'(𝑐) = 𝑓'(𝑐) − 𝑏−𝑎
que implica la tesis de nuestro teorema
Corolario 1. Si f es continua en [a,b] y derivable en (a,b), tal que en todos los puntos de
(a,b) la derivada es numa, entonces f es constante en [a,b]
Demostración. Consideremos un intervalo cualquiera [𝑥1, 𝑥2] ⊆ [𝑎, 𝑏]. Entonces f satisface
las condiciones del teorema 10 en [𝑥1, 𝑥2], y entonces existe 𝑐 ∈ (𝑥1, 𝑥2) donde
𝑓(𝑥2)−𝑓(𝑥1)
𝑥2−𝑥1
= 𝑓'(𝑐) = 0 ⇒ 𝑓(𝑥2) − 𝑓(𝑥1) = 0 ⇒ 𝑓(𝑥2) = 𝑓(𝑥1). Como 𝑥1 𝑦 𝑥2 son puntos

cualesquiera en [a,b], entonces para todo 𝑥 ∈ [𝑎, 𝑏] debe ser 𝑓(𝑥) = 𝑓(𝑥1) = 𝑓(𝑥2) = 𝑘
Corolario 2. Sean f y g dos funciones continuas en [a,b] y derivables en (a,b) tal que para
todo 𝑥 ∈ (𝑎, 𝑏), 𝑓'(𝑥) = 𝑔'(𝑥), entonces existe 𝑘 ∈ 𝑅: ∀𝑥 ∈ [𝑎, 𝑏], 𝑓(𝑥) = 𝑔(𝑥) + 𝑘
Demostración: ∀𝑥 ∈ [𝑎, 𝑏] se tiene 0 = 𝑓'(𝑥) − 𝑔'(𝑥) = (𝑓' − 𝑔')(𝑥) = (𝑓 − 𝑔)'(𝑥). Por el
corolario 1, existe 𝑘 ∈ 𝑅 tal que, ∀𝑥 ∈ [𝑎, 𝑏], 𝑘 = (𝑓 − 𝑔)(𝑥) = 𝑓(𝑥) − 𝑔(𝑥), o bien
𝑓(𝑥) = 𝑔(𝑥) + 𝑘
Teorema 11. Teorema de Cauchy.
Sean f y g definidas en [a,b] , continuas en [a,b] y derivables en (a,b). Entonces existe
𝑐 ∈ (𝑎, 𝑏): 𝑓'(𝑐)(𝑔(𝑏) − 𝑔(𝑎)) = 𝑔'(𝑐)(𝑓(𝑏) − 𝑓(𝑎))

La propiedad de los valores intermedios para derivadas

Teorema 12. Propiedad de los valores intermedios de Darboux
Sea f una función derivable en [a,b], supongamos que f’(a)<f’(b) y sea z un valor tal que
𝑓'(𝑎) < 𝑧 < 𝑓'(𝑏). Entonces existe un valor 𝑐 ∈ (𝑎, 𝑏) tal que 𝑓'(𝑐) = 𝑧
La misma tesis vale si se supone que 𝑓'(𝑏) < 𝑧 < 𝑓'(𝑎).
Demostración: Consideremos 𝑔(𝑥) = 𝑓(𝑥) − 𝑧𝑥, definida en [a,b]
Como f es derivable en [a,b], es continua allí. Entonces también resulta derivable y continua
en [a,b] g. Por el teorema de Weierstrass, ∃𝑐 ∈ [𝑎, 𝑏] donde g alcanza su valor mínimo, por
lo que 𝑔'(𝑐) = 0. Luego c no puede ser ni a ni b, ya que 𝑔'(𝑎) = 𝑓'(𝑎) − 𝑧 < 0 y
𝑔'(𝑏) = 𝑓'(𝑏) − 𝑧 > 0
Luego, 𝑐 ∈ (𝑎, 𝑏). Además, como g(c) es mínimo, debe ser
0 = 𝑔'(𝑐) = 𝑓'(𝑐) − 𝑧 ⇒ 𝑓'(𝑐) = 𝑧
Nota: La derivada de una función continua puede no ser continua. Ahora bien, aún sin ser
continua, el Teorema de Darboux nos permite afirmar que para las funciones derivadas,
sigue valiendo la Propiedad de los Valores Intermedios. Además, nos
permite llegar al siguiente resultado.
Corolario 3. Si f es derivable en un conjunto [a,b], la función derivada f’ no puede tener
discontinuidades evitables ni de salto en [a,b]. Esto es, las posibles discontinuidades de f’,
son esenciales.

Cálculo Integral
Definición. Decimos que F es una primitiva de f sobre el conjunto I si F′(x) = f (x) ∀x ∈ I.
También suele decirse que F es una antiderivada de f en I.
Observación.
• Si F es una primitiva de f y si c es una constante cualquiera, entonces F +c también es una
primitiva de f . En efecto (F +c)′ = F′+c′ = f +0 = f .
• Si F y G son dos primitivas cualesquiera de f , entonces dichas funciones difieren en una
constante, es decir, G−F = c o bien G(x) = F(x)+c ∀x ∈ I.
• Por lo tanto, F(x)+c (donde F es una primitiva particular de f y c es una constante arbitraria)
describe la familia de todas las primitivas de f sobre I.
Definición. Llamamos integral indefinida de una función f al conjunto de todas las primitivas

de f , y la notamos ∫ 𝑓(𝑥)𝑑𝑥. Luego, si F es una primitiva de f

∫ 𝑓(𝑥)𝑑𝑥 = 𝐹(𝑥) + 𝑐

Tabla de integrales inmediatas

Proposición 1.
Si F y G son primitivas de f y g respectivamente, y a es una constante real entonces
a) aF es una primitiva de af , es decir

∫ 𝑎𝑓(𝑥)𝑑𝑥 = 𝑎𝐹(𝑥) + 𝑐

b) F +G es una primitiva de f +g, es decir

∫(𝑓(𝑥) + 𝑔(𝑥))𝑑𝑥 = 𝐹(𝑥) + 𝐺(𝑥) + 𝑐

Demostración:
a) Como F es una primitiva de f , es F′ = f , luego (aF)′ =aF′ =a f y entonces aF es una
primitiva de a f .
b) Por ser F es una primitiva de f y G una primitiva de g, tenemos que (F +G)′ = F′+G′ =
f +g, luego F +G es una primitiva de f +g.
En general es válido

∫(𝑎𝑓(𝑥) + 𝑏𝑔(𝑥))𝑑𝑥 = 𝑎∫ 𝑓(𝑥)𝑑𝑥 + 𝑏∫ 𝑔(𝑥)𝑑𝑥

Regla de sustitución
Teorema 1: (Método de sustitución o cambio de variable): Sea f continua en I. Sea g una
función derivable con derivada continua en I tal que Im(g) ⊂ I. Entonces

∫ 𝑓(𝑔(𝑥))𝑔'(𝑥)𝑑𝑥 = ∫ 𝑓(𝑡)𝑑𝑡

Es decir, reemplazamos t por g(x). Entonces dt = g′(x)dx.

Ejemplos que se resuelven con este método:
𝑎𝑥 1 𝑎𝑥
∫ 𝑒 𝑑𝑥 = 𝑎
𝑒 +𝑐

3
2 (4𝑥−2)
∫(4𝑥 − 2) 𝑑𝑥 = 12
+𝑐

1
∫ 𝑐𝑜𝑠(3𝑥)𝑑𝑥 = 3
𝑠𝑒𝑛(3𝑥) + 𝑐

3 3
∫ 2 𝑑𝑥 = 2
𝑎𝑟𝑐𝑡𝑎𝑛(2𝑥) + 𝑐
1+4𝑥

Se usa para funciones compuestas

Integración por partes

Teorema 2: (Integración por partes): Sean f y g derivables con derivada continua en I.
Entonces

∫ 𝑓(𝑥)𝑔'(𝑥)𝑑𝑥 = 𝑓(𝑥)𝑔(𝑥) − ∫ 𝑓'(𝑥)𝑔(𝑥)𝑑𝑥

Ejemplos que se resuelven con este método
𝑎𝑥 1 𝑎𝑥 1 𝑎𝑥
∫ 𝑥𝑒 𝑑𝑥, 𝑎 ∈ 𝑅 = 𝑎
𝑥𝑒 − 2 𝑒 +𝑐
𝑎

∫ 𝑥𝑐𝑜𝑠(𝑥) =− 𝑥𝑐𝑜𝑠𝑥 + 𝑠𝑖𝑛𝑥 + 𝑐

Se usa para producto de funciones

Integración de funciones racionales propias

𝑃(𝑥)
Definición: Llamamos función racional propia al cociente 𝑄(𝑥)
donde P y Q son polinomios
y gr(P) < gr(Q).
Si gr(P) ≥ gr(Q) sabemos que existen únicos polinomios C y R con gr(R) < gr(Q) tales P
=CQ+R y luego P/Q=C+R/Q donde R/Q será propia
Veremos algunos casos según sean las raíces del polinomio Q.
1º caso: Q tiene sólo raíces reales simples.
Entonces (si suponemos que el coeficiente principal de Q es 1) el polinomio Q factorizado es
Q(x) = (x−α1)(x−α2) · · · (x−αn)
𝑃(𝑥) 𝐴1 𝐴2 𝐴2
Será 𝑄(𝑥)
= 𝑥−α1
+ 𝑥−α2
+... + 𝑥−α2
(1), 𝑐𝑜𝑛 𝐴𝑖 constantes a determinar de manera tal que
se verifique (1)
𝑑𝑥
Ejemplo. Calcular ∫ 2
𝑥 −2𝑥−3

𝑃(𝑥) 1 𝐴1 𝐴2 −1 1
𝑄(𝑥)
= (𝑥+1)(𝑥−3)
= 𝑥+1
+ 𝑥−3
⇔ {𝐴1 = 4
, 𝐴1 = 4
}⇒

𝑑𝑥 −1/4 1/4 −1 1
∫ 2 =∫ 𝑥+1
𝑑𝑥 + ∫ 𝑥−3
𝑑𝑥 = 4
𝑙𝑛|𝑥 + 1| + 4
𝑙𝑛|𝑥 − 3| + 𝑐
𝑥 −2𝑥−3

2° caso: Q tiene raíces reales múltiples

Entonces (podemos suponer que el coeficiente principal de Q es 1) el polinomio Q
𝑟 𝑟 𝑟𝑛
factorizado es 𝑄(𝑥) = (𝑥 − 𝑎1) 1(𝑥 − 𝑎2) 2... (𝑥 − 𝑎𝑛)
Será
𝐴11 𝐴12 𝐴1𝑟
𝑃(𝑥)
𝑄(𝑥)
= 𝑥−𝑎1
+ 2 +... + 1
𝑟2 +
(𝑥−𝑎1) (𝑥−𝑎1)

𝐴21 𝐴22 𝐴2𝑟

𝑥−𝑎2
+ 2 +... + 2
𝑟2 +
(𝑥−𝑎2) (𝑥−𝑎2)

+....... +
𝐴𝑛1 𝐴𝑛2 𝐴𝑛𝑟

𝑥−𝑎𝑛
+ 2 +... + 𝑛
𝑟𝑛
(𝑥−𝑎𝑛) (𝑥−𝑎𝑛)
Cálculo de integrales definidas
Teorema 3. (Primer teorema fundamental del cálculo): Sea f integrable en [a,x] para cada x
∈ [a,b] y sea c ∈ [a,b], definimos
𝑥
𝐹𝑐(𝑥) = ∫ 𝑓(𝑡)𝑑𝑡, 𝑥 ∈ [𝑎, 𝑏]
𝑐
Entonces 𝐹𝑐 es continua en [a,b] y además si f es continua en 𝑥 ∈ (𝑎, 𝑏), 𝐹𝑐 es derivable en
x y 𝐹𝑐'(𝑥) = 𝑓(𝑥)
Observación. El teorema nos dice, bajo hipótesis de continuidad de f , que
𝑥
𝐹𝑐(𝑥) = ∫ 𝑓(𝑡)𝑑𝑡 es una primitiva de f
𝑐
Teorema 4. (Segundo teorema fundamental del cálculo): Sea f continua en [a,b] y sea P una
primitiva de f en (a,b). Entonces para todo c ∈ (a,b) vale
𝑥
𝑃(𝑥) = 𝑃(𝑐) + ∫ 𝑓(𝑡)𝑑𝑡 ∀𝑥 ∈ (𝑎, 𝑏). O bien
𝑐
𝑥
∫ 𝑓(𝑡)𝑑𝑡 = 𝑃(𝑥) − 𝑃(𝑐)
𝑐
Observación. El teorema anterior nos permite calcular integrales definidas, conocida una
primitiva de la función integrando. Más precisamente, se tiene
Regla de Barrow. Si P es una primitiva de f entonces
𝑏
∫ 𝑓(𝑡)𝑑𝑡 = 𝑃(𝑏) − 𝑃(𝑎)
𝑎
𝑏
Notación: 𝑃(𝑥)|𝑎 = 𝑃(𝑏) − 𝑃(𝑎)

Integración por sustitución y por partes en integrales definidas

𝑏 𝑔(𝑏)
∫ 𝑓(𝑔(𝑥))𝑔'(𝑥)𝑑𝑥 = ∫ 𝑓(𝑡)𝑑𝑡
𝑎 𝑔(𝑎)
𝑏 𝑏
𝑏
∫ 𝑓(𝑥)𝑔'(𝑥)𝑑𝑥 = 𝑓(𝑥)𝑔(𝑥)|𝑎 − ∫ 𝑓'(𝑥)𝑔(𝑥)𝑑𝑥
𝑎 𝑎