Você está na página 1de 131

CADERNO DO BLOGUE

PROBLEMAS | TEOREMAS
AMRICO TAVARES
:ici
1. Constante de Apry 3
2. Somas 6
2.1. Somas telescpicas 6
2.2. Anti-diferenas e mtodo de adio por partes 8
2.3. Exerccios 11
3. A note on a combinatorial identity related to the Aprys
constant (3) 15
3.1. Introduction 15
3.2. Proof of the identity 16
3.3. First Terms of Aprys Sequences 18
3.4. Integer sequence (u
n
) 18
3.5. Equivalent formulas for u
n
and v
n
22
4. Sucesses 24
4.1. Sucesso de Fibonacci 24
4.2. Mltiplos e quadrados perfeitos (das XXV OPM) 26
4.3. Limite da raiz de ndice n do termo geral de uma sucesso 28
5. Noes bsicas sobre Sries 32
5.1. Nmeros racionais: exerccio sobre dzimas peridicas e
srie geomtrica 35
6. Maximizao / Minimizao 36
6.1. Funo cbica 36
6.2. Optimizao por mtodo generalizando o de Lagrange 37
7. Integrais paramtricos 39
7.1. Regra de Leibniz de diferenciao de um integral
paramtrico e sua generalizao 39
7.2. Integrao pelo mtodo de diferenciao em relao a um
parmetro 41
8. Varivel complexa 43
Data 6 Junho 2009.
1
2 AMRICO TAVARES
8.1. Identidade Complexa til 43
8.2. Duas equaes equivalentes da circunferncia no plano
complexo 43
8.3. Uma transformao inverso complexa de uma
circunferncia 45
9. Desigualdades e identidades algbricas clssicas 46
9.1. Desigualdade de Cauchy-Schwarz 46
9.2. Identidade de Lagrange 47
10. Fraces contnuas 49
10.1. Fraces contnuas generalizadas 49
10.2. Transformao das somas parciais de (n) em fraco
contnua 54
11. Mtodo de eliminao de Gauss e Matriz inversa 57
12. Exemplos e exerccios de Clculo 64
12.1. Frmula de reexo (da funo gama) de Euler 64
12.2. Comprimentos de arcos recticveis 67
12.3. Tangente elise 68
12.4. Derivadas: a total de uma funo de duas variveis reais
e de uma funo elevada a outra funo 70
13. Mtodos numricos 71
13.1. Mtodo da secante de determinao da raiz de uma
equao no linear 71
13.2. Mtodo de Newton de determinao da raiz de uma
equao no linear 73
14. Sries de Fourier 73
14.1. Sistemas de Funes Ortogonais 73
14.2. Relao de Parseval 77
14.3. Srie trigonomtrica de Fourier 79
14.4. A Srie dos recprocos dos quadrados perfeitos (2) =

2
/6 81
14.5. Problemas 83
15. Geometria 93
15.1. Pentgono e Crculo 93
15.2. Euler e os cinco slidos platnicos 95
15.3. Dodecaedro 97
15.4. Construo da elipse a partir de duas circunferncias 101
15.5. Cubo de dimenso n, n-cubo ou hipercubo 102
15.6. Teorema de Pitgoras 103
16. Problema Putnam de hoje, HMD, 1 Maro 2008 / Putnam
problem of the day, HMD, March 1, 2008 105
16.1. Verso portuguesa de Problema Putnam de hoje, HMD,
1 Maro 2008 105
16.2. English version of the Putnam problem of the day, HMD,
March 1, 2008 107
PROBLEMAS | TEOREMAS 3
17. Period of a decimal expansion/Perodo de uma dzima 109
17.1. My solution to the Problem Of the Week-9 [Todd and
Vishals blog]: Period of a decimal expansion 109
17.2. Verso portuguesa da minha resoluo do Problem Of
the Week-9 [Todd and Vishals blog]: Perodo de
uma dzima 110
18. Congruncias e divisibilidade / Congruences and
Divisibility 111
18.1. A Purdue University Problem of the Week, Problem No.
12 (Spring 2009 Series) 111
18.2. Traduo portuguesa de um Problema da Purdue
University Problem No. 12 (Spring 2009 Series) 112
19. Exerccio: provar que dois elevado a 33 mais trs elevado a
33 no primo 114
20. Exemplos de clculo nanceiro 115
20.1. Base dos logaritmos naturais e juros 115
20.2. Logaritmos nos clculos nanceiros 117
20.3. Srie uniforme de pagamentos: formao de capital 117
20.4. Outro exerccio de clculo nanceiro: srie uniforme e
recuperao de capital 119
21. Problemas lgicos, enigmas e adivinhas 120
21.1. Descobrir a moeda falsa 120
21.2. Enigma dos produtos iguais 123
21.3. Enigma, ou melhor, a falsa adivinha dos chocolates e da
idade 127
21.4. Enigma: adivinha com nmeros, cartas, cores (e base 2) 128
21.5. Enigma lgico com casas, pessoas, animais, . . . 130
Referncias 131
1. Co:1.:1i i Aiin.
Roger Apry (1916-1994) surpreendeu a comunidade matemtica
com a sua genial demonstrao de que o nmero real representado pela
srie
(3) =

k=1
1
k
3
=
1
1
3
+
1
2
3
+
1
3
3
+
irracional. Escolheu para a apresentar a forma de uma conferncia
proferida emJunho de 1978 nas "Journes Arithmtiques" de Marseille-
Luminy. Utilizou um mtodo elementar, mas que estava repleto de fr-
mulas complexas e, na altura, inesperadas, sendo igualmente aplicvel
srie, conhecida de Euler (1707-1783),
(2) =

k=1
1
k
2
=
1
1
2
+
1
2
2
+
1
3
2
+ .
4 AMRICO TAVARES
A exposio de Apry foi acolhida com manifestaes de dvida, por-
ventura pela estranheza provocada pela natureza das frmulas, primeira
vista nada evidentes, e por utilizar essencialmente um mtodo digno de
Euler. Dois meses mais tarde, no Congresso Internacional de Matemti-
cos, H. Cohen fez uma exposio completa da demonstrao, incorpo-
rando ideias suas e de D. Zagier e Apry referiu a motivao que esteve
por de trs do seu mtodo.
Sob a forma escrita, a demonstrao de Apry pelo prprio data de
1979 [1] . A. van der Poorten publicou, tambm nesse ano, um relatrio
informal bastante pormenorizado e uma descrio muito viva destes
acontecimentos [2] . F. Beukers apareceu, ainda em 1979, com uma
elegante e mais curta demonstrao da irracionalidade de (3) [3] . Em
homenagema Apry, a srie (3) passou a ser conhecida por constante
de Apry.
Como sabido, os nmeros reais podemser classicados emnmeros
racionais, que so aqueles que podem ser expressos por fraces (ou
razes) de nmeros inteiros (por exemplo 5/2) e os que no podem, os
chamados nmeros irracionais (por exemplo

2, , e). H dois tipos
distintos de irracionais: os algbricos e os transcendentes. Os algbri-
cos so zeros (ou raizes) de um polinmio de coecientes racionais (por
exemplo

2, visto que x =

2 verica a equao x
2
2 = 0), os
transcendentes no.
No se sabe se a constante de Apry, (3) , transcendente. O
mais conhecido de todos os irracionais, o , transcendente como foi
demonstrado por F. Lindemann em 1882. A transcendncia da base dos
logaritmos naturais, e, foi provada em 1873 por C. Hermite. Quanto
a (2) , Euler demonstrou que era igual a
2
/6, logo transcendente,
porque todas as potncias inteiras de so transcendentes.
Euler, por analogia com a factorizao de um polinmio de grau n
com zeros x
1
, x
2
, x
n
P (x) = c
_
1
x
x
1
__
1
x
x
2
__
1
x
x
3
_

_
1
x
x
n
_
,
muito embora sen x tenha uma innidade de zeros (x = 0, 1, 2, ),
teve a intuio de aplicar este conceito a esta funo (cujo desenvolvi-
mento em srie de Taylor sen x = x/1!(x)
3
/3!+(x)
5
/5! ).
sen x = x
_
1
x
1
__
1 +
x
1
__
1
x
2
__
1 +
x
2
__
1
x
3
__
1 +
x
3
_

= x
_
1
x
2
1
__
1
x
2
4
__
1
x
2
9
_

O factor resulta de lim
x0
(sen x) /x = . Igualando os coe-
cientes do termo em x
3
, vem
1
3!

3
=
_
1
1
+
1
4
+
1
9
+
_
= (2) ,
PROBLEMAS | TEOREMAS 5
o que d (2) =
2
/6. Embora no seja ainda uma verdadeira demon-
strao, Euler veio a efectu-la mais tarde. Para (4) =

k=1
1/k
4
,
obteve o resultado
4
/90 e descobriu a frmula geral de (2n) =

k=1
1/k
2n
, que um mltiplo racional de
2n
, isto , (2n) /
2n

racional. Daqui se conclui que (2n) transcendente.


Quanto a (2n + 1) =

k=1
1/k
2n+1
, para n 2, ainda no se
conseguiu demonstrar a sua irracionalidade ou racionalidade. Mas j se
sabe, por exemplo, que h uma innidade de valores de (2n + 1) que
so irracionais.
A funo zeta de Riemann tradicionalmente denotada por (s) ,
com s complexo. No Apndice C sero apresentadas as propriedades
bsicas desta funo. A funo y = (x) denida nos reais, para
x > 1 pela srie
(x) =

n=1
1
n
x
.
Apresenta-se o respectivo grco para x 10, onde se podem ver as
duas assmptotas: a horizontal y = 1 e a vertical x = 1.
10 9 8 7 6 5 4 3 2 1 0
5
4
3
2
1
0
x
y
x
y
Grco de (x)
Esta ltima correspondente srie harmnica

n=1
1/n, que se sabe
ser divergente.
A estrutura geral da demonstrao de Apry baseia-se na con-
struo de duas sucesses cuja razo u
n
/v
n
converge para (3) por
valores inferiores: uma de inteiros (v
n
)
n0
e outra de racionais (u
n
)
n0
,
as duas vericando a mesma relao de recorrncia, mas geradas por
condies iniciais distintas. A sucesso (u
n
)
n0
tal que multiplicando
u
n
pelo termo geral duma terceira sucesso de inteiros (s
n
)
n0
se obtm
o termo geral q
n
= s
n
u
n
de uma sucesso de inteiros (q
n
)
n0
. A aprox-
imao racional a (3) , u
n
/v
n
= p
n
/q
n
(com p
n
= s
n
v
n
) tem uma
velocidade tal que permite concluir a irracionalidade de (3) .
Na demonstrao de Beukers, o raciocnio semelhante, com a
grande diferena das frmulas denidoras das sucesses de inteiros e
de racionais, que so dadas por integrais, enquanto que nas de Apry
6 AMRICO TAVARES
aparecem coecientes binomiais. Por exemplo,
v
n
=
n

k=n
_
n
k
_
2
_
n + k
k
_
2
so os chamados nmeros de Apry (associados a (3) ).
Numericamente, tem-se
(3) = 1, 202056903 . . . ,
e
(2) =

2
6
= 1, 644934 . . . .
2. So:.
2.1. Somas telescpicas. Suponhamos que o somando a
i
decom-
ponvel numa diferena A
i+1
A
i
. Ento,
n

i=0
a
i
=
n

i=0
A
i+1
A
i
=
n

i=0
A
i+1

i=0
A
i
.
Como
n

i=0
A
i+1
=
n+1

i=1
A
i
=
_
n

i=1
A
i
_
+ A
n+1
= A
n+1
+
n

i=1
A
i
,
e
n

i=0
A
i
= A
0
+
n

i=0
A
i
vem
n

i=0
a
i
= A
n+1
+
n

i=1
A
i
A
0

i=0
A
i
= A
n+1
A
0
.
Analogamente,
n

i=m
a
i
=
n

i=m
A
i+1
A
i
=
n

i=m
A
i+1

i=m
A
i
=
n+1

i=m+1
A
i

i=m
A
i
= A
n+1
+
n

i=m+1
A
i

i=m
A
i
= A
n+1
+
n

i=m+1
A
i

_
n

i=m+1
A
i
_
A
m
= A
n+1
A
m
.
ou seja, se a
i
= A
i+1
A
i
, ento
n

i=m
a
i
=
n

i=m
A
i+1
A
i
= A
n+1
A
m
.
ou
n1

i=m
a
i
=
n1

i=m
A
i+1
A
i
= A
n
A
m
;
PROBLEMAS | TEOREMAS 7
Quando A
i
uma sucesso crescente, a diferena positiva. Se a
i
=
A
i
A
i+1
, tem-se
n

i=m
a
i
=
n

i=m
A
i
A
i+1
= A
m
A
n+1
.
ou
n1

i=m
a
i
=
n1

i=m
A
i
A
i+1
= A
m
A
n
.
Agora, quando A
i
decrescente, a diferena positiva.
Exemplo 2.1. Calcular a soma

n
i=1
a
i
,
(1) sendo a
i
= A
i
A
i+1
e A
i
dado por
(a) i
1
;
(b) i;
(c) i
2
;
(d) i
2
.
(2) sendo a
i
= A
i+1
A
i
e A
i
dado como em 1.
1. Aplicamos as ideias acabadas de expor.
(a) Como
a
i
= A
i
A
i+1
=
1
i

1
i + 1
=
1
i (i + 1)
,
vem
n

i=1
a
i
=
n

i=1
1
i (i + 1)
=
n

i=1
A
i
A
i+1
= A
1
A
n+1
=
1
1

1
n + 1
=
n
n + 1
Logo,
n

i=1
1
i (i + 1)
=
n
n + 1
.
(b) Neste caso, tem-se
a
i
= A
i
A
i+1
= i (i + 1) = 1
e
n

i=1
a
i
=
n

i=1
A
i
A
i+1
=
n

i=1
i (i + 1) =
n

i=1
1
= A
1
A
n+1
= 1 (n + 1) = n
o que d o resultado evidente
n

i=1
1 = n.
8 AMRICO TAVARES
c. Agora,
a
i
= A
i
A
i+1
=
1
i
2

1
(i + 1)
2
=
2i + 1
i
2
(i + 1)
2
,
e
n

i=1
a
i
=
n

i=1
1
i
2
(i + 1)
2
=
n

i=1
A
i
A
i+1
= A
1
A
n+1
=
1
1
2

1
(n + 1)
2
=
n
2
+ 2n
(n + 1)
2
donde
n

i=1
2i + 1
i
2
(i + 1)
2
=
n
2
+ 2n
(n + 1)
2
.
d. Tem-se
a
i
= A
i
A
i+1
= i
2
(i + 1)
2
= i
2
i
2
2i 1 = 2i 1
e
n

i=1
a
i
=
n

i=1
A
i
A
i+1
=
n

i=1
i
2
(i + 1)
2
=
n

i=1
(2i + 1)
= A
1
A
n+1
= 1
2
(n + 1)
2
= n
2
2n,
novamente evidente, porque j vimos que

n
i=1
i =
n(n+1)
2
e

n
i=1
1 = n. Por conseguinte,
n

i=1
(2i + 1) = n(n + 1) .
2.2. Anti-diferenas e mtodo de adio por partes.
2.2.1. Anti-diferenas. Se tivermos um somando (real) a
i
, podemos
tentar obter para cada i um outro real A
i
tal que a
i
= A
i+1
A
i
. Se
o conseguirmos, o que na maioria dos casos prticos extremamente
difcil, podemos ento calcular facilmente

n
i=m
a
i
n

i=m
a
i
=
n

i=m
A
i+1
A
i
= A
n+1
A
m
= A
i
|
i=n+1
i=m
. (2.1)
sucesso (A
i
) chama-se anti-diferena da sucesso (a
i
).
Claro que o processo inverso , em geral, fcil: partindo do con-
hecimento de A
i
calcula-se por diferena a
i
: a
i
= A
i+1
A
i
.
No exemplo obtiveram-se os seguintes pares (A
i
, a
i
) de anti-diferenas
e diferenas, aos quais se acrescentou o ltimo par da tabela, que jus-
ticado j a seguir:
PROBLEMAS | TEOREMAS 9
Anti-diferena de a
i
Diferena a
i
A
i
a
i
= A
i+1
A
i
i
1
[i (i + 1)]
1
i 1
i
2
(2i + 1)
_
i
2
(i + 1)
2

1
i
2
2i + 1
Tabela de anti-diferenas
2.2.2. Mtodo de adio por partes. Vamos deduzir uma frmula que
pode ajudar a calcular certas somas, recorrendo a outras conhecidas.
Suponhamos que temos um produto
C
i
= A
i
B
i
.
Ento, dado que A
i
B
i+1
A
i
B
i+1
= 0, tem-se
c
i
= C
i+1
C
i
= A
i+1
B
i+1
A
i
B
i
= A
i+1
B
i+1
A
i
B
i
+ (A
i
B
i+1
A
i
B
i+1
)
= (A
i+1
B
i+1
A
i
B
i+1
) + (A
i
B
i+1
A
i
B
i
)
= (A
i+1
A
i
) B
i+1
+ A
i
(B
i+1
B
i
)
= a
i
B
i+1
+ A
i
b
i
,
ou seja,
c
i
= C
i+1
C
i
= a
i
B
i+1
+ A
i
b
i
. (2.2)
Esta regra faz imediatamente lembrar a da diferenciao de um
produto. Escrevamo-la na forma
a
i
B
i+1
= c
i
A
i
b
i
= C
i+1
C
i
A
i
b
i
, (2.3)
e somemos em i:
n

i=m
a
i
B
i+1
=
n

i=m
c
i

i=m
A
i
b
i
=
n

i=m
(C
i+1
C
i
)
n

i=m
A
i
b
i
.
Atendendo frmula da soma telescpica
n

i=m
C
i+1
C
i
= C
n+1
C
m
= C
i
|
i=n+1
i=m
= A
i
B
i
|
i=n+1
i=m
,
10 AMRICO TAVARES
vem
n

i=m
a
i
B
i+1
= A
i
B
i
|
i=n+1
i=m

n

i=m
A
i
b
i
ou
n

i=m
A
i
b
i
= A
i
B
i
|
i=n+1
i=m

n

i=m
a
i
B
i+1
.
Como vemos, obtivemos uma frmula que nos faz lembrar o mtodo
de integrao por partes. Assim, para somar por partes um produto
decomponvel em dois factores, um dos quais uma anti-diferena,
necessrio obter a anti-diferena do outro factor. Se o conseguirmos,
facilmente achamos o valor da soma.
Exemplo 2.2. Determinar, em funo de n e de
H
n
=
n

i=1
1
i
,
conhecido por nmero harmnico de ordem n,
n

i=1
i
i + 1
.
Pomos
a
i
=
1
i (i + 1)
e B
i+1
= i
2
.
Consultando a tabela de anti-diferenas da seco anterior, obte-
mos A
i
e de B
i+1
calculamos B
i
:
A
i
=
1
i
B
i
= (i 1)
2
= i
2
2i + 1
e, portanto, como
b
i
= B
i+1
B
i
= 2i 1,
tem-se
A
i
b
i
=
1
i
(2i 1) =
1
i
2
A
i
B
i
=
1
i
_
i
2
2i + 1
_
= i + 2
1
i
;
PROBLEMAS | TEOREMAS 11
donde
n

i=1
i
i + 1
=
_
i + 2
1
i
_
|
i=n+1
i=1

n

i=1
1
i
2
= n 1 + 1 + 0
1
n + 1
+
1
1
H
n
+ 2n
= n + 1
1
n + 1
H
n

Se escrevermos a soma numa forma indenida, ou seja, sem indi-
cao explcita dos limites superior e inferior dos somatrios,

a
i
B
i+1
= A
i
B
i

A
i
b
i
,
relacionamos duas somas indenidas:

a
i
B
i+1
e

A
i
b
i
. Nesta fr-
mula, aparecem as anti-diferenas A
i
e B
i
e as diferenas a
i
= A
i+1
A
i
e b
i
= B
i+1
B
i
.
A forma indenida traduz-se na soma indenida

a
i
= A
i
.
2.3. Exerccios.
2.3.1. Enunciados.
(1) Apresente um argumento combinatrio justicativo da identi-
dade de Pascal.
(2) Sendo A um conjunto com n elementos, seja P (A) o conjunto
cujos elementos so todos os subconjuntos de A;
(a) determine o nmero de elementos de P (A);
(b) relacione com o teorema binomial e com o tringulo de
Pascal.
(3) Calcule, em funo de n, o valor da soma

n
i=0
_
i
2
_
=

n
i=2
_
i
2
_
.
(4) Mostre que

n
i=0
(1)
i
_
n
i
_
= 0
(a) pelo teorema binomial;
(b) atravs dumargumento meramente combinatrio (semfazer
clculos ou deduo a partir de outras frmulas)
(5) Mostre que a anti-diferena da sucesso (2
i
) a prpria sucesso.
Utilize este resultado para determinar

n
i=1
2
i
.
(6) Calcule a soma da progresso geomtrica

n
i=1
x
i
, utilizando o
mtodo telescpico.
(7) Some por partes
n

i=1
i 2
i
.
12 AMRICO TAVARES
2.3.2. Resolues. 1. A identidade de Pascal
_
n
k
_
=
_
n 1
k
_
+
_
n 1
k 1
_
.
Pensemos em dois conjuntos, um A = {a
1
, a
2
, . . . , a
n
} com n ele-
mentos e outro, B arbitrrio mas contido em A e com n1 elementos:
B = {b
1
, b
2
, . . . , b
n1
} A. Escolhamos agora k elementos de entre os
n de A. A contagem do nmero de maneiras distintas de escolher esses
k elementos pode fazer-se de duas formas:
uma, directa, expressa por
_
n
k
_
;
outra, indirecta, baseada no seguinte raciocnio: os k elementos
escolhidos ou pertencem todos ao conjunto B (caso 1) ou todos
menos um, ou seja, k 1 pertencem a B e o que no faz parte
de B pertence a A (caso 2). Existem
_
n1
k
_
escolhas distintas
no caso 1 e
_
n1
k1
_
no 2. Somando
_
n1
k
_
com
_
n1
k1
_
obtem-se o
nmero total de escolhas associadas aos dois casos. Mostrmos
assimque os dois lados da identidade de Pascal so iguais.
2.(a) Consideremos um conjunto A = {a
1
, a
2
, . . . , a
n
} com n ele-
mentos. Os subconjuntos de A podem ter k elementos, com k podendo
variar de 0 a n (a 0 corresponde o conjunto vazio e a n o conjunto
A). Para um dado k, h
_
n
k
_
subconjuntos de A. A soma
n

k=0
_
n
k
_
(2.4)
representa o nmero pedido (n
o
de elementos ou cardinal de P (A)).
Pela frmula do binmio, tem-se
(1 + x)
n
=
n

k=0
_
n
k
_
x
k
. (2.5)
Pondo x = 1 em (2.4), temos o caso particular
(1 + 1)
n
=
n

k=0
_
n
k
_
1
k
2
n
=
n

k=0
_
n
k
_
,
que a resposta pretendida.
2.(b) No tringulo de Pascal os nmeros
_
n
k
_
esto colocados ao
longo da linha n.
PROBLEMAS | TEOREMAS 13
Linha n = 0
_
0
0
_
Linha n = 1
_
1
0
_ _
1
1
_
Linha n = 2
_
2
0
_ _
2
1
_ _
2
2
_

Linha n
_
n
0
_ _
n
1
_ _
n
2
_

_
n
k
_

_
n
n2
_ _
n
n1
_ _
n
n
_

A sua soma dada por (2.4)
3. Dado que
_
i
2
_
=
i (i 1)
2
=
1
2
_
i
2
i
_
,
se pensarmos nos resultado obtidos nas alneas (d) e (a) do exemplo
1.2.1, respectivamente
n

i=0
i
2
=
n

i=1
i
2
=
(n + 1) n(2n + 1)
6
, e
n

i=0
i =
n

i=1
i =
n(n + 1)
2
,
tem-se sucessivamente
n

i=2
_
i
2
_
=
n

i=2
1
2
_
i
2
i
_
=
1
2
n

i=2
i
2
i =
1
2
_
n

i=1
i
2

i=1
i
2

i=1
i +
1

i=1
i
_
=
1
2
__
n

i=1
i
2
_
1
_
n

i=1
i
_
+ 1
_
=
1
2
__
n

i=1
i
2
_

_
n

i=1
i
__
=
1
2
_
(n + 1) n(2n + 1)
6

n(n + 1)
2
_
=
n
3
n
6
.
4.(a) Fazendo x = 1 no teorema binomial
(1 + x)
n
=
n

k=0
_
n
k
_
x
k
,
obtm-se
n

k=0
_
n
k
_
(1)
k
= (1 1)
n
= 0;
podemos substituir a varivel muda k por i:
n

