Ribeiro A., Prates E., Vergasta E., Dominguez G., Freire I., Borges L., Mascarenhas M.

12
2. POTNCIAS E
RAZES


2.1. POTNCIAS COM EXPOENTES INTEIROS

Vimos anteriormente alguns aspectos histricos das potncias e dos logaritmos,
bem como alguns processos que levaram construo dos mesmos. Passaremos a seguir
a um desenvolvimento mais formal da teoria das potncias com o objetivo de termos
condies de dar uma noo intuitiva do significado de uma potncia de expoente
irracional.
Sejam a R e n N
+
* *
, . A potncia a
n
definida como o produto de n
fatores iguais ao nmero a, ou seja,
a
n
= a.a.a.a. ... .a
n fatores
O nmero a chamado de base e n expoente da potncia a
n
.


Propriedades


Sejam m, n N*, a, b R
+
*.

A
1
)
a a a
m n m n
. =
+
(Propriedade Fundamental)
A
2
)
a
a
a
m
n
m n
=

se m > n
A
3
)
( ) a a
m
n
m n
=
.

A
4
)
( . ) . a b a b
n n n
=

A
5
)
a
b
a
b
n
n
n
|
\

|
.
| =




Ribeiro A., Prates E., Vergasta E., Dominguez G., Freire I., Borges L., Mascarenhas M.

13
Intuitivamente, fcil observar que:

m n
fatores m n
fatores m fatores n
m n
a ...a a.a. ...a) (a.a ) ...a (a.a. .a a
+
+
= = =
43 42 1
43 42 1 43 42 1



Uma demonstrao rigorosa da Propriedade Fundamental e das demais
propriedades feita utilizando o processo da induo.
O objetivo agora estender a definio para potncia com expoentes inteiros. Para
tal preciso definir a
0
e a
-n
, onde n N .
Faremos isso de modo que a Propriedade Fundamental seja preservada, isto , que
a a a a
a a a a
n n n
n n n n
0 0
0
.
.
= =
= =
+
+
(I)
(II)


De ( I ) observamos que conveniente definir:
a
0
1 =
De modo semelhante, admitindo que a
0
= 1 em ( II ), chegamos concluso que
a
n
a
n

deve ser igual a

1
.
Resumindo temos a seguinte

Definio

Sejam, a n
a
a a a
a
a
n n
n
n
R e N . Definimos:
+
* *

=
=
=

0
1
1
1
.



Ribeiro A., Prates E., Vergasta E., Dominguez G., Freire I., Borges L., Mascarenhas M.

14


Observaes

1) Se n < 0, a
a
n
n
=

1
.

2) Se a < 0 e n Z, fazem sentido as definies de a
n
, a
0
e de a.
-n. .
Por exemplo,
( ) ( )( )( )( )( ) = 3 3 3 3 3 3
5


( )
( )
( )( )
=

3
1
3
1
3 3
2
2


( ) = 3 1
0

fcil verificar que se a < 0 temos a
n
> 0, se n par e a
n
< 0 se n mpar. Entretanto,
como veremos posteriormente, para a teoria das funes exponenciais e logartmicas
definies de potncias com base negativa no so convenientes, j que no podem ser
estendidas de modo geral a expoentes fracionrios.
3) No faz sentido a expresso a
a
a

= =
n
n
1
para 0.
4) No definimos 0
0
. Devemos observar que no conveniente definir 0
0
como sendo
igual a 1; pois, se pensamos por um lado, que estamos estendendo para a = 0 a
expresso a a
0 *
1, R =
+
, por outro lado, no estamos estendendo a expresso
0 0.0.0...0, n N
n *
= para n = 0. A inconvenincia de definir 0
0
como sendo 1 pode
ser vista com mais preciso no estudo de limite de funes no Clculo Diferencial onde
se mostra que 0
0
uma indeterminao

As propriedades A
1
, A
2
,..., A
5
, vistas anteriormente so vlidas tambm para
nmeros inteiros. Temos, portanto,



