Teoremas de Clculo I:

i) Unicidad de los reales:

a) .
b)
c)
d)
ii)
iii) :
a) .
b) .
c)
d) .
e)
f) .
g) .
h) .
i) .
j) ( )
k) .
l) .
m) .
n) .
o) ( )( )
p) .
q) .
r) .
s)
t) .
u) .
v)
w)
iv)
v)
vi)
vii)
viii)
ix)
x) tero mximo
que sastisface
xi)
xii)
xiii)
xiv)
xv)
xvi)
xvii) Si x es racional, x , e y es irracional, demostrar que x + y, x - y, xy, x/y, y/x son todos
irracionales.
xviii)
xix)
xx)
(Tricotoma).
xxi)
a)
b)
c)
d)
e)
f)
g)
h)
xxii)
xxiii)
xxiv)
xxv)
xxvi)
xxvii)
a) .
b) .
c) .
d) .
xxviii)
xxix) .
xxx)
xxxi) .
xxxii) .
xxxiii) | |
xxxiv) | |
xxxv) | | | |
xxxvi) | |
xxxvii) | | | | | | | |
xxxviii) | |
xxxix) | |
xl)
a) | | | | | |
b) | | | | | |
c) | | | | | |
d) || | | || | |
e) | | | | | |
 f) | | | |
| |
g) | | | |
h) | | | |.
i) | | | |
j) | | | | .
k) | | .
xli) | || |
xlii)
xliii)
a)
b)
c)
d) ( ) .

e)
xliv) Todo subconjunto no vaco de R y acotado superior o inferiormente tiene supremo o
nfimo, respectivamente.
xlv) Sea A R y acotado superiormente:
a) Sea c en los reales positivos entonces c Sup(A)= Sup(c A).
b) Sea c en los reales negativos entonces c Sup(A)=Inf(c A).
xlvi) Los naturales no estn acotados superiormente.
xlvii) Para cada real x, existe un entero positivo n tal que
xlviii)
xlix) (Propiedad arquimediana).
l)
li) Sea h un nmero positivo dado y S un conjunto de nmeros reales:
a) Si S tiene extremo superior, para un cierto x de S se tiene x > sup S - h.
b) Si S tiene extremo inferior, para un cierto x de S se tiene x < inf S + h.
lii) Dados dos subconjuntos no vacos S y T de R tales que para todo, s de S y toda t de T.
Entonces S tiene extremo superior, y T extremo inferior, y se verifica sup S inf T.
liii) Sup(A+B)=Sup(A)+Sup (B). Anlogamente con el nfimo.
liv) El supremo e nfimo son nicos.
lv) Cada nmero real no negativo a tiene una raz cuadrada no negativa nica.
lvi) Sean a, b, c, d, m, p y q se cumple:
a) Si | | |
b) Si | | |
c) Si | |
d) Si | |
e) Si | | |
f) Si | | |
g) | |
h) | | |
i) | |
lvii)
lviii) e Y B:
a) [ ]
b) [ ] [ ] [ ]
c) [ ] [ ] [ ]
d) [ ]
e) [ ] [ ] [ ]
f) [ ] [ ] [ ]
lix)
lx)
lxi)
a) .
b) .
c) .
d) .
e) Si
lxii) :
a) .
b)
c)
d)
lxiii) :
a) .
b)
c)
d)
lxiv) Toda funcin h puede escribirse como h = f +g, donde y
con f par y g impar.
lxv) Si g es una funcin que cumple que , entonces existe una funcin
f tal que
lxvi) Si g es una funcin que cumple que , entonces existe una funcin
f tal que
lxvii) Si
lxviii) Si una sucesin { } converge entonces su lmite es nico.
lxix) Si { } es creciente y acotada entonces { }
lxx) Sean { } y { } sucesiones tales que { } y { } est acotada entonces { } .
lxxi) Toda sucesin acotada tiene una subsucesin convergente. (Teorema de Bolzano-
Weierstrass).
lxxii) Sean { } { }
a)
b)
c)
d) .
e) ( )