i=0
(1)
i
_
n
i
_
= 0.
4.(b) Consideremos umconjunto Acomn elementos A = {a
1
, a
2
, . . . , a
n
}
e outro B A com n1 elementos, isto , retiramos a A um qualquer
dos seus elementos; n ou mpar ou par:
14 AMRICO TAVARES
se n mpar, a cada subconjunto de A com um nmero mpar
de elementos corresponde o seu complementar com um nmero
mpar de elementos. Por exemplo, se A = {a
1
, a
2
, a
3
}, temos os
seguintes quatro pares de subconjuntos
(, A) , ({a
1
} , {a
2
, a
3
}) , ({a
2
} , {a
1
, a
3
}) , ({a
3
} , {a
1
, a
2
}) .
Vemos que A tem, portanto, o mesmo nmero de subconjun-
tos com um nmero mpar de elementos e de subconjuntos com
um nmero par (2
n1
, uma vez que 2
n
o nmero total de
subconjuntos de A (ver exerccio 2.(a));
se n par, ento B que tem o mesmo nmero de subconjuntos
com um nmero mpar de elementos e de subconjuntos com um
nmero par (2
n2
, pois 2
n1
o nmero total de subconjuntos
de B); logo, o nmero de subconjuntos de A (2
n
) o dobro do
de B, metade dos quais tm um nmero mpar de elementos e
a outra metade um nmero par.
Sendo assim, quer n seja par quer seja mpar, o nmero de subcon-
juntos de A com um nmero mpar de elementos igual ao nmero de
subconjuntos igualmente de A, mas com um nmero par, isto ,
n

i=0
i par
_
n
i
_

i=0
i mpar
_
n
i
_
= 0.
Agora, reparando que o lado esquerdo desta igualdade se pode escr-
ever como

n
i=0
(1)
i
_
n
i
_
, ca demonstrada a identidade do enunciado.

Nota: esta justicao ca, no entanto, dependente do teorema


binomial, que no foi demonstrado atravs de um argumento mera-
mente combinatrio. Convidamos o leitor a experimentar fornecer um
tal argumento.
5. Basta reparar que 2
i+1
2
i
= 2
i
(21) = 2
i
. Ou seja, se A
i
= 2
i
,
ento a
i
= A
i+1
A
i
= 2
i
.
Assim sendo, aplicando a frmula da soma telescpica, vem
n

i=1
2
i
=
n

i=1
2
i+1
2
i
= 2
n+1
2 = 2 (2
n
1)
6. Como
x
i+1
x
i
= x
i
(x 1)
x
i+1
x
i
x 1
= x
i
para x = 1,
PROBLEMAS | TEOREMAS 15
tem-se
n

i=1
x
i
=
n

i=1
x
i+1
x
i
x 1
=
1
x 1
n

i=1
x
i+1
x
i
=
1
x 1
_
x
n+1
x
_
=
x
n+1
x
x 1
.
Para x = 1, vem, como sabemos,
n

i=1
1 = n.
7. Para somar por partes
n

i=1
i 2
i
=
n

i=1
2
i
i,
necessrio analisar o somando i 2
i
. Como 2
i
a anti-diferena de 2
i
e
a diferena de i 1, a soma acima da seguinte forma (ver adio por
partes):
n

i=m
a
i
B
i+1
= A
i
B
i
|
i=n+1
i=m

n

i=m
A
i
b
i
,
em que
a
i
= 2
i
B
i+1
= i;
donde
A
i
= 2
i
B
i
= i 1 b
i
= B
i+1
B
i
= i (i 1) = 1;
assim, tem-se:
n

i=1
i 2
i
=
_
2
i
(i 1)

|
i=n+1
i=1

n

i=1
2
i
1
=
_
2
n+1
(n) 2 0
_
2 (2
n
1) = n2
n+1
2
n+1
+ 2
= 2
n+1
(n 1) + 2.
3. A :o1i o: . co:ii:.1oni.i ii:1i1. nii.1i 1o 1ii
Aiin. co:1.:1 (3)
3.1. Introduction. In his proof of the irrationality of (3), Roger
Apry used two double sequences, whose rst terms are shown in sec-
tion 3. Aprys method of constructing these sequences is presented in
his article [1] Irrationalit de 2 et 3, Astrisque 61 (1979) p. 11-13,
and in much more detail by Alfred van der Poorten [2] in his informal
report A proof that Euler missed ..., Math. Intelligencer 1 (1979), p.
195-203.
In section 4 of [2], the 5 transformations presented by Apry in the
Journes Arithmtiques de Luminy held in June 1978, which enabled
16 AMRICO TAVARES
him to accelerate the convergence of a sequence, u
n,k
are described.
This sequence is given by
u
n,k
=
n

m=1
1
m
3
+
k

m=1
1
2m
3
_
n
m
__
m + n
m
_. (3.1)
Observao 3.1. In van der Poortens paper this sequence is denoted
as c
n,k
and as u
k,n
by Apry in the aforementioned article.
Applying exactly the same transformations, that is, the same linear
combination to the double sequences
_
n + k
n
_
and
_
n + k
n
_
u
n,k
= v
n,k
,
two other sequences, respectively, (u
n
) and (v
n
) are generated. These
are given by
u
n
=
n

i=0
_
n
i
_
2 i

k=0
_
i
k
__
n
k
__
2n k
k
_
(3.2)
=
n

k=0
_
n
k
_
2
_
n + k
k
_
2
, with 0 k i n (3.3)
and
v
n
=
n

i=0
_
n
i
_
2 i

k=0
_
i
k
__
n
k
__
2n k
k
_
u
n,nk
(3.4)
=
n

k=0
_
n
k
_
2
_
n + k
k
_
2
u
n,k
, with 0 k i n (3.5)
We present here the following identity
n

i=0
_
n
i
_
2
_
i
k
_
=
_
n
k
__
2n k
n
_
that enables one to show that (3.2) is identical to (3.3) and (3.4) is
identical to (3.5) (see section 4).
3.2. Proof of the identity. We are going to prove
n

i=k
_
n
i
_
2
_
i
k
_
=
_
n
k
__
2n k
n
_
(3.6)
Observao 3.2. We can choose for i the minimum value k, instead
of 0 , because, when i < k,
_
i
k
_
= 0.
This identity generalizes the identity

k
_
n
k
_
2
=
_
2n
n
_
PROBLEMAS | TEOREMAS 17
for which two dierent proves are given by M. Petkovsek, H. Wilf and
D. Zeilberger in the book A=B, p. 24, [5], (a purely combinatorial proof
and one based on the Newtons binomial formula).
We will present two purely combinatorial arguments to evaluate
the value of each side of identity (3.6). Both values must, of course, be
equal.
The right hand side is the number of dierent ways of choos-
ing k elements from a set, such as S = {s
1
, s
2
, , s
n
} with n el-
ements and, at the same time, n elements from another set X =
{x
1
, x
2
, , x
n
, x
n+1
, , x
2nk
} with 2n k elements.
As for the left hand side, lets rst consider the disjunction of X
in two sets, one X
1
= {x
1
, x
2
, , x
n
} with n elements, and the other
X
2
= {x
n+1
, , x
2nk
} , with nk elements, and X = X
1
X
2
. Now,
we choose n elements of X such as k belongs to X
1
and n k to X
2
,
with 0 k n.
(1) There exists
_
n
k
_
dierent ways of choosing k elements from
the n of X
1
.
(2) There exists
_
n k
n k
_
=
_
n k
k k
_
dierent ways of choosing
n k elements from the n k of X
2
.
From here we deduce that , for a given k , there are
_
n
k
__
n k
k k
_
dierent ways of choosing those n elements of X. On the other hand,
_
n
k
__
n k
k k
__
n
k
_
is the number of dierent ways of choosing n ele-
ments from X and, at the same time, k from S , as above. Now, if we
add, for every possible value of k, all those such chooses, then
n

k=0
_
n
k
__
n k
k k
__
n
k
_
=
n

k=0
_
n
k
_
2
_
k
k
_
=
n

i=0
_
n
i
_
2
_
i
k
_
=
n

i=k
_
n
i
_
2
_
i
k
_
,
since
_
n
k
__
n k
k k
_
=
_
n
k
__
k
k
_
, by the Newtons identity. It can be
established by a combinatorial argument (see [6] V.K., Md. Balakr-
ishnan, V. Balakrishnan, Schaums Outline of Combinatorics, p. 12).
18 AMRICO TAVARES
Instead, we show it as follows
_
n
k
__
n k
k k
_
=
n!
k! (n k)!
(n k)!
(k k)! (n k)!
=
n!
k! (k k)! (n k)!
and
_
n
k
__
k
k
_
=
n!
k! (n k)!
k!
k! (k k)!
=
n!
k! (k k)! (n k)!
We have therefore shown the equality of both sides of the identity
(3.6) and so completed the proof.
3.3. First Terms of Aprys Sequences. Now, we are going to il-
lustrate numerically the construction of the Aprys Sequences, by ap-
plying the transformations described in [2]. We decided to display
these sequences as Pascal-like triangles.
3.4. Integer sequence (u
n
). The rst triangle for this sequence has
as elements the values generated by the binomial coecient
_
n + k
n
_
.
For the n th line, these values are obtained for k = 0 to n.
1
1 2
1 3 6
1 4 10 20
The following triangles are (in each, n denes a line for which the
second index of the generating expression is comprised between 0 and
n.)
1 Substitution of k by n k:
_
2n k
n
_
1
2 1
6 3 1
20 10 4 1
2
_
n
k
__
2n k
n
_
1
2 1
6 6 1
20 30 12 1
3

i
k=0
_
i
k
__
n
k
__
2n k
n
_
PROBLEMAS | TEOREMAS 19
1
2 3
6 12 19
20 50 92 147
4
_
n
i
_

i
k=0
_
i
k
__
n
k
__
2n k
n
_
1
2 3
6 24 19
20 150 276 147
5

j
i=0
_
j
i
__
n
i
_

i
k=0
_
i
k
__
n
k
__
2n k
n
_
1
2 5
6 30 73
20 170 596 1445
From here, we get the rst 4 terms of (u
n
)
u
0
= 1 u
1
= 5 u
2
= 73 u
3
= 1445 (3.7)
3.4.1. Rational sequence (v
n
). The rst triangle for this sequence has
as elements the values generated by
_
n + k
n
_
u
n,k
= v
n,k
. For the n
th line, these values are obtained for k = 0 to n.
0
1
5
2
9
8
29
8
115
16
251
216
130
27
5191
432
5195
216
It is transformed into the following ones, by applying exactly the
same transformations; again, n generates a line, for which the second
index is comprised between 0 and n.
1 Substitution of k by n k:
_
2n k
n
_
u
n,nk
0
5
2
1
115
16
29
8
9
8
5195
216
5191
27
130
432
251
216
2
_
n
k
__
2n k
n
_
u
n,nk
0
5
2
1
115
16
29
4
9
8
5195
216
5191
144
130
9
251
216
20 AMRICO TAVARES
3

i
k=0
_
i
k
__
n
k
__
2n k
n
_
u
n,nk
0
5
2
7
2
115
16
231
16
365
16
10390
432
25963
432
47776
432
76331
432
Observao 3.3. The denominators of the rationals calculated so far
are equal to 2d
3
n
, where d
n
= lcm(1, 2, , n).
4
_
n
i
_

i
k=0
_
i
k
__
n
k
__
2n k
n
_
u
n,nk
0
5
2
7
2
115
16
462
16
365
16
10390
432
77889
432
143328
432
76331
432
5

j
i=0
_
j
i
__
n
i
_

i
k=0
_
i
k
__
n
k
__
2n k
n
_
u
n,nk
0
5
2
12
2
= 6
115
16
577
16
1404
16
=
351
4
10390
432
=
5195
216
88279
432
2673
432
62531
36
From here, we get the rst 4 terms of (v
n
)
v
0
= 0 v
1
= 6 v
2
=
351
4
v
3
=
62531
36
(3.8)
Lets see howfast the convergence to (3) of the sequence generated
by
v
n
un
really is
v
0
u
0
= 0
v
1
u
1
=
6
5
= 1.2
v
2
u
2
=
351
292
1.20205479452055
v
3
u
3
=
62531
52020
1.20205690119185
For this last approximation, we have already

v
3
u
3
(3)

0.00000000196774
We have taken
(3) 1.20205690315959
For the next term, we have
v
4
u
4
=
11424695
9504288
,
PROBLEMAS | TEOREMAS 21
and

v
4
u
4
(3)

0.00000000000177.
In order to have a visual representation of these approximations,
lets plot the graph of a function f of a real variable x such that f(n) =
v
n
/u
n
and f(x) = (v
n
/u
n
v
n1
/u
n1
) (x n) + v
n
/u
n
in the interval
[n 1, n], which is simply equal to v
n
/u
n
at the integers and to the
linear function of the line segment connecting (n 1, v
n1
/u
n1
) to
(n, v
n
/u
n
) in each of such intervals .
4 3 2 1
1.203
1.202
1.201
1.2
xx
Graph of f(x) in [1, 4] approaching (3)
These approximations compare favorably with the partial sums
s
n
= u
n,0
=

n
m=1
1/m
3
s
1
= u
1,0
= 1
s
2
= u
2,0
= 1 +
1
2
3
=
9
8
s
3
= u
3,0
= 1 +
1
2
3
+
1
3
3
=
251
216
s
4
= u
4,0
= 1 +
1
2
3
+
1
3
3
+
1
4
3
=
2035
1728
In this case we plot the graph of a function g of a real variable x
such that g(n) = s
n
and g(x) = (s
n
s
n1
) (x n) +s
n
in the interval
[n 1, n], which is equal to s
n
at the integers and to the linear function
of the line segment connecting (n 1, s
n1
) to (n, s
n
) in each of such
intervals .
22 AMRICO TAVARES
4 3 2 1
1.4
1.3
1.2
1.1
1
x x
Graph of g(x) in [1, 4] and (3)
3.4.2. Double Sequence (u
n,k
). We will now arrange sequence (1) in a
Pascal-like triangle:
u
0,0
= 0
u
1,0
= 1 u
1,1
=
5
4
u
2,0
=
9
8
u
2,1
=
29
24
u
2,2
=
115
96
u
3,0
=
251
216
u
3,1
=
65
54
u
3,2
=
5191
4320
u
3,3
=
5195
4320
For instance, in the 4th line we have the following inequalities
u
3,0
< u
3,2
< (3) < u
3,3
< u
3,1
that is, [u
3,2
, u
3,3
] [u
3,0
, u
3,1
] and (3) u
3,0
is positive, (3) u
3,1
negative, (3) u
3,2
positive, and (3) u
3,3
negative. Similar results
can be established for the other lines.
3.4.3. Proved identity. The rst 5 lines of
n

i=0
_
n
i
_
2
_
i
k
_
=
_
n
k
__
2n k
n
_
(3.9)
are
1
2 1
6 6 1
20 30 12 1
70 140 90 20 1
3.5. Equivalent formulas for u
n
and v
n
. Now we will derive formu-
las (3) and (5) from, respectively, (2) and (4).
PROBLEMAS | TEOREMAS 23
3.5.1. Formula for u
n
. From (3.2), that we repeat here
u
n
=
n

i=0
_
n
i
_
2 i

k=0
_
i
k
__
n
k
__
2n k
k
_
(3.10)
one has, using the proved identity
u
n
=
n

i=0
i

k=0
_
n
i
_
2
_
i
k
__
n
k
__
2n k
k
_
(3.11)
=
i

k=0
_
n
k
__
2n k
k
_
n

i=0
_
n
i
_
2
_
i
k
_
=
n

k=0
_
n
k
__
2n k
k
__
n
k
__
2n k
k
_
=
n

k=0
_
n
k
_
2
_
2n k
n
_
2
(3.12)
Replacing n k for k, we obtain
u
n
=
nk=0

nk=0
_
n
n k
_
2
_
2n n + k
n
_
2
(3.13)
=
k=0

k=n
_
n
k
_
2
_
n + k
n
_
2
=
k=n

k=0
_
n
k
_
2
_
n + k
n
_
2
(3.14)
3.5.2. Formula for v
n
. From (3.4), that we repeat here
v
n
=
n

i=0
_
n
i
_
2 i

k=0
_
i
k
__
n
k
__
2n k
k
_
u
n,nk
(3.15)
one gets, using the proved identity as well,
v
n
=
n

i=0
i

k=0
_
n
i
_
2
_
i
k
__
n
k
__
2n k
k
_
u
n,nk
=
i

k=0
_
n
k
__
2n k
k
_
n

i=0
_
n
i
_
2
_
i
k
_
u
n,nk
=
n

k=0
_
n
k
__
2n k
k
__
n
k
__
2n k
k
_
u
n,nk
=
n

k=0
_
n
k
_
2
_
2n k
n
_
2
u
n,nk
(3.16)
24 AMRICO TAVARES
Replacing n k for k, yields
v
n
=
nk=n

nk=0
_
n
n k
_
2
_
2n n + k
n
_
2
u
n,k
=
k=0

k=n
_
n
k
_
2
_
n + k
n
_
2
u
n,k
=
k=n

k=0
_
n
k
_
2
_
n + k
n
_
2
u
n,k
(3.17)
This completes the deduction we have proposed to.
4. Scii
4.1. Sucesso de Fibonacci. No blogue Matemtica de Rodrigo
Gonalez apareceu recentemente (2-12-2007) um excelente artigo inti-
tulado "Natureza Elegante - os Nmeros de Fibonacci".
Lembrei-me que possvel determinar a frmula explcita do termo
geral desta sucesso, a partir da relao de recorrncia que habitual-
mente a dene:
x
n+1
= x
n
+ x
n1
com as condies iniciais x
1
= x
2
= 1. (4.1)
A frmula
x
n
=
a
n
b
n
a b
, (4.2)
em que a e b so as raizes da equao
x
2
x 1 = 0. (4.3)
O enunciado parte do exerccio 1.5 do livro de Tom Apostol
[9,p.25], cuja resoluo deixada ao leitor. Apresento a minha. Seja
a =
1 +

5
2
=
e
b =
1

5
2
=
1
em que o nmero de ouro.
A recorrncia equivalente a
x
n+1
x
n
x
n1
= 0. (4.4)
Trata-se de uma equao s diferenas linear, homognea e de 2
a
ordem. Pela teoria geral destas equaes a sua soluo, x
n
, uma com-
binao linear das solues fundamentais X
n
1
e X
n
2
x
n
= AX
n
1
+ BX
n
2
, (4.5)
PROBLEMAS | TEOREMAS 25
em que X
1
e X
2
so as raizes da equao caracterstica
X
2
X 1 = 0 (4.6)
e A, B so constantes (independentes de n).
Esta ltima equao tem as duas solues
X
1
=
1 +

5
2
= = a
X
2
=
1

5
2
=
1
= b
e, portanto
x
n
= AX
n
1
+ BX
n
2
= Aa
n
+ Bb
n
Ora, das condies iniciais
x
1
= x
2
= 1
resulta
A B
1
= 1
A
2
+ B
2
= 1;
donde
A =

1
1
1
2

=

2
+
1

1
+
=

5
5
B =

2
1

=

2

1
+
=

5
5
Logo
x
n
= AX
n
1
+ BX
n
2
= Aa
n
+ Bb
n
=

5
5
a
n

5
5
b
n
=

5
5
(a
n
b
n
) ;
Mas, como
1
a b
=
1
1 +

5
2

1

5
2
=
2
1 +

5
_
1

5
_
=
1

5
=

5
5
,
26 AMRICO TAVARES
x
n
=
a
n
b
n
a b
(4.7)
como queramos mostrar.
4.2. Mltiplos e quadrados perfeitos (das XXV OPM). Este
problema foi retirado das Olimpadas de Matemtica de 2006 (categoria
B 10
o
-12
o
): 4
o
problema da 1
a
eliminatria das XXV Olmpadas de
Matematica:
(http://www.mat.uc.pt/opm/OPM/XXV/XXV_1b.pdf)
Escreve-se por ordem crescente cada um dos mltiplos de 3 cuja
soma com 1 um quadrado perfeito
3, 15, 24, 48, . . .
Qual o 2006.
o
mltiplo que se escreve?
Resoluo
Apresento a minha resoluo a seguir, que o leitor pode comparar
com outras duas propostas de resoluo mais elegantes (da SPM)
(http://www.mat.uc.pt/opm/OPM/XXV/XXV_1bs.pdf)
Os primeiros quadrados perfeitos a seguir ao 2 so:
4, 9, 16, 25, 36, 49, 64, 81, 100, 121, 144, 169, 196, 225, . . . , (n + 1)
2
. . .
dos quais se obtm, por subtraco de 1 a cada
u
1
= 3, u
2
= 9, u
3
= 15, u
4
= 24, u
5
= 35,
u
6
= 48, u
7
= 63, u
8
= 80, u
9
= 99, u
10
= 120,
u
11
= 143, u
12
= 168, u
13
= 195, u
14
= 224, . . . ., u
n
= (n + 1)
2
1, . . .
Destes, como u
2
= 9, u
5
= 35, u
8
= 80, u
11
= 143, u
14
= 224 no
so mltiplos de 3, cam
u
1
= 3,
u
3
= 15, u
4
= 24,
u
6
= 48, u
7
= 63,
u
9
= 99, u
10
= 120,
u
12
= 168, u
13
= 195, . . .
Conrmemos: para n = 2, 3, 4, 5, . . .
u
3n4
= (3n 4 + 1)
2
1 = (3n 3)
2
1 = 9n
2
18n+8 = 3
_
3n
2
6n + 2
_
+2
no so mltiplos de 3. Por outro lado, para n = 3, 4, 5, . . .
u
3n5
= (3n 5 + 1)
2
1 = (3n 4)
2
1 = 3
_
3n
2
8n + 5
_
u
3n6
= (3n 6 + 1)
2
1 = (3n 5)
2
1 = 3
_
3n
2
10n + 8
_
so claramente mltiplos de 3.
PROBLEMAS | TEOREMAS 27
Assim, emcada trs termos sucessivos u
n
(comn 3), os primeiros
dois so mltiplos de 3 e o terceiro no o .
Se renumerarmos os ndices e chamarmos nova sucesso v
n
,
temos
v
1
= 2
2
1 = 3,
v
2
= 4
2
1 = 15,
v
3
= 5
2
1 = 24,
v
4
= 7
2
1 = 48,
v
5
= 8
2
1 = 63,
v
6
= 10
2
1 = 99,
v
7
= 11
2
1 = 120,
v
8
= 13
2
1 = 168,
v
9
= 14
2
1 = 195, . . .
e o que se pede v
2006
.
Como o nmero de inteiros cujos quadrados menos um dividem
trs igual a:
1. 1 no grupo de nmeros 2 a 3 inclusive;
2. 2 em cada grupo de 3 nmeros a seguir ao 3, ou seja, de 4 a 6,
de 7 a 9, etc.
3. 1999 de 2 a 3000, em virtude de
3000
3
= 1000 = 1 + 999
e
1 1 + 999 2 = 1999,
ento
v
1999
= 2999
2
1 = 8994 000,
e no 3000
2
1 = 8999 999, que no mltiplo de 3.
Pelo mesmo raciocnio, entre 2 e 3009 h 2005 inteiros cujos quadra-
dos menos um so mltiplos de trs, e o ltimo o que corresponde a
3008 e no a 3009 (3009
2
1 no mltiplo de 3):
3009
3
= 1003 = 1 + 1002
e
1 1 + 1002 2 = 2005;
ento
v
2005
= 3008
2
1 = 9048 063.
O termo seguinte o resultado procurado
v
2006
= 3010
2
1 = 9060 099.
28 AMRICO TAVARES
Este processo pode visualizar-se nas tabelas seguintes
4 7 10 13 16 19 22 25 28
2 5 8 11 14 17 20 23 26 29
(3) (6) (9) (12) (15) (18) (21) (24) (27) (30)
2 4 6 8 10 12 14 14 18
1 3 5 7 9 11 13 15 17 19
1 2 2 2 2 2 2 2 2 2
.
.
.
2998 3001 3004 3007 3010 3013 3016 3019 3022 3025
2999 3002 3005 3008 3011 3014 3017 3020 3023 3026
(3000) (3003) (3006) (3009) (3012) (3015) (3018) (3021) (3024) (3027)
1998 2000 2002 2004 2006 2008 2010 2012 2014 2016
1999 2001 2003 2005 2007 2009 2011 2013 2015 2017
2 2 2 2 2 2 2 2 2 2
4.3. Limite da raiz de ndice n do termo geral de uma sucesso.
Se o termo geral de uma sucesso for constante (u
n
= c), a sucesso
tende para para essa constante, como muito bem se sabe. Neste caso a
razo
u
n+1
u
n
=
c
c
= 1. E qual o limite de
n

u
n
=
n

c quando c > 0?
bem conhecido (por exemplo [12,13]) que tambm 1:
lim
u
n+1
u
n
=
c
c
= lim
n

u
n
= lim
n

c = 1.
Considere agora o leitor que u
n
= c
n
, com c > 0. Como
n

c
n
= c
claro que lim
n

u
n
= c. Por outro lado, sendo neste caso lim
u
n+1
u
n
=
c
n+1
c
n
= c, verica-se igualmente a igualdade
lim
u
n+1
u
n
= lim
n

u
n
.
Exemplo: em mais um caso concreto, seja agora u
n
= n
2
. Vou de-
terminar lim
n

n
2
por um mtodo adaptado de Curso de Matemticas
Gerais de Campos Ferreira [12]. Temos
u
n+1
u
n
=
(n + 1)
2
n
2
1.Ento,
qualquer que seja > 0 existe um N tal que, para todo o n N, se
PROBLEMAS | TEOREMAS 29
verica 1 <
(n + 1)
2
n
2
< 1 + e, portanto,
1 <
(N + k + 1)
2
(N + k)
2
< 1 + k = 0, 1, 2, . . . n N 1.
Multiplicando estas n N duplas desigualdades vem, sucessiva-
mente
nN1

k=0
(1 ) <
nN1

k=0
(N + k + 1)
2
(N + k)
2
<
nN1

k=0
(1 + )
nN
..
(1 ) (1 ) <
(N + 1)
2
N
2
(N + 2)
2
(N + 1)
2

n
2
(n 1)
2
<
nN
..
(1 + ) (1 + )
(1 )
n
(1 )
N
= (1 )
nN
<
n
2
N
2
< (1 + )
nN
= (1 + )
n
(1 + )
N
,
pelo que
(1 )
n
(1 )
N
n
2
< n
2
< (1 + )
n
(1 + )
N
n
2
e, extraindo agora a raiz de ordem n
(1 )
n
_
(1 )
N
N
2
<
n

n
2
< (1 + )
n
_
(1 + )
N
N
2
.
Como (1 )
N
N
2
e (1 + )
N
N
2
so independentes de n, quando
se faz tender n para innito,
n
_
(1 )
N
N
2
1 e
n
_
(1 + )
N
N
2

1, ou seja, para n sucientemente grande, isto , a partir de uma dada
ordem N

1 <
n
_
(1 )
N
N
2
< 1 +
1 <
n
_
(1 + )
N
N
2
< 1 + .
Assim
(1 ) (1 ) < (1 )
n
_
(1 )
N
N
2
<
n

n
2
n

n
2
< (1 + )
n
_
(1 + )
N
N
2
< (1 + ) (1 + ) .
Atendendo a que (1 ) (1 ) = 1
_
+
2
_
e (1 + ) (1 + ) =
1 +
_
+ b +
2
_
e tambm + +
2
> +
2
, se se escolher um
nmero > + +
2
> +
2
tem-se 1 <
n

n
2
< 1 + (para
n max {N

, N}), e, portanto, continua a ser


lim
u
n+1
u
n
= lim
n

u
n
= 1.
E ser que em geral o limite da razo de um termo da sucesso
(u
n
) em relao ao anterior igual ao limite da raiz de ndice n de
u
n
? A resposta armativa e uma possvel demonstrao a de Carlos
Sarrico, em Anlise Matemtica [13], que prova primeiro que se uma
30 AMRICO TAVARES
sucesso converge para b, ento as mdias aritmtica e geomtrica dos
seus n primeiros termos convergem tambm para b, e da deduz a val-
idade desse enunciado. A proposio seguinte trata precisamente do
caso geral, seguindo a mesma estrutura de demonstrao do exemplo
anterior.
Proposio: Se, para todos os valores de n, u
n
> 0 e se lim
u
n+1
u
n
= b,
ento lim
n

u
n
= b.
Demonstrao (adaptada de [12]): Pretende-se provar que, qualquer
que seja < 0, a desigualdade
|
n

u
n
b| <
vericada para todos os valores de n, a partir de alguma ordem M.
Como, por hiptese, lim
u
n+1
u
n
= b, ento, qualquer que seja > 0 existe
um N tal que, para todo o n N, se verica b <
u
n+1
un
< b + e,
portanto, para k = 0, 1, 2, . . . n N 1, tem-se
b <
u
N+k+1
u
N+k
< b + .
Multiplicando em k estas n N duplas desigualdades vem, suces-
sivamente
nN1

k=0
(b ) <
nN1

k=0
u
N+k+1
u
N+k
<
nN1

k=0
(b + )
nN
..
(b ) (b ) <
u
N+1
u
N
u
N+2
u
N+1

u
n
u
n1
<
nN
..
(b + ) (b + )
(b )
n
(b )
N
= (b )
nN
<
u
n
u
N
< (b + )
nN
= (b + )
n
(b + )
N
.
Daqui tira-se
(b )
n
(b )
N
u
N
< u
n
< (b + )
n
(b + )
N
u
N
e, extraindo a raiz de ordem n
(b )
n
_
(b )
N
u
N
<
n

u
n
< (b + )
n
_
(b + )
N
u
N
.
Como (b )
N
u
N
e (b + )
N
u
N
so independentes de n, quando
se faz tender n para innito,
n
_
(b )
N
u
N
e
n
_
(b + )
N
u
N
tendem
para 1, ou seja, existe um nmero N

, tal que para n N

1 <
n
_
(b )
N
u
N
< 1 +
1 <
n
_
(b + )
N
u
N
< 1 +
PROBLEMAS | TEOREMAS 31
pelo que se obtm o seguinte enquadramento:
(1 ) (b ) < (b )
n
_
(b )
N
u
N
<
n

u
n
n

u
n
< (b + )
n
_
(b + )
N
u
N
< (b + ) (1 + ) .
Atendendo a que (1 ) (b ) = b
_
+ b
2
_
e (b + ) (1 + ) =
b+
_
+ b +
2
_
e tambm +b +
2
> +b
2
, v-se que tomando
> + b +
2
se tem efectivamente b <
n

u
n
< b + (para
n M = max {N

, N}), o que demonstra a proposio.


Exerccios de aplicao: determine lim
n

u
n
, em que
(1) u
n
=
n
_
1 +
1
n
(2) u
n
=
n
_
(n + 1)! n!
(3) u
n
=
n

a
n
+ b
n
em que 0 < a b.
Resoluo
(1)
u
n+1
u
n
=
1 +
1
n
1 +
1
n + 1
=
(n + 1)
2
n(n + 2)
1; e
n

u
n
1
(2)
u
n+1
u
n
=
(n + 2)! (n + 1)!
(n + 1)! n!
=
(n + 2) (n + 1) (n + 1)
(n + 1) 1
+;
e
n

u
n
+
(3)
u
n+1
u
n
=
a
n+1
+ b
n+1
a
n
+ b
n
=
b
n+1
_
a
n+1
b
n+1
+ 1
_
b
n
_
a
n
b
n
+ 1
_ b; e
n

u
n
b.
Problema: Sabendo que a sucesso (u
n
) verica a relao de recor-
rncia
u
n
34u
n1
+ u
n2
= 0.
determine lim
n

u
n
.
Resoluo
A relao de recorrncia acima de segunda ordem, linear e de coe-
cientes constantes, dizendo-se ainda homognea pelo segundo membro
ser nulo. A teoria das equaes s diferenas diz-nos que o termo geral
da sucesso (u
n
) da forma
u
n
= A
n
+ B
n
em que , so as raizes da equao caracterstica
X
2
34X + 1 = 0.
32 AMRICO TAVARES
Vericao: por substituio v-se que u
n
=
n
soluo de u
n

34u
n1
+ u
n2
= 0. De facto,

n
34
n1
+
n2
= 0
equivalente a
n2
(
2
34 + 1) = 0. Analogamente u
n
=
n

outra soluo, pois de

n
34
n1
+
n2
= 0
resulta
n2
_

2
34 + 1
_
= 0. Sendo , raizes da equao car-
acterstica, a relao de recorrncia vericada. Como a expresso
A
n
+B
n
uma combinao linear de
n
e
n
, facilmente se conclui
que tambm verica a recorrncia u
n
34u
n1
+ u
n2
= 0.
Resolvendo a equao caracterstica, vem
=
34 +

34
2
4
2
= 17 + 12

2 > 1
=
34

34
2
4
2
= 17 12

2 =
1
< 1
e o termo geral
u
n
= A
n
+ B
n
= A
_
17 + 12

2
_
n
+ B
_
17 12

2
_
n
.
Como
_
17 12

2
_
n
0, o comportamento de u
n
para n su-
cientemente grande dominado por
_
17 + 12

2
_
n
caso a soluo seja
crescente com n e a razo
u
n+1
u
n
=
A
_
17 + 12

2
_
n+1
+ B
_
17 12

2
_
n+1
A
_
17 + 12

2
_
n
+ B
_
17 12

2
_
n
tende por esse motivo para 17 + 12

2.
5. Noi i\ic. oini Sinii
Uma srie de nmeros reais uma soma do tipo

n=1
u
n
= u
1
+ u
2
+ u
3
+ + u
n
+ (5.1)
A sucesso das somas parciais associada a esta srie a sucesso
formada pelos nmeros
s
1
+ s
2
+ s
3
+ + s
n
+ , (5.2)
em que
s
n
=
n

i=1
u
i
. (5.3)
A srie diz-se convergente se existe e nito lim
n
s
n
= lim
n

n
i=1
u
i
.
A este limite chama-se a soma da srie. Se o limite no existir ou for
innito, a srie divergente.
PROBLEMAS | TEOREMAS 33
Exemplo 5.1. Determine a soma da srie

n=1
2
n
.
A sucesso das somas parciais (s
n
) a sucesso de termo geral
s
n
=
n

i=1
2
i
.
Esta soma , como bem sabemos, a da progresso geomtrica cujo
1
o
termo s
1
= 2 e a razo 1/2. Vejamos que
1
2
s
n
= s
n

1
2
s
n
=
n

i=1
2
i

1
2
n

i=1
2
i
=
n

i=1
2
i

i=1
2
(i+1)
=
n

i=1
2
i

n+1

i=2
2
i
= 2
1
+
n

i=2
2
i

i=2
2
i
2
(n+1)
= 2
1
_
1 2
n
_
;
donde
s
n
= 1 2
n
e, portanto, como
lim
n
s
n
= 1,
tem-se

n=1
2
n
= 1
Para o caso geral de uma srie geomtrica

n=1
u
1
r
n1
vem, semelhana do exemplo,
(1 r) s
n
= s
n
rs
n
=
n

i=1
u
1
r
i1
r
n

i=1
u
1
r
i1
=
n

i=1
u
1
r
i1

i=1
u
1
r
i
=
n

i=1
u
1
r
i1

n+1

i=2
u
1
r
i1
= u
1
+
n

i=2
u
1
r
i1

i=2
u
1
r
i1
u
1
r
n
= u
1
(1 r
n
) ,
34 AMRICO TAVARES
ou seja,
s
n
= u
1
1 r
n
1 r
r = 1.
Ora, se |r| < 1,
lim
n
s
n
= lim
n
u
1
1 r
n
1 r
=
u
1
1 r
,
a srie geomtrica convergente e a sua soma

n=1
u
1
r
n1
=
u
1
1 r
(desde que r < 1). (5.4)
Se r 1, lim
n
r
n
no nito e, por isso, a srie divergente.
Uma sucesso convergente se e s se for uma sucesso de Cauchy,
isto , se dado um qualquer > 0, existe um inteiro positivo N tal que,
para todos os inteiros positivos que veriquemn > m N, |u
m
u
n
| <
. Daqui se conclui o seguinte critrio de convergncia:
Teorema 5.1. A srie

n=1
u
n
convergente se e s se, dado um
qualquer > 0, existir um inteiro positivo N tal que, para todos os
inteiros n > m N, |u
m+1
+ u
m+2
+ + u
n
| < .
Demonstrao. Como a diferena das somas parciais s
m
s
n
= u
m+1
+
u
m+2
+ + u
n
, o mdulo da diferena destas mesmas somas , pois,
|s
m
s
n
| = |u
m+1
+ u
m+2
+ + u
n
| , e aplicando o critrio de Cauchy
a estas somas parciais, vemos que para todo o > 0, h-de existir
um inteiro positivo N tal que, para todos os inteiros n > m N,
|u
m+1
+ u
m+2
+ + u
n
| < , se e s se, a srie for convergente.
Em smbolos,

n=1
u
n
convergente, se e s se,

>0

N

n>mN
|u
m+1
+ u
m+2
+ + u
n
| < ,
outra forma de traduzir o enunciado.
Corolrio 5.1. Se a srie

n=1
u
n
convergente, a sucesso (u
n
)
tende para 0.
Demonstrao. Se n = m + 1,
|u
n
| < .
Assim, verica-se

>0

N

n>mN
|u
n
| <
que a denio de lim
n
u
n
= 0.
A srie harmnica

n=1
1
n
no verica este critrio de convergn-
cia porque, de

1
m + 1
+
1
m + 2
+ +
1
n

1
n
+
1
n
+ +
1
n
= (n m)
1
n
.
PROBLEMAS | TEOREMAS 35
vemos que se escolhermos n = 2m, temos

1
m + 1
+
1
m + 2
+ +
1
n

(2mm)
1
2m
=
1
2
,
o que contraria a condio necessria para que uma srie seja conver-
gente expressa neste teorema. Assim, a srie harmnica divergente.
5.1. Nmeros racionais: exerccio sobre dzimas peridicas e
srie geomtrica. Prove que qualquer nmero representado por uma
dzima peridica racional.
Se considerar, como exemplo, o nmero 0, 150, em que a barra,
nesta notao, signica que o grupo de 3 dgitos 150 se repete in-
denidamente
0, 150 = 0, 150 150 150 . . .
posso escrev-lo na forma
0, 150 =
150
10
3
+
150
10
6
+
150
10
9
+
e calcular agora a soma da progesso geomtrica de razo 10
3
e primeiro
termo 0, 150

n=1
150
10
3n
=
0, 150
1 10
3
=
150
10
3
1
=
50
333
No segundo exemplo tomo o nmero 0, 3150 como ilustrativo do
caso em que a dzima no comea imediatamente a seguir vrgula.
Assim, usando o resultado anterior
0, 3150 = 0, 3 + 0, 1 0, 150 = 0, 3 + 0, 1
50
333
=
1049
3330
No ltimo exemplo, considero 2, 3150. Ser
2, 3150 =
_
2, 3150
_
=
_
2 + 0, 3150
_
=
_
2 +
1049
3330
_
=
7709
3330
.
O caso geral simplesmente o de uma dzima peridica com p
dgitos, bastando como se v mostrar a propriedade para os nmeros
do tipo 0, a
p1
a
p2
...a
1
a
0
, porque os outros so uma consequncia ime-
diata.
O nmero cujos dgitos so os que esto sob a barra tem o valor
decimal
N = 10
0
a
0
+ 10
1
a
1
+ + 10
p1
a
p1
Sendo assim, usando o mesmo raciocnio do primeiro exemplo, tem-
se
0, a
p1
a
p2
...a
1
a
0
=
N
10
p
+
N
10
2p
+ =
N/10
p
1 10
p
=
N
10
p
1
.
36 AMRICO TAVARES
Exemplo de aplicao: x = 0, 151515... y = 1, 2151515...
Para x = 0, 15, N = 10
0
5 +10
1
1 = 15, x =
15
10
2
1
=
15
99
. De
x deduz-se y
y = 1, 215 = 1 + 0, 2 + 0, 1x =
12
10
+
1
10
15
99
=
401
330
.
Exerccio: determine o nmero racional representado na forma decimal
por 0, 3311111...
Resposta:
149
450
6. M.xi:iz.\o Mi:i:iz.\o
6.1. Funo cbica. Mostre que o ponto de inexo da funo f (x) =
x
3
+ 3x
2
9x 21, cujo grco se representa a seguir, est situado a
meio dos de estacionaridade.
4 3 2 1 0 -1 -2 -3 -4
40
20
0
-20
x
y
x
y
(enunciado adaptado e simplicado da entrada do Mathematics
weblog, Steve, cubics, harder question 2, 26-1-2006).
Resoluo
Comeamos por calcular os pontos de estacionaridade. Como
f

(x) = 3x
2
+ 6x 9
ento
f

(x) = 0
3x
2
+ 6x 9 = 0
x
2
+ 2x 3 = 0
x =
2

4 + 12
2
=
2 4
2
= 1 2
x = 1 x = 3
donde
PROBLEMAS | TEOREMAS 37
f (3) = (3)
3
+ 3 (3)
2
9 (3) 21 = 6
f (1) = (1)
3
+ 3 (1)
2
9 (1) 21 = 26
Logo, os pontos estacionrios so (3, 6) , (1, 26).
Agora determinamos o ponto de inexo. Dado que
f

(x) = 6x + 6
tem-se
f

(3) = 18 + 6 = 12
f

(1) = 6 + 6 = 12
pelo que, porque
f

(x) = 0 6x + 6 = 0 x = 1
f

(x) > 0 6x + 6 > 0 x > 1


f

(x) < 0 6x + 6 < 0 x < 1


o pontos de inexo o ponto de coordenadas (1, f (1)) = (1, 10):
f (1) = (1)
3
+ 3 (1)
2
9 (1) 21 = 10
Logo
1 =
3 + 1
2
10 =
6 26
2
e, por conseguinte
(1, 10) =
1
2
((3, 6) + (1, 26))
6.2. Optimizao por mtodo generalizando o de Lagrange.
Considere o seguinte problema de optimizao: usando as condies
sucientes de optimalidade encontre o par (x

, y

) onde a funo g
g (x, y) = (x + 2) (y + 1)
sujeita restrio
4x + 6y = 130
tem um mximo.
[Adaptado de um problema do exame de 28 de Janeiro de 2006 de
Mtodos Numricos I, do Curso de Informtica de Gesto da Univer-
sidade do Minho.([7])]
Resoluo
O problema de optimizao corresponde a determinar o mnimo
da funo f = g
f (x, y) = (x + 2) (y + 1)
38 AMRICO TAVARES
sujeita restrio
c (x, y) = 0
em que c (x, y) = 4x + 6y 130.
Nota terica:
Se (x

, y

) satiszer as duas condies seguintes um mnimo:


(i) o par (x

, y

) verica simultaneamente as n equaes


f (x

, y

) c (x

, y

= 0
e as m equaes
c (x

, y

) = 0
(ii) Se para todo o s tal que (c)
T
s = 0 (com s = 0),
s
T

2
xx
L(x

) s > 0,
em que

2
xx
L(x, y) =
2
f (x)
m

i=1

2
c
i
(x) .
A funo Lagrangeana L(x, y) a funo
L(x, ) = f (x) c (x)
T
= f (x)
m

i=1
c
i
(x)
i
e as matrizes c (x) e ,respectivamente
c (x) =
_
_
c
1
(x)
.
.
.
c
m
(x)
_
_
e
=
_
_

1
.
.
.

m
_
_
Vamos ver: tem-se
f =
_
f
x
f
y
_
=
_
y 1
x 2
_
c =
_
c
x
c
y
_
=
_
4
6
_
= ()
A condio (i) equivalente ao sistema
y 1 4 = 0
x 2 6 = 0
4x + 6y = 130
A matriz ampliada deste sistema, aps troca de linhas, vem
_
_
4 6 0 | 130
1 0 6 | 2
0 1 4 | 1
_
_

_
_
4 6 0 | 130
0 6/4 6 | 138/4
0 1 4 | 1
_
_

_
_
4 6 0 | 130
0 3/2 6 | 69/2
0 0 8 | 24
_
_
PROBLEMAS | TEOREMAS 39
cuja soluo
x =
130 66
4
= 16
y =
_
69
2
18
_

2
3
= 11
= 3
Por conseguinte, (x

, y

) = (16, 11) satisfaz (i). Quanto a (ii), tem-


se

2
f =
_

2
f
x
2

2
f
yx

2
f
xy

2
f
y
2
_
=
_
0 1
1 0
_

2
c =
_

2
c
x
2
c
yx

2
c
xy

2
c
y
2
_
=
_
0 0
0 0
_
Logo

2
xx
L(x, y) =
2
f (x)
2
c =
2
f =
_
0 1
1 0
_
Como
(c)
T
s = 0
_
4 6
_
_
s
1
s
2
_
= 0 4s
1
+ 6s
2
= 0 s
2
=
2
3
s
1
e
s
T

2
xx
L(x

) s =
_
s
1
s
2
_
_
0 1
1 0
__
s
1
s
2
_
=
_
s
2
s
1
_
_
s
1
s
2
_
s
T

2
xx
L(x

) s = 2s
1
s
2
= 2s
1
_

2
3
s
1
_
=
4
3
s
2
1
claro que, se s = 0, s
T

2
xx
L(x

) s > 0 e a condio (ii) tambm


vericada. Assim, (x

, y

) = (16, 11) mnimo de f (x, y) .


7. I:1ion.i i.n.:i1nico
7.1. Regra de Leibniz de diferenciao de umintegral paramtrico
e sua generalizao. Suponhamos que temos o integral que funo
do parmetro t
I(t) =
_
b
a
f (x, t) dx
A sua diferenciao baseia-se na seguinte
Proposio (regra de Leibniz): Sejam f (x, t) uma funo real
denida num rectngulo R = [a, b] [c, d] R
2
integrvel em x para
cada valor real de t e
f(x,t)
t
a sua derivada parcial contnua em x e t
no mesmo rectngulo. A derivada do integral funo do parmetro t
I(t) =
_
b
a
f (x, t) dx
40 AMRICO TAVARES
dada por
I

(t) =
_
b
a
f (x, t)
t
dx.
Neste caso os limites de integrao so constantes. A generalizao
a um integral do tipo
I(t) = J(u, v, t) =
_
v(t)
u(t)
f (x, t) dx,
em que o parmetro ocorre tambm nas funes u(t) e v (t) dos limites
de integrao, uma consequncia do teorema fundamental do clculo
integral para uma funo, na sua forma habitual
d
dx
_
x
a
g (t) dt = g (x)
e nesta dela derivada
d
dx
_
b
x
g (t) dt =
d
dx
_
x
b
g (t) dt = g (x)
bem como da regra de derivao da funo composta. A derivada passa
a ser
I

(t) =
dI
dt
=
J
t
dt
dt
+
J
v
dv
dt
+
J
u
du
dt
ou
I

(t) =
_

t
_
v
u
f (x, t) dx
_
dt
dt
+
_

v
_
v
u
f (x, t) dx
_
dv (t)
dt
+
_

u
_
v
u
f (x, t) dx
_
du(t)
dt
Assim
I

(t) =
_
v(t)
u(t)
f (x, t)
t
dx + f (v (t) , t) v

(t) f (u(t) , t) u

(t)
Problema: determine a derivada I

(t) do integral
I(t) = J(2t, t
2
, t) =
_
t
2
2t
e
tx
dx
Resoluo: neste caso f (x, t) = e
tx
, u(t) = 2t ev (t) = t
2
. As derivadas
so
v

(t) = 2t u

(t) = 2
f (x, t)
t
=

t
e
tx
= xe
tx
PROBLEMAS | TEOREMAS 41
e os valores da funo integranda so calculados em (v, t) e (u, t)
f (v (t) , t) = e
tt
2
= e
t
3
f (u(t) , t) = e
t2t
= e
2t
2
donde
I

(t) =
_
v(t)
u(t)
f (x, t)
t
dx + f (v (t) , t) v

(t) f (u(t) , t) u

(t)
=
_
t
2
2t
xe
tx
dx + 2te
t
3
2e
2t
2
=
e
t
3
(3t
3
1) e
2t
2
(4t
2
1)
t
2

7.2. Integrao pelo mtodo de diferenciao em relao a um
parmetro. Na entrada do Clculo automtico de um integral dif-
cil que me resistiu aos mtodos matemticos usuais referi o mtodo
da diferenciao sob o sinal de integral exposto no post de Todd and
Vishals blog nela indicado. Este mtodo tambm conhecido pelo
nome acima. Em que consiste? Generaliza-se o integral que se pretende
calcular usando um parmetro, sendo o integral original obtido para
um valor particular desse parmetro.
No caso do integral a calculado
_
/2
0
x
tan x
dx
a generalizao atravs do parmetro t que aconselhada no post
[http://topologicalmusings.wordpress.com/2008/10/12/
solution-to-pow-10-another-hard-integral/] de Todd and Vishals
blog (e na Wikipedia
[http://en.wikipedia.org/wiki/
Differentiation_under_the_integral_sign#Other_problems]
e em Integration: The Feynman Way
[http://ocw.mit.edu/NR/rdonlyres/Mathematics/18-304Spring-2006/
80FAFE90-0273-499D-B3D6-EDECAFE3968D/0/integratnfeynman.pdf])
:
I(t) =
_
/2
0
arctan (t tan x)
tan x
dx
da qual o integral original
I(1) =
_
/2
0
x
tan x
dx
Para aplicar este mtodo necessrio que a funo integranda e a sua
derivada parcial em relao ao parmetro sejam contnuas no intervalo
42 AMRICO TAVARES
de integrao, quer no que diz respeito varivel de integrao x quer
ao parmetro t ; neste caso so-no:

t
arctan(t tan x)
tan x
=
1
t
2
tan
2
x + 1
.
Depois de se ter diferenciado sob o sinal de integral, obtm-se a derivada
do integral em relao ao parmetro, calculando o integral da nova
funo integranda, a que se acabou de determinar:
d
dt
I(t) =
_
/2
0

t
arctan (t tan x)
tan x
dt
O objectivo tentar obter um integral simples! Continuando, vem
d
dt
I(t) =
_
/2
0
1
t
2
tan
2
x + 1
dx
Fazendo a substituio recomendada por Todd Trimble x = arctan u
transforma-se este integral noutro
d
dt
I(t) =
_
/2
0
1
t
2
tan
2
x + 1
dx =
_

0
1
t
2
u
2
+ 1
1
u
2
+ 1
du
que integrvel pelo mtodo das fraces parciais:
1
t
2
u
2
+ 1
1
u
2
+ 1
=
t
t
2
1
t
t
2
u
2
+ 1

1
t
2
1
1
u
2
+ 1
.
obtendo-se
_

0
1
t
2
u
2
+ 1
1
u
2
+ 1
du =
t
t
2
1
_

0
t
t
2
u
2
+ 1
du
1
t
2
1
_

0
1
u
2
+ 1
du
=
t
t
2
1
arctan (tu)|

0

1
t
2
1
arctan (u)|

0
=
t
t
2
1
_

2
_

1
t
2
1
_

2
_
=
1
t + 1
_

2
_
Por m, integra-se em relao ao parmetro t
I(t) =
_

2 (t + 1)
=

2
ln(t + 1) + C
e calcula-se a constante de integrao atravs de outro valor particular
do integral; como
I(0) =
_
/2
0
arctan (0 tan x)
tan x
dx = 0
tem-se

2
ln (1) + C = 0
PROBLEMAS | TEOREMAS 43
donde C = 0 e o integral paramtrico
I(t) =
_

2 (t + 1)
dt =

2
ln (t + 1)
pelo que o integral original igual a
I(1) =

2
ln(1 + 1) =

2
ln2.
8. V.ni\\ii co:iiix.
8.1. Identidade Complexa til. Dados dois nmeros complexos z e
w verica-se
|z w|
2
= (z w) (z w) = |z|
2
+|w|
2
zw zw
Justique esta dupla identidade.
Demonstrao: A primeira igualdade pode justicar-se considerando
z e w da forma z = x+iy e w = u+iv, donde z w = xui (y v),
pelo que
z w = [x u i (y v)] = x u + i (y v) .
E como |z w| =
_
(x u)
2
+ (y v)
2
, ento
(z w) (z w) = [x u i (y v)] [x u + i (y v)]
= (x u)
2
+ (y v)
2
= |z w|
2
.
Quanto segunda igualdade, deduz-se sucessivamente das pro-
priedades elementares dos nmero complexos
(z w) (z w) = (z w) (z w) = zz + zw wz + ww =
|z|
2
+ zw wz +|w|
2
.
8.2. Duas equaes equivalentes da circunferncia no plano
complexo. No nal dever car claro que o conjunto
{z C : zz + z (1 i) (1 + i) z 2 = 0}
dene no plano complexo uma circunferncia de centro 1+i e raio igual
a 2.
No plano complexo o conjunto A = {z C : |z z
0
| = r} repre-
senta, como bem se sabe, a circunferncia de centro em z
0
e de raio
igual a r R.
possvel representar a mesma circunferncia por outra relao
equivalente, que uma generalizao da equivalncia entre |z| = r e
zz r
2
= 0. Vou mostr-lo, recorrendo identidade elementar intro-
duzida anteriormente na sub-seco anterior
|z z
0
|
2
= |z|
2
+|z
0
|
2
zz
0
zz
0
,
44 AMRICO TAVARES
onde est demonstrada, como resultado directo das propriedades ele-
mentares dos nmeros complexos. Por convenincia repito a sua de-
duo, de forma condensada e com alterao de notao
|z z
0
|
2
= (z z
0
) (z z
0
) = (z z
0
) (z z
0
)
= zz + zz
0
wz + z
0
w = |z|
2
+ zz
0
z
0
z +|z
0
|
2
.
Seja z = x+iy e z
0
= x
0
+iy
0
. A equao |z z
0
| = r equivalente
a |z z
0
|
2
= r
2
, ou seja a
(x x
0
)
2
+ (y y
0
)
2
= r
2
e
|z|
2
+ zz
0
z
0
z +|z
0
|
2
r
2
= 0
que precisamente a equao dessa tal circunferncia.
Assim, o conjunto B =
_
z C : |z|
2
+ zz
0
z
0
z +|z
0
|
2
r
2
= 0
_
=
A.
Exemplos: o lugar geomtrico dos z tais que
(1) |z (2 i)| = 1 a circunferncia de centro em z
0
= x
0
+iy
0
=
2 i e raio r = 1, traduz-se tambm pela equao
|z|
2
+ (2 + i) z + (2 i) z 4 = 0
isto
{z C : zz + (2 + i) z + (2 i) z 4 = 0} = {z C : |z (2 i)| = 1}
(2) |z| = r a circunferncia de centro em z
0
= x
0
+ iy
0
= 0 +i0 e
raio r. Neste caso a equao equivalente
zz r
2
= 0
o que uma consequncia imediata de |z| = r, dado que zz =
|z|
2
. Por este motivo
_
z C : zz r
2
= 0
_
= {z C : |z| = r}
que foi a equivalncia referida no incio.
Claro que em vez de
|z|
2
+ zz
0
z
0
z +|z
0
|
2
r
2
= 0
a equao pode assumir uma forma equivalente, multiplicando-a por
uma constante real k = 0:
k |z|
2
+ kzz
0
kz
0
z + k |z
0
|
2
kr
2
= 0.
Exerccio: indique o lugar geomtrico denido no plano complexo z
pela equao
3 |z|
2
+ 3z (1 i) 3 (1 + i) z 6 = 0
PROBLEMAS | TEOREMAS 45
Esta equao equivalente a
|z|
2
+ z (1 i) (1 + i) z + 2 4 = 0
pelo que, comparando coecientes, r = 2, |z
0
| =

2, z
0
= 1+i. Trata-se
da circunferncia centrada em 1+i e de raio igual a 2, de que falei logo
no primeiro pargrafo.
8.3. Uma transformao inverso complexa de uma cir-
cunferncia. Podemos perguntar: se tivermos, no plano complexo z,
um crculo centrado na origem (z
0
= 0) de raio igual a r, aplicando a
transformao
w =
1
z
o que que passaremos a ter, no plano complexo w?
A equao do crculo |z| r. A circunferncia |z| = r transforma-
se em |w| =
1
|z|
=
1
r
, ou seja, outra circunferncia centrada na origem
do plano w e de raio R =
1
r
. Assim, o conjunto A = {z C : |z| r}
transformado no conjunto B = {w C : |w| R}, isto , todo o plano
w com excluso do interior do crculo |w| < R.
Admita agora o leitor que tem, no plano z, outra circunferncia
como mesmo raio r, mas centrada em z
0
= x
0
+i0 = r. Ento |z z
0
| =
|z r| = r e a mesma transformao de inverso w =
1
z
, traduz-se, no
plano w, por

1
w
r

= r.
Resta saber qual o lugar geomtrico
C =
_
w C :

1
w
r

= r
_
O leitor que assim entenda poder tentar ver qual .
Para quem esteja interessado na soluo mas tenha alguma dvida,
apresento, de seguida, uma possvel resoluo.
Resoluo
Admita que z percorre a circunferncia |z r| = r no sentido
directo, partindo da origem, passa pelos pontos situados no semi-plano
Imz < 0, cruza o eixo real em 2r e continua pelo semi-plano Imz > 0
at atingir novamente a origem.
Vamos ver que w percorre a recta w = 1/2r + i0 no sentido do
semi-plano superior para o semi-plano inferior.
46 AMRICO TAVARES
Quando z = x +iy descreve |z r| = r, (x r)
2
+y
2
= r
2
, donde
x
2
+ y
2
= 2rx. Como
w =
1
z
=
1
x + iy
=
x
x
2
+ y
2
i
y
x
2
+ y
2
= u + iv,
ento
u =
x
x
2
+ y
2
=
1
2r
e
v =
y
x
2
+ y
2
=
y
2rx
=
y
2rx
w =
1
2r
i
y
2rx
que a equao de uma recta situada no plano complexo w com parte
real igual a
1
2r
. Para Re z Imz < 0,
y
x
< 0, donde v > 0; se y = 0,
ento
y
x
= 0 e para Re z Imz > 0,
y
x
> 0, pelo que v < 0. Por outro
lado

y
x

quando x tende para 0.


9. Diio.i.i i ii:1i.i .ioiinic. ci\ic.
9.1. Desigualdade de Cauchy-Schwarz. Adesigualdade de Cauchy-
Schwarz corresponde ao seguinte
Teorema: Para todo o vector x =(x
1
, . . . , x
n
) R
n
e todo o vector
y = (y
1
, . . . , y
n
) R
n
, tem-se:

k=1
x
k
y
k

_
n

k=1
x
2
k
_
1/2
_
n

k=1
y
2
k
_
1/2
ou
_
n

k=1
x
k
y
k
_
2

_
n

k=1
x
2
k
__
n

k=1
y
2
k
_
.
Demonstrao: Qualquer que seja o real , tomo o vector x y, e
vou achar
n

k=1
(x
k
y
k
)
2
=
n

k=1
x
2
k
2
n

k=1
x
k
y
k
+
2
n

k=1
y
2
k
.
Seja qual for o , o trinmio do lado direito, em , no muda de sinal,
sempre positivo ou igual a zero, porque o nmero

n
k=1
(x
k
y
k
)
2
no negativo:
n

k=1
x
2
k
2
n

k=1
x
k
y
k
+
2
n

k=1
y
2
k
0,
PROBLEMAS | TEOREMAS 47
o que implica que o seu discriminante seja menor ou igual a zero
=
_
2
n

k=1
x
k
y
k
_
2
4
_
n

k=1
x
2
k
__
n

k=1
y
2
k
_
0,
signicando que
_
n

k=1
x
k
y
k
_
2

_
n

k=1
x
2
k
__
n

k=1
y
2
k
_
.
Daqui pode ainda concluir-se que

k=1
x
k
y
k

_
n

k=1
x
2
k
_
1/2
_
n

k=1
y
2
k
_
1/2
.
Se algum dos vectores x, y for nulo, esta relao evidentemente
vericada.
O signicado geomtrico em R
3
desta desigualdade o de que
o produto interno de dois vectores menor ou igual ao produto dos
mdulos (das normas) desses vectores.
9.2. Identidade de Lagrange. A desigualdade de Cauchy-Schwarz,
j demonstrada anteriormente, tambm uma consequncia directa da
identidade de Lagrange; neste sentido esta identidade constitui uma
generalizao dessa desigualdade, que relembro ser
_
n

k=1
a
k
b
k
_
2

_
n

k=1
a
2
k
__
n

k=1
b
2
k
_
Proposio: Identidade de Lagrange. Para os reais a
k
e b
k
(com 1
k n ) verica-se
_
n

k=1
a
k
b
k
_
2
=
_
n

k=1
a
2
k
__
n

k=1
b
2
k
_

n1

i=1
n

j=i+1
(a
i
b
j
a
j
b
i
)
2
Demostrao: O produto de duas somas com n termos cada uma
soma com n
2
termos:
_
n

i=1
x
i
__
n

j=1
y
j
_
=
n

i=1
n

j=1
x
i
y
j
Os ndices i e j de cada termo genrico x
i
y
j
podem ser iguais
(i = j) ou o primeiro menor do que o segundo (i < j) ou maior (j < i).
48 AMRICO TAVARES
Separando estes trs grupos de parcelas, vem
n

i=1
n

j=1
x
i
y
j
=
n

i=1
x
i
y
i
+

1i<jn
x
i
y
j
+

1j<in
x
i
y
j
=
n

i=1
x
i
y
i
+
n1

i=1
n

j=i+1
x
i
y
j
+
n1

j=1
n

i=j+1
x
i
y
j
donde
_
n

i=1
x
i
__
n

j=1
y
j
_
=
n

i=1
x
i
y
i
+
n1

i=1
n

j=i+1
x
i
y
i
+
n1

j=1
n

i=j+1
x
i
y
i
Particularizando, para x
i
= a
2
i
e y
j
= b
2
j
obtm-se
_
n

i=1
a
2
i
__
n

j=1
b
2
j
_
=
n

i=1
a
2
i
b
2
i
+
n1

i=1
n

j=i+1
a
2
i
b
2
j
+
n1

j=1
n

i=j+1
a
2
i
b
2
j
e para x
i
= y
i
= a
i
b
i
_
n

i=1
a
i
b
i
_
2
=
_
n

i=1
a
i
b
i
__
n

i=1
a
i
b
i
_
=
n

i=1
a
2
i
b
2
i
+
n1

i=1
n

j=i+1
a
i
b
i
a
j
b
j
+
n1

j=1
n

i=j+1
a
i
b
i
a
j
b
j
Ora
n1

i=1
n

j=i+1
a
i
b
i
a
j
b
j
=
n1

j=1
n

i=j+1
a
i
b
i
a
j
b
j
pelo que
_
n

i=1
a
i
b
i
_
2
=
n

i=1
a
2
i
b
2
i
+ 2
n1

i=1
n

j=i+1
a
i
b
i
a
j
b
j
Por outro lado
2a
i
b
i
a
j
b
j
= a
2
i
b
2
j
+ a
2
j
b
2
i
(a
i
b
j
a
j
b
i
)
2
donde
_
n

i=1
a
i
b
i
_
2
=
n

i=1
a
2
i
b
2
i
+
n1

i=1
n

j=i+1
a
2
i
b
2
j
+
n1

i=1
n

j=i+1
a
2
j
b
2
i

n1

i=1
n

j=i+1
(a
i
b
j
a
j
b
i
)
2
=
_
n

i=1
a
2
i
__
n

j=1
b
2
j
_

n1

i=1
n

j=i+1
(a
i
b
j
a
j
b
i
)
2
visto que, por troca dos ndices i e j, se tem
n1

i=1
n

j=i+1
a
2
j
b
2
i
=
n1

j=1
n

i=j+1
a
2
i
b
2
j
.
provando-se assim a identidade indicada acima
PROBLEMAS | TEOREMAS 49
10. Fn.ci co:1:.
10.1. Fraces contnuas generalizadas. A expresso
b
0
+
a
1
b
1
+
a
2
b
2
+
.
.
.
+
a
n1
b
n1
+
a
n
b
n
+
.
.
.
onde a
1
, a
2
, . . . a
n
, . . . , b
1
, b
2
, . . . , b
n
so nmeros naturais e b
0
, um
nmero natural ou zero, chama-se fraco contnua generalizada. Esta
representao com vrios "andares" pode ser substituda por outras
mais cmodas e compactas:
b
0
+
a
1
b
1
+
a
2
b
2
+
.
.
. +
a
n1
b
n1
+
a
n
b
n
+
.
.
.
= b
0
+K

n=1
_
a
n
b
n
_
= b
0
+
a
1
b
1
+
a
1
b
1
+

a
n
b
n
+

Uma fraco contnua pode ser cortada, mantendo os elementos b
0
, a
1
,
b
1
, a
2
, b
2
, . . ., a
n
, b
n
e pondo de lado os elementos posteriores a
n+1
,
b
n+1
, a
n+2
, b
n+2
, . . . . O nmero que deste modo se obtm, designa-se
n-sima fraco reduzida (ou simplesmente reduzida) e representa-se
por
p
n
q
n
:
p
n
q
n
= b
0
+K
n
i=1
_
a
i
b
i
_
= b
0
+
a
1
b
1
+
a
2
b
2
+
.
.
. +
a
n1
b
n1
+
a
n
b
n
.
No caso particular de n = 0, a reduzida de ordem zero
p
0
q
0
=
b
0
1
.
Para determinar a n-sima reduzida, no necessrio escrev-la sob
a forma de "andares" nem efectuar os longos clculos que resultam
directamente dessa frmula. Existem frmulas de recorrncia bastante
simples que permitem calcular p
n
e q
n
. Evidentemente,
p
0
q
0
=
b
0
1
;
p
1
q
1
= b
0
+
a
1
b
1
=
b
1
b
0
+ a
1
b
1
.
50 AMRICO TAVARES
A m de passar de
p
1
q
1
a
p
2
q
2
, deve-se substituir a
1
por b
1
+
a
2
b
2
.
Depois de algumas transformaes simples
1
, obteremos
p
2
q
2
=
b
2
(b
1
b
0
+ a
1
) + b
0
a
2
b
2
b
1
+ a
2
.
Se analisarmos com ateno esta frmula, vericaremos que a sua
estrutura a seguinte:
p
2
q
2
=
p
1
b
2
+ p
0
a
2
q
1
b
2
+ q
0
a
2
.
Esta igualdade leva-nos a formular uma regra geral para a n-sima
reduzida. Anotemos esta regra
p
n
q
n
=
p
n1
b
n
+ p
n2
a
n
q
n1
b
n
+ q
n2
a
n
n 2,
e exprimamos separadamente o numerador e o denominador da re-
duzida de ordem n:
_
_
_
p
n
= p
n1
b
n
+ p
n2
a
n
,
q
n
= q
n1
b
n
+ q
n2
a
n
,
n 2;
(10.1)
sendo as condies iniciais
p
0
= b
0
, q
0
= 1, p
1
= b
1
b
0
+ a
1
, q
1
= b
1
. (10.2)
Demonstremos estas frmulas por induo. Suponhamos que
elas se vericam para um valor xo de n, que representaremos por k:
p
k
= p
k1
b
k
+ p
k2
a
k
; (10.3)
q
k
= q
k1
b
k
+ q
k2
a
k
,
e demonstremos que, nesse caso, elas continuaro a ser verdadeiras para
n = k + 1.
Analisando as expresses
p
k
q
k
= b
0
+
a
1
b
1
+
a
2
b
2
+
.
.
. +
a
k1
b
k1
+
a
k
b
k
;
1
ou seja,
p
2
p
2
=
_
b
1
+
a
2
b
2
_
b
0
+ a
1
b
1
+
a
2
b
2
=
b
2
b
1
+ a
2
+ b
0
a
2
+ a
1
b
2
b
2
b
2
b
1
+ a
2
b
2
=
b
2
(b
1
b
0
+ a
1
) + b
0
a
2
b
2
b
1
+ a
2
PROBLEMAS | TEOREMAS 51
p
k+1
q
k+1
= b
0
+
a
1
b
1
+
a
2
b
2
+
.
.
. +
a
k
b
k
+
a
k+1
b
k+1
,
notamos o seguinte: para passar de
p
k
q
k
para
p
k+1
q
k+1
, necessrio substi-
tuir b
k
por b
k
+
a
k+1
b
k+1
. Efectuemos essa substituio nas frmulas (10.3)
e calculemos
p
k+1
q
k+1
. Ao faz-lo, os nmeros p
k2
, q
k2
, p
k1
, q
k1
, no
sofrero alteraes, visto que as suas expresses no incluem b
k
.
p
k+1
q
k+1
=
p
k1
_
b
k
+
a
k+1
b
k+1
_
+ p
k2
a
k
q
k1
_
b
k
+
a
k+1
b
k+1
_
+ q
k2
a
k
=
1
b
k+1
[(p
k1
b
k
+ p
k2
a
k
) b
k+1
+ p
k1
a
k+1
]
1
b
k+1
[(q
k1
b
k
+ q
k2
a
k
) b
k+1
+ q
k1
a
k+1
]
=
(p
k1
b
k
+ p
k2
a
k
) b
k+1
+ p
k1
a
k+1
(q
k1
b
k
+ q
k2
a
k
) b
k+1
+ q
k1
a
k+1
.
Podemos cancelar o factor comum
1
b
k+1
; teremos ento
p
k+1
= p
k
b
k+1
+ p
k1
a
k+1
;
q
k+1
= q
k
b
k+1
+ q
k1
a
k+1
.
Obtivemos as frmulas (10.3) com o valor de k substitudo por
k + 1.
Alm disso, j vimos que as frmulas (10.1) so vlidas no caso de
n = 2. Deste modo, est demonstrado que elas so vlidas para n 2.

Nota: Se compararmos a reduzida de ordem 1,


p
1
q
1
=
b
1
b
0
+ a
1
b
1
=
p
0
b
1
+ a
1
q
1
,
com a que resulta do prolongamento do sistema (10.1) a n = 1
p
1
q
1
=
p
0
b
1
+ p
1
a
1
q
0
b
1
+ q
1
a
1
,
vemos que se zermos
_
p
1
= 1
q
1
= 0
52 AMRICO TAVARES
as relaes de recorrncia (10.1) passam a ser vlidas para n 1
_
_
_
p
n
= p
n1
b
n
+ p
n2
a
n
p
1
= 1 p
0
= b
0
,
q
n
= q
n1
b
n
+ q
n2
a
n
q
1
= 0 q
0
= 1,
n 1.
(10.4)
Se acrescentarmos sucesso de reduzidas
p
n
q
n
os dois termos corre-
spondentes a 1 e 0, obtemos a sucesso
1
0
,
b
0
1
,
p
1
q
1
,
p
2
q
2
, . . . ,
p
n
q
n
, . . . .
Se a
n
, b
n
forem inteiros, positivos ou negativos, estas relaes de
recorrncia (10.1) devem ser encaradas apenas como formais, pois a
fraco contnua
b
0
+K

n=1
_
a
n
b
n
_
= b
0
+
a
1
b
1
+
a
2
b
2
+

a
n
b
n
+

pode no ser convergente, ou seja, no existir b
0
+ lim
n
K
n
i=1
_
a
i
b
i
_
.
Se b
0
= 0, temos
_
_
_
p
n
= p
n1
b
n
+ p
n2
a
n
p
1
= 1 p
0
= 0,
q
n
= q
n1
b
n
+ q
n2
a
n
q
1
= 0 q
0
= 1,
n 1,
e a sucesso associada fraco contnua
K

n=1
_
a
n
b
n
_
=
a
1
b
1
+
a
2
b
2
+

a
n
b
n
+

a sucesso
1
0
,
0
1
,
p
1
q
1
,
p
2
q
2
, . . . ,
p
n
q
n
, . . . .
Suponhamos que a
1
um nmero inteiro positivo, os nmeros a
n
(n 2) so inteiros negativos e os nmeros b
n
so inteiros positivos;
ento a
n
so positivos (n 2) e podemos escrever o desenvolvimento
da fraco contnua K

n=1
_
a
n
b
n
_
em qualquer das formas
K

n=1
_
a
n
b
n
_
=
a
1
b
1
+
a
2
b
2
+

a
n
b
n
+
=
a
1
b
1

a
2
b
2


a
n
b
n

;
sendo, na segunda, os nmeros a
1
, a
n
(n 2) e b
n
(n 1) todos
positivos.
PROBLEMAS | TEOREMAS 53
10.1.1. Exemplo: Fraco contnua de (3).
Consideremos as sucesses u
n
e v
n
que vericam, respectivamente,
as relaes de recorrncia
_
_
_
(n + 1)
3
u
n+1
P
n
u
n
+ n
3
u
n1
= 0, u
0
= 0, u
1
= 6;
(n + 1)
3
v
n+1
P
n
v
n
+ n
3
v
n1
= 0, v
0
= 1, v
1
= 5;
n 1,
(10.5)
em que P
n
o polinmio em n
P
n
= 34n
3
+ 51n
2
+ 27n + 5.
Vamos determinar o desenvolvimento em fraco contnua de (3),
sabendo que a sucesso
u
n
v
n
tende para (3). No entanto, em vez de
utilizarmos directamente esta sucesso, usamos outra, igualmente ten-
dente para (3), obtida a partir das seguintes mudanas de variveis:
p
n
= n!
3
u
n
, q
n
= n!
3
v
n
(10.6)
Tendo em conta que
p
n
q
n
=
u
n
v
n
,
p
n
q
n
tende para o mesmo limite de
u
n
v
n
; alm disso, a transformao (B) permite, como veremos de seguida,
passar duma soluo do sistema (A) a uma soluo do sistema
_
_
_
p
n+1
P
n
p
n
+ n
6
p
n1
= 0, p
0
= 0, p
1
= 6;
q
n+1
P
n
q
n
+ n
3
q
n1
= 0, q
0
= 1, q
1
= 5;
n 1,
(10.7)
e vice-versa, possibilitando, assim, utilizar estas relaes de recorrncia
de p
n
e q
n
para estabelecer a fraco contnua que lhes est associada, ou
seja, uma fraco contnua que convergente para (3). Para obtermos
(10.5), basta substituir (10.6) em (10.7):
_
_
_
(n + 1)!
3
u
n+1
P
n
n!
3
u
n
+ n
6
(n 1)!
3
u
n1
= 0, u
0
= 0, u
1
= 6;
(n + 1)!
3
v
n+1
P
n
n!
3
v
n
+ n
6
(n 1)!
3
v
n1
= 0, v
0
= 1, v
1
= 5;
n 1.
e dividir ambos os membros destas recorrncias por n
3
(n 1)!
3
. Agora,
vamos escrever (10.7) na forma
_
_
_
p
n
= P
n1
p
n1
(n 1)
6
p
n2
= 0, p
0
= 0, p
1
= 6;
q
n
= P
n1
q
n1
(n 1)
6
q
n2
= 0, q
0
= 1, q
1
= 5;
n 2,
e comparar com as relaes (10.1) e as condies iniciais (10.2) associ-
adas, isto
p
0
= b
0
= 0, q
0
= 1, p
1
= b
1
b
0
+a
1
= b
1
0+a
1
= a
1
= 6, q
1
= b
1
= 5.
54 AMRICO TAVARES
Teremos ento
b
0
= 0, b
1
= 5, a
1
= 6
e
a
n
= (n 1)
6
, b
n
= P
n1
, n 2.
Por conseguinte, o desenvolvimento de (3) em fraco contnua
(3) = K

n=1
_
a
n
b
n
_
=
6
5
1
117
64
535
.
.
.
n
6
34n
3
+ 51n
2
+ 27n + 5
.
.
.
=
6
5
1
117
64
535

n
6
34n
3
+ 51n
2
+ 27n + 5

10.2. Transformao das somas parciais de (n) em fraco
contnua. Vou mostrar que
N

k=1
1
k
n
= K
N
j=1
_
a
j
(n)
bj (n)
_
=
1
1 + K
N
j=1
_
j
2n
(j + 1)
n
+ j
n
_,
pelo que
(n) =
+

k=1
1
k
n
=
1
1 + K
+
j=1
_
j
2n
(j + 1)
n
+ j
n
_.
Aideia bsica comparar duas relaes de recorrncia: a das somas
parciais de (n)
s
N
=
N

k=1
1
k
n
=
p
N
q
N
que verica
s
N
= s
N1
+
1
N
n
=
p
N1
q
N1
+
1
NK
n
=
N
n
p
N1
+ q
N1
N
n
q
N1
=
p
N
q
N
N 2,
ou seja
p
N
= N
n
p
N1
+ q
N1
N 1,
q
N
= N
n
q
N1
;
donde
p
N1
= (N 1)
n
p
N2
+ q
N2
N 2,
q
N1
= (N 1)
n
q
N2
,
PROBLEMAS | TEOREMAS 55
e
p
N
= N
n
p
N1
+ q
N1
= N
n
((N 1)
n
p
N2
+ q
N2
) + (N 1)
n
q
N2
= N
n
(N 1)
n
p
N2
+ (N
n
+ (N 1)
n
) q
N2
,
q
N
= N
n
q
N1
= N
n
(N 1)
n
q
N2
;
e a da fraco contnua
K
N
j=1
_
a
j
(n)
bj (n)
_
=
p
N
q
N
que
p
N
= b
N
p
N1
+ a
N
p
N2
q
N
= b
N
q
N1
+ a
N
q
N2
.
Compilo estas relaes
p
N
= b
N
p
N1
+ a
N
p
N2
= b
N
((N 1)
n
p
N2
+ q
N2
) + a
N
p
N2
= (b
N
(N 1)
n
+ a
N
) p
N2
+ b
N
q
N2
e
q
N
= b
N
q
N1
+ a
N
q
N2
= b
N
(N 1)
n
q
N2
+ a
N
q
N2
= (b
N
(N 1)
n
+ a
N
) q
N2
Agora comparo as duas formas de exprimir p
N
e q
N
:
p
N
= N
n
(N 1)
n
p
N2
+ (N
n
+ (N 1)
n
) q
N2
p
N
= (b
N
(N 1)
n
+ a
N
) p
N2
+ b
N
q
N2
q
N
= N
n
(N 1)
n
q
N2
q
N
= (b
N
(N 1)
n
+ a
N
) q
N2
Igualo
N
n
(N 1)
n
p
N2
+ (N
n
+ (N 1)
n
) q
N2
= (b
N
(N 1)
n
+ a
N
) p
N2
+ b
N
q
N2
N
n
(N 1)
n
q
N2
= (b
N
(N 1)
n
+ a
N
) q
N2
Deve ser
b
N
(N 1)
n
+ a
N
= N
n
(N 1)
n
b
N
= N
n
+ (N 1)
n
56 AMRICO TAVARES
e
a
N
= N
n
(N 1)
n
b
N
(N 1)
n
= N
n
(N 1)
n
(N
n
+ (N 1)
n
) (N 1)
n
= N
n
(N 1)
n
N
n
(N 1)
n
(N 1)
2n
= (N 1)
2n
.
Portanto, para N 2
a
N
= (N 1)
2n
b
N
= N
n
+ (N 1)
n
,
ou na notao acima
a
j
(n) = (j 1)
2n
j 2 a
j+1
(n) = j
2n
j 1
b
j
(n) = j
n
+ (j 1)
n
b
j+1
(n) = (j + 1)
n
+ j
n
Para N = 1, como
1 =
1
1
=
a
1
b
1
a
1
= b
1
= 1.
Obtive, como queria mostrar,
N

k=1
1
k
n
= K
N
j=1
_
a
j
(n)
bj (n)
_
=
1
1 + K
N
j=1
_
j
2n
(j + 1)
n
+ j
n
_.
Casos particulares
(2) =
+

k=1
1
k
2
=
1
1 + K
+
j=1
_
j
4
(j + 1)
2
+ j
2
_
(3) =
+

k=1
1
k
3
=
1
1 + K
+
j=1
_
j
6
(j + 1)
3
+ j
3
_
(4) =
+

k=1
1
k
4
=
1
1 + K
+
j=1
_
j
8
(j + 1)
4
+ j
4
_
(5) =
+

k=1
1
k
5
=
1
1 + K
+
j=1
_
j
10
(j + 1)
5
+ j
5
_
PROBLEMAS | TEOREMAS 57
11. Mi1oo i iii:i:.\o i G. i M.1niz i:\in.
Denio: A matriz inversa da matriz quadrada A a matriz A
1
que
verica a igualdade
A
1
A = AA
1
= I em que I a matriz identidade.
Clculo: Exemplo para uma matriz 3 3. Partindo da matriz A
A =
_
_
a
11
a
12
a
13
a
21
a
22
a
23
a
31
a
32
a
33
_
_
amplia-se a matriz A, de maneira a formar as trs matrizes
(A|i
1
) =
_
_
a
11
a
12
a
13
| 1
a
21
a
22
a
23
| 0
a
31
a
32
a
33
| 0
_
_
(A|i
2
) =
_
_
a
11
a
12
a
13
| 0
a
21
a
22
a
23
| 1
a
31
a
32
a
33
| 0
_
_
(A|i
3
) =
_
_
a
11
a
12
a
13
| 0
a
21
a
22
a
23
| 0
a
31
a
32
a
33
| 1
_
_
De seguida, trocam-se as linhas de cada uma destas matrizes am-
pliadas, e aplica-se o mtodo de eliminao de Gauss com pivotagem
parcial que ser visto a seguir sob a forma de exemplo para obter,
respectivamente, as seguintes trs matrizes ampliadas
(U|j
1
) =
_
_
u
11
u
12
u
13
| j
11
0 u
22
u
23
| j
21
0 0 u
33
| j
31
_
_
(U|j
2
) =
_
_
u
11
u
12
u
13
| j
12
0 u
22
u
23
| j
22
0 0 u
33
| j
32
_
_
(U|j
3
) =
_
_
u
11
u
12
u
13
| j
13
0 u
22
u
23
| j
23
0 0 u
33
| j
33
_
_
em que U a matriz triangular superior
U =
_
_
u
11
u
12
u
13
0 u
22
u
23
0 0 u
33
_
_
58 AMRICO TAVARES
Resolvendo agora, por substituio inversa, isto , a terceira, seguida
da segunda e depois da primeira linha, respectivamente, os sistemas
_
_
u
11
u
12
u
13
0 u
22
u
23
0 0 u
33
_
_

_
_
x
1
x
2
x
3
_
_
=
_
_
j
11
j
21
j
31
_
_
_
_
u
11
u
12
u
13
0 u
22
u
23
0 0 u
33
_
_

_
_
y
1
y
2
y
3
_
_
=
_
_
j
12
j
22
j
32
_
_
_
_
u
11
u
12
u
13
0 u
22
u
23
0 0 u
33
_
_

_
_
z
1
z
2
z
3
_
_
=
_
_
j
13
j
23
j
33
_
_
obtm-se as solues
x =
_
_
x
1
x
2
x
3
_
_
y =
_
_
y
1
y
2
y
3
_
_
z =
_
_
z
1
z
2
z
3
_
_
que so precisamente as colunas da matriz inversa A
1
:
A
1
=
_
_
x
1
y
1
z
1
x
2
y
2
z
2
x
3
y
3
z
3
_
_
= (x|y|z)
Determinante: Os elementos da diagonal da matriz triangular supe-
rior U permitem calcular o determinante de A:
det (A) = (1)
s
u
11
u
22
u
33
em que s o nmero de trocas de linhas efectuadas na eliminao de
Gauss com pivotagem parcial.
Exemplo
a) Resolva o sistema seguinte utilizando o mtodo de eliminao
de Gauss com pivotagem parcial.
_
_
_
3x
1
+ 4x
2
+ x
3
= 380
2x
1
+ 4x
2
+ 2x
3
= 400
6x
1
+ 2x
2
+ 2x
3
= 520
b) Calcule a inversa e o determinante da matriz dos coecientes
do sistema.
Resoluo
a) Matriz ampliada: a matriz ampliada correspondente ao sis-
tema Ax = b
Ax =
_
_
3 4 1
2 4 2
6 2 2
_
_
_
_
x
1
x
2
x
3
_
_
=
_
_
380
400
520
_
_
= b
PROBLEMAS | TEOREMAS 59
a matriz (A|b)
(A|b) =
_
_
3 4 1 | 380
2 4 2 | 400
6 2 2 | 520
_
_
Pivotagem parcial : trocamos linhas completas de maneira a colo-
car na posio (1, 1) da diagonal principal o elemento da coluna 1,
abaixo da diagonal principal, que tem maior mdulo, ou seja trocamos
as linhas 1 e 3. Esta troca tem como objectivo diminuir os erros numri-
cos associados ao clculo dos multiplicadores que sero determinados a
seguir.
(A|b) =
_
_
3 4 1 | 380
2 4 2 | 400
6 2 2 | 520
_
_
L
1
L
3

_
_
6 2 2 | 520
2 4 2 | 400
3 4 1 | 380
_
_
Reduo de A forma triangular superior U : clculo dos mul-
tiplicadores
Para anular as linhas 2 e 3 da coluna 1 de
_
_
6 2 2 | 520
2 4 2 | 400
3 4 1 | 380
_
_
utilizamos os multiplicadores das linhas 2 e 3 da coluna 1, respectiva-
mente:
m
21
=
2
6
=
1
3
m
31
=
3
6
=
1
2
Utilizamos o 6 como pivot
_
_
6 2 2 | 520
2 4 2 | 400
3 4 1 | 380
_
_
L

2
=
1
3
L
1
+ L
2
L

3
=
1
2
L
1
+ L
3

_
_
_
6 2 2 | 520
0
10
3
4
3
|
680
3
0 3 0 | 120
_
_
_
multiplicando a primeira linha por, respectivamente, m
21
e m
31
e somando-
lhe a linha 2 e a 3:
a

21
= 0 a

22
=
1
3
2 + 4 =
10
3
a

22
=
1
3
2 + 2 =
4
3

b

2
=
1
3
520 + 400 =
680
3
a

31
= 0 a

32
=
1
2
2 + 4 = 3 a

33
=
1
2
2 + 1 = 0

b

3
=
1
2
520 + 380 = 120
60 AMRICO TAVARES
e agora j no necessitamos de trocar as linhas 2 e 3, porque
10
3
> 3;
sendo, ento,
10
3
pivot, multiplicamos a segunda linha pelo multipli-
cador
m
32
=
3
10
3
=
9
10
e somamo-la terceira:
_
_
_
6 2 2 | 520
0
10
3
4
3
|
680
3
0 3 0 | 120
_
_
_
L

3
=
9
10
L
2
+ L
3

_
_
_
_
6 2 2 | 520
0
10
3
4
3
|
680
3
0 0
6
5
| 84
_
_
_
_
= (U|c)
a

32
= 0 a

33
=
9
10
4
3
+ 0 =
6
5

b

3
=
9
10
680
3
+ 120 = 84
Substituio inversa: fazendo a substituio inversa no sistema
_

_
6x
1
+ 2x
2
+ 2x
3
= 520
10
3
x
2
+
4
3
x
3
=
680
3

6
5
x
3
= 84
obtemos
x
3
=
84

6
5
= 70
x
2
=
680
3

4
3
70
10
3
= 40
x
1
=
520 2 40 2 70
6
= 50
Resposta da alnea a)
x =
_
_
x
1
x
2
x
3
_
_
=
_
_
50
40
70
_
_
b) Matriz inversa: partindo da matriz
A =
_
_
3 4 1
2 4 2
6 2 2
_
_
PROBLEMAS | TEOREMAS 61
amplia-se esta matriz, de maneira a formar as trs matrizes
(A|i
1
) =
_
_
3 4 1 | 1
2 4 2 | 0
6 2 2 | 0
_
_
(A|i
2
) =
_
_
3 4 1 | 0
2 4 2 | 1
6 2 2 | 0
_
_
(A|i
3
) =
_
_
3 4 1 | 0
2 4 2 | 0
6 2 2 | 1
_
_
Aplica-se o mtodo de eliminao de Gauss com pivotagem parcial
a cada uma destas matrizes: a primeira transforma-se sucessivamente
em
(A|i
1
) =
_
_
3 4 1 | 1
2 4 2 | 0
6 2 2 | 0
_
_
L
1
L
3