Ribeiro A., Prates E., Vergasta E., Dominguez G., Freire I., Borges L., Mascarenhas M.

15


Propriedades

Sejam a, b R
+
*
. Para quaisquer m, n Z, tem-se:

B
1
)
a a a
m n m n
. =
+
(Propriedade Fundamental)
B
2
)
a
a
a
m
n
m n
=


B
3
)
( ) a a
m
n
m n
=
.

B
4
)
( . ) . a b a b
n n n
=

B
5
)
a
b
a
b
n
n
n
|
\

|
.
| =


Considerando as propriedades A
i
dadas anteriormente para nmeros naturais no
nulos, apresentaremos as demonstraes de B
i
.

B
1
) a a a
m n m n
. =
+
, a
R
+
*
, m, n Z.

D]
Vamos analisar os seguintes casos:
i) m > 0 e n > 0 ( este caso recai em A
1
)
ii) m < 0 e n < 0
Temos que m > 0 e n > 0. Assim, utilizando a definio e a propriedade A
1
, temos:
a a
1
a
1
a
1
a a
1
a
1
a
a
m n
m n m n m n (m n)
m n
= = = = =
+
+


iii) m > 0 e n < 0 ( portanto n > 0 )

Se m > n temos por A
2
que a a a
1
a
a a
m n m
n
m ( n) m n
= = =

+


Ribeiro A., Prates E., Vergasta E., Dominguez G., Freire I., Borges L., Mascarenhas M.

16
Se m = n,



Se m < n, a a
a
a
1
a
a
1
a
1
a
a
m n
m
n n
m
n m (m n)
m n
= = = = =
+
+

iv) m = 0 ou n = 0
a a 1.a a a
0 m m m 0
= = =
+


B
2
)
a
a
a
m
n
m n
=

, a
R
+
*
, m, n Z,

D]
a
a
a .
1
a
a a a
m
n
m
n
m n m n
= = =


B
3
) ( ) a a
m
n
m n
=
.
, a
R
+
*
, m, n Z

D] Vamos analisar os seguintes casos:
i) m > 0 e n > 0 ( este caso recai em A
3
)
ii) m < 0 e n < 0
Temos que m > 0 e n > 0. Assim,
( ) a
1
a
1
1
a
1
1
a
1
1
a
1
1
a
a
m
n
m
n
m
n
m
n m.n
m.n
m.n
=
|
\

|
.
| =
|
\

|
.
|
=
|
\

|
.
|
|
\

|
.
|
|
=
|
\

|
.
|
=
|
\

|
.
|
|
|
|
=

iii) m > 0 e n < 0
( )
( )
a
1
a
1
a
a
m
n
m
n mn
mn
= = =


iv) m < 0 e n > 0

Ribeiro A., Prates E., Vergasta E., Dominguez G., Freire I., Borges L., Mascarenhas M.

17
Temos que m > 0 e n > 0. Vamos portanto aplicar A e A
5 3
para m e
n. ( )
( )
a
1
a
1
a
1
a
a
m
n
m
n
m
n mn
mn
=
|
\

|
.
| = = =

v) m = 0 ou n = 0
( ) a 1 1 a a
0
n
n 0 0.n
= = = =
Anlogo para n = 0

B
4
) ( . ) . a b a b
n n n
=
, a, b
R
+
*
, n Z

D]
i) n > 0 (recai em A
4
)
ii) n < 0
Neste caso n > 0. Podemos aplicar A
4
para n:
( )
( )
ab
1
ab
1
a . b
1
a
1
b
a b
n
n n n n n
n n
= = = =



iii) n = 0
( ) ab 1 a b
0
0 0
= =
B
5
)
a
b
a
b
n
n
n
|
\

|
.
| =
, a, b
R
+
*
, n Z

D]
( )
( )
a
b
a
1
b
(a)
1
b
a b a b a
1
b
a
b
n n
n
n
n
1
n
n n n
n
n
n
|
\

|
.
| =
|
\

|
.
| =
|
\

|
.
| = = = =





