Teorema:  x  − 0 : x2 = x  x  0

Demostración:

Sea x  − 0  x  +
 ( −x )  +

Si x  +
 x2 = x  x  +
. Si ( −x )  +
 ( −x )  ( −x ) = x2  +

Ejercicios:

1. Demuestre que 1 > 0

2. x  +  x−1  0
−
3. x   x−1  0

Demostración de 2:

Si x−1  0  x  0  x−1  x  0 , lo que no puede ser porque

x−1  x = 1  1  0

Definición:

Sea a  0 . Si existe un número real b, b  0 de modo que b2 = a , entonces a

ese número b, se le llamará raíz cuadrada de a y lo denotaremos por b = a.

Observación:

- 0 =0 ;
- Cuando existe a, observe que: a0a0

( a)
2
- Si a > 0, a a = = a = a2 = a  a

- Si a  : a2 = a

Ejercicios

1. Sean a y b dos números reales no negativos. Demuestre que

a  b  a2  b2  a  b
Demostración:
En esta demostración, solamente consideraré el caso en que a y b sean
positivos y se demostrará en primer lugar,
a  b  a2  b2
En efecto:
a  b  (b − a)  +  (b + a)  +
 (b − a)  (b + a) = b2 − a2  +
.
 b2  a2
Recíprocamente
 b2  a2  b2 − a2  +

 (b + a)  (b − a)  +

xy 0  y 0 x 0
+
 b − a
ba

Teorema:

Sea a un número real positivo. Entonces

a) x   
: x2  a = x  :x  a  x  − a 
b) x  : x2  a = x  :− a  x  a 
c) a,b  0. Entonces, si existen las raíces, a + b  a + b . En efecto,

( )
2
(a + b) = a + b  a + b + 2 ab = a+ b  a+b  a + b

Definiciones: Sean a, b teales, con a < b

- Intervalo cerrado a,b  = x  : a  x  b

- Intervalo abierto  a,b  = x  : a  x  b
- Intervalo semi abierto a,b  = x  : a  x  b (por la
derecha)
- Intervalo semi abierto  a,b  = x  : a  x  b (por la
izquierda)
- Intervalos infinitos: a, +  = x  : x  a
 − ,a = x  : x  a
 a, +  x  : x  a
 − ,a  = x  : x  a

Ejercicio:

a+b
Si a y b son dos números reales positivos, demuestre que ab 
2
Obs.
+
En general, se tiene que si a1,a2 ,...,an  entonces
n
 a1 + a2 + ... + an  a1 + a2 + ... + an n
   a1  a2  ...  an   a1  a2  ...  an ;
 n  n
esto es, la media aritmética de cualquier cantidad de números reales
positivos es mayor o igual que su media geométrica.
 Además, se tiene la siguiente relación entre Media Aritmética, Media
Geométrica y Media Armónica:
a1 + a2 + ... + an n n
 a1  a2  ...  an 
n 1 1 1
+ + ... +
a1 a2 an
M.A.  M.G.  M.H.

Otras desigualdades importantes:

1. Cauchy: Sean a1 ,a2 ,...an  ; b1,b2 ,...bn  , n  . Entonces

(a1 b1,a2b2 ,...anbn )

2
( )(
 a12 + a22 + ... + an2 b12 + b22 + ... + bn2 )
2
 n   n 2  n 2 
  ak  bk     ak    bk 
 k =1   k =1   k =1 
2. Desigualdad triangular

(a1 + b1 ) + ... + ( an + bn )
2 2
 a12 + ... + an2 + b12 + ... + bn2
3. Desigualdad de Bernoulli (versión 1)
x  −1 : (1 + x )  1 + nx,  n 
n

4. Desigualdad de Bernoulli (versión 2)

n (n − 1)
n  , x  0 : (1 + x )  1 + nx +
n
x2
2
5. Desigualdad de Bernoulli (versión 3)
 1  1
 : (1 + x )  1 − nx ,  n 
n
x   − 1,
 n 
6. x  0 :
a) −x  senx  x
x2
b) 1 −  cos x  1
2
x3
c) x −  sen x  x
6
x2 x2 x2
d) 1 −  cos x  1 − +
2 2 24
No es necesario demostrarlas. Se las dejo por si algún día se motivan
y las necesitan. En particular, para sucesiones son útiles.
Valor absoluto

Definición:

a, si a  0
Sea a un número real. Se define el valor absoluto de a a = 
−a, si a  0

Teorema: Sean a,b,c 

1. a 0  a =0a=0
2. a = −a
2
3. a = a2 a = a2
4. −a  a  a

a a
5. ab = a b = ,b0
b b
6. a+b  a + b
7. a − b  a−b
 a = b  a = b  a = −b 
 
 
 a  b  −b  a  b 
 
8. b  0   
 a  b  −b  a  b 
 a  b  a  −b  a  b 
 
 a  b  a  −b  a  b 

9. x, x0 ,   ,   0 : x − x0    x   x0 −  , x0 +   = V ( x0 ,  ) Vecindad
con centro en x0 y radio 