A|
1
_
=
_
_
6 2 2 | 0
2 4 2 | 0
3 4 1 | 1
_
_
_

A|
1
_
=
_
_
6 2 2 | 0
2 4 2 | 0
3 4 1 | 1
_
_
L

2
=
2
6
L
1
+ L
2
L

3
=
3
6
L
1
+ L
3

_
_
_
6 2 2 | 0
0
10
3
4
3
| 0
0 3 0 | 1
_
_
_
L

3
=
9
10
L
2
+ L
3

_
_
_
_
6 2 2 | 0
0
10
3
4
3
| 0
0 0
6
5
| 1
_
_
_
_
= (U|j
1
)
O mesmo mtodo aplicado segunda matriz d
(A|i
2
) =
_
_
3 4 1 | 0
2 4 2 | 1
6 2 2 | 0
_
_
L
1
L
3

A|
2
_
=
_
_
6 2 2 | 0
2 4 2 | 1
3 4 1 | 0
_
_
_

A|
2
_
=
_
_
6 2 2 | 0
2 4 2 | 1
3 4 1 | 0
_
_
L

2
=
2
6
L
1
+ L
2
L

3
=
3
6
L
1
+ L
3

_
_
_
6 2 2 | 0
0
10
3
4
3
| 1
0 3 0 | 0
_
_
_
L