f) ( )
lxxiii) { }
lxxiv) { } | | | |.
lxxv) { } y{ } entonces .
lxxvi) { } { } tal que entonces lim
lxxvii) { } { } { } tales que { } y { } y
entonces { } (Teorema del emparedado).
lxxviii) [ ]
a) .
b)
Entonces [ ] { }
lxxix) { } es una sucesin convergente y si entonces a .
lxxx) Si { } es una sucesin decreciente y acotada inferiormente, entonces { } converge a
su nfimo.
lxxxi) Si { } es una sucesin creciente y acotada superiormente, entonces { } converge a su
supremo.
lxxxii) Si { } { } sucesiones tales que { } A y { } converge
entonces { }
lxxxiii) {| |} .
lxxxiv) Si una funcin tiene lmite entonces ste es nico.
lxxxv) Si || .
lxxxvi) Si y , entonces m=l.
lxxxvii) Si y , entonces:
a) .
b)
c) .
d) .
e) .

f)
g) [ ] [ ]
[ ]
h)
lxxxviii)Sea f: R . Se cumple si y slo si: (Criterio de sucesiones)
a) Para toda sucesin en R, que converge a c tal que ,
la sucesin { } converge a L.
b) La funcin no tiene lmite en c si y slo si existe una sucesin en R con
toda , tal que la sucesin pero la sucesin
{ } no converge en R.
lxxxix) Sean definidas en algn intervalo abierto excepto quiz en x=a. Si
entonces . (Teorema del emparedado).
xc) Si entonces existe tal que f es acotada en excepto
posiblemente en , es decir | | para toda x en , excepto
quiz en
xci) x es un punto de acumulacin de A si y solo si para todo > 0 existen infinitos puntos a de
A que satisfacen | | .
xcii) Si y punto de acumulacin, entonces
xciii) Si f y g son funciones tales que y los lmites de f y g en a, existen entonces
.
xciv) Sea R y , entonces los siguientes enunciados son equivalentes:
a) f es continua.
b) | | entonces |
|
c) Si , para toda
y { }
xcv) Si f y g son continuas en un nmero a, entonces:
a) c f es continua
b)
c)
d)
e)
xcvi) Sea f una funcin, si: (Teorema de la conservacin del signo).
a)
tal que
b)
tal que

Los tres teoremas fuertes:

xcvii) [ ] tal que opuestos

entonces existe [ ] tal que (Teorema de Bolzano).
xcviii) [ ] entonces f est acotado en [ ] (Teorema de acotacin).
xcix) [ ] mnimo absoluto
en [ ] (Teorema del mximo-mnimo/Teorema de Weierstrass).
c) [ ] [ ]
tal que (Teorema del valor intermedio).
ci) Sea [ ] [ ] , continua entonces f tiene(al menos) un punto fijo, es decir,
(Teorema del punto fijo).
cii)
ciii) La continuidad de f en x=a es necesaria para que f sea derivable.
civ) Sean
a)
b)
c)
d)
e) ( ) .

f) ( ) .
g)
h) ( ) .(Regla de la cadena)
cv) Derivadas de las funciones trigonomtricas, exponenciales y logartmicas:
a)
b)
 c)
d)
e)
f)
g)
h)
i) .
cvi) f es
derivable en
cvii) [ ] , entonces
existe (Teorema de Rolle).
cviii) [ ] tal que
. (Teorema del valor medio/Teorema de Lagrange).
cix) Sea
cx) entonces

cxi) Sea f [ ]
a) Si , entonces f es estrictamente creciente en [ ]
b) Si entonces f es estrictamente decreciente en [ ]
cxii) Sea
a)
b)
cxiii) Sea f continua en [ ] Supongamos que f es derivable en (a, c) y en
(c, b): (Criterio de la primera derivada)
a) Si tal que
y
b) Si tal que
y
cxiv) Sea (Criterio de
la segunda derivada)
a) Si
b) Si
cxv) Sea f una funcin para la cual f(x) existe en (a, b).(Criterio de concavidad)
a) Si
b) Si
cxvi) Si
cxvii) Si
cxviii) Sean [ ]
Entonces existe un nmero c en (a, b) tal que . (Teorema del valor medio
de Cauchy/Teorema del valor medio generalizado).
cxix) Sean forma

indeterminada y que . Entonces .

(Regla de LHpital)