2.2. RAZES E POTNCIAS COM EXPOENTES FRACIONRIOS

Ribeiro A., Prates E., Vergasta E., Dominguez G., Freire I., Borges L., Mascarenhas M.

18
Nosso objetivo agora definir a potncia a
p
q
, p, q Z, q 0. Para isto
necessrio introduzir a definio e alguns resultados referentes raiz n-sima de um
nmero.

Definio

Sejam a > 0 e n N
*
. Chama-se raiz n-sima de a, o
nmero real positivo b tal que b a
n
= .

Notao: b a
n
=


Observaes

1) Pela definio, a a
1
= .
2) Por conveno a a
2
=
3) Se a < 0 pode-se definir a
n
, no caso em que n mpar: a
n
o nmero real b tal
que b a
n
= . Neste caso, b < 0. Por exemplo, = 8 2
3
pois ( ) = 2 8
3
. claro,
trabalhando com os nmeros reais, que a definio de a
n
no faz sentido se n par e
a < 0, pois no existe um nmero real b tal que b a
n
= , a < 0 e b 0
n
> . Assim, 4
no faz sentido em R.
4) Se a = 0, definimos 0 0
n
= e a definio anterior pode ser estendida da seguinte
forma: Se a 0, b b a = 0 e
n
ento a b
n
= .

Propriedades

Sejam a, b R
+
, m, n, p N*

Ribeiro A., Prates E., Vergasta E., Dominguez G., Freire I., Borges L., Mascarenhas M.

19
R
1
) a b a b
n n n
. . =
R
2
)
a
b
a
b
n
n
n
=
, se b 0.
R
3
) ( ) a a
n
m
m n
=
R
4
) a a
n m mn
=
.

R
5
) a a
m n p m
p n
=
.
.



R
1
) a b a. b
n n n
. = , a, b R
+
, m N*
D] Sejam x a e y b
n n
= = . Ento x a e y b
n n
= = . Da
( ) a. b x y x. y
n n
n
= =
Como x. y 0 , ento x. y ab
n
= , ou seja, a b x. y ab
n n n
= = .
R
2
)
a
b
a
b
n
n
n
=
, a, b R
+
, b 0, n N*
D] Sejam x a e y b
n n
= = . Ento x a e y b
n n
= = . Da
a
b
x
y
x
y
n
n
n
= =
|
\

|
.
|
Como
x
y
0,
x
y
a
b
= . Portanto,
a
b
a
b
n
n
n
= .

R )
3
( ) a a
n
m
m n
= , a R
+
, n, m N*
D] Seja x a
n
= . Ento
( )
x a e x a
n m n
m
= = . Temos
( ) ( ) ( ) a x x x x a a
m n
m
nm m
n
m m n n
m
= = = = =

Ribeiro A., Prates E., Vergasta E., Dominguez G., Freire I., Borges L., Mascarenhas M.

20

R )
4
a a
n m m n
=
.
, a R
+
, n, m N*
D] Sendo x a e y = x
n m
= , temos x a e y x
n m
= =
( ) y x y x y x y x
m m
n
n mn n n mn
= = = = ,

ou seja,
a y x a
n m n mn mn
= = =

R
5
) a a
m n p m
p n
=
.
.
, a R
+
, n, m, p N*
D]
( ) ( ) a x x a x a x a x a
m n n m n
p
m
p
np mp pm
pn
= = = = =

A definio da raiz n-sima de um nmero real positivo nos permite estender a
noo de potncia de um nmero real positivo de modo a incluir expoentes fracionrios
da forma m/n, m, n Z, n > 0. Queremos dar esta definio de modo a conservar as
propriedades anteriores de potncias. Por exemplo, anlogo propriedade B
3
desejamos
que:
a a a
m
n
n
m
n
.n
m
|
\

|
.
|
|
= =
|
\

|
.
|


Assim sendo devemos ter: a a
m
n
m n
=

Definio


Ribeiro A., Prates E., Vergasta E., Dominguez G., Freire I., Borges L., Mascarenhas M.