3
=
9
10
L
2
+ L
3

_
_
_
_
6 2 2 | 0
0
10
3
4
3
| 1
0 0
6
5
|
9
10
_
_
_
_
= (U|j
2
)
62 AMRICO TAVARES
Para a terceira vem
(A|i
3
) =
_
_
3 4 1 | 0
2 4 2 | 0
6 2 2 | 1
_
_
L
1
L
3

A|
3
_
=
_
_
6 2 2 | 1
2 4 2 | 0
3 4 1 | 0
_
_
_

A|
3
_
=
_
_
6 2 2 | 1
2 4 2 | 0
3 4 1 | 0
_
_
L

2
=
2
6
L
1
+ L
2
L

3
=
3
6
L
1
+ L
3

_
_
_
_
6 2 2 | 1
0
10
3
4
3
|
1
3
0 3 0 |
1
2
_
_
_
_
L

3
=
9
10
L
2
+ L
3

_
_
_
_
6 2 2 | 1
0
10
3
4
3
|
1
3
0 0
6
5
|
2
10
_
_
_
_
= (U|j
3
)
Resolvendo agora, por substituio inversa, respectivamente, os
sistemas
_
_
6 2 2
0 10/3 4/3
0 0 6/5
_
_

_
_
x
1
x
2
x
3
_
_
=
_
_
0
0
1
_
_
_
_
6 2 2
0 10/3 4/3
0 0 6/5
_
_

_
_
y
1
y
2
y
3
_
_
=
_
_
0
1
9/2
_
_
_
_
6 2 2
0 10/3 4/3
0 0 6/5
_
_

_
_
z
1
z
2
z
3
_
_
=
_
_
0
1/3
2/10
_
_
obtm-se as solues
x =
_
_
1/6
1/3
5/6
_
_
y =
_
_
1/4
0
3/4
_
_
z =
_
_
1/6
1/6
1/6
_
_
que so precisamente as trs colunas da matriz inversa A
1
:
A
1
=
_
_
1/6 1/4 1/6
1/3 0 1/6
5/6 3/4 1/6
_
_
Observao: Como a matriz A nica nos trs casos, pode dispor-se
o clculo da seguinte forma:
_
_
3 4 1 | 1 0 0
2 4 2 | 0 1 0
6 2 2 | 0 0 1
_
_
L
1
L
3

_
_
6 2 2 | 0 0 1
2 4 2 | 0 1 0
3 4 1 | 1 0 0
_
_
PROBLEMAS | TEOREMAS 63
_
_
6 2 2 | 0 0 1
2 4 2 | 0 1 0
3 4 1 | 1 0 0
_
_
L

2
=
2
6
L
1
+ L
2
L

3
=
3
6
L
1
+ L
3

_
_
6 2 2 | 0 0 1
0 10/3 4/3 | 0 1 1/3
0 3 0 | 1 0 1/2
_
_
_
_
6 2 2 | 0 0 1
0 10/3 4/3 | 0 1 1/3
0 3 0 | 1 0 1/2
_
_
L

