Raı́ces n-ésimas

Teorema 1. Fijo n ∈ N, tenemos ∀ a ∈ R+ ∪ {0}, ∃ ! b ∈ R+ ∪ {0} tal que bn = a.

Demostración
Fijemos a ∈ R+ ∪ {0}. En el caso a = 0, el número b = 0, es el único que satisface las condiciones
requeridas.
Consideremos el caso a ∈ R+ .
Existencia. Consideremos el conjunto

S =: {x ∈ R+ : xn < a}

S es un conjunto no vacı́o. El número mı́n{1, a} es elemento de S.

S esta acotado superiormente. En efecto, el número máx{1, a} es mayorante de S. El axioma del supremo
justifica, entonces la existencia de un mayorante mı́nimo para S. Escribimos b = sup S.
Afirmación: b ∈ R+ . En efecto, b es mayorante de S. Entonces b ≥ x, ∀ x ∈ S. Luego mı́n{1, a} ∈ S ⇒
b ≥ mı́n{1, a}, donde mı́n{1, a} > 0, entonces b > 0.
Afirmación: bn = a. En efecto, fijemos  ∈ R+ tales que  < b.
La elección de b como el mı́nimo de los mayorantes de S justifica la existencia de al menos un x ∈ S tales
que x > b − .
Observemos que b −  ∈ R+ , entonces b −  < x ⇒ (b − )n < xn . Como x ∈ S, entonces xn < a, por lo
tanto

(b − )n < a

Desarrollemos (b − )n con base en la fórmula del binomio de Newton, i. e.

n   n  
n
X n n−k k n
X n
(b − ) = b (−) = b + bn−k (−)k
k k
k=0 k=1

Observemos que
n   n  
X n n−k X n n−k k
bn + b (−)k > bn − b 
k k
k=1 k=1

Puesto que  < b, entonces

n   n  
X
n n n−k k n
X n n−1
b − b  >b − b 
k k
k=1 k=1

Luego
" n  
#
n n
X n
(b − ) > b − bn−1 
k
k=1

Pero
n  
X n
= 2n − 1
k
k=1
Entonces

(b − )n > bn − (2n − 1)bn−1 

Luego

bn − (2n − 1)bn−1  < a ⇒ −(2n − 1)bn−1  < a − bn (∗)

Por otra parte,  ∈ R+ , entonces b < b + , la propiedad que tiene b de ser mayorante de S, entonces
b +  6∈ S, luego

a ≤ (b + )n

n   n  
n
X n n−k k n
X n n−k k
⇒ (b + ) = b  =b + b 
k k
k=0 k=1

Puesto que  < b, entonces

n   n  
X n n−k k X n n−1
bn + b  < bn + b 
k k
k=1 k=1

Luego
" n  
#
n n
X n
(b + ) < b + bn−1  = bn + (2n − 1)bn−1 
k
k=1

⇒ a < bn + (2n − 1)bn−1  ⇒ a − bn < (2n − 1)bn−1  (∗∗)

De las desigualdades (∗) y (∗∗), tenemos

|a − bn | < (2n − 1)bn−1 

Hemos probado que ∀ x ∈ R+ que satisfaga la condición  < b, entonces

|a − bn | < [(2n − 1)bn−1 ] (∗ ∗ ∗)

|a − bn |
 
n n
Además |a−b | ≥ 0. Si |a−b | fuera positivo, cualquier número positivo menor que mı́n b, n ,
(2 − 1)bn−1
cuya existencia estarı́a justificada, por ejemplo, por el corolario anterior, no satisface la desigualdad (∗∗∗),
lo cual serı́a una contradicción, por lo tanto, |a − bn | = 0, luego a − bn = 0

∴ a = bn
Unicidad. Elijamos r, s ∈ R+ tales que rn = a y sn = a, por demostrar que r = s. De lo anterior
obtenemos rn − sn = 0, luego
n
! n
!
X X
n n n−k k n−k k
r − s = (r − s) r s ⇒ (r − s) r s =0
k=1 k=1
n
X
Como r, s ∈ R+ , entonces rn−k sk ∈ R+ , entonces r − s = 0, por lo tanto r = s.
k=1
2

Definición 1. ∀ a ∈ R+ ∪ {0}, √
∃!b ∈ R+ ∪ {0} tal que bn = a. Lo llamaremos la raı́z n-ésima no negativa
de a y la denotaremos por b = n a o b = a1/n .