21
Dado o nmero real positivo a e o nmero racional
m
n
,
m , n Z , n > 0, ento definimos
a a
m
n
m n
=


Observaes
1) Em particular, a a
n
n
1
= .
2) Se a = = = 0 e
m
n
> 0, podemos considerar 0
m
n
0 0
m n
.
3) Se a < 0 e n mpar ento a expresso a a
m
n
m n
= tambm est definida.

Propriedades

( )
Sejam a, b R , m, n, p, q Z, n 0, q 0.
a .a a

a
a
a , sendo a 0
a a
a.b a .b

a
b
a
b
, sendo b 0
+
*
m
n
p
q
m
n
p
q
m
n
p
q
m
n
p
q
m
n
p
q
m
n
.
p
q
m
n
m
n
m
n
m
n
m
n
m
m
> >
=
=
|
\

|
.
|
|
=
=
|
\

|
.
|
=
+

C )
C )
C )
C )
C )
1
2
3
4
5


Ribeiro A., Prates E., Vergasta E., Dominguez G., Freire I., Borges L., Mascarenhas M.

22

Como caso particular de C
2
temos
1
p
q
p
q
a
a =

.

C
1
) a a a
m
n
p
q
m
n
p
q
. =
+
, a R
+
*
, m, n, p, q Z, n > 0, q > 0
D]
a .a a a a a a a a
m
n
p
q m n p
q
qm
qn
pn
qn
qm pn
qn
qm pn
qn
= = = = =
+

= =
+
+
a a
qm pn
qn
m
n
p
q


C
2
)
a
a
a
m
n
p
q
m
n
p
q
=

, a R
+
*
, m, n, p, q Z, n > 0, q > 0
D] A demonstrao semelhante anterior, utilizando R ), R ) e B
2 5 2
).

C
3
)
a a
m
n
p
q
m
n
p
q
|
\

|
.
|
|
=
.
, a R
+
*
, m, n, p, q Z, n > 0, q > 0
D]

( )
( ) a a a a a a
m
n
p
q
m
n
p
q
m n
p
q m
p
n
q
mp n
q
mp
nq
|
\

|
.
|
|
=
|
\

|
.
|
|
= = = = =

= = a a
mp
nq
m
n
p
q


C
4
) ( ) a b a b
m
n
m
n
m
n
. . = , a, b R
+
*
, m, n Z, n > 0

Ribeiro A., Prates E., Vergasta E., Dominguez G., Freire I., Borges L., Mascarenhas M.

23
D]
( ) ( ) ab ab a b a b a b
m
n
m
n m m n m n m n
m
n
m
n
= = = =

C
5
)
a
b
a
b
m
n
m
n
m
n
|
\

|
.
| =
, a, b R
+
*
, m, n Z, n > 0
D] A demonstrao semelhante anterior, utilizando B ) e R
5 2
).

Provaremos a seguir alguns resultados que sero necessrios para se estender a
definio de potncias com expoente real.

Proposio 2.1

Sejam a m n R N.
+
*
{ }, , 1
i) Se 0 < a < 1 e n < m ento a
n
> a
m
.
ii) Se a > 1 e n < m ento a
n
< a
m
.

D]
i) a 1 e a >0 a.a <a a a a.a <a.a a < a
2 2 3 2
< < .
Continuando com este processo obtemos
a < a
m m-1

e usando a transitividade temos
a < a a a . . . a 1
m m-1 m-2 m 3
< < < < <

Se m > n, m = n + k., k N*.
Assim, a a a a ... a a
m n k (n k) 1 (n k) 2 (n k) k n
= < < < < =
+ + + +

ii) Anlogo ao item anterior


Ribeiro A., Prates E., Vergasta E., Dominguez G., Freire I., Borges L., Mascarenhas M.

24
Proposio 2.2

Sejam a m n R Z.
+
*
{ }, , 1
i) Se 0 < a < 1 e n < m ento a
n
> a
m
.
ii) Se a > 1 e n < m ento a
n
< a
m
.