3
=
9
10
L
2
+ L
3

_
_
6 2 2 | 0 0 1
0 10/3 4/3 | 0 1 1/3
0 0 6/5 | 1 9/10 2/10
_
_
A partir daqui faz-se como acima, isto , resolve-se, por substitu-
io inversa, respectivamente, os sistemas
_
_
6 2 2
0 10/3 4/3
0 0 6/5
_
_

_
_
x
1
x
2
x
3
_
_
=
_
_
0
0
1
_
_
_
_
6 2 2
0 10/3 4/3
0 0 6/5
_
_

_
_
y
1
y
2
y
3
_
_
=
_
_
0
1
9/2
_
_
_
_
6 2 2
0 10/3 4/3
0 0 6/5
_
_

_
_
z
1
z
2
z
3
_
_
=
_
_
0
1/3
2/10
_
_
para obter as solues
x =
_
_
1/6
1/3
5/6
_
_
y =
_
_
1/4
0
3/4
_
_
z =
_
_
1/6
1/6
1/6
_
_
que so as colunas da matriz inversa A
1
.
Determinante: os elementos da diagonal da matriz triangular supe-
rior U permitem calcular o determinante de A:
det (A) = (1)
s
u
11
u
22
u
33
64 AMRICO TAVARES
em que s o nmero de trocas de linhas efectuadas na eliminao de
Gauss com pivotagem parcial. Como
U =
_
_
_
_
6 2 2
0
10
3
4
3
0 0
6
5
_
_
_
_
e s houve uma toca de linhas L
1
L
3
, s = 1; donde
det (A) = u
11
u
22
u
33
= 6
10
3
_

6
5
_
= 24
12. Lxi:iio i ixinccio i C\icio
12.1. Frmula de reexo (da funo gama) de Euler.
5 4 3 2 1 0 -1 -2 -3 -4 -5
60
50
40
30
20
10
0
-10
-20
-30
x
y
x
y
Grco de (x), x ]5, 5]
A funo especial beta denida para as variveis reais x, y pelo
integral
B(x, y) =
_
1
0
t
x1
(1 t)
y1
dt (12.1)
que imprprio mas convergente, no caso de x > 0 e y > 0 e pelo
menos uma das variveis x < 1 ou y < 1.
A funo B(x, y) (para x > 0 e y > 0) relaciona-se com a funo
especial gama
(x) =
_

0
t
x1
e
t
dt (12.2)
atravs da conhecida identidade
B(x, y) =
(x)(y)
(x + y)
(12.3)
que no vou demonstrar.
O que me proponho demonstrar a chamada frmula da reexo
ou dos complementos da funo gama no domnio real, seguindo o
mtodo indicado nos exerccios no resolvidos 10 e 11 da pgina 683
PROBLEMAS | TEOREMAS 65
do livro de Angus E. Taylor, Advanced Calculus, Blaisdell Publishing
Company, 1955 [14].
Proposio: Se a for real, vlida a identidade seguinte

sin a
= csc a = B(a, 1 a) = (a)(1 a) (12.4)
Notao: csc a = 1/ sin a a cosecante de a.
Demonstrao: Se 0 < a < 1, tem-se
_

1
y
a1
1 + y
dy =
_
1
0
x
a
1 + x
dx
como resulta da mudana de varivel y = 1/x. O integral
_
1
0
x
a
1 + x
dx
convergente se a < 1, porque nesta condio
_
1
0
1
x
a
dx convergente
e
x
a
1 + x
x
a
tende para 1, quando x tende para 0
+
, e, por outro lado,
o integral
_

1
y
a1
1 + y
dy
tambmnesse caso convergente, porque
_

1
dy
y
2a
converge e
y
a1
y
2a
1 + y
tende para 1, quando y tende para .
Outra representao integral da funo beta :
B(x, y) =
_

0
u
x1
(1 + u)
x+y
du (12.5)
que se obtm de (12.2) atravs das substituio
t =
u
1 + u
.
De (12.5) resulta
B(a, 1 a) =
_

0
u
a1
1 + u
du =
_
1
0
u
a1
1 + u
du +
_

1
u
a1
1 + u
du
=
_
1
0
u
a1
1 + u
du +
_
1
0
u
a
1 + u
du
=
_
1
0
u
a1
+ u
a
1 + u
du
Usando agora o desenvolvimento em srie de
1
1 + u
=

n=0
(1)
n
u
n
,
66 AMRICO TAVARES
obtm-se
u
a1
1 + u
=

n=0
(1)
n
u
a1+n
e
u
a
1 + u
=

n=0
(1)
n
u
a+n
,
e integrando termo a termo a funo integranda
u
a1
+ u
a
1 + u
, como
(1)
n
_
1
0
u
a1+n
du =
(1)
n
a + n
e
(1)
n
_
1
0
u
a+n
du =
(1)
n
a + n + 1
,
depois de agrupar os termos pares da srie

n=0
(1)
n
a + n
com os mpares da srie

n=0
(1)
n+1
a + n + 1
obtm-se no m a srie
1
a
+ 2a

n=0
(1)
n+1
n
2
a
2
.
Em consequncia
B(a, 1 a) = (a)(1 a) =
1
a
+ 2a

n=0
(1)
n+1
n
2
a
2
Ora, a srie de Fourier da funo f(x) = cos ax, em que
x ,
cos ax = 2a sin a
_
1
2a
2
+

n=0
(1)
n+1
cos nx
n
2
a
2
_
que assume o desenvolvimento particular x = 0:
= sin a
_
1
a
+ 2a

n=0
(1)
n+1
n
2
a
2
_
donde, efectivamente
x
sina
= csc a = B(a, 1 a) = (a)(1 a)
Esta mesma identidade tambm se verica para a complexo.
PROBLEMAS | TEOREMAS 67
Para a = 1/2 obtm-se

sin /2
= (1/2) (1/2)
donde

_
1
2
_
=

(12.6)
12.2. Comprimentos de arcos recticveis.
12.2.1. Permetro da astride. Ahipociclide a curva descrita por um
ponto P de uma circunferncia que rola, sem escorregar, interiormente
sobre outra. Se o raio da circunferncia exterior for qudruplo do da
interior, a curva conhecida por astride no confundir com asteride
e as suas equaes paramtricas so
x = a cos
3
t
y = a sin
3
t
e a cartesiana,
x
2/3
+ y
2/3
= a
2/3
.
O grco, para a = 1, o seguinte
1 0.5 0 -0.5 -1
1
0.5
0
-0.5
-1
x
y
x
y
Sabe-se que, se a derivada de uma funo real f existir e for con-
tnua no intervalo [a, b], o grco de f recticvel e o seu comprimento
L, entre dois pontos de abcissa a e b, dado por
L =
_
b
a
_
1 + [f

(x)]
2
dx (12.7)
ou, se x, y forem funes reais da varivel real t
x = (t)
y = (t) ,
com primeira derivada contnua, ento
L =
_
b
a
_
[

(x)] + [

(x)]
2
dx . (12.8)
68 AMRICO TAVARES
Prove que qualquer nmero representado por uma dzima peridica
racional.
Determine o permetro da curva representada (a = 1) .
Sugesto: calcule atravs do 2
o
. integral o comprimento do troo
da astride denido por 0 t

2
e da obtenha o permetro.
Resoluo
Vou seguir a sugesto, uma vez que a curva, por ser simtrica em
relao aos dois eixos, o seu permetro L quatro vezes o valor do
integral seguinte
I =
_
/2
0
_
_
(cos
3
t)

2
+
_
_
sin
3
t
_

_
2
=
_
(3 cos
2
t sin t)
2
+
_
3 sin
2
t cos t
_
2
dt
=
_
/2
0
_
9 cos
2
t sin
2
tdt = 3
_
/2
0
sin t cos t = 3
_
sin
2
t
2
_
/2
0
= 3
1
2
=
3
2
;
logo
L = 4I = 6.
12.3. Tangente elise. Seja f (x) uma funo real e f

(x) a sua
derivada. bem sabido que a recta tangente ao grco da curva y =
f (x) no ponto de coordenadas (x
0
, y
0
) tem como coeciente angular
y

0
= f

(x
0
) , sendo, portando, a sua equao da forma y = f

(x
0
) x+b.
O facto de passar por (x
0
, y
0
) permite determinar b
b = y
0
f

(x
0
) x
0
pelo que a equao da recta tangente ento
y = f

(x
0
) x + y
0
f

(x
0
) x
0
y = y

0
x + y
0
y

0
x
0
.
Suponha o leitor que tem uma elipse centrada na origem e de semi-
eixos maior e menor a > 0 e b > 0
x
2
a
2
+
y
2
b
2
= 1.
Para achar a equao da tangente elise em (x
0
, y
0
), portanto
x
2
0
a
2
+
y
2
0
b
2
= 1,
podemos comear por exprimir y em funo de x
y =
_

_
f (x) = +b
_
1
x
2
a
2
_
1/2
se y > 0
g (x) = b
_
1
x
2
a
2
_
1/2
se y < 0
PROBLEMAS | TEOREMAS 69
e determinar a sua derivada. Na parte superior da elise (y > 0) tem-se
y

= f

(x) =
bx
a
2
_
1
x
2
a
2
_
1/2
=
b
2
x
a
2
y
e no ponto (x
0
, y
0
)
y

0
= f

(x
0
) =
bx
0
a
2
_
1
x
2
0
a
2
_
1/2
=
b
2
x
0
a
2
y
0
Na inferior (y < 0), em que g (x) = f (x) e y
0
simtrico em relao
ao eixo dos x ao correspondente ponto da metade superior, passa a ser
respectivamente
y

= f

(x) =
bx
a
2
_
1
x
2
a
2
_
1/2
=
b
2
x
a
2
y
e
y

0
= f

(x
0
) =
bx
0
a
2
_
1
x
2
0
a
2
_
1/2
=
b
2
x
0
a
2
y
0
Assim, a equao da tangente
y = y

0
x + y
0
y

0
x
0
=
b
2
x
0
a
2
y
0
x + y
0
+
b
2
x
2
0
a
2
y
0
=
b
2
a
2
x
0
y
0
x +
b
2
y
0
dado que da equao da elise se deduz
y
0
+
b
2
x
2
0
a
2
y
0
=
b
2
y
0
.
Se for o ngulo usado em coordenadas polares entre a recta
que passa pela origem (0, 0) e pelo ponto genrico da elipse (x, y)
e o eixo dos x, a relao com as coordenadas cartesianas (x, y) =
(a cos , b sin ); se
0
for o ngulo no ponto de tangncia, ento (x
0
, y
0
) =
(a cos
0
, b sin
0
) . Substituindo na equao da recta tangente
y =
b
2
a
2
x
0
y
0
x +
b
2
y
0
aps algumas manipulaes chega-se a
cos
0
a
x +
sin
0
b
y = 1.
70 AMRICO TAVARES
12.4. Derivadas: a total de uma funo de duas variveis reais
e de uma funo elevada a outra funo. Proponho-me demostrar
a seguinte regra de derivao
d
dt
[u (t)]
v(t)
= v (t) [u(t)]
v(t)1
u

(t) + (ln u(t)) [u (t)]


v(t)
v

(t)
como aplicao do seguinte teorema relativo derivada total em relao
a t de uma funo de duas variveis reais ambas funo de t.
Teorema: Sejam z = f (x, y) uma aplicao de R
2
em R
2
diferen-
civel em (x
0
, y
0
) e x = (t) e y = (t) duas aplicaes de R em R
diferenciveis em t
0
.
Ento
_
dz
dt
_
t
0
=
_
z
x
_
(x
0
,y
0
)
_
dx
dt
_
t
0
+
_
z
y
_
(x
0
,y
0
)
_
dy
dt
_
t
0
Demonstrao: seja z o incremento de z = f (x, y) em (x
0
, y
0
)
associado a um incremento t em t
0
:
z = f ((t
0
+ t) , (t
0
+ t)) f ((t
0
) , (t
0
))
= [f ((t
0
+ t) , (t
0
+ t)) f ((t
0
+ t) , (t
0
))]
+[f ((t
0
+ t) , (t
0
)) f ((t
0
) , (t
0
))]
Por hiptese, e so diferenciveis em t
0
pelo que existem
nmeros reais , que tendem ambos para 0 com t tais que
h = (t
0
+ t) (t
0
) = t (

(t
0
) + )
k = (t
0
+ t) (t
0
) = t (

(t
0
) + )
Admitindo que f

y
contnua existe um nmero real (0 < < 1) tal
que a primeira parcela de z se pode exprimir na forma
f ((t
0
+ t) , (t
0
+ t)) f ((t
0
) , (t
0
)) = kf

y
((t
0
+ t) , (t
0
+ k))
= k
_
f

y
(x
0
, y
0
) +
_
A varivel real tende para 0 com t. Existe ainda outra varivel real
que tambm tende para 0 com t; tal que a segunda parcela de
z da forma
f ((t
0
+ t) , (t
0
)) f ((t
0
) , (t
0
)) = h(f

x
(x
0
, y
0
) + )
Vem, portanto
z = h(f

x
(x
0
, y
0
) + ) + k
_
f

y
(x
0
, y
0
) +
_
Assim, tem-se
z
t
=

(t
0
) f

x
(x
0
, y
0
) +

(t
0
) f

y
(x
0
, y
0
) +
PROBLEMAS | TEOREMAS 71
em que
= f

x
(x
0
, y
0
) +

(t
0
) + +

(t
0
) + f

y
(x
0
, y
0
) +
que tende para 0 com t. Logo
_
dz
dt
_
t
0
=

(t
0
)

(x
0
, y
0
) +

(t
0
)

(x
0
, y
0
)
como se queria demonstrar
Exemplo 1: demostre a seguinte regra de derivao
d
dt
[u (t)]
v(t)
= v (t) [u(t)]
v(t)1
u

(t) + (ln u(t)) [u (t)]


v(t)
v

(t)
Neste caso temos z = f (x, y) = u
v
, em que x = u(t) e y = v (t) .
A derivada f

(t) ser
f

(t) =
z
x

dx
dt
+
z
y

dy
dt
sendo
z
x
= yx
y1
= v (t) [u(t)]
v(t)1
z
y
= (ln x) x
y
= (ln u(t)) [u(t)]
v(t)
donde se chega imediatamente regra enunciada.
Exemplo 2: determine (x
x
)

Aplica-se a regra do exemplo 1:


(x
x
)

= xx
x1
+ (ln x) x
x
= (1 + ln x) x
x

NOTA: a regra de derivao do exemplo 1 pode ser deduzida sem recor-


rer ao teorema da derivada da funo composta, reparando que
[u(t)]
v(t)
= e
v(t) ln(u(t))
atendendo a que u(t) = e
ln(u(t))
e aplicando de seguida a regra de
derivao da funo exponencial.
13. Mi1oo ::inico
13.1. Mtodo da secante de determinao da raiz de uma equao
no linear. Suponha que tem a seguinte relao
y =
(1 + x)
10
1
x
e que pretende calcular x para um dado valor de y. Por exemplo y = 15.
Ento, a situao equivale a determinar a raiz da equao no linear
(1 + x)
10
1
x
15 = 0.
72 AMRICO TAVARES
No caso geral tem-se uma equao no linear
f(x) = 0
e quere-se determinar numericamente o seu zero ou raiz. Pelo mtodo
da secante partimos dos valores iniciais x
1
e x
2
e geramos uma sucesso
de valores x
i
(i = 2, 3, . . .) at nos aproximarmos da soluo da equao.
Paramos quando estivermos sucientemente prximos do zero, no sen-
tido de chegarmos aproximao desejada.
A recta que passa por (x
1
, y
1
= f (x
1
)) e por (x
2
, y
2
= f (x
2
)) tem
o coeciente angular
m =
y
2
y
1
x
2
x
1
e a sua equao
y =
y
2
y
1
x
2
x
1
x + y
2

y
2
y
1
x
2
x
1
x
2
.
Cruza o eixo dos x no ponto de abcissa x
3
x
3
= x
2
f (x
2
)
x
2
x
1
f (x
2
) f (x
1
)
Se tomarmos agora a recta que passa pelos pontos (x
2
, y
2
= f (x
2
))
e (x
3
, y
3
= f (x
3
)), chegamos interseco com o eixo dos x na abcissa
x
4
dada por
x
4
= x
3
f (x
3
)
x
3
x
2
f (x
3
) f (x
2
)
.
Em geral, para o inteiro k = 2, 3, 4, . . . obtemos, por este mtodo,
a aproximao
x
k+1
= x
k
f (x
k
)
x
k
x
k1
f (x
k
) f (x
k1
)
.
Para o exemplo inicial, se escolhermos x
1
= 0, 05 e x
2
= 0, 15,
obtemos sucessivamente x
3
= 0, 081350791, x
4
= 0, 086390197, x
5
=
0, 087335225, x
6
= 0, 087320486, x
7
= 0, 087320522, . . . .
A funo f(x) toma os valores f(x
5
) = 0, 001051291, f(x
6
) =
2, 57456 10
6
, f(x
7
) = 9, 9611 10
11
. O zero da funo ento
cerca de 0, 08732.
Este exemplo foi escolhido para calcular numericamente a taxa i
a que devem ser depositadas anualmente, durante dez anos, quantias
numa conta, de modo que o seu saldo venha a ser igual a 15 anuidades.
Dada a frmula aplicvel a esta srie uniforme
F
A
=
(1 + i)
10
1
10
= 15,
a taxa de juro deve ser 8, 732%.
PROBLEMAS | TEOREMAS 73
13.2. Mtodo de Newton de determinao da raiz de uma
equao no linear. Se tiver uma equao no linear
f(x) = 0
e pretender determinar numericamente um zero, pode utilizar o mtodo
da secante ou o de Newton que passo a expor. Pelo mtodo de New-
ton partimos do valor inicial x
1
e geramos uma sucesso de valores x
i
(i = 1, 2, , . . .) at nos aproximarmos da soluo da equao. Paramos
quando chegarmos aproximao pretendida.
A recta que passa por (x
1
, y
1
= f (x
1
)) dada pela equao:
y = f

(x
1
)(x x
1
) + f(x
1
)
que intersecta o eixo dos x no ponto de abcissa x
2
x
2
= x
1

f (x
1
)
f

(x
1
)
Este valor permite gerar, pelo mesmo mtodo, o novo valor
x
3
= x
2

f (x
2
)
f

(x
2
)
da abcissa do ponto de cruzamento da tangente a f(x) no ponto (x
2
, y
2
=
f(x
2
)) e assim sucessivamente:
x
i+1
= x
i

f (x
i
)
f

(x
i
)
.
Como se v este mtodo obriga ao clculo da derivada da funo
f(x).
14. Sinii i Foniin
14.1. Sistemas de Funes Ortogonais. Comeo por considerar sis-
temas de funes ortogonais para desenvolver a questo da represen-
tao de uma funo em srie do tipo
f (x) =

n
c
n

n
(x)
em que
n
(x) so precisamente funes ortogonais em [a, b].
Chamam-se funes ortogonais s funes [complexas de varivel
real] que satisfazem as seguintes condies:
_

n

m
_
=
_
b
a

n
(x)
m
(x)dx = 0 para n = m
_

n

m
_
=
_
b
a

n
(x)
m
(x)dx > 0 para n = m
Revestem-se de grande interesse nas aplicaes as funes do tipo
cos nx e sin nx.
74 AMRICO TAVARES
Chama-se norma de um sistema de funes ortogonais a
||
n
|| =
_
_

n

n
_
=
_

n
(x)
n
(x)dx
Um sistema ortogonal diz-se ortonormado se a sua norma for igual
unidade: ||
n
|| = 1.
Exemplo 1:
n
(x) = e
inx
denida em [, ].
_

n

m
_
=
_


n
(x)
m
(x)dx
=
_

e
inx
e
imx
dx =
_

e
i(nm)x
dx =
1
i (n m)

_
e
i(nm)x

=
_
0 para n = m
_

dx = 2 para n = m

e
inx

2.
Consideremos uma funo de varivel real f (x)
f (x) =

n
c
n

n
(x) a x b
e as seguintes hipteses:
(1) a srie converge;
(2) converge para f (x) .
Multiplicando a srie por
n
(x) vem
f (x)
n
(x) =

m
c
m

m
(x)
n
(x)
e
_
b
a
f (x)
n
(x)dx =

m
c
m
_
b
a

m
(x)
n
(x)dx
porque pode trocar-se a ordem de
_
e

, se admitirmos a convergncia
uniforme da srie no intervalo [a, b]. Assim,
_
f
n
_
= c
n
||
n
||
2
,
ou seja,
c
n
=
_
f
n
_
||
n
||
2
.
Aos coecientes c
n
chamam-se os coecientes de Fourier. srie
chama-se srie de Fourier relativa ao conjunto de funes ortogonais

n
(x).
NOTA: esta deduo no rigorosa!
PROBLEMAS | TEOREMAS 75
Consideremos uma funo f (x) de quadrado integrvel no inter-
valo [a, b]. Vamos aproximar f (x) por uma expresso da forma
N

n=1
c
n

n
(x)
Seja o erro quadrtico mdio. Vamos impor que
2
seja mnimo.

2
=
1
b a
_
b
a

f (x)
N

n=1
c
n

n
(x)

2
dx
o que o mesmo que
(b a)
2
=
_
b
a
|f (x)|
2
dx
N

n=1

_
f
n
_

2
||
n
||
2
+
N

n=1

c
n
||
n
||
1
||
n
||

_
f
n
_

2
.
DEDUO:
Dados dois complexos z e w, verica-se
|z w|
2
= (z w) (z w) = |z|
2
+|w|
2
zw zw.
Assim, tem-se

f (x)
N

n=1
c
n

n
(x)

2
= |f (x)|
2
+

n=1
c
n

2
f (x)
N

n=1
c
n

n
(x)f (x)
N

n=1
c
n

n
(x) ,

n=1
c
n

n
(x)

2
=
_
N

n=1
c
n

n
__
N

m=1
c
m

m
_
=
N

n,m=1
c
n
c
m

n
(x)
m
(x)
e

c
n
||
n
||
1
||
n
||
_
b
a
f (x)
n

n
(x)dx

2
= |c
n
|
2
||
n
||
2
+

1
||
n
||
_
b
a
f (x)
n

n
(x)dx

2
c
n
||
n
||
1
||
n
||
_
b
a
f (x)
n

n
(x) dx c
n
||
n
||
1
||
n
||
_
b
a
f (x)
n

n
(x)dx
76 AMRICO TAVARES
donde vai resultar
_
b
a

f (x)
N

n=1
c
n

n
(x)

2
dx
=
_
b
a
|f (x)|
2
dx +
_
b
a

n=1
c
n

2
dx

_
b
a
f (x)
N

n=1
c
n

n
(x)dx
_
b
a
f (x)
N

n=1
c
n

n
(x) dx,
=
_
b
a
|f (x)|
2
dx
N

n=1

_
f
n
_

2
||
n
||
2
+
N

n=1

c
n
||
n
||
1
||
n
||

_
f
n
_

2
ou seja, a frmula acima que se repete:
(b a)
2
=
_
b
a
|f (x)|
2
dx
N

n=1

_
f
n
_

2
||
n
||
2
+
N

n=1

c
n
||
n
||
1
||
n
||

_
f
n
_

2
.
Os termos
_
b
a
|f (x)|
2
dx
N

n=1

_
f
n
_

2
||
n
||
2
so independentes de c
n
. Para minimizar deve ter-se
c
n
||
n
|| =
_
f
n
_
||
n
||
que equivalente a
c
n
=
_
f
n
_
||
n
||
2
ou a
|c
n
|
2
||
n
||
2
=

_
f
n
_
||
n
||
2

2
||
n
||
2
=

_
f
n
_

2
||
n
||
2
.
Vimos ento que os coecientes da srie de Fourier c
n
minimizam
o erro quadrado mdio.
(b a)
2
min
=
_
b
a
|f (x)|
2
dx
N

n=1
|c
n
|
2
||
n
||
2
0
Fazendo tender N para innito, no limite tem-se a desigualdade de
Bessel
_
b
a
|f (x)|
2
dx
N

n=1
|c
n
|
2
||
n
||
2
.
Se o sistema for ortonormado, ||
n
|| = 1, e
N

n=1
|c
n
|
2

_
b
a
|f (x)|
2
dx =
_
b
a
f (x) f (x)dx = ||f||
2
PROBLEMAS | TEOREMAS 77
Para as funes de quadrado integrvel, a srie
N

n=1
|c
n
|
2
||
n
||
converge. A seguinte igualdade verica-se, se e s se, o erro quadrtico
mdio for nulo; ento, ser
_
b
a
|f (x)|
2
dx =
N

n=1
|c
n
|
2
||
n
||
2
e o sistema de funes
n
(x) completo. Ento
_
b
a

f (x)
N

n=1
c
n

n
(x)

2
dx = 0
Nestas condioes, diz-se que a srie de Fourier converge em mdia
para f (x), mas a convergncia no necessariamente uniforme. Por
denio uma srie converge uniformemente para uma funo quando
simbolicamente se vericar

>0

N
1

x[a,b]
N > N
1

f (x)
N

n=1
c
n

n
(x)

<
Para cada > 0, existe um inteiro N
1
tal que, N > N
1
implica

f (x)
N

n=1
c
n

n
(x)

< ,
para todo o x no intervalo [a, b]. O facto essencial que N
1
indepen-
dente de . Normalmente dependeria de .
14.2. Relao de Parseval. Anteriuormente abordei o caso dos sis-
temas completos, em que

N
n=1
c
n

n
(x) converge em mdia para f (x).
A convergncia em mdia no implica convergncia em todos os pontos.
Se considerarmos duas funes, f
1
(x) e f
2
(x), que diferem apenas
num nmero nito de pontos e calcularmos os coecientes
c
n
=
_
f
i

n
_
||
n
||
2
(i = 1, 2)
obtemos o mesmo valor, visto que
_
b
a
f
i
(x)
n
(x)dx =
_
f
i
(x)
n
(x)
_
(i = 1, 2)
tem o mesmo valor para as duas funoes, o que leva a que ambas
sejam representadas pela mesma srie de Fourier, ou seja, a srie de
Fourier pode no convergir para o valor da funo num conjunto nito
de pontos.
Para os sistemas completos possvel deduzir a seguinte relao:
78 AMRICO TAVARES
Dadas duas funes f(x) e g(x) representadas pelas sries
f(x) =

c
n

n
(x)
g(x) =

d
n

n
(x)
pode demonstrar-se
(1)
_
b
a
f(x)g(x)dx =

c
n
d
n
||
n
||
2
(2)
_
b
a
|f (x)|
2
dx =

|c
n
|
2
||
n
||
2
fazendo em 1. g(x) = f(x).
relao 1. costuma chamar-se relao de Parseval na forma
geral ; seguinte, chamar-se- relao de Parseval na forma particu-
lar. Se soubermos de antemo que um determinado sistema de funes
completo, podemos determinar a soma de certas sries de interesse
prtico, custa da relao de Parseval.
Exemplo 2: O sistema de funes sin nx (n = 1, 2, . . .) ortogonal no
intervalo [0, ]. Determine os coecientes de Fourier da srie
f(x) = 1 =

n=1
c
n
sin nx (0 x )
e verique que aquele sistema completo em relao a esta funo.
Comeo por calcular as quantidades:
||
n
||
2
= ||sinnx||
2
=
_

0
sin
2
nx dx =
_

0
1
2
(1 cos 2nx) dx
=

2

1
2
(sin 2nx sin0) =

2
_
f
n
_
=
_

0
sin nx dx =
1
n
(cos nx cos 0) =
_
2
n
para n mpar
0 para n par
Deste modo
c
n
=
_
f
n
_
||
n
||
2
=
_
4
n
para n mpar
0 para n par
Podemos agora vericar se a igualdade
_
b
a
|f (x)|
2
dx =

|c
n
|
2
||
n
||
2
PROBLEMAS | TEOREMAS 79
satisfeita: temos
_

0
|f (x)|
2
dx =

1,3,...
|c
n
|
2
||
n
||
2
=
16

1,3,...
1
n
2
=
8


2
8
= =
_

0
|f (x)|
2
dx
o que signica que o sistema sin nx completo em relao funo
f(x) = 1, x [0, ].
NOTA: Utilizei a soma da srie

1,3,...
1/n
2
=
2
/8. Um dos mtodos
descrito no livro [14, p.717] e exposto mais frente, na seco a seguir
da Srie trigonomtrica de Fourier:
Desenvolve-se em srie trigonomtrica de Fourier, que ser vista
posteriormente, a funo f(x) =
2
/4, x [, ], chegando-se a

2
12
=
1
1
2

1
2
2
+
1
3
2

1
4
2
,

2
6
=
1
1
2
+
1
2
2
+
1
3
2
+
1
4
2
+
Somando estas duas sries, obtm-se

2
8
=
1
1
2
+
1
3
2
+
1
5
2
+
14.3. Srie trigonomtrica de Fourier. A srie trigonomtrica de
Fourier o caso particular das sries de Fourier que utiliza o sistema
de funes ortogonais cos nx e sin nx:
1, cos x, cos 2x, . . . , sin x, sin 2x,
Sendo
nm
o delta de Kronecker

nm
=
_
1 n = m
0 n = m
os integrais envolvidos podem exprimir-se facilmente nos seguintes ter-
mos:
_

cos nxcos mx dx =
_

nm
n, m = 0
2 n = m = 0
_

sin nxsinmx dx =
nm
_

sin nxcos mx dx = 0 n, m
Estas relaes so vlidas para qualquer outro intervalo de largura 2.
Consideremos a seguinte srie de Fourier
f (x)
a
0
2
+

n=1
(a
n
cos nx + b
n
sinnx)
80 AMRICO TAVARES
emque o smbolo sgnica que f(x)/ [a
o
/2 +

n=1
(a
n
cos nx + b
n
sin nx)]
1 quando n .Os coecientes a
n
e b
n
so os seguintes integrais
a
n
=
1

f (x) cos nx dx n = 0, 1, 2, . . .
b
n
=
1

f (x) sin nx dx n = 1, 2, 3, . . .
Admitamos que f (x) uma funo de quadrado integrvel e que

n
um sistema ortogonal; vimos que
c
n
=
_
f
n
_
||
n
||
2
.
Neste caso as trs normas so dadas por
||1||
2
=
_

1
2
dx = 2
|| sin nx||
2
=
_

sin
2
nx dx =
_

1
2
(1 cos 2nx) dx =
|| cos nx||
2
=
_

cos
2
nx dx =
_

1
2
(1 + cos 2nx) dx =
e os coecientes por
c
1
=
_
f
1
_
||
1
||
2
=
1
2
_

f (x) dx =
a
o
2
c
2n
=
_
f
2n
_
||
2n
||
2
=
1
|| cos nx||
2
_

f (x) cos nx dx =
1

f (x) cos nx dx = a
n
c
2n+1
=
_
f
2n+1
_
||
2n+1
||
2
=
1
|| sin nx||
2
_

f (x) sin nx dx =
1

f (x) sin nx dx = b
n
.
A srie

n
|c
n
|
2
||
n
||
2
da forma

n
_
a
2
n
+ b
2
n
_
que, sendo convergente, implica que a
n
0 e b
n
0.
possvel demonstrar que, para que a
n
, b
n
0 (n ) su-
ciente que f (x) seja absolutamente integrvel.
Teorema: se f (x) satiszer as seguintes condies
1. for injectiva;
2. for limitada em [a, b];
3. tiver um nmero nito de mximos e mnimos;
PROBLEMAS | TEOREMAS 81
4. e tiver um nmero nito de descontinuidades de primeira espcie
(quando existem limites nitos da funo esquerda e direita do
ponto da descontinuidade).
Ento a srie trigonomtrica de Fourier converge para a seguinte
quantidade
1
2
_
f
_
x
+
_
+ f
_
x

_
=
a
0
2
+

n=1
(a
n
cos nx + b
n
sin nx) .
As condies anteriores, que se designam por condies de Dirich-
let, so condies sucientes de convergncia.
Nos intervalos em que a funo contnua, a convergncia da
srie uniforme. Se f (x) for contnua em todo o intervalo, a srie
trigonomtrica de Fourier converge uniformemente em todo o intervalo.
Como consequncia do teorema anterior, resulta que o conjunto
das funes sinnx, cos nx um conjunto completo para as funes que
satisfazem as condies de Dirichlet, isto
_

|f (x)|
2
dx =
a
2
0
4
2 +

n=1
_
a
2
n
+ b
2
n
_
ou
1

|f (x)|
2
dx =
a
2
0
2
+

n=1
_
a
2
n
+ b
2
n
_
que a relao de Parseval neste caso.
Dada uma funo f (x) denida no intervalo [, ], se f (x) sat-
iszer as condies de Dirichlet, a srie trigonomtrica de Fourier con-
verge para
1
2
[f (x
+
) + f (x

)]. Mas, o que que acontece fora do in-


tervalo [, ]? A srie trigonomtrica de Fourier converge para uma
funo peridica que a repetio de f (x). Se f (x) for peridica de
perodo 2, a srie trigonomtrica de Fourier representa essa funo
em todo o eixo real. O termo a
1
cos x + b
1
sin x designamo-lo por fun-
damental, o termo a
n
cos x + b
n
sinnx, harmnica de ordem n.
14.4. A Srie dos recprocos dos quadrados perfeitos (2) =

2
/6. A srie (2) =

k=1
1
k
2
foi somada, pela primeira vez, por Euler:
(2) =

2
6
.
Uma forma de justicar esta frmula recorre anlise de Fourier.
H vrios mtodos, mesmo mantendo-nos ns sempre dentro da anlise
de Fourier. Por exemplo, um deles, o seguinte [14, p.717]:
Comeamos por determinar a srie de Fourier da funo f (x) =

2
4
com x . Se repararmos que a funo par, basta-nos
determinar o coeciente a
n
, visto que o b
n
nulo:
a
n
=
2

_

0

2
4
cos nxdx
82 AMRICO TAVARES
b
n
=
2

_

0

2
4
sin nxdx
Nota: A teoria das sries de Fourier diz-nos que uma funo f da var-
ivel real x denida no intervalo [a, b], e limitada nesse intervalo, admite
um desenvolvimento em srie trigonomtrica de Fourier da forma
a
0
2
+

n=1
(a
n
cos nx + b
n
sin nx)
em que os chamados coecientes de Fourier so respectivamente os
integrais a
n
e b
n
a
n
=
1

f (x) cos nxdx


b
n
=
1

f (x) sinnxdx
Para n = 0 vem a
0
=

2
6
. Para n = 1, 2, 3, . . .obtemos
_

0
cos nxdx =
2
n
2
(1)
n
donde
a
n
= (1)
n
1
n
2
.
Daqui resulta que
f (x) =
a
0
2
+

n=1
(a
n
cos nx + b
n
sin nx)
=

2
12
+

n=1
_
(1)
n
1
n
2
cos nx + 0 sin nx
_
=

2
12
+

n=1
(1)
n
1
n
2
cos nx
Fazendo agora x = 0, como f (0) = 0, temos ento
0 =

2
12
+

n=1
(1)
n
1
n
2
cos n 0
=

2
12
+

n=1
(1)
n
1
n
2
ou seja

2
12
=

n=1
(1)
n
1
n
2
=

n=1
(1)
n+1
1
n
2
e assim determinamos

2
12
=

n=1
(1)
n+1
1
n
2
.
PROBLEMAS | TEOREMAS 83
Fazendo agora x = , como
f () =

2
4
,
temos ento

2
4
=

2
12
+

n=1
(1)
n
1
n
2
cos n
=

2
12
+

n=1
(1)
n
1
n
2
(1)
n
=

2
12
+

n=1
1
n
2
Donde, nalmente:

n=1
1
n
2
=

2
4


2
12
=

2
6

A derivao da frmula

2
12
=

n=1
(1)
n+1
1
n
2
no foi necessria para a demonstrao do valor de (2) .
14.5. Problemas. Problema 1 - Mostre que o sistema de funes
sin nx, em que n = 1, 2, 3, . . . ortogonal no intervalo [0, ] e determine
a respectiva norma.
Resoluo:
Num sistema ortogonal :
_
b
a

n

m
dx =
_
0 n = m
> 0 n = m
A sua norma dada por
_
b
a
|
n
|
2
dx = ||
n
||
2
> 0
Como frmulas a aplicar, temos as seguintes trigonomtricas
cos (a b) = cos a cos b sin a sin b
sin(a b) = sin a cos b sin b cos a
cos 2a = cos
2
a sin
2
a = 1 2 sin
2
a = 2 cos
2
a 1 (a = b)
Donde
sin a sinb =
cos (a b) cos (a + b)
2
sin
2
a =
1 cos 2a
2
(a = b)
84 AMRICO TAVARES
Ora, como para n = m
_

0
sin nx sin mx dx =
1
2
_

0
cos (n m) x cos (n + m) x dx
=
1
2
_
1
n m
sin(n m) x
1
n + m
sin (n + m) x
_

0
= 0
e para n = m
|| sin nx||
2
=
_

0
sin
2
nx dx =
1
2
_

0
1 cos 2a dx =

2
o sistema efectivamente ortogonal e a sua norma
|| sin nx|| =
_

2
.
Problema 2 - Considere o sistema de funes cos n
x
l
(n = 0, 1, 2, . . .).
1. Mostre que o sistema ortogonal no intervalo [0, l].
2. Deduza a expresso dos coecientes da srie de Fourier associ-
ados funo f (x) denida naquele intervalo.
3. Calcule o valor dos coecientes de Fourier para f(x) =
x
l
Solues:
1.
_
l
0
cos n
x
l
cos m
x
l
dx =
_
_
_
l
2
n = m = 0
l n = m = 0
0 n = m
2.
c
n
=
2
l
_
l
0
f (x) cos n
x
l
dx
c
0
=
1
l
_
l
0
f (x) dx
3.
c
n
=
_
0 n par

4
n
2

2
n mpar
c
0
=
1
2
Nota adicional: nestas condies
f (x) =
1
2

4

2
_
cos
x
l
+
1
3
2
cos
3x
l
+
1
5
2
cos
5x
l
+
_
x
t
=
1
2

4

2
_
cos
x
l
+
1
3
2
cos
3x
l
+
1
5
2
cos
5x
l
+
_
PROBLEMAS | TEOREMAS 85
Para x = 0, vem
0 =
1
2

4

n=0
1
(2n + 1)
2
donde

n=0
1
(2n + 1)
2
=

2
8
.
Problema 3 - Verique que o sistema de funes cos nx (n = 0, 1, 2, 3, . . .)
no completo no intervalo [a, b].
Resoluo
No possvel denir funes mpares custa da soma dos cosenos.
Funo par: f(x) = f(x)
Funo mpar: f(x) = f(x)
Para que o sistema de funes
n
(x) seja completo necessrio
que
_
b
a
|f (x)|
2
dx =

n=1
|c
n
|
2
||
n
||
2
.
Considerando uma funo mpar I(x) no identicamente nula em
[a, b], verica-se que os coecientes da srie de Fourier associada a I(x)
so todos nulos:
c
n
=
_
f
n
_
||
n
||
2
=
_

I(x) cos nx dx
||
n
||
2
= 0
I(x) cos nx o produto de uma funo mpar com uma funo par e,
portanto, este produto uma funo par. Dado o intervalo de inte-
grao, o integral do numerador nulo. Nestas condies o integral
_
b
a
|f (x)|
2
dx, que maior do que zero, com certeza maior do que a
srie

n=1
|c
n
|
2
||
n
||
2
, que igual a zero.
Problema 4 - Mostre que se um sistema de funes
n
(x) ortogonal
e completo, uma funo contnua f(x) que seja ortogonal a todas as
funes do sistema identicamente nula.
Resoluo
Como f ortogonal,
c
n
=
_
f
n
_
||
n
||
2
= 0.
Sendo o sistema completo
_
b
a
|f (x)|
2
dx =

n=1
|c
n
|
2
||
n
||
2
86 AMRICO TAVARES
Como f contnua, por hiptese, para que o seu quadrado possua
um integral igual a zero, f tem de ser identicamente nula.
Problema 5
1. Verique que o sistema de funes sinpx (p = 1, 2, 3, . . .) e cos px
(p = 0, 1, 2, . . .) ortogonal no intervalo [, ] e determine os coe-
cientes a
p
e b
p
da srie trigonomtrica
a
o
2
+

p=1
(a
p
cos px + b
p
sin px)
associada a uma funo f(x) de quadrado integrvel.
2. Sabendo que

k=0
1
(2k + 1)
2
=

2
8
verique que aquele sistema completo em relao funo
f(x) =
_
1 x < 0
+1 0 < x
Resoluo
1. Para o sistema de funes 1, sinpx (p = 1, 2, 3, . . .) e 1, cos px
(p = 1, 2, 3, . . .) tem-se:
_

1 cos px dx = 0
_

1 sin px dx = 0
Se p = q
_

sin pxsin qx dx =
1
2
_

cos (p q) x cos (p + q) x dx
=
1
2
_
sin (p q) x
p q
_

1
2
_
sin (p + q) x
p + q
_

= 0 0 = 0
e
_

sin pxcos qx dx =
1
2
_

sin (p q) x + sin (p + q) x dx
=
1
2
_
cos (p q) x
p q
_

+
1
2
_
cos (p + q) x
p + q
_

= 0 + 0 = 0
PROBLEMAS | TEOREMAS 87
Se p = q
_

sin pxcos px dx =
1
2
_

sin(p p) x + sin (p + p) x dx
=
1
2
_

0 + sin(p + p) x dx
=
1
2
_
cos 2px
2p
_

= 0
Por outro lado, os quadrados das trs normas so
|| sin px||
2
=
_

sin
2
px dx =
_

1
2
(1 cos 2px) dx
=
1
2
[x]

+ 0 =
|| cos px||
2
=
_

cos
2
px dx =
_

1
2
(1 + cos 2px) dx
=
1
2
[x]

+ 0 =
||1|| =
_

dx = 2
e as prprias normas,
|| sin px|| =
_
_

sin
2
px dx =

|| cos px|| =
_
_

cos
2
px dx =

||1|| =
_
_

dx =

2
Vericam-se, portanto, as seguintes relaes de ortogonalidade:
1

cos pxcos qx dx =
pq
1

sin pxsin qx dx =
pq
_

cos pxsin qx dx =
pq
_

1 cos kx dx = 0
_

1 sin kx dx = 0
88 AMRICO TAVARES
ou na notao das funes ortogonais
n
, em que

0
(x) = 1

2n1
(x) = cos nx

2n
(x) = sin nx,
estas relaes exprimem-se por
||
0
|| = ||1|| =

2n1

= ||cos nx|| =

||
2n
|| = ||sinnx|| =

.
A partir das relaes a seguir indicadas entre os coecientes c
n
e a
n
, b
n
podemos calcular o valor destes ltimos pela frmula geral
c
n
=
_
f
n
_
||
n
||
2
.
Como os coecientes c
n
so dados por
c
0
=
a
0
2
=
1
2
_

f(x) dx
c
2n1
= a
n
=
1

f(x) cos nx dx
c
2n
= b
n
=
1

f(x) sinnx dx
os coecientes a
n
, b
n
so ento
a
0
=
1

f(x) dx
a
n
=
1

f(x) cos nx dx
b
n
=
1

f(x) sin nx dx
2. Para a funo f
f(x) =
_
1 x < 0
+1 0 < x
tem-se
_

|f (x)|
2
dx =

n=0
|c
n
|
2
||
n
||
2
e
a
0
=
1

f(x) dx =
1

_
0

1 dx +
1

_

0
1 dx = 0
PROBLEMAS | TEOREMAS 89
a
p
=
1

_
0

cos px dx +
1

_

0
cos px dx
=
1

1
p
[sin px]
0

+
1

1
p
[sin px]

0
= 0 + 0 = 0
A interpretao para este valor nulo do coeciente a
p
que sendo f
mpar a funo no precisa dos cosenos, que so funes pares. Quanto
ao coeciente b
p
tem-se
b
p
=
1

_
0

sin px dx +
1

_

0
sinpx dx
=
1

1
p
[cos px]
0

1
p
[cos px]

0
=
1

1
p
[1 (1)
p
]
1

1
p
[(1)
p
1]
pelo que
b
p
=
_
_
_
0 se p par
4
p
se p mpar
O desenvolvimento em srie de Fourier da funo f ento
f(x) =
4

sin x +
4

1
3
sin 3x +
4

1
5
sin 5x + .
O sistema completo porque
_

|f (x)|
2
dx =
_

dx = 2
e

n=0
|c
n
|
2
||
n
||
2
=
_
a
0
2
_
2
||1|| + a
2
1
||cos x||
2
+ b
2
1
||sin x||
2
+
=
_
4

_
2

k=0
1
(2k + 1)
2
= 2.
Problema 6 - Calcule os coecientes da srie trigonomtrica de Fourier
associada a cada uma das funes indicadas
1.
f(x) =
_
_
_
0 x < /2
1 /2 x < /2
0 /2 x <
2.
f(x) =
_
0 x < 0
1 0 x <
90 AMRICO TAVARES
3.
f(x) =
_
mx x < 0
+mx 0 x
4.
f(x) = mx 0 < x 2
Respostas
1.
a
0
=
1

f (x) dx = 1
a
n
=
1

f (x) cos nx dx =
2
n
sin
n
2
b
n
=
1

f (x) sin nx dx = 0
2.
a
0
=
1

f (x) dx = 1
a
n
=
1

f (x) cos nx dx = 0
b
n
=
1

f (x) sin nx dx =
1
n
(cos n + 1)
3.
a
0
=
1

f (x) dx = 0
a
n
=
1

f (x) cos nx dx =
2

m
n
2
+
2

mcos n
n
2
b
n
=
1

f (x) sin nx dx = 0
4.
a
0
=
1

f (x) dx = 2m
a
n
=
1

f (x) cos nx dx = 0
b
n
=
1

f (x) sin nx dx =
2m
n
Problema 7 - Srie de Fourier da Onda Quadrada
Faa, para a funo
f (x) =
_
1 se /2 x /2
0 se |x| > /2
do problema 6.1, a representao grca da soma parcial da respectiva
srie para um nmero crescente de harmnicas.
PROBLEMAS | TEOREMAS 91
Resoluo
f (x)
1
2
+
2

cos x
2

1
3
cos 3x+
2

1
5
cos 5x +
2
(2m + 1)
sin
(2m + 1)
2
cos (2m + 1)+
Primeiras somas parciais da srie de Fourier representativa da
funo f(x)
1
2
+
2

cos x
2
3
cos 3x +
2
5
cos 5x
2
7
cos 7x
A seguir representa-se o grco da funo f(x) onda quadrada (a
vermelho) no intervalo [, ] e as somas parciais dos cinco primeiros
termos da sua srie de Fourier
f (x) =
a
0
2
+

n=1
(a
n
cos nx + b
n
sin nx)
3 2 1 0 -1 -2 -3
1
0.5
0
x
y
x
y
Onda quadrada (a vermelho) no intervalo [, ] e as somas parciais
Em virtude de f (x) ser par b
n
= 0
f (x) =
a
0
2
+

n=1
a
n
cos nx
Os coecientes a
n
so
a
n
=
1

_
+

f (x) cos nx dx n = 0, 1, 2,
92 AMRICO TAVARES
a
0
=
1

_
+/2
/2
dx = 1
a
1
=
1

_
+/2
/2
cos x dx =
2

a
3
=
1

_
+/2
/2
cos 3x dx =
2
3
a
5
=
1

_
+/2
/2
cos 5x dx =
2
5
a
7
=
1

_
+/2
/2
cos 7x dx =
2
7
a
2
= a
4
= a
6
= = a
2n
= 0
Valor mdio
1
2
Fundamental
2

cos x
3
a
harmnica

2
3
cos 3x
5
a
harmnica
2
5
cos 5x
7
a
harmnica

2
7
cos 7x
NOTA: a srie de Fourier nos dois pontos de descontinuidade da funo
passa a meio do salto dado, isto , neste caso 1/2.
Dada uma funo f (x) denida no intervalo x [, ], se f (x)
satiszer as condies de Dirichlet, a srie trigonomtrica de Fourier
converge para [f (x
+
) + f (x

)] /2. Mas, o que que acontece fora do


intervalo [, ]? A srie trigonomtrica de Fourier converge para uma
funo peridica que a repetio de f (x). Se f (x) for peridica de
perodo 2, a srie trigonomtrica de Fourier representa essa funo
em todo o eixo real. O termo a
1
cos x + b
1
sin x designamo-lo por fun-
damental, o termo a
n
cos nx + b
n
sin nx, harmnica de ordem n.
Algumas propriedades dos coecientes de Fourier
(1) Se f (x) for par: f (x) = f (x), b
n
= 0
(2) Se f (x) for mpar: f (x) = f (x), a
n
= 0
(3) Se f (x) tiver duas alternncia, sendo uma a imagem num es-
pelho da outra: f (x) = f (x + ), a
n
= b
n
= 0, para n par
(4) Se f (x) for peridica de perodo : f (x) = f (x + ), a
n
=
b
n
= 0, para n mpar.
PROBLEMAS | TEOREMAS 93
Problema 8
Demonstre que qualquer funo f (x) denida no intervalo [0, ]
e satisfazendo as condies de Dirichlet neste intervalo representvel
pela srie

n=1
c
n
sin nx
para x [0, ], que esta srie converge para
1
2
_
f
_
x
+
_
+ f
_
x

_
e escreva a expresso dos coecientes c
n
.
Resposta
c
n
=
2

_

0
f(x) sin nx dx
15. Gio:i1ni.
15.1. Pentgono e Crculo. Determine a relao entre a rea de um
pentgono regular e a do crculo circunscrito.
Resoluo
A rea de um polgono regular de n lados, de lado l e aptema a
dada por
A =
n l
2
a,
pelo que, no caso do pentgono vem
A =
5l
2
a.
Se r for o raio do crculo circunscrito e o vrtice mais direita do
pentgono for o ponto de coordenadas (r, 0), os outros vrtices sero
94 AMRICO TAVARES
os pontos
(r cos
2
5
, r sin
2
5
), (r cos
4
5
, r sin
4
5
), (r cos
6
5
, r sin
6
5
), (r cos
8
5
, r sin
8
5
).
O aptema a ser igual distncia entre (0, 0) e o lado vertical do
pentgono:
a = r cos
_
4
5
_
= r cos
_

4
5
_
= r cos
_

5
_
;
e o lado l igual distncia entre dois vrtices, por exemplo, (r cos
2
5
, r sin
2
5
)
e (r, 0) :
l =
_
_
r cos
_
2
5
_
r
_
2
+
_
r sin
_
2
5
__
2
= r
_
_
cos
_
2
5
_
1
_
2
+
_
sin
_
2
5
__
2
= r
_
cos
2
_
2
5
_
2 cos
_
2
5
_
+ 1 + sin
2
_
2
5
_
= r
_
2 2 cos
_
2
5
_
.
isto
l = r
_
2 2 cos
_
2
5
_
Logo
A =
5 cos
_

5
_
2
_
2 2 cos
_
2
5
_
l
2
=
5 cos
_

5
_
2
_
2 2 cos
_
2
5
_
_
2 2 cos
_
2
5
__
r
2
=
5 cos
_

5
_
_
2 2 cos
_
2
5
_
2
r
2
ou seja
A =
5 cos
_

5
_
_
2 2 cos
_
2
5
_
2
r
2
(15.1)
A relao entre as reas pedidas pois
A
r
2
=
5 cos
_

5
_
_
2 2 cos
_
2
5
_
2
75, 68%. (15.2)
PROBLEMAS | TEOREMAS 95
15.2. Euler e os cinco slidos platnicos. A equao que relaciona
o nmero de faces F, vrtices V e arestas A de um poliedro
F + V = A + 2, (15.3)
aplicada ao cubo (F = 6 faces, V = 8 vrtices, A = 12 arestas), traduz-
se na igualdade
6 + 8 = 12 + 2
e, aplicada ao tetraedro, que uma pirmide equiltera (F = 4 faces
, V = 4 vrtices, A = 6 arestas), em
4 + 4 = 6 + 2.
Num poliedro regular convexo (um segmento de recta que una
quaisquer dois dos seus pontos no sai para fora do poliedro), em que
cada face tem n lados iguais, se multiplicar o nmero de faces por estes
n lados, conto as arestas duas vezes. Porqu? Porque cada aresta a
interseco de duas faces adjacentes. No caso do cubo, em que as faces
so quadrados (n = 4) isto traduz-se em:
6 4 = 2 12.
Para o tetraedro, cujas faces so tringulos equilteros (n = 3 lados),
pelo mesmo motivo, se multiplicar o nmero de faces por estes 3 lados,
obtenho
4 3 = 2 6.
No caso geral de um poliedro regular convexo, em que cada face
tem n lados iguais, devido dupla contagem ser ento:
nF = 2A F =
2A
n
.
Voltando ao cubo, em que cada vrtice o ponto de encontro de
m = 3 arestas, se multiplicar agora o nmero de vrtices por estas 3
arestas, obtenho o dobro do nmero de arestas, porque tambm estou
a contar cada aresta duas vezes, em virtude de cada aresta unir dois
vrtives:
8 3 = 2 12.
Fazendo o mesmo para o tetraedro, m = 3, obtenho, pelo mesmo motivo
4 3 = 2 6.
O caso geral, em que cada vrtice de um poliedro regular convexo
o ponto de encontro de m arestas, traduz-se em
mV = 2A V =
2A
m
.
Assim, um poliedro regular convexo verica a dupla igualdade
nF = mV = 2A, (15.4)
96 AMRICO TAVARES
em que n o nmero inteiro de lados de cada face poligonal e m o
nmero inteiro de arestas que se intersectam em cada vrtice, pelo que
a equao (15.3) equivalente a
2A
n
+
2A
m
= A + 2
ou a
1
A
=
1
m
+
1
n

1
2
. (15.5)
Esta equao corresponde, no caso particular do cubo a
1
12
=
1
3
+
1
4

1
2
e no do tetraedro a
1
6
=
1
3
+
1
3

1
2
.
Mas h duas restries aos possveis valores inteiros de m e n: uma, em
virtude do nmero de arestas ser positivo,
1
m
+
1
n
>
1
2
2n + 2m > mn (15.6)
e a outra, porque o poliedro um slido tridimensional
m 3. (15.7)
O nmero de lados n de cada face dene a sua forma poligonal:
para n = 3 o tringulo equiltero, n = 4, o quadrado, n = 5, o
pentgono regular. Ser que num poliedro regular convexo n poder
ser igual a 6? Vamos ver que no.
Para m = 3, a equao (15.5) assume o valor particular
1
A
=
1
3
+
1
n

1
2
=
1
n

1
6
,
e, pela restrio (15.6)
2n + 6 > 3n n < 6
conclui-se que 3 n 5. Os dois casos vistos acima so o tetraedro,
que corresponde a n = 3 e o cubo, a n = 4. Para n = 5, vem
1
A
=
1
n

1
6
=
1
5

1
6
=
1
30
donde A = 30, V = 60/3 = 20 e F = 32 20 = 12. Este poliedro
regular com 12 faces o conhecido dodecaedro.
Para m = 4, a mesma equao (15.5) passa a ser
1
A
=
1
4
+
1
n

1
2
=
1
n

1
4
e agora a restrio (15.6),
2n + 8 > 4n n < 4,
PROBLEMAS | TEOREMAS 97
isto , n = 3. Onmero de arestas, vrtices e faces so, respectivamente,
A = 12, V = 24/4 = 6 e F = 14 6 = 8. o octaedro, com oito faces
que so tringulos equilteros.
Para m = 5, (15.5) a equao
1
A
=
1
5
+
1
n

1
2
=
1
n

3
10
e a condio (15.6)
2n + 10 > 5n n <
10
3
< 4
logo, tambm n = 3. O nmero de arestas, vrtices e faces so,
respectivamente, A = 30, V = 60/5 = 12 e F = 32 12 = 20. o
icosaedro, com vinte faces que so tringulos equilteros.
Para m 6, a primeira forma de (15.6)
1
m
+
1
n
>
1
2
permite estabelecer
1
n
>
1
2

1
m

1
2

1
6
=
1
3
n < 3,
o que contraria a restrio (15.7). Isto prova que 3 n 5 e que s
h os cinco slidos platnicos atrs referidos.
15.3. Dodecaedro. Determine o lado l de cada um dos doze pen-
tgonos regulares deste slido platnico, sabendo que dois vrtices
simtricos em relao ao centro do dodecaedro, distam entre si d met-
ros.
98 AMRICO TAVARES
Imaginemos que seccionamos o dodecaedro por um plano vertical
que corta ao meio quatro faces opostas, duas a duas: a de cima e a de
baixo, e duas adjacentes, a uma e a outra, e que passa por duas arestas
simtricas, como se v na gura. A seguir representa-se este corte do
dodecaedro numa outra gura que foi rodada para que as duas arestas
cassem na horizontal.
A preto, arestas; a magenta, eixos das faces
Nesta gura a distncia entre o centro e o meio da aresta o raio
inscrito r
i
e a distncia entre o centro e um vrtice o raio circunscrito
R. O raio da circunferncia circunscrita a cada face continuamos a
chamar-lhe r.
Vamos ver que a relao pedida
l
d
=
2

3
_
1 +

5
_ =
1
2

3 cos
_

5
_ 35.68%, (15.8)
a que corresponde o raio da esfera circunscrita R = d/2
R =

3
4
_
1 +

5
_
l,
ou seja
d = 2R =

3
2
_
1 +

5
_
l
e
d
l
=

3
2
_
1 +

5
_
=

3 = 2

3 cos
_

5
_
,
PROBLEMAS | TEOREMAS 99
em que o nmero de ouro
=
1 +

5
2
.
Num pentgono de lado l e raio circunscrito r o aptema a vale
a = r cos
_

5
_
= r
_
1
4

5 +
1
4
_
em virtude de
cos
_

5
_
=
1
4

5 +
1
4
=

2
.
O lado l em funo de r dado por
l = r
_
2 2 cos
_
2
5
_
=
_
5

2
r
porque
cos
_
2
5
_
=
1
4

5
1
4
.
Por isso, vem
a
l
=
cos
_

5
_
_
2 2 cos
_
2
5
_
=

2
4
1 +

5
_
5

5
r =
l
_
2 2 cos
_
2
5
_
r
l
=
1
_
2 2 cos
_
2
5
_
=

2
_
5

5
a + r
l
=
cos
_

5
_
_
2 2 cos
_
2
5
_
+
1
_
2 2 cos
_
2
5
_
=
5
4
_
2
5

5
+
1
4
_
10
5