D]
ii) Existem trs casos a considerar.
1. Se n > 0 e m > 0 recamos na Proposio 2.1.
2. Se n < 0 e m < 0 ento n > 0 e m > 0. Como n < m ento m < n. Segue da
Proposio 2.1 que
a a
1
a
1
a
1
a
1
a
0
a a
a a
0
m n
m n m n
n m
n m

< < <

< .
Sendo a a
m n
0 e > > 0 , podemos concluir que a a
n m
< .
3. Se n < 0 e m > 0 ( anlogo para o caso n > 0 e m < 0 ), temos que crescente a
sequncia de potncias com expoente negativos (item 2), isto ,
. . .a a a 1
3 2 1
< < <
e tambm a sequncia de potncias com expoentes positivos (Proposio 2.1 ), ou seja,
1 < < < < a a a
2 3
. . .
logo,
a . . . a a a 1 a a a . . . a
n 3 2 1 2 3 m
< < < < < < < < < <

,
portanto,
a a
n m
< .

i) Anlogo ao item ii)




Ribeiro A., Prates E., Vergasta E., Dominguez G., Freire I., Borges L., Mascarenhas M.

25
Proposio 2.3

Se n N e 0 < < ento <
* n n
a b a b.

D]
Da definio de raiz n-sima e lembrando que a >0 e b > 0, temos
a x x a e b y y b
n n n n
= = = =
Por hiptese, b a > 0; logo, y x
n n
> 0. Da,
y x (y x)(y y x y x . . . x ) 0
n n n 1 n 2 n 3 2 n 1
= + + + + >


e como a expresso do segundo parntesis da desigualdade acima positiva, temos que
y x > 0, ou equivalentemente, a b
n n
< .

Proposio 2.4
Sejam a R {1}, p, q Q, onde p
r
s
, q
m
n
, r, s,m,n Z, n 0, s 0
i) Se p q e a 1 a a
ii) Se p q e 0 a 1 ento a a
+
*
p q
p q
= = > >
< > <
< < < >
ento .
.


D]
i) Sendo k = m.m.c { n, s }, existem r, s Z tais que
p
r
k
e q =
m
k
=


p q
r
k
m
k
r < m a < a a a
r m r k m k
<

<

<


a a a a
r
k
m
k
p q

< <

ii) Anlogo ao item i)


Ribeiro A., Prates E., Vergasta E., Dominguez G., Freire I., Borges L., Mascarenhas M.

26
2.3. POTNCIAS COM EXPOENTES IRRACIONAIS

De posse da definio e das propriedades das potncias com expoente racional de
um nmero real a > 0, nosso objetivo agora e estender a definio de a
x
para x R,
ou seja, estabelecer o significado de a
x
quando x R - Q.

Como definir, por exemplo, 2
2
?

Sendo 2 um nmero irracional, 2
2
no tem significado se considerarmos
apenas as definies vistas at aqui. O desenvolvimento sistemtico da teoria das
potncias com expoente irracional um processo que envolve resultados avanados para
os nossos propsitos. Entretanto, possvel estender de maneira intuitiva o significado
dessas potncias. Por exemplo, tomando-se a sequncia de valores racionais
( 1,4; 1,41; 1,414; 1,4142; 1,41421; ... ) ( I )
que se aproxima do irracional 2 , construmos a sequncia
( )
; 2 ; 2 ; 2 ; 2
1,41 1,414 1,4142 1,41421
2
1 4 ,
; ... ( I I )
que se aproxima de um nmero real que definimos como 2
2
.
Tanto mais prximo o nmero r estiver de 2 , mais prximo 2
r
estar de 2
2
.
Observemos que a sequncia ( I ) crescente e formada por valores maiores que
2 .
Poderamos tambm nos aproximar de 2 pela sequncia
( 1,5; 1,42; 1,415; 1,4143; ... ) ( III )
que decrescente e formada por valores maiores que 2 , obtendo assim a sequncia
( )
2 ; 2 2 2 ...
1,5 1,42 1,415 1,4143
; ; , ( IV )
que se aproxima do mesmo nmero real chamado de 2
2
.