5
e
a + r =
l
_
2 2 cos
_
2
5
_
+
cos
_

5
_
l
_
2 2 cos
_
2
5
_
=
_
5
4
_
2
5

5
+
1
4
_
10
5

5
_
l
100 AMRICO TAVARES
Na gura r
i
a distncia entre o centro do dodecaedro e o ponto
mdio de cada aresta, o chamado raio inscrito, e a distncia entre os
vrtice (l/2, r
i
) e (r
i
, 0) igual a a + r :
(r + a)
2
=
_
r
i

l
2
_
2
+ r
2
i
Pelo teorema de Pitgoras
r
2
i
+
_
l
2
_
2
= R
2
Vamos vericar que
R =

3
4
_
1 +

5
_
l (15.9)
soluo, ou seja
r
i
=

_
_

3
4
_
1 +

5
_
l
_
2

_
l
2
_
2
= l

_
_

3
4
_
1 +

5
_
_
2

_
1
2
_
2
e
(r + a)
2
=
_
r
i

l
2
_
2
+ r
2
i
=
_
_
_
R
2

_
l
2
_
2

l
2
_
_
2
+ R
2

_
l
2
_
2
=
_
_
_
l

_
_

3
4
_
1 +

5
_
_
2

_
1
2
_
2

l
2
_
_
_
2
+
_

3
4
_
1 +

5
_
l
_
2

_
l
2
_
2
Substituindo o primeiro membro, vem
_
5
4
_
2
5

5
+
1
4
_
10
5

5
_
2
l
2
=
_
_
_
l

_
_

3
4
_
1 +

5
_
_
2

_
1
2
_
2

l
2
_
_
_
2
+
_

3
4
_
1 +

5
_
l
_
2

_
l
2
_
2
PROBLEMAS | TEOREMAS 101
ou
_
5
4
_
2
5

5
+
1
4
_
10
5

5
_
2
=
_
_
_

_
_

3
4
_
1 +

5
_
_
2

_
1
2
_
2

1
2
_
_
_
2
+
_

3
4
_
1 +

5
_
_
2

_
1
2
_
2
.
De facto, como
_
5
4
_
2
5

5
+
1
4
_
10
5

5
_
2
=
1
2

5 +
5
4
e
_
_
_

_
_

3
4
_
1 +

5
_
_
2

_
1
2
_
2

1
2
_
_
_
2
+
_

3
4
_
1 +

5
_
_
2

_
1
2
_
2
=
1
2

5+
5
4
,
ca justicada a soluo atrs referida.
15.4. Construo da elipse a partir de duas circunferncias.
Considere a seguinte elipse
x
2
a
2
+
y
2
b
2
= 1
Suponhamos que a > b. Esta elipse, representada a seguir cen-
trada na origem, resulta da composio de duas circunferncias, uma
de dimetro igual ao eixo menor da elipse e outra de dimetro igual ao
seu eixo maior. O eixo da circunferncia menor coincidente com o eixo
dos x e o da maior com o dos y. Se a < b a elipse no estaria "deitada"
e as circunferncias menor e maior trocariam de posio entre si.
Eixos: x, horizontal; y, vertical
102 AMRICO TAVARES
Construo da elipse (a verde): os pontos da elipse encontram-se
no cruzamento dos segmentos de recta paralelos a x (horizontais) que
passam por um dado ponto da circunferncia a preto, da esquerda , com
os segmentos de recta paralelos a y (verticais) que passam pelo ponto
correspondente da circunferncia azul, por baixo da elipse. Imagine
que comea em ambas as circunferncias nos pontos situados mais
direita e que vai rodando no sentido contrrio aos ponteiros do relgio a
uma velocidade angular constante em ambas. Depois de ter regressado
a cada um desses pontos nas duas circunferncias, desenha, por este
processo, a elipse, no sentido tambmcontrrio aos ponteiros do relgio.
15.5. Cubo de dimenso n, n-cubo ou hipercubo. O cubo de
dimenso n, hipercubo ou n-cubo obtm-se do de dimenso n 1
deslocando-o numa direco perpendicular ao hiperplano que contm
o n 1-cubo de uma distncia igual a 1, e unindo nesse processo os
vrtices dos dois n 1-cubos inicial e nal por arestas.
Por exemplo, a partir do cubo tridimensional (de aresta unitria),
cujos vrtices, escritos numa sequncia de trs bits ( bitstring ) so
000, 001, 010, 011, 100, 101, 110 e 111
podemos obter o quadridimensional introduzindo uma quarta dimen-
so. Este cubo tem 16 vrtices, e que so, enumerando-os:
0000, 0001, 0010, 0011, 0100, 0101, 0110, 0111,
1000, 1001, 1010, 1011, 1100, 1101, 1110 e 1111.
Do cubo tridimensional passamos ao bidimensional (o 2-cubo ou
quadrado) retirando-lhe uma das dimenses. Se for a terceira (corre-
spondente ao bit da esquerda) camos com os vrtices
00, 01, 10 e 11.
Deste retirando-lhe mais uma dimenso camos com o 1-cubo (ou
segmento), cujos vrtices so o
0 e 1.
Visualmente, o cubo de dimenso 4 pode representar-se na folha
de papel (no ecr do computador), por exemplo, por
PROBLEMAS | TEOREMAS 103
Uma representao do cubo de dimenso 4
Claro que este cubo quadridimensional no existe no espao euclid-
iano. um grafo que pode ser redesenhado e car numa forma que lhe
seja equivalente.
15.6. Teorema de Pitgoras. 1. Tringulo rectngulo: na gura a
seguir o ngulo interno entre os lados a azul e a verde recto
c =hipotenusa a = cateto azul b = cateto verde
2. Teorema: c
2
= a
2
+ b
2
. A rea do quadrado vermelho (sobre o
lado c) igual soma das reas dos quadrados azul (sobre o lado a) e
verde (sobre o lado b)
104 AMRICO TAVARES
c
2
= a
2
+ b
2
3. Demonstrao de Euclides: construo auxiliar usada por
Euclides (com omisso das letras identicativas dos vrtices e com lin-
has coloridas em vez de a preto) na Proposio 47 do livro I dos Ele-
mentos [8]
Proposio 47 do livro I dos Elementos de Euclides
Exerccio: Determine o comprimento a = c de cada um dos lados
iguais de um tringulo issceles, de base b e rea A.
Resoluo: Seja b a base. A altura une o ponto da base equidistante
de cada vrtice situado nos extremos; a distncia a cada um igual
a
b
2
. Esta altura divide o tringulo issceles de lados a, b, c em dois
tringulos rectngulos simtricos: o da esquerda de lados a,
b
2
e h e o
da direita c,
b
2
e h, cada um com uma rea igual a A/2. Pelo Teorema
PROBLEMAS | TEOREMAS 105
de Pitgoras aplicado, por exemplo, ao da esquerda sabemos que
a
2
= h
2
+
b
2
4
.
Como a rea do tringulo de lados a, b, c A =
b h
2
, h =
2A
b
,
podemos exprimir a em funo de A, b :
4h
2
+ b
2
2
=
_
4A
2
b
2
+
b
2
4
como pedido.
16. Inoiii:. I1:.: i io1i, HMD, 1 M.no 2008
I1:.: inoiii: oi 1ii .., HMD, M.nci 1, 2008
16.1. Verso portuguesa de Problema Putnam de hoje, HMD,
1 Maro 2008. No site do departamento do Harvards Math Depart-
ment
[http://www.math.harvard.edu/putnam/index.html]
aparece hoje, 1-1-2008, o seguinte enunciado (Putnam problem of the
day):
"Evaluate
8

_
2207
1
2207
1
2207
(16.1)
Express your answer in the form
a + b

c
d
, where a, b, c, d are inte-
gers."
Resoluo:
Comeo por calcular o radicando, notando que a fraco contnua
x =
1
2207
1
2207
verica
x =
1
2207 x
pelo que, como
1
2
_
2207 +

2207
2
4
_
2207, s poder ser
x =
2207

2207
2
4
2
e, aps alguns clculos
2207 x =
2207 + 987

5
2
;
106 AMRICO TAVARES
por este motivo
8

_
2207
1
2207
1
2207
=
8
_
2207 + 987

5
2
.
Para que
8
_
2207 + 987

5
2
=
a + b

c
d
ou, de forma equivalente,
d
8
2
_
2207 + 987

5
_
=
_
a + b

c
_
8
,
com a, b, c inteiros, necessrio que d
8
/2 seja inteiro, pelo que d deve
ser par. Vou admitir que d = 2; por outro lado c dever ser igual a 5.
Ento,
2
7
_
2207 + 987

5
_
= 126 336

5 + 282 496 =
_
a + b

5
_
8
a + b

5 =
8
_
2
7
_
2207 + 987

5
_
a =
8
_
2
7
_
2207 + 987

5
_
b

5
Como, para b = 2
a =
8
_
2
7
_
2207 + 987

5
_
2

5 < 1
excluo esta possibilidade. Resta b = 1
a =
8
_
2
7
_
2207 + 987

5
_

5 5. 236 1 2. 236 1 = 3
Vou conrmar
_
3 +

5
_
8
= 126 336

5 + 282 496.
A soluo pedida a que cheguei foi
8

_
2207
1
2207
1
2207
=
3 +

5
2
(16.2)
Nota: o clculo de
_
3 +

5
_
8
= 126 336

5 + 282 496
PROBLEMAS | TEOREMAS 107
pode ser feito mo da seguinte forma:
_
3 +

5
_
2
= 6

5 + 14
_
3 +

5
_
4
=
_
6

5 + 14
_
2
= 168

5 + 376
_
3 +

5
_
8
=
_
168

5 + 376
_
2
= 126 336

5 + 282 496.
16.2. English version of the Putnam problem of the day, HMD,
March 1, 2008.
On March 1, 2008, the Putnam problem of the day displayed on
the Harvards Math Department site
[http://www.math.harvard.edu/putnam/index.html]
was stated as follows:
"Evaluate
8

_
2207
1
2207
1
2207
(16.3)
Express your answer in the form
a + b

c
d
, where a, b, c, d are inte-
gers."
Solution:
To evaluate the radicand I start by seeing that the continued frac-
tion
x =
1
2207
1
2207
satises
x =
1
2207 x
.
Thus, since
1
2
_
2207 +

2207
2
4
_
2207, the only solution left is
x =
2207

2207
2
4
2
.
A few algebraic manipulations give
2207 x =
2207 + 987

5
2
;
108 AMRICO TAVARES
hence
8

_
2207
1
2207
1
2207
=
8
_
2207 + 987

5
2
.
In order to have
8
_
2207 + 987

5
2
=
a + b

c
d
or equivalently,
d
8
2
_
2207 + 987

5
_
=
_
a + b

c
_
8
,
with a, b, c integers, d
8
/2 should also be an integer; therefore d should
be even. I assume that d = 2; On the other hand c should be 5. Thus,
2
7
_
2207 + 987

5
_
= 126 336

5 + 282 496 =
_
a + b

5
_
8
a + b

5 =
8
_
2
7
_
2207 + 987

5
_
a =
8
_
2
7
_
2207 + 987

5
_
b

5.
Since, for b = 2
a =
8
_
2
7
_
2207 + 987

5
_
2

5 < 1,
this possibility is excluded. It remains b = 1
a =
8
_
2
7
_
2207 + 987

5
_

5 5. 236 1 2. 236 1 = 3
Now I conrm
_
3 +

5
_
8
= 126 336

5 + 282 496.
So, the solution I found was
8

_
2207
1
2207
1
2207
=
3 +

5
2
. (16.4)
Remark: the calculation of
_
3 +

5
_
8
= 126 336

5 + 282 496
PROBLEMAS | TEOREMAS 109
can be done by hand as follows
_
3 +

5
_
2
= 6

5 + 14
_
3 +

5
_
4
=
_
6

5 + 14
_
2
= 168

5 + 376
_
3 +

5
_
8
=
_
168

5 + 376
_
2
= 126 336

5 + 282 496.
17. Iinio oi . ici:.i ixi.:io:Iinoo i :. zi:.
17.1. My solution to the Problem Of the Week-9 [Todd and
Vishals blog]: Period of a decimal expansion. Find the length
of the period of the repeating decimal representation of
1
65537
.
http://topologicalmusings.wordpress.com/2008/08/23/pow-9-period-
of-a-decimal-expansion/
My Solution:
The repeating decimal representation of the number 1/65537 is
1
65537
= 0.
65536 digits
000 015 258 556 . . . cba .
Let p be a prime number. The period of the repeating decimal of
1/p is equal to the order of 10 (mod p) and is either p 1 or a divisor
of p 1. Since 65537 is a prime number, the period of the repeating
decimal of 1/65537 is either 65536 or a divisor of 65536 = 2
16
. These
divisors are
k = 2
0
, 2
1
, 2
2
, 2
3
, . . . , 2
16
.
By the denition of the order of 10 (mod 65537), I have to found
the smallest of these k = 2
m
such that
10
k
1 (mod 65537) ,
which means
_
10
(2
m
)
1
_
/65537 should be an integer.
Since
10 1 < 10
2
1 < 10
4
1 < 65537.
the remaining cases are m = 3, 4, . . . , 16. Fromthese I have checked
in PARI that only
10
65536
1
65537
= 669179 . . . 526527
is an integer. For instance
10
16
1
65537
=
999999999999999
65537
/ Z.
110 AMRICO TAVARES
Conclusion: the length of the period of the repeating decimal rep-
resentation of
1
65537
is 65536.
17.2. Verso portuguesa da minha resoluo do Problem Of
the Week-9 [Todd and Vishals blog]: Perodo de uma dzima.
A resoluo do Problema a seguir enunciado foi aceite.
Determine o comprimento do perodo da dzima [innita] de
1
65537
.
http://topologicalmusings.wordpress.com/2008/08/23/pow-9-period-
of-a-decimal-expansion/
Eis a minha Resoluo traduzida:
A dzima que representa o nmero 1/65537
1
65537
= 0.
65536 dgitos
000 015 258 556 . . . cba .
Seja p um nmero primo. O perodo da dzima decimal de 1/p
igual ordem de 10 (modp) e ou p 1 ou um seu divisor. Uma
vez que 65537 um nmero primo, o perodo da representao em
dzima decimal peridica de 1/65537 , pois, ou 65536 ou um divisor
de 65536 = 2
16
. Estes divisores so
k = 2
0
, 2
1
, 2
2
, 2
3
, . . . , 2
16
.
Por denio de ordem de 10 (mod 65537), tenho de determinar o
menor destes k = 2
m
tal que
10
k
1 (mod 65537) ,
o que quer dizer que
_
10
(2
m
)
1
_
/65537 ter de ser inteiro.
Dado que
10 1 < 10
2
1 < 10
4
1 < 65537,
os restantes casos so os de m = 3, 4, . . . , 16. Destes veriquei em PARI
que apenas
10
65536
1
65537
= 669179 . . . 526527
inteiro. Por exemplo,
10
16
1
65537
=
999999999999999
65537
/ Z.
Concluso: o comprimento do perodo da dzima que representa
1
65537
65536.
PROBLEMAS | TEOREMAS 111
18. Co:on:ci. i i\iiiiii.i Co:oni:ci .:
Di\iiiiii1.
18.1. A Purdue University Problem of the Week, Problem No.
12 (Spring 2009 Series). "Problem: For howmany positive integers
x 10, 000 is 2
x
x
2
not divisible by 7?
Justify your answer without the use of computers."
http://www.math.purdue.edu/pow/spring2009/pdf/problem12.pdf
Here is my solution (accepted).
If a b (modm), then a
n
b
n
(mod m). Applied to 2
n
this
property gives in general for n = 3k + s, 1 s 3, 0 k
2
n
2
s
(mod 7) , (*)
which means that the remainders of the division of 2
n
by 7 form a
periodic sequence of length 3 starting at n = 1
period
..
2, 4, 1,
3 terms
..
2, 4, 1, . . . .
As for n
2
since (a) if a b (modm) and c d (mod m), then a+c
b + d (modm) and (b) if a b (mod m), then a
2
b
2
(modm),
we have in general for n = 7j + r, 1 r 7, 0 j
n
2
r
2
(mod 7) (**)
which means that the remainders of the division of n
2
by 7 form a
periodic sequence of length 7 starting at n = 1
period
..
1, 4, 2, 2, 4, 1, 0,
7 terms
..
1, 4, 2, 2, 4, 1, 0, . . . ,
If a b (mod m) and c d (mod m), then ac bd (modm).
Let u
n
= 2
n
n
2
. Therefore from (*) and (**) we have
u
n
2
s
r
2
(mod7) . (***)
The remainders of the division of u
n
by 7 form another periodic se-
quence of length 21 = lcm(3, 7) which starts also at n = 1. Four exam-
ples of the evaluation of these remainders are presented below.
For 1 n 21 the following 15 terms are not divisible by 7:
u
1
, u
3
, u
7
, u
8
, u
9
, u
11
, u
12
, u
13
, u
14
, u
16
, u
17
, u
18
, u
19
, u
20
, u
21
.
Hence for 1 n 9996 = 21
_
10000
21
_
, there are 15
_
10000
21
_
=
7140 terms that are not divisible by 7.
From the remaining 4 terms u
9997
and u
9999
are not divisible by
7, which gives a total of 7140 + 2 = 7142 numbers u
n
= 2
n
n
2
not
divisible by 7.
112 AMRICO TAVARES
Four examples of the evaluation of the remainders:
u
9
= 2
9
9
2
(9 = 3 2 + 3, s = 3, 9 = 7 1 + 2, r = 2)
2
9
2
3
(mod 7) 1 (mod 7)
9
2
2
2
(mod 7) 4 (mod 7)
u
9
2
3
2
2
mod7 3 mod 7
u
10
= 2
10
10
2
(10 = 3 3 + 1, s = 1, 10 = 7 1 + 3, r = 3)
2
10
2
1
(mod 7) 2 (mod 7)
10
2
3
2
(mod 7) 2 (mod 7)
u
10
2
1
3
2
(mod 7) 0 (mod 7)
u
9997
= 2
9997
9997
2
(9997 = 33332+1, s = 1, 9997 = 71428+
1, r = 1)
2
9997
2
1
(mod 7) 2 (mod 7)
9997
2
1
2
(mod 7) 1 (mod 7)
u
9997
2
9997
9997
2
(mod 7) 1 (mod 7)
u
9998
= 2
9998
9998
2
(9998 = 33332+2, s = 2, 9997 = 71428+
2, r = 2)
2
9998
2
2
(mod 7) 4 (mod 7)
9997
2
2
2
(mod 7) 4 (mod 7)
u
9998
2
9998
9997
2
(mod 7) 0 (mod 7)
18.2. Traduo portuguesa de um Problema da Purdue Uni-
versity Problem No. 12 (Spring 2009 Series). Traduo do enun-
ciado do Problema original:
http://www.math.purdue.edu/pow/spring2009/pdf/problem12.pdf
Para quantos inteiros positivos x 10000 que 2
x
x
2
no
divisvel por 7?
Justique a sua resposta sem utilizar o computador.
"For how many positive integers x 10, 000 is 2
x
x
2
not divisible
by 7?
Justify your answer without the use of computers."
Eis a traduo da minha resoluo (aceite):
Se a b (modm), ento a
n
b
n
(mod m). Esta propriedade
aplicada a 2
n
d em geral, para n = 3k + s, 1 s 3, 0 k
2
n
2
s
(mod 7) , (*)
PROBLEMAS | TEOREMAS 113
o que signica que os restos da diviso de 2
n
por 7 formamuma sucesso
peridica de comprimento 3 com incio em n = 1
perodo
..
2, 4, 1,
3 termos
..
2, 4, 1 , . . . .
Quanto a n
2
, dado que: a) if a b (mod m) e c d (modm),
ento a + c b + d (mod m) e b) se a b (mod m), ento a
2

b
2
(modm), temos em geral, para n = 7j + r, 1 r 7, 0 j
n
2
r
2
(mod 7) (**)
o que quer dizer que os restos da diviso de n
2
por 7 formam uma
sucesso peridica de comprimento 7 que comea em n = 1
perodo
..
1, 4, 2, 2, 4, 1, 0,
7 termos
..
1, 4, 2, 2, 4, 1, 0, . . . ,
Se a b (modm) e c d (mod m), ento ac b d (modm).
Seja u
n
= 2
n
n
2
. Em consequncia de (*) e (**) obtemos
u
n
2
s
r
2
mod 7. (***)
Os restos da diviso de u
n
por 7 formam outra sucesso peridica de
comprimento 21 = mmc (3, 7) que se inicia tambm em n = 1. Apre-
sentamos em baixo quatro exemplos da determinao destes restos.
Para 1 n 21 os seguintes 15 termos no so divisveis por 7:
u
1
, u
3
, u
7
, u
8
, u
9
, u
11
, u
12
, u
13
, u
14
, u
16
, u
17
, u
18
, u
19
, u
20
, u
21
.
Assim para 1 n 9996 = 21
_
10000
21
_
, h 15
_
10000
21
_
= 7140
termos que no so divisveis por 7.
Dos restantes 4 termos u
9997
e u
9999
no so divisveis por 7, o que
d um total de 7140 + 2 = 7142 nmeros u
n
= 2
n
n
2
no divisveis
por 7.
Quatro exemplos do clculo dos restos:
u
9
= 2
9
9
2
(9 = 3 2 + 3, s = 3, 9 = 7 1 + 2, r = 2)
2
9
2
3
(mod 7) 1 (mod 7)
9
2
2
2
(mod 7) 4 (mod 7)
u
9
2
3
2
2
mod7 3 mod 7
u
10
= 2
10
10
2
(10 = 3 3 + 1, s = 1, 10 = 7 1 + 3, r = 3)
2
10
2
1
(mod 7) 2 (mod 7)
10
2
3
2
(mod 7) 2 (mod 7)
u
10
2
1
3
2
(mod 7) 0 (mod 7)
114 AMRICO TAVARES
u
9997
= 2
9997
9997
2
(9997 = 33332+1, s = 1, 9997 = 71428+
1, r = 1)
2
9997
2
1
(mod 7) 2 (mod 7)
9997
2
1
2
(mod 7) 1 (mod 7)
u
9997
2
9997
9997
2
(mod 7) 1 (mod 7)
u
9998
= 2
9998
9998
2
(9998 = 33332+2, s = 2, 9997 = 71428+
2, r = 2)
2
9998
2
2
(mod 7) 4 (mod 7)
9997
2
2
2
(mod 7) 4 (mod 7)
u
9998
2
9998
9997
2
(mod 7) 0 (mod 7)
19. Lxinccio: ino\.n qi oi iii\.o . 88 :.i 1n
iii\.o . 88 :\o i ini:o
Provar que 2
33
+ 3
33
um nmero composto.
[do Vestibular da UFPE, 2008]
Para n = 1 + 4k (com k = 1, 2, . . . ) as potncias 2
n
e 3
n
terminam (*), respectivamente, em 2 e 3; a sua soma 2
33
+3
33
termina
por isso em 5. Ora
2
33
+ 3
33
= 2
1+48
+ 3
1+48
e, consequentemente, 2
33
+ 3
33
divisvel por 5, logo no primo.
(*) Por exemplo: 2
1
= 2, 2
2
= 4, 2
3
= 8, 2
4
= 16, 2
5
= 32, 2
6
=
64, 2
7
= 128, 2
8
= 256, 2
9
= 512, . . .
3
1
= 3, 3
2
= 9, 3
3
= 27, 3
4
= 81, 3
5
= 243, 3
6
= 729, 3
7
= 2187, 3
8
=
6561, 3
9
= 19683, . . .
Mtodo alternativo: de uma forma mais rigorosa e aproveitando
uma ideia desenvolvida neste artigo pode justicar-se este resultado da
seguinte maneira.
Se a b (modm), ento a
n
b
n
. Esta propriedade aplicada a
2
n
d em geral, para n = 4k + s, 1 s 3 , 0 k
2
n
2
s
(mod 5) (*)
o que signica que os restos da diviso de 2
n
por 5 formamuma sucesso
peridica de comprimento 4 com incio em n = 1
perodo
..
2, 4, 3, 1,
4 termos
..
2, 4, 3, 1, . . .
PROBLEMAS | TEOREMAS 115
Aplicada a 3
n
(n = 4k + s,1 s 3 , 0 k) d
3
n
3
s
(mod 5) (**)
o que signica que os restos da diviso de 3
n
por 5 formamuma sucesso
peridica de comprimento 4 com incio n = 1
perodo
..
3, 4, 2, 1,
4 termos
..
3, 4, 2, 1, . . .
Se a b (modm) e c d (mod m), ento ac b d (modm).
Em consequncia de (*) e (**)
2
n
+ 3
n
2
s
+ 3
s
(mod 5) (***)
Os restos da diviso de 2
n
+ 3
n
por 5 formam outra sucesso peridica
de comprimento 4 que se inicia tambm em n = 1
perodo
..
0, 3, 0, 2,
4 termos
..
0, 3, 0, 2, . . .
Logo para n mpar, 2
n
+ 3
n
divisvel por 5, pelo que 2
33
+ 3
33
no
primo.
Ou ento calcula-se simplesmente 33 = 4 8 + 1,s = 1 e
2
33
2
1
(mod 5)
3
33
3
1
(mod 5)
donde 2
33
+ 3
33
2
1
+ 3
1
(mod 5) 0 (mod 5) visto que
5 0 (mod 5) .
20. Lxi:iio i c\icio ii:.:ciino
20.1. Base dos logaritmos naturais e juros. A base e dos logar-
itmos naturais log x = log
e
(x) aparece no clculo nanceiro no caso
limite em que a taxa de juro continuamente composta.
Vou comear pelo caso discreto.
Admitamos que num determinado contrato se aplica, em cada
trimestre, uma taxa de juro i composta (trimestralmente, ou seja, qua-
tro vezes por ano). A taxa nominal i
N
ento
i
N
= 4i,
pelo que
i =
i
N
4
.
Se o capital investido no incio for P, os montantes futuros F ao
m dos vrios perodos trimestrais sero:
1
o
. trimestre: F
1
= P (1 + i)
2
o
. trimestre: F
2
= P (1 + i)
2
3
o
. trimestre: F
3
= P (1 + i)
3

116 AMRICO TAVARES
trimestre n : F
n
= P (1 + i)
n
= P
_
1 +
i
N
4
_
n
.
Se em vez de 4 perodos de capitalizao, houver m, passaremos a
ter ao m desses m perodos, o montante
F
m
= P (1 + i)
m
= P
_
1 +
i
N
m
_
m
Por isso
F
m
P = P
__
1 +
i
N
m
_
m
1
_
ou
F
m
P
P
=
_
1 +
i
N
m
_
m
1,
o que traduz a taxa efectiva i
E
do contrato, ou seja, a relao entre os
juros durante um ano e o capital P, conhecido por principal.
Exemplos numricos: Se a taxa nominal do contrato for de 12%
ao composta
semestralmente, a taxa efectiva ser i
E
=
_
1 +
0, 12
2
_
2
1
12, 36%
trimestralmente, i
E
=
_
1 +
0, 12
4
_
4
1 12, 55%
mensalmente, i
E
=
_
1 +
0, 12
4
_
4
1 12, 68%
ao dia, i
E
=
_
1 +
0, 12
365
_
365
1 12, 75%
E o que acontece se a taxa for composta em innitos perodos? a
chamada composio contnua. Corresponde, neste exemplo, ao limite
de
i
E
=
_
1 +
0, 12
m
_
m
quando m tende para +.
Como bem sabido do incio da Anlise,
lim
m
i
E
= lim
m
_
1 +
0, 12
m
_
m
1 = lim
m
_
_
1 +
0, 12
m
_
m/0,12
_
0,12
1
= e
0,12
1 12, 75%
No caso geral da taxa i
N
= r (para simplicar a notao que se segue)
ser
i
E
=
_
1 +
r
m
_
m
1 = lim
m
_
_
1 +
r
m
_
m/r
_
r
1 = e
r
1.
PROBLEMAS | TEOREMAS 117
Em resumo, na composio contnua, a relao entre as taxas de
juro nominal r e efectiva i
E,m
dada por
i
E,m
= lim
m
i
E
= e
r
1.
20.2. Logaritmos nos clculos nanceiros. Suponha o leitor que
pretende determinar a taxa nominal anual que composta mensalmente
origina uma taxa efectiva de 19, 56%. A relao entre a taxa efectiva
(i
E
) e a nominal (i
N
) dada pela conhecida igualdade
i
E
=
_
1 +
i
N
m
_
m
1,
em que m o nmero de perodos de capitalizao.
Numericamente ser:
0, 1956 =
_
1 +
i
N
12
_
12
1
ln 1, 1956 = ln
_
1 +
i
N
12
_
12
0.014887 = 12 ln
_
1 +
i
N
12
_
Agora calcula-se o anti-logaritmo:
e
0,014887
= 1 +
i
N
12
e como e
0,014887
= 1, 014999,
1, 014999 = 1 +
i
N
12
ou
0, 014999 =
i
N
12
0, 0179988 = i
N
A taxa nominal anual pois igual a 18%.
Sobre o comportamento de
i
E
=
_
1 +
i
N
m
_
m
1
quando m tende para innito, veja a seco anterior.
20.3. Srie uniforme de pagamentos: formao de capital. Ad-
mita agora o leitor que constitui um fundo, fazendo uma sequncia de
n pagamentos constantes A taxa de juro i e que pretende saber qual
a relao entre o capital F, ao m dos n perodos, e o valor de A.
118 AMRICO TAVARES
O primeiro pagamento rende juros durante n 1 perodos. O se-
gundo, durante n2 e, em geral, o do perodo k, durante nk perodos.
Ento, o valor futuro correspondente ao pagamento do perodo k
F
k
= A(1 + i)
nk
.
Se somarmos todos os valores futuros F
k
, para k = 1, 2, . . . , n, aten-
dendo frmula da soma dos primeiros n termos de uma progresso
geomtrica de razo c e primeiro termo u
1
, que igual a
u
1
c
n
1
c 1
,
emque, neste caso, u
1
= A (ver a seguir

n
m=1
A(1 + i)
m1
) e c = 1+i,
obtm-se
F =
n

k=1
F
k
=
n

k=1
A(1 + i)
nk
=
n

m=1
A(1 + i)
m1
= A
(1 + i)
n
1
i
.
Se exprimirmos A em funo de F, vir
A = F
i
(1 + i)
n
1
.
Trs condies importantes de aplicao destas frmulas so: os paga-
mentos A so uniformes e equidistantes entre si, efectuando-se no nal
de cada perodo, e a taxa de juro i permanece inalterada.
Exemplos numricos: qual a quantia que deve ser depositada an-
ualmente, durante dez anos, numa conta, taxa de juro de 5%, de
modo que o seu saldo venha a ser igual a 10000 unidades monetrias?
E durante 20 anos? E se a taxa de juro for de 10%?
Neste caso devemos determinar A, conhecida a taxa de juro i = 5%
e o valor futuro F = 10000, para n = 10 :
A = F
i
(1 + i)
n
1
= 10000
0, 05
(1 + 0, 05)
10
1
= 795, 05 unidades monetrias.
Para n = 20
A = 10000
0, 05
(1 + 0, 05)
20
1
= 302, 43 unidades monetrias.
Se i = 10%, tem-se, para dez e 20 anos, respectivamente, 627, 45 e
174, 60 unidades monetrias, claro que muito menos.
Ao m de n anos, no caso limite em que a taxa de juro continua-
mente composta, se a taxa nominal for r, a taxa efectiva, como mostrei
na seco 1 igual a e
r
1, pelo que a relao anterior da formao de
capital se traduz em
A = F
e
r
1
e
rn
1
Por ltimo apresento o grco da relao F/A em funo da taxa
de juro i para n = 10 perodos
PROBLEMAS | TEOREMAS 119
0.25 0.2 0.15 0.1 0.05 0
30
25
20
15
10
5
0
taxa i
F/A
taxa i
F/A
F/A em funo da taxa de juro i, (n = 10)
20.4. Outro exerccio de clculo nanceiro: srie uniforme e
recuperao de capital. Foram emprestadas 100 000 unidades mon-
etrias taxa de juro (nominal anual) de 7% capitalizada semestral-
mente. O reembolso ser feito semestralmente, em capital e juros, du-
rante 30 anos.
Qual a parte da dvida que falta pagar ao m de 10 anos?
No caso geral, teremos de calcular o valor dos pagamentos con-
stantes A dado o valor do capital principal P.
Durante n perodos, neste caso semestrais, so pagos A unidades
monetrias em cada. O valor A do perodo k equivale ao valor presente
de A/ (1 + i)
k
unidades monetrias, em que i a taxa de juro em
cada perodo de capitalizao. Se somarmos em k, de 1 a n, obtemos o
somatrio
n

k=1
A
(1 + i)
k
Como noutros casos anteriores de clculo nanceiro j expostos,
deparamo-nos com a soma de uma progresso geomtrica, neste caso
de razo c = 1/(1 + i) e primeiro termo u
1
= A/ (1 + i):
u
1
c
n
1
c 1
=
A
1 + i
_
1
1 + i
_
n
1
1
1 + i
1
= A
(1 + i)
n
1
i (1 + i)
n
Esta soma h-se naturalmente ser igual a P:
P = A
(1 + i)
n
1
i (1 + i)
n
donde
A = P
i (1 + i)
n
(1 + i)
n
1
120 AMRICO TAVARES
Regressando ao exemplo, o reembolso feito em n = 60 semestres,
sendo a taxa i = 7/2% e P = 100 000, pelo que
A = 100 000
0, 035 (1, 035)
60
(1, 035)
60
1
= 4009 unidades monetrias.
O valor do emprstimo ao m de 20 semestres
100 000 (1 + 0, 035)
20
= 198 979 unidades monetrias.
As rendas pagas ao m de 20 semestres correspondem ao valor
futuro F da srie de pagamentos semestrais A, no m do perodo 20.
Como vimos na formao de capital
A = F
i
(1 + i)
n
1
ou
F = A
(1 + i)
n
1
i
ou seja, neste caso
F = 4009
1.035
n
1
0, 035
= 113 373 unidades monetrias.
A dvida que falta pagar ao m de 10 anos ento
198 979 113 373 = 85 605 unidades monetrias.
21. Inoiii:. iooico, i:io:. i .i\i:i.
21.1. Descobrir a moeda falsa. Texto do desao "A moeda con-
trafeita", de Antnio Frazo, do blog
Ferrao.org :
Imagine o leitor que est perante um conjunto de 27 moedas de
ouro e uma balana mecnica de braos iguais. Dispe apenas deste
material.
-lhe dito:
- H uma moeda falsa.
- Que nmero mnimo de operaes com a balana ser necessrio
efectuar para se determinar com certeza qual a moeda falsa?
Ver meu comentrio
[http://problemasteoremas.wordpress.com/2008/04/20/
matematica-de-1%c2%aa-por-um-matematico-de-1%c2%aa/#comment-251]
Passo a expor um mtodo para conseguir determinar a moeda falsa
do conjunto das 27, sem se saber se ela mais ou menos pesada do que
as restantes.
Para facilidade de exposio designo o conjunto das moedas por
M = {m
1
, m
2
, . . . , m
27
}.
PROBLEMAS | TEOREMAS 121
Divido este conjunto emtrs outros, comnove moedas cada, M
I
, M
II
eM
III
, respectivamente
M
I
= {m
1
, m
2
, . . . , m
9
}
M
II
= {m
10
, m
11
, . . . , m
18
}
M
III
= {m
19
, m
20
, . . . , m
27
} .
A seguir fao as seguintes pesagens:
Passo 1 - coloco num dos pratos da balana as moedas do conjunto
M
I
e no outro as do M
II
. Se a balana car em equilbrio, a moeda
falsa pertence ao conjunto M
III
e prossigo para o passo 5. Seno, para
o passo 2.
Passo 2 - substituo as moedas do prato mais elevado pelas de M
III
e vejo se o pratos se equilibram, o que indicaria que uma das moedas do
prato que estava mais elevado era mais leve. Se no houver equilbrio
da balana, vejo qual dos pratos pesa menos: se for o das moedas M
III
,
porque uma das moedas do outro prato mais pesada; caso contrrio,
uma das moedas do outro prato mais leve.
Passo 3 - das nove moedas que tm peso diferente, escolho seis e
coloco trs em cada prato. Se a balana car equilibrada porque uma
das trs restantes falsa. Seno, a moeda falsa a do prato mais leve
ou mais pesado, conforme se tenha visto no passo 2 que a moeda falsa
mais leve ou mais pesada.
Passo 4 - coloco uma do grupo das falsas em cada prato: se a
balana car equilibrada a falsa a que cou de fora. Caso contrio,
a do prato mais leve ou mais pesado, conforme se tenha visto no passo
2 que a moeda falsa mais leve ou mais pesada. FIM.
Passo 5 - das nove moedas de M
III
, escolho seis e coloco trs
em cada prato. Se a balana car equilibrada porque uma das trs
restantes falsa. FIM. Seno, prossigo para o passo 8.
Passo 6 - coloco uma do grupo das falsas em cada prato: se a
balana car equilibrada a falsa a que cou de fora. FIM. Se no
houver equilbrio da balana, vejo qual dos pratos pesa menos.
Passo 7 - comparo a moeda do prato que pesa menos com a moeda
que cou de fora: a que pesava menos falsa se continuar a pesar menos,
caso contrio a que est no prato que pesa mais. FIM.
Passo 8 - transro duas moedas do prato mais leve para o mais
pesado e uma do mais pesado para o mais leve, cando duas moedas
em cada prato. Podem acontecer trs situaes:
a balana car desequilibrada para o mesmo lado a moeda
falsa a que no foi mexida; FIM.
a balana continuar desequilibrada, mas com inverso do sen-
tido do desiquilbrio a moeda falsa a que foi transferida do
prato mais pesado; FIM.
a balanar car equilibrada fao uma ltima pesagem no passo
9.
122 AMRICO TAVARES
Passo 9 - escolho uma das duas moedas que no foram transferidas
de prato e comparo o seu peso com qualquer das moedas de M
I
ou M
II
,
que sei no ser falsa. Podem acontecer dois casos:
a balana car equilibrada a moeda falsa a que no foi
pesada; FIM.
a balana car desequilibrada a moeda falsa a que est no
prato mais pesado. FIM.
Os casos possveis so ento:
Passo 1, Passo 5, Passo 6: 3 pesagens
Passo 1, Passo 5: Passo 6, Passo 7: 4 pesagens
Passo 1, Passo 5, Passo 8: 3 pesagens
Passo 1, Passo 5, Passo 8, Passo 9: 4 pesagens
Passo 1, Passo 2, Passo 3, Passo 4: 4 pesagens
Por este mtodo consegue-se isolar a moeda falsa em 4 pesagens
no mximo.
NOTA: por abuso de linguagem digo prato mais leve e mais pesado
querendo signicar o prato com o conjunto de moedas menos ou mais
pesado.
Uma abordagem que parte do princpio que a moeda falsa mais
leve do que as restantes, devido a haver pouqussimos metais mais
densos do que o ouro (veja comentrio de Antnio Ferro
[http://problemasteoremas.wordpress.com/2008/05/14/
moeda-falsa/#comment-253]),
traduz-se, com uma forma de esquematizao idntica de acima, em:
Fao as seguintes pesagens:
Passo 1 - coloco num dos pratos da balana as moedas do conjunto
M
I
e no outro as do M
II
. Se a balana car em equilbrio, a moeda
falsa pertence ao conjunto M
III
. Se desiquilibar a moeda falsa uma
das que est no prato mais leve.
Passo 2 - das nove moedas que incluem a falsa, escolho seis e coloco
trs em cada prato. Se a balana car equilibrada porque uma das
trs restantes falsa. Seno, porque a moeda falsa est no prato mais
leve.
Passo 3 - coloco uma do grupo das falsas em cada prato: se a
balana car equilibrada a falsa a que cou de fora. FIM. Se no
houver equilbrio da balana, vejo qual dos pratos pesa menos: nele
est a moeda falsa. FIM.
Estas 3 pesagens so sucientes para identicar a moeda falsa.
(Adaptado do comentrio de Luisa Novo no post
PROBLEMAS | TEOREMAS 123
[http://ferrao.org/2008/04/moeda-contrafeita.html]:
3 pesagens no mnimo.
1
a
em conjuntos de nove moedas em cada prato
2
a
em conjuntos de 3 em cada prato
3
a
uma em cada prato
Sempre que a balana equilibre com 2 conjuntos, a moeda falsa
estar 3
o
conjunto no grupo que cou de fora. Cada vez que a balana
desequilibrar a moeda estar no prato com menos peso. )
Este mtodo generalizvel a qualquer conjunto de 3
n
moedas, em
que apenas uma seja mais leve do que as restantes. So sucientes n
pesagens para identicar a moeda contrafeita.
Neste post
[http://www.smart-kit.com/s352/
good-math-mind-bender-which-coin-is-the-countefeit/]
poder encontrar, em ingls, um problema semelhante para 8 moedas.
Nesta entrada de Antnio Chaves Ferro
[http://ferrao.org/2008/05/
amrico-tavares-moeda-contrafeita.html]
poder encontrar uma explicao sobre a ligao deste problema teo-
ria da informao de Shannon, e a considerao da possibilidade terica
de fabricar uma moeda contrafeita por deposio electroltica de uma
camada externa de ouro num ncleo de volfrmio. Como este metal
possui a mesma massa volmica que o ouro, ca aberta uma terceira
hiptese, a de que a moeda contrafeita tenha o mesmo peso que as gen-
uinas. O problema, colocado nestes termos, deixa de poder ser resolvido
com recurso a uma balana.
21.2. Enigma dos produtos iguais. ENUNCIADODOENIGMA:
A partir dos dgitos 0, 1, 2, 3, 4, 5, 6, 7, 8 e 9 constitua dois grupos de
cinco dgitos todos diferentes entre si e disponha-os de modo a formar
duas multiplicaes cujo resultado seja igual.
Por exemplo
=
ou
=
em que cada dgito aparece uma e uma s vez.
Encontre o menor e o maior resultados possveis e os respectivos
factores.
124 AMRICO TAVARES
Os leitores que o entendam, podero apresentar-me a soluo, se
possvel justicada, at 15 de Setembro de 2008 (com tolerncia de
duas semanas!), que publicarei.
Adaptado de [15, Enigma 90, Os Cubos Numerados], onde se en-
contra uma exposio mais desenvolvida e as duas respostas, mas no
a sua justicao.
O leitor Antnio Ferro chegou seguinte soluo, quanto ao maior
resultado possvel do enigma a seguir enunciado:
915 64 = 732 80 = 58560
obtida atravs do programa escrito em PARI/GP indicado no comen-
trio 3, que aqui reproduzo para o destacar e para uma visualizao
com indentao correcta de espaos (ver meu comentrio 5).
Comentrio 3:
Caro Amrico Tavares
Eis os resultados que encontrei com a ajuda do pari-gp (great
processor)
Expresses da forma:
x*y=z*w, sendo x e z dois nmeros decimais de quatro dgitos e y
e w dois nmeros decimais de trs dgitos.
Condio: nenhum dgito se pode repetir em qualquer posio dos
quatro nmeros: x,y,z e w.
Acondio fora a considerar todas as permutaes dos dez dgitos,
que se espalham entre os factores.
Nmero total de parmutaes: 10!=3628800.
Resultados do programa para determinao do produto mais ele-
vado:
[10, 2, 6, 7, 5, 8, 4, 3, 9, 1]
915*64=732*80=58560
Os dgitos dos factores so extraidos da permutao reduzindo uma
unidade.
O programa fonte:
/* File produto.gp */
/* Resolucao de um problema de Americo Tavares
no blog problemas e teoremas */
maxprod=0;
for (i = 0, 10!-1,perm=numtoperm(10,i);\
x=(perm[1]-1)*100+(perm[2]-1)*10+(perm[3]-1);\
y=(perm[4]-1)*10+(perm[5]-1);\
w=(perm[6]-1)*100+(perm[7]-1)*10+(perm[8]-1);\
z=(perm[9]-1)*10+(perm[10]-1);\
p=x*y;\
q=w*z;\
PROBLEMAS | TEOREMAS 125
if(p==q && p>maxprod,maxprod=p;\
permmax=perm;\
xmax=x;\
ymax=y;\
wmax=w;\
zmax=z;\
);\
);\
print(permmax);print(xmax,*,ymax,=,wmax,*,zmax,=,maxprod);\
quit;
Resultados do programa para determinao do produto mais baixo:
[9, 10, 8, 1, 5, 2, 6, 7, 3, 4]
897*04=156*23=3588
Fonte gp para a determinao do menor produto:
/* File produto.gp */
/* Resolucao de um problema de Americo Tavares
no blog problemas e teoremas */
minprod=9999*99;
for (i = 0, 10!-1,perm=numtoperm(10,i);\
x=(perm[1]-1)*100+(perm[2]-1)*10+(perm[3]-1);\
y=(perm[4]-1)*10+(perm[5]-1);\
w=(perm[6]-1)*100+(perm[7]-1)*10+(perm[8]-1);\
z=(perm[9]-1)*10+(perm[10]-1);\
p=x*y;\
q=w*z;\
if(p==q && p<minprod,minprod=p;\
permmin=perm;\
xmin=x;\
ymin=y;\
wmin=w;\
zmin=z;\
);\
);\
print(permmin);print(xmin,*,ymin,=,wmin,*,zmin,=,minprod);\
quit;\bigskip
Considerou expresses da forma x y = z w, sendo x e z dois
nmeros decimais de quatro dgitos e y e w dois nmeros decimais de
trs dgitos.
Condio: nenhum dgito se pode repetir em qualquer posio dos
quatro nmeros: x, y, z e w.
Acondio fora a considerar todas as permutaes dos dez dgitos,
que se espalham entre os factores.
Nmero total de permutaes: 10! = 3628800.
126 AMRICO TAVARES
Resultados do programa para determinao do produto mais ele-
vado:
[10, 2, 6, 7, 5, 8, 4, 3, 9, 1]
915 64 = 732 80 = 58560
Os dgitos dos factores so extraidos da permutao reduzindo uma
unidade.
e separadamente da forma xe wcom5 dgitos e y e z com1 dgito
que conduz a um resultado inferior.
Programa fonte para determinao do produto mais ele-
vado
maxprod=0;
for (i = 0, 10!-1,perm=numtoperm(10,i);\
x=(perm[1]-1)*100+(perm[2]-1)*10+(perm[3]-1);\
y=(perm[4]-1)*10+(perm[5]-1);\
w=(perm[6]-1)*100+(perm[7]-1)*10+(perm[8]-1);\
z=(perm[9]-1)*10+(perm[10]-1);\
p=x*y;\
q=w*z;\
if(p==q && p<maxprod,maxprod=p;\
permmax=perm;\
xmax=x;\
ymax=y;\
wmax=w;\
zmax=z;\
);\
);\
print(permmax);print(xmax,*,ymax,=,wmax,*,zmax,=,maxprod);\
quit;
Comentrio 5
Caro Antnio
O seu resultado do produto mais elevado 915 64 = 732 80 =
58560 corresponde ao indicado pelo autor do livro.
Quanto ao menor, porque o autor parte do princpio de que o
dgito da esquerda de cada um dos nmeros no pode ser 0, coisa que
no referi, chega a outro.
Isto uma prova concreta de que, por vezes, no fcil redigir
enunciados curtos e 100% rigorosos.
Estou certo que poderia alterar o seu programa para incluir mais
esta restrio, mas nem sequer acho de bom gosto pedir-lhe que o faa.
Mostrou dominar a programao e conseguir utilizar o pari-gp
numa situao no trivial.
PROBLEMAS | TEOREMAS 127
S pena que nos comentrios se perca a indentao dos espaos,
o que torna mais difcil a leitura do seu programa.
Penso conseguir neste post ou noutro separado melhorar este as-
pecto.
Muito obrigado pela sua resposta.
21.3. Enigma, ou melhor, a falsa adivinha dos chocolates e da
idade. Do blogue A Matemtica anda por a (29-11-2008)
[http://amatematicaandaporai.blogspot.com/2008/11/
tua-idade-com-chocolates.html]
A TUA IDADE COM CHOCOLATES
NO VS DIRECTAMENTE AO FINAL
No demora mais de um minuto.
Faz os clculos conforme vais lendo o texto. . .
No leias o nal at que no acabes os clculos.
No vais perder tempo, vais-te divertir.
1. Quantas vezes por semana te apetece comer choco-
late? (deve ser um nmero maior que 0 vezes e menos
de 10 vezes)
2. Multiplica este nmero por 2 (para ser par)
3. Soma 5
4. Multiplica o resultado por 50 Vou esperar que
ponhas a calculadora a funcionar
5. Se zeste anos em 2008 soma 1758. Se ainda no
zeste anos soma 1757.
6. Agora subtrai o ano em que nasceste (nmero de
quatro dgitos).
O resultado um nmero de trs dgitos. O primeiro
dgito o nmero de vezes que te apetece comer choco-
late por semana.
Os dois nmeros seguintes so. . .
ATUAIDADE!!! (Siiiiiiimmmmmmm!!! ATua Idade!!!)
2008 OUNICOANO, EMTODAAETERNIDADE,
EM QUE ISTO FUNCIONA.
Quem consegue explicar isto?
A minha resposta/explicao publicada no blog foi:
O resultado R da forma R = 100q +i, em que q (q = 1, 2, . . . , 9)
o nmero de vezes que apetece comer chocolates numa semana e i a
idade, que pode ser, designando o ano de nascimento por n, 2008 n
ou 2007 n, consoante se tenha j feito ou no anos em 2008.
Os passos enunciados conduzem, respectivamente, aos nmeros
50(2q + 5) + 1758 n
ou
50(2q + 5) + 1757 n.
128 AMRICO TAVARES
Ora as identidades
50(2q + 5) + 1758 n = 100q + 2008 n
e
50(2q + 5) + 1757 n = 100q + 2007 n
mostram que o nmero da forma acima indicada e que a idade
efectivamente i = 2008 n ou i = 2007 n.
Acrescento agora que a idade deve ser menor do que cem!
21.4. Enigma: adivinha com nmeros, cartas, cores (e base 2).
Do A Matemtica anda por a
http://amatematicaandaporai.blogspot.com/2008/12/magia-
matemtica-adivinhar-um-nmero.html
Pede-se a uma pessoa que pense num nmero natural menor
ou igual a 60. De seguida pede-se que indique a cor das cartas onde
esse nmero aparece. Adicionando o menor nmero de cada uma das
cartas indicadas (ou seja, o nmero indicado no canto superior es-
querdo) descobre-se o nmero pensado ( por exemplo, se pensou no
38 ele aparece nas seguintes cartas: vermelha (2), azul escuro (4) e
roxo (32); ora 2+4+32=38).
Verica que resulta.
Porqu?
4 13 22 31 44 53
5 14 23 36 45 54
6 15 28 37 46 55
7 20 29 38 47 60
12 21 30 39 52
32 37 42 47 52 57
33 38 43 48 53 58
34 39 44 49 54 59
35 40 45 50 55 60
36 41 46 51 56
Carta azul escura Carta roxa
8 13 26 31 44 57
9 14 27 40 45 58
10 15 28 41 46 59
11 24 29 42 47 60
12 25 30 43 56
16 21 26 31 52 57
17 22 27 48 53 58
18 23 28 49 54 59
19 24 29 50 55 60
20 25 30 51 56
Carta laranja Carta azul clara
1 11 21 31 41 51
3 13 23 33 43 53
5 15 25 35 45 55
7 17 27 37 47 57
9 19 29 39 49 59
2 11 22 31 42 51
3 14 23 34 43 54
6 15 26 35 46 55
7 18 27 38 47 58
10 19 30 39 50 59

Carta verde Carta vermelha


PROBLEMAS | TEOREMAS 129
NOTA: SUGIRO QUE TENTE OBTER UMA EXPLICAO
SEM LER A MINHA.
A minha resposta/explicao publicada no blog foi:
No canto superior esquerdo das cartas esto os nmeros 1, 2, 4, 8, 16
e 32, ou seja, as potncias de base 2 e expoente, respectivamente,
0, 1, 2, 3, 4 e 5.
Estes nmeros s aparecem uma vez. Seja n um nmero natural
qualquer inferior a 51. Este nmero n pode decompor-se numa soma
das potncias de 2 atrs referidas. parte a ordem das parcelas, a
decomposio nica. Comeamos em n e subtramos-lhe uma destas
potncias de 2, por exemplo, a maior que seja menor ou igual n.
diferena obtida fazemos o mesmo, at chegarmos a uma das potncias
colocadas no canto superior esquerdo das cartas. Por exemplo n = 59;
calculamos sucessivamente
n 32 = 27,
27 16 = 11,
11 8 = 3,
3 2 = 1.
Por isso, n = 59 = 32 + 16 + 8 + 2 + 1. O que feito neste jogo
colocar o 59 nas cores correspondentes ao 32 (roxo), 16 (azul claro),
8 (laranja), 2 (vermelho) e 1 (verde). E fazer o mesmo com todos os
outros nmeros. O nmero do exemplo do enunciado (38) respeita este
critrio:
38 32 = 6,
6 4 = 2,
38 = 32 + 4 + 2,
aparecendo nas 3 cores indicadas. A propriedade comutativa da soma
assegura que a ordem de escolha das potncias irrelevante.
Muito interessante, sem dvida!
30 de Dezembro de 2008 22:52
A que acrescentei:
Vejo agora que A Matemtica anda por a no seu post logo a seguir
http://amatematicaandaporai.blogspot.com/2008/12/numerao-de-
base-2.html
tem essencialmente a mesma resposta!
30 de Dezembro de 2008 23:34
130 AMRICO TAVARES
21.5. Enigma lgico comcasas, pessoas, animais, . . . Arrumando
papis descobri uma folha com umas notas escritas por mim, na dcada
de 1970, sobre um enigma do qual tomei conhecimento na altura, e que
recentemente vi publicado na Internet, numa forma que no veriquei
se correspondia ao mesmo enunciado ou se era uma variante.
A lista de perguntas e a soluo so as que tenho na minha folha.
Apenas a inicio com o prximo pargrafo, que s agora escrevi.
Em cinco casas de cores diferentes situadas ao lado umas das
outras, moram cinco pessoas. Cada uma tem nacionalidade, idade,
prosso e animal de estimao diferentes, e nenhuma das bebidas que
tomam a mesma. Indicar para cada pessoa: a cor e ordem da casa, o
animal de que dono, a respectiva nacionalidade, prosso, idade e o
que bebe.
1 - o sexagenrio da casa azul detesta a tartaruga da casa ao lado;
2 - a pomba do polaco muito bem tratada pelo seu dono;
3 - ontem o metalrgico discutiu com o dono do co que mora na
casa ao lado, e apareceu o polcia da casa verde, que resolveu o assunto;
4 - o chileno mora na casa branca;
5 - bebe-se vinho na casa direita da qual se guarda a pomba;
6 - o velho da primeira casa esquerda bebe caf;
7 - o co do advogado brasileiro enfurece-se facilmente;
8 - na casa do meio bebe-se leite;
9 - guarda-se o peixe, ao lado da casa verde;
10 - o jovem que bebe whisky tem uma vida muito agitada;
11 - a casa azul ca direita da casa amarela;
12 - o homem de meia-idade vizinho do velho do gato;
13 - bebe-se ch ao lado da casa branca;
14 - o dono da casa azul pescador;
15 - a casa vermelha a mais prxima da casa branca;
16 - o americano mora ao lado do chins; e
17 - o trinto no vizinho do agricultor.
Soluo no justicada:
A cor da casa da esquerda para a direita, nacionalidade, prosso,
idade, bebida e animal de estimao so:
1. Branca: chileno, agricultor, velho, caf e gato.
2. Vermelha: brasileiro, advogado, meia-idade, ch e co.
3. Amarela: polaco, metalrgico, trinto, leite e pomba.
4. Azul: chins, pescador, sexagenrio, vinho e peixe.
5. Verde: americano, polcia, jovem, whisky, tartaruga.
PROBLEMAS | TEOREMAS 131
Iiiin:ci.
[1] R. Apry, Irrationalit de (2) et (3), Astrisque 61 1979, 11-13.
[2] A. van der Poorten, A Proof that Euler Missed..., Aprys proof of the irra-
tionality of (3). An informal report, Math. Intelligencer 1, n
o
4, 1978/79,
pp. 195-203. http://www.ift.uni.wroc.pl/~mwolf/Poorten_MI_195_0.pdf
http://ega-math.narod.ru/Apery1.htm
[3] F. Beukers, A note on the irrationality of (2) and (3), Bull. Lond. Math.
Soc. 11, n
o
33, 1978, pp. 268-272
[4] F. Apry, Roger Apry, 1916-1994: A Radical Mathematician, Math. Intelli-
gencer 18, n
o
2, 1996, pp. 54-61.
[5] M. Petkovsek, H. Wilf and D. Zeilberger, A=B, 1997.
http://www.cis.upenn.edu/~wilf/AeqB.htm.
[6] V.K., Md. Balakrishnan, V. Balakrishnan, Combinatorics, Schaums Outline
of Combinatorics.
[7] Lino Costa, Mtodos Numricos I, Licenciatura em Informtica de Gesto da
Universidade do Minho, 2005/2006.
[8] P. Davis e Reuben Hersh, A Experincia Matemtica, Gradiva, Lisboa, 1995.
[9] Apostol, Tom, Mathematical Analysis, 2nd. ed., Addison-Wesley Publishing
Co., Reading, 1974.
[10] Greenberg, Michael, Advanced Engineering Mathematics, 2nd. ed., Prentice
Hall, New Jersey, 1998.
[11] Riggs, J., Bedworth, D., Ranhawawa, S., Engineering Economics, 4th ed., New
York, The McGraw-Hill Companies, 1996.
[12] Ferreira, Jaime Campos, Curso de Matemticas Gerais, IST, Ed. Seco de
Folhas da AEIST, 1968-69.
[13] Sarrico, Carlos, Anlise Matemtica, Leituras e exerccios, 3
a
ed., Gradiva,
Lisboa, 1999.
[14] Taylor, Angus, Advanced Calculus, Blaisdell Publishing Company, Waltham,
Massachusetts, 1955
[15] Dudeney, Henry, Os Enigmas de Canterbury, Biblioteca Desaos Matemticos,
RBA, 2008 (ttulo original: The Canterbury Puzzles)
Qiiz, Ion1o.i
Current address: Amrico Tavares, Queluz, Portugal
E-mail address: acltavares@sapo.pt
URL: http://www.problemasteoremas.wordpress.com