Ribeiro A., Prates E., Vergasta E., Dominguez G., Freire I., Borges L., Mascarenhas M.

27
O procedimento descrito acima pode ser utilizado para definir a
x
, onde
a x R - {1} e R- Q
+
*
.
Para isso, suponhamos, por exemplo, a > 1, x R Q e consideremos duas
sequncias de nmeros racionais: uma crescente formada por nmeros menores que x:
( )
r , r , r , ..., r ,...
1 2 3 n

e outra decrescente formada por nmeros maiores que x:
( )
s , s , s , s , ..., s ,...
1 2 3 4 n

ambas se aproximando de x:

_________________________________________________________________
r
1
r
2
r
3
r
4
r
5
r
6
..... x.... s
6
s
5
s
4
s
3
s
2
s
1


Pode-se provar que as duas sequncias

( )
, , , , ... a
r r r r
1 2 3 4
a a a

e
( )
, , , , ... a a a a
s s s s
1 2 3 4


tendem a um nico nmero real que definimos por a
x


Usando o mesmo procedimento definimos a
x

para 0 < a < 1.

Observaes

1) Se x um nmero irracional positivo ento definimos 0
x
= 0.
2) Se x um nmero irraconal definimos 1
x
= 1.

Ribeiro A., Prates E., Vergasta E., Dominguez G., Freire I., Borges L., Mascarenhas M.

28
3) Se a < 0 e x um nmero irracional ( x R Q ), a potncia a
x
no est definida.

Todos os resultados vistos para potncias com expoentes racionais so estendidos
para potncias com expoentes irracionais. Assumiremos vlidos os seguintes resultados:


Propriedades


Sejam a, b R
+
*
, x, y R.
P
1
) a a a
x y x y
. =
+

P
2
)
a
a
a
x
y
x y
=


P
3
) ( ) a a
x
y
x y
=
.

P
4
)
( )
a. b
x
x x
a b =
P
5
)
a
b
a
b
x
x
x
|
\

|
.
|
=
P
6
) x < y e a > 1 a
x
< a
y

P
7
) x < y e 0 < a < 1 a
x
> a
y

P
8
) a R
+
*
, a 1: a
x
= a
y
x = y
P
9
) a R
+
*
, a 1 e y>0: ! tR / a
t
=y






Ribeiro A., Prates E., Vergasta E., Dominguez G., Freire I., Borges L., Mascarenhas M.

29
2.4. EXERCCIOS

2.1. Calcule:
a) 3
1
27
3
1
2
.
|
\

|
.
|

b) ( ) ( ) 0 25 0 125 32
1
4
1
2 , . , .

c)
20
4 2
2 2 2 n n
n
+ +
+


2.2 Supostas definidas, simplifique as seguintes expresses:


a) x x
x
x x
3 1 2
3/2
2 3
. .
.
/

b) ( ). ( )
/ / /
1 1
1 3 1 3 2 3
+ + a a a
c) ( ). b b
b
b b
4 2
2
2 2
2 1 1 +

d)
3 3
3 3
2
1 1
n n
n n
+
+

+

e)
2 4
2
2 1
2
n n
n
+

f)
1
1
1
1
1
0 5 1

|
\

|
.
|


x x
x
,
.( )

g)
a
a
a
a
a
1 2
1 2
1 2
1 2
3
1
1
1
1
4
1
/
/
/
/
+

+

+

|
\

|
.
|


h)
x
x x x
1 2
1 2 1 5
1
1
1
1
/
/ ,
+
+ +

2.3. Se x x
1 2 1 2
3
/ /
+ =

, calcule:

a) x x +
1


b) x x
2 2
+




2.4. Resolva as seguintes equaes:

a) x + = 4 2
3



Ribeiro A., Prates E., Vergasta E., Dominguez G., Freire I., Borges L., Mascarenhas M.

30
b) x x + = 2

c) x x x
2 4
4
4 3 1 + + = +

d) x x + = + 1 2 1