Revista Da Olimpíada de Goiais 1

Olimpada de Matemtica do Estado de Gois
Revista da Olimpada
n 1, 2000

Revista da Olimpada n 1, 2000 2

Universidade Federal de Gois

Milca Severino Pereira
Reitora
Paulo Alcanfor Ximenes
Vice- Reitor
Iara Barreto
Pr- Reitora de Graduao
Jos Luiz Domingues
Pr- Reitor de Pesquisa e Ps-Graduao
Ilka Maria de Almeida Moreira
Pr- Reitora de Administrao e Finanas
Emilson Rocha de Oliveira
Pr- Reitor de Desenvolvimento Institucional e Recursos Humanos
Ana Luiza Lima Sousa
Pr- Reitora de Extenso e Cultura
Ftima dos Reis
Pr- Reitora de Assuntos da Comunidade Universitria
Ronaldo Alves Garcia
Diretor do Instituto de Matemtica e Estatstica
Comisso Organizadora
Gisele de Arajo Prateado Gusmo (Coordenadora), Fbio Vitoriano e Silva,
Jeblin Antnio Abrao, Luciana Maria vila, Rogerio Queiroz Chavez,
Ronaldo Alves Garcia, Shirlei Serconek, Joo Leonardo Muniz F. Rablo
(bolsista).

Comit Editorial da Revista da Olimpada
Gisele de Arajo P. Gusmo, Ronaldo Alves Garcia, Shirlei Serconek
Editorao Eletrnica Arte da Capa
Joo Leonardo M. F. Rablo Anderson Viana Macdo (Logomarca)
Joelson Santos de Souza
Tiragem Postagem
2000 exemplares 1 semestre de 2000
Revista da Olimpada n 1, 2000

Universidade Federal de Gois Instituto de Matemtica e Estatstica
Campus Samambaia CP 131 CEP 74001-970 Goinia GO
Correio eletrnico: omeg@mat.ufg.br Tel: (62) 821-1208 Fax: (62) 821-1180
Home-page: http://www.mat.ufg.br/eventos/olimpiadas/
Os artigos assinados so da responsabilidade dos autores. permitida a
reproduo de artigos desde que seja citada a fonte.


ndice

Apresentao--------------------------------------------------------------------- 05

Coletnea 2000
Problemas propostos Nvel 1 ---------------------------------------------- 06
Resoluo Nvel 1 ----------------------------------------------------------- 13
Resoluo Nvel 2 ----------------------------------------------------------- 18
Resoluo Nvel 3 ----------------------------------------------------------- 21

Relao dos Classificados na VIII Olimpada / 1999
Premiados, Menes Honrosas , Menes Especiais------------------- 30

VIII Olimpada de Matemtica do Estado de Gois
Resoluo da prova Nvel 1 ------------------------------------------------ 33

Notcias ---------------------------------------------------------------------------- 49

Artigos
Olimpada de Matemtica em Gois
Gisele de Arajo P. Gusmo e Ronaldo Alves Garcia---------------- 51
Seqncias
Gisele de Arajo P. Gusmo --------------------------------------------- 65
Nmeros Reais
Maurcio Donizetti Pieterzack ------------------------------------------- 75
Geometria, o V axioma de Euclides
Romildo da Silva Pina -------------------------------------------------- 101



Apresentao

H alguns anos o Instituto de Matemtica e Estatstica IME envia, a
todas escolas cadastradas, uma coletnea de problemas e a resoluo comentada
das provas da mais recente Olimpada realizada. Estes materiais tm por
objetivo ajudar o professor na preparao de seus alunos para as Olimpadas
alm de serem teis em sala de aula como alternativa aos problemas propostos
nos livros textos.
Esta revista surgiu destes materiais. Alm de ter uma coletnea de
problema e a resoluo comentada das provas da VIII Olimpada, ela traz um
pouco da histria da nossa Olimpada, trs artigos de matemtica, a relao dos
classificados na VIII Olimpada e notcias das olimpadas e do IME.
Esperamos contar com o apoio do leitor no sentido de nos enviar
sugestes para melhorarmos o nmero 2 desta revista e, como as resolues dos
problemas propostos so em sua maioria apenas resumo de solues, esperamos
tambm o envio de resolues melhores.

Coordenao de Olimpadas



Coletnea 2000
Problemas propostos Nvel 1

1) Uma planta aqutica tem a propriedade de dobrar sua superfcie a cada dia
que passa. Colocando-se uma muda dessa planta num certo lago, em 30
dias ela cobrir o lago todo. Em quantos dias ela cobrir metade do lago? E
se colocarmos duas mudas no lago, em quantos dias ele estar coberto?

2) Um banco oferece a seus clientes a utilizao de computadores para
retirada de dinheiro. O computador faz pagamento utilizando notas de R$
1,00 e R$ 5,00. De quantas maneiras diferentes o computador poder pagar
a quantia de R$ 100,00 a um cliente?

3) Uma escola tem exatamente 100 armrios e 100 estudantes. No primeiro
dia de aula os estudantes encontraram-se fora do prdio e concordaram no
seguinte plano: o primeiro estudante entrar na escola e abrir todos os
armrios. O segundo aluno entrar e fechar os armrios com nmeros
pares (2,4,6,8,...). O terceiro aluno, ento, inverter o que tiver sido feito a
cada 3 armrios (no 3,6,9,12,...); o que significa: ele abrir se o armrio
estiver fechado, ou fechar se estiver aberto. O quarto aluno inverter o que
tiver sido feito a cada 4 armrios (no 4,8,12,16,...) e assim por diante.
Aps todos os alunos terem entrado e realizados suas tarefas, como estar o
armrio de nmero 100: aberto ou fechado?

4) Em uma escola vai ser organizado um campeonato de vlei com a
participao de 32 equipes. As equipes vo ser distribudas em 8 grupos.
Em cada grupo, cada equipe joga com todas as outras e a melhor equipe se
classifica para a fase seguinte. As equipes classificadas so distribudas em
2 grupos nos quais o sistema se repete. Finalmente as primeiras colocadas
disputam a final. Ao todo, quantos jogos so disputados?

5) Um feirante tinha uma cesta de ovos para vender e atendeu sucessivamente
trs fregueses. Cada fregus levou a metade dos ovos existentes na cesta e
mais meio ovo. Se o feirante no precisou quebrar nenhum ovo e sobraram
10 ovos na cesta, quantos ovos havia inicialmente?


6) Como possvel retirar de um rio exatamente 6 litros de gua se s se
dispe, para medir a gua, de dois baldes com 4 litros e 9 litros de
capacidade?

7) Um elevador pode levar 20 adultos ou 24 crianas. Se 15 adultos j esto
no elevador, quantas crianas podem ainda entrar?
8) Olhem s como ficou a chama no instante em que um fotgrafo fotografou
a vela! O dimetro da vela mede x cm. Na figura qual dos estgios da
chama tem maior rea? Para uma montagem fotogrfica, precisa-se que a
chama tenha exatamente 6 cm
2
. Qual deve ser o valor de x?

x

x

x

9) Um navio pirata de 9 m de largura mxima tem um canho que para cada
200g de plvora recua 1 m quando atira. Sem saber disso, um marujo
colocou 1,5 kg de plvora e atirou. Se o canho bater na amurada, ele volta,
na mesma direo, tanto quanto recua caso a largura permita continuar.
Desprezando as dimenses:
x
a) A que distncia da posio de tiro ele ficou?
b) Esse marujo sempre deixa prximo do canho, que est na sua posio,
uma lata de 4 litros cheia de plvora. Cada litro dessa plvora equivale
a 0,9 kg. A que distncia da posio de tiro ficaria o canho depois do
tiro, caso o marujo distrado colocasse nele toda a plvora da lata para
um nico tiro?
c) Se ele dividisse a plvora em trs partes iguais, uma para cada tiro,
sendo que o canho no recolocado em seu lugar aps o tiro, a que
distncia ficaria o canho aps o ltimo tiro?

10) Um pescador se perdeu no mar e notou que seu barco estava furado. A cada
15 min. , entravam 180 litros de gua. Com o balde, ele comeou a despejar
a gua para fora, mas s conseguiu tirar 9 litros a cada 5 min. A lancha de
socorro mais prxima estava a 50 km do local e sua velocidade mxima era
de 180 km/h. Determine qual deveria ser a velocidade mnima para que a
lancha chegasse a tempo, sabendo que o barco afundaria se entrassem 255
litros de gua.


11) (XXI OBM)Corte 10 algarismos do nmero 1234512345123451234512345
para que o nmero restante seja o maior possvel.

12) (XXI OBM) Pedro distribuiu 127 moedas de 1 real em sete caixas e
colocou em cada uma delas uma etiqueta dizendo o nmero de moedas da
caixa. Essa distribuio foi feita de forma que qualquer quantia de R$ 1,00
a R$127,00 pudesse ser paga entregando-se apenas caixas fechadas. De que
maneira Pedro fez essa distribuio?

13) (XXI OBM) Um edifcio muito alto possui 1000 andares, excluindo-se o
trreo. Do andar trreo partem 5 elevadores:
O elevador A para em todos os andares.
O elevador B para nos andares mltiplos de 5, isto , 0,5,10,15,...
O elevador C para nos andares mltiplos de 7, isto , 0,7,14,21,...
O elevador D para nos andares mltiplos de 17, isto , 0,17,34,51,...
O elevador E para nos andares mltiplos de 23, isto , 0,23,46,69,...

a) Mostre que, excetuando-se o andar trreo, no existe nenhum andar
onde param os 5 elevadores.
b) Determine todos os andares onde param 4 elevadores.

14) (XXI OBM) Encontre o menor tabuleiro quadrado que pode ser ladrilhado
usando peas com o seguinte formato:

15) Voc sabe que existem 9 nmeros de um algarismo, 90 nmeros de dois
algarismos, 900 nmeros de trs algarismos, etc. Considere agora cada
nmero cujo ltimo algarismo direita representa o nmero de algarismos
desse nmero. Por exemplo, o nmero 9 074 um deles, pois 4 o nmero
de seus algarismos. Quantos nmeros desse tipo existem ?


1) Chamam-se palndromos os nmeros inteiros que no se alteram quando
invertida a ordem de seus algarismos (por exemplo, 383, 4224, 74847).
Qual o nmero de palndromos de cinco algarismos?

2) Um fazendeiro comprou 1000 bois pagando R$ 250,00 por cada um.
Vendeu 400 com lucro de 25%. A que preo dever vender cada um dos
seiscentos restantes de modo que, no final, seu lucro total seja de 40%?


3) Um ano solar tem 365 dias mais 5h 48min 46s. Por isso, no calendrio
encontramos, de 4 em 4 anos, trs anos com 365 dias e um ano bissexto,
com 366 dias. Entretanto, por no serem exatamente 365 dias e 6h, a
intercalao de anos bissextos no to simples. Em meados do sculo
XVI, o papa Gregrio XIII determinou que nenhum ano que terminasse em
00 fosse bissexto, exceto os divisveis por 400. Assim, em nosso
calendrio, os anos bissextos so divisveis por 4, excluindo os terminados
em 00 que no so divisveis por 400. O ano 2000 bissexto? O ano 2100,
ser bissexto? Quantos so os anos bissextos no perodo de 1601 a 2000?

4) Quantos tringulos equilteros existem na figura abaixo?

5) Mostre que no existe tringulo retngulo issceles com lados inteiros.

6) Diz-se que um ponto divide um segmento de reta em mdia e extrema
razo ou em seco urea, se o mais longo dos segmentos a mdia
geomtrica entre o segmento menor e o segmento todo. A razo entre o
segmento menor e o segmento maior chama-se razo urea. Os pitagricos
mostraram interesse considervel pela seco urea e pela razo urea.
Mostre que a razo urea
2
1 5
.

7) Trs algarismos distintos, combinados de trs formas diferentes,
representam trs nmeros cuja raiz quadrada exata. Quais so essas
combinaes?

8) Uma empresa adotou o seguinte logotipo,
formado por 4 tringulos retngulos e 3
quadrados:

a) Represente a rea da figura dada, como um
polinmio na varivel x, dado que x

simboliza a medida do lado do qua-
drado menor e que a rea desse quadra-
do d numericamente a medida do lado
do quadrado maior.

b) Calcule o valor da rea para x = 3cm.

9) Para testar os conhecimentos de um sargento, o capito ordenou que
separasse 10 soldados e os dispusesse em 5 fileiras com 4 homens. Como o
sargento conseguiu realizar essa tarefa?

10) Nos tringulos equilteros a seguir, cada tringulo menor toca o ponto
mdio dos lados dos tringulos maiores. Calcule a rea do tringulo menor.

1 cm

11) (XXI OBM) Num quadro-negro so escritos trs inteiros. Comea-se,
ento, uma sequncia de movimentos onde, em cada passo, apaga-se um
deles e escreve-se em seu lugar a soma dos outros dois diminuda de uma
unidade. Aps vrios movimentos, esto escritos no quadro os nmeros 17,
75 e 91. possvel que no incio estejam escritos no quadro:
a) 2, 2, 2, ?
b) 3, 3, 3, ?

12) (XXI OBM) Seja ABCD um quadrado. Escolhemos pontos M, N, P, Q
respectivamente sobre AB, BC, CD e DA, de modo que as circunferncias
circunscritas aos tringulos MBN e PDQ sejam tangentes exteriormente.
Mostre que MN + PQ AC.

13) (XXI OBM) Determine o maior natural n para o qual existe uma
reordenao (a, b, c ,d) de (3, 6, 9, 12) (isto , {a, b, c, d} = {3, 6, 9 ,12})
tal que o nmero
n
d
12
c
9
b
6
a
3 seja inteiro. Justifique sua resposta.

14) (XXI OBM) Um professor de matemtica passou aos alunos a adio A/B
+ C/D onde A, B, C e D so inteiros positivos, as fraes esto

simplificadas ao mximo e os denominadores so nmeros primos entre si.
Os alunos adicionaram as fraes tirando o mnimo mltiplo comum dos
denominadores das parcelas e escrevendo este como denominador do
resultado. Mostre que a frao que os alunos encontraram como resultado
est simplificada.

15) (XXI OBM) Determine todos os inteiros positivos n para os quais
possvel montarmos um retngulo 9 x 10 usando peas 1 x n.


1) Se AB e BC formam uma corda quebrada num crculo (com AB BC) , M
ponto mdio do arco ABC e F o p da perpendicular de M corda maior,
demonstre que F ser o ponto mdio da corda quebrada ABC.

M
F
C
B
A

2) Dado um tringulo retngulo ABC, prove que o raio r do crculo inscrito
no tringulo igual a metade da soma dos catetos menos a hipotenusa, ou
seja,
2
BC AC AB
r
+
= .
C

r
B

A

3) Num tringulo qualquer de lados a, b e c demostre que a rea S igual a
( )( )( ) c p b p a p p , onde
2
c b a
p
+ +
= .

4) Um tringulo dito inteiro se seus lados so todos inteiros. Determinar
todos os tringulos inteiros cujo permetro igual a sua rea.


5) Prove que se a + b + c = 0, ento a
3
+ b
3
+ c
3
= 3abc.

6) (XXI OBM) Nos extremos de um dimetro de um crculo, escreve-se o
nmero 1 (primeiro passo). A seguir, cada semicrculo dividido ao meio e
em cada um dos seus pontos mdios escreve-se a soma dos nmeros que
esto nos extremos do semicrculo (segundo passo). A seguir, cada quarto
de crculo dividido ao meio e em cada um dos seus pontos mdios coloca-
se a soma dos nmeros que esto nos extremos de cada arco (terceiro
passo). Procede-se, assim, sucessivamente: sempre cada arco dividido ao
meio e em seu ponto mdio escrita a soma dos nmeros que esto em
seus extremos. Determinar a soma de todos os nmeros escritos aps 1999
passos.

7) (XXI OBM) Jos tem trs pares de culos, um magenta, um amarelo e um
ciano. Todo dia de manh ele escolhe um ao acaso, tendo apenas o cuidado
de nunca usar o mesmo que no dia anterior. Se no dia primeiro de agosto
ele usou o magenta, qual a probabilidade de que no dia 31 de agosto ele
volte a usar o magenta?

8) (XXI OBM) Encontre as solues inteiras de x
3
- y
3
= 999.

9) O nmero N = 11111 . . . 11 possui 1999 dgitos, todos iguais a 1. Qual o
resto da diviso de N por 7?

10) Para quantos valores inteiros de x existe um tringulo acutngulo de lados
12, 10 e x?

11) Dois irmos herdaram um terreno com a forma de um tringulo ABC
retngulo em A, e com o cateto AB de 84 m de comprimento. Eles
resolveram dividir o terreno em duas partes de mesma rea, por um muro
MN paralelo a AC como mostra a figura abaixo. Calcule o comprimento do
segmento BM.
N M
C
B
A


12) As representaes decimais dos nmeros e so escritas lado a
lado. Qual o nmero de algarismos escritos?
1999
2
1999
5

13) Uma caixa contm 100 bolas de cores distintas. Destas, 30 so vermelhas,
30 so verdes, 30 so azuis e entre as 10 restantes, algumas so brancas e
outras so pretas. Qual o menor nmero de bolas que devemos tirar da
caixa, sem lhes ver a cor, para termos a certeza de haver pelo menos 10
bolas da mesma cor?

Resoluo Nvel 1

1)
a) Como a superfcie dobra a cada dia, no 30 dia a superfcie coberta pela
planta o dobro da superfcie coberta no 29 dia. Como no 30 dia o lago
todo est coberto, ento a metade dele estar coberta no 29 dia.
b) Em 29 dias cada muda se reproduz e acaba cobrindo a metade do lago.
Portanto, colocando-se duas mudas, em 29 dias elas cobriro o lago todo.

2) Para pagar R$ 100,00, o computador pode usar diferentes quantidades de
notas de R$ 5,00, desde nenhuma at 20.
Ento, temos as seguintes possibilidades:

R$ 5,00 0 1 2 3 4 5 6 7 8 9 10
R$ 1,00 100 95 90 85 80 75 70 65 60 55 50

R$ 5,00 11 12 13 14 15 16 17 18 19 20
R$ 1,00 45 40 35 30 25 20 15 10 5 0

3) A questo saber quantos estudantes mexeram (abrindo ou fechando) no
armrio de nmero 100.
A lei a ser observada a seguinte:

Nmero do aluno Nmero dos armrios em que o aluno mexe
1 1,2,3,4,5,6,... = mltiplos de 1
2 2,4,6,8,10,... = mltiplos de 2
3 3,6,9,12,15,...= mltiplos de 3
4 4,8,12,16,20,...=mltiplos de 4
etc.
Sendo assim, para saber quantos estudantes mexeram no armrio de nmero
100, basta descobrir quantos so os divisores de 100 (ou de quantos

nmeros, entre 1 e 100, o nmero 100 mltiplo). Como 100 = 2
2
x 5
2
,
ento 100 possui (2 + 1) (2 + 1) = 9 divisores, a saber, 1,2,4,5,10,20,25,50 e
100. Dessa forma, 9 alunos mexeram no armrio e o armrio terminou
aberto porque 9 mpar.

4) a) As equipes vo ser distribudas em 8 grupos e, portanto, cada grupo ter
4 equipes. Cada uma dessas 4 equipes joga com as outras 3 equipes em um
nico turno. Ento, o nmero de jogos realizados em cada grupo (4 x 3) :
2 = 6 e no total 6 x 8 = 48.
b) As 8 equipes classificadas so distribudas em 2 grupos e, portanto, cada
grupo ter 4 equipes. Novamente , o nmero de jogos realizados em cada
grupo (4 x 3) : 2 = 6 e no total 6 x 2 = 12.
c) As 2 equipes classificadas fazem o jogo final. Ento, o total de jogos
48+12+1=61.

5) a) Chamamos de x o nmero de ovos existentes inicialmente na cesta.
Realizada a 1 venda, temos:
ovos vendidos
2
1
2
1
2
+
= + =
x x

ovos restantes
2
1
2
1
=
+
=
x x
x
b) Realizada a 2 venda, temos:
ovos vendidos
4
1
2
1
2
1
2
1 +
= + |
.
|
\
|
=
x x

ovos restantes
4
3
4
1
2
1
=
+
=
x x x

c) Realizada a 3 venda, temos:
ovos vendidos =
8
1
2
1
4
3
2
1 +
= + |
.
|
\
| x x

ovos restantes
8
7
8
1
4
3
=
+
=
x x x

d) Pela condio dada no problema, temos:
10
8
7
=
x
e da x = 87.
Outra soluo:
Se na terceira venda sobraram 21 ovos ele deveria ter 43 ovos antes desta
venda, pois vendeu 21,5 + 0,5. Antes da segunda venda ele deveria ter 87
ovos, pois ele vendeu 43,5 + 0,5.


6) Vamos resolver o problema usando pares de nmeros, em que o primeiro
nmero do par indica o total de litros que h no balde de 9 litros e o
segundo nmero indica o total de litros do balde de 4 litros.
1) Enchemos o balde maior com gua do rio. Ele fica com 9 litros de
gua: (9,0).
2) Com essa gua do maior enchemos o menor, ou seja, passamos 4 litros
do maior para o menor. O maior fica com 5 litros e o menor com 4 litros:
(5,4).
3) Jogamos no rio a gua do menor: (5,0).
4) Com os 5 litros que esto no balde maior, enchemos novamente o
menor. O balde maior fica com 1 litro, e o menor com 4 litros: (1,4).
5) Jogamos no rio outra vez a gua do menor: (1,0).
6) Passamos 1 litro de gua que restou no balde maior para o menor:
(0,1).
7) Enchemos novamente o balde maior com 9 litros de gua do rio: (9,1).
8) Com essa gua do maior completamos o balde menor. Com isso
passamos 3 litros do balde maior para o menor e ele fica ento com 6 litros:
(6,4).
9) S para completar, jogamos novamente no rio a gua do menor: (6,0).

Nota: Retiramos do rio 18 litros de gua, pois enchemos duas vezes o balde
maior, de 9 litros. Devolvemos ao rio 12 litros de gua, pois por trs vezes
esvaziamos o balde menor, de 4 litros, no rio. Assim ficamos com 6 litros.

7) Como 20 adultos usam a capacidade total do elevador, 15 adultos usam
|
.
|
\
|
=
4
3
20
15
da capacidade. Assim, a capacidade disponvel de
4
1
. Seriam
necessrias 24 crianas para usarem a capacidade total. Logo, para usarem
4
1
da capacidade so necessrias
4
1
x 24 = 6 crianas.

8) Calculando a rea de cada estgio temos:

x . x .1/2 = x
2
/2
x . 2x . 1/2 x
2
/2= 2x
2
/2 - x
2
/2 = x
2
/2
x . 3x .1/2 x
2
= 3x
2
/2 - x
2
= x
2
/2

Portanto, os 3 estgios tm a mesma rea x
2
/2 cm
2
.
Para que a chama seja exatamente 6 cm
2
devemos ter:
x
2
/2 + x
2
/2 + x
2
/2 = 6 3x
2
/2 = 6 x
2
= 2 . 6 .1/3 x
2
= 4 x = 2 cm.


9) a)1,5 kg = 1500 g
1500 200 = 7,5
O canho ficou a 7,5 m da posio de tiro.

b) 4 litros = 4 . 0,9 kg = 3,6 kg = 3600 g ; 3600 200 = 18 m.
Ento, o canho recua 9 m, bate na amurada e volta 9 m, ficando assim
novamente na posio de tiro. Logo, a distncia 0.

c) Para cada tiro, haver 1200 g de plvora, o que far o canho andar 6 m,
pois 1200 : 200 = 6. Ento, aps o primeiro tiro o canho para no ponto P:

Amurada oposta
posio de tiro
Posio de tiro
6 m 3 m
B
A P

Aps o segundo tiro, o canho tambm para em P, pois recua 3 m, bate na
amurada (B) e volta 3 m. O mesmo ocorre aps o terceiro tiro. Assim, a
distncia da posio inicial de 6 m.

10) Entram 180 litros a cada 15 minutos. Em 1 minuto, entram 12 litros. Saem
9 litros a cada 5 minutos. Em 1 minuto, saem 1,8 litros. Logo, entram 10,2
litros a cada minuto. Se t = tempo para entrarem 255 litros no barco, temos:

Tempo (minutos) Capacidade (litros)
t 255
1 10,2
t = 25 min.

Ento, a lancha deve fazer pelo menos 50 km em 25 minutos, ou 2 km em 1
minuto ou 120 km em 1 hora. Logo, a velocidade mnima necessria
de 120 km/h.

11) O maior nmero restante 553451234512345. Para ver isto, podemos
supor que os cortes so feitos da esquerda para a direita. Se deixarmos de
cortar todos os quatro primeiros algarismos, o nmero que resta comear
por 1, 2, 3 ou 4. Logo, menor que o nmero acima. Feito isto, se deixarmos
de cortar a segunda seqncia 1234, o nmero que resta ter na primeira ou
segunda casa, da esquerda para a direita, 1, 2, 3 ou 4. Ainda menor que o
nmero acima. Os dois primeiros 5 devem permanecer, pois retirando-se

um deles, completamos 9 retiradas e da algum algarismo da terceira
seqncia 1234 aparecer na 1
a
ou na 2
a
casa. Finalmente devemos cortar a
seqncia 12, que ocupa a 11
a
e 12
a
posies.

12) Basta distribuir as moedas em 7 caixas contendo respectivamente 1, 2, 4, 8,
16, 32 e 64 moedas. Para outros pagamentos Pedro pode fazer 3 = 1 + 2,
5 = 1 + 4, 6 = 2 + 4, 7 = 1 + 2 + 4. Assim j pode pagar as quantias de 1 a 7
reais com o contedo das caixas. Adicionando-se a parcela 8 a estas somas
chega-se s somas de 9 at 15. Adicionando-se a parcela 16 s 15 somas
assim formadas obtm-se somas de 17 a 31. A estas acrescenta-se a parcela
32. E finalmente a parcela 64, obtendo-se assim todas as somas de 1 a 127
= 1+ 2 + 4 + 8 + 16 + 32 + 64.

13)
a) O elevador B para nos mltiplos de 5.
O elevador C para nos mltiplos de 7.
O elevador D para nos mltiplos de 17.
O elevador E para nos mltiplos de 23.
Como 5, 7, 17 e 23 so nmeros primos, para que todos parem num
mesmo andar, este tem que ser mltiplo de 5 7 17 23 = 13685 e o
prdio s tem 1000 andares.

b) Para que num andar parem exatamente quatro elevadores, devem parar A,
que pra em todos, e trs dos restantes.
B, C e D param nos mltiplos de 5 7 17 = 595
B, C e E param nos mltiplos de 5 7 23 = 805
B, D e E param nos mltiplos de 5 17 23 = 1955
C, D e E param nos mltiplos de 7 17 23 = 2737
Logo, os andares onde param 4 elevadores so o 595 e o 805.

14) O menor tabuleiro do tipo 10 10 coberto com 20 peas, como mostrado,
por exemplo, na figura abaixo, esquerda.

Com efeito, o nmero de casas do
tabuleiro um quadrado perfeito mltiplo
de 5. Logo 25, 100, 225 ou ... etc. Mas
um tabuleiro 5 5 no pode ser coberto
com peas deste tipo, pois ao tentarmos
completar uma lateral do tabuleiro,
seremos conduzidos a uma das duas
figuras direita, as quais no se deixam
completar pelas peas para formar todo o



tabuleiro.

15) Os nmeros so 1, 2, 3, 4,..., 9, num total de 1 +
9 + 90 + 900 + ...+ 90 000 000 = 100 000 000.

Resoluo Nvel 2

1) Um palndromo de cinco algarismos tem a forma abcba, em que a, b, c so
algarismos e a 0. Temos 9 possibilidades para a, 10 para b e 10 para c;
ento, o total de possibilidades 9 x 10 x 10 = 900.

2) Comprando cada boi por R$ 250,00, o fazendeiro teve um custo total de
R$ 250000,00. Para ter um lucro total de 40%, dever arrecadar na venda
dos 1000 bois o total de:
250000,00 x 1,4 = 350000,00
Na venda dos primeiros 400 arrecadou:
400 x 250,00 x 1,25 = 125000,00
Assim, na venda dos outros 600 bois dever arrecadar:
350000,00 - 125000,00 = 225000,00
Cada boi deve ser vendido por:
225000,00 : 600 = 375,00
Logo, o fazendeiro dever vender cada boi por R$ 375,00.

3) a) O ano 2000 bissexto, por ser divisvel por 400.
b) O ano 2100 no ser bissexto, por terminar em 00 e no ser divisvel por
400.
c) De 1601 a 2000, existem 400 anos, dos quais 100 so mltiplos de 4.
Destes h 3 que no so bissextos: 1700; 1800 e 1900.
Logo, so 97 anos bissextos no perodo citado.

4) Ao lado da seta, em cada linha estamos indicando uma maneira de contar o
nmero total de tringulos, at a linha correspondente. Ento, na figura
dada, temos 27 tringulos.

1
1 + 3 + 1 = 5
5 + 5 + 3 = 13
13 + 7 + 7 = 27


5) Suponhamos que existam inteiros a e c tais que: a
2
+ a
2
= c
2
.
Ento:
2a
2
= c
2

a 2 = c
c/a = 2
Esta ltima igualdade afirma que 2 racional, o que absurdo. Portanto, a
existncia de tal tringulo impossvel, uma vez que implica a racionalidade de
2 .

c
a

a
6) Sejam x e y o menor e o maior segmento, respectivamente.
Ento, por definio,
( )
y
x
y x x
x
=
+
. Logo, x
2
+ xy y
2
= 0 ou 0 1
y
x
y
x
2
= +
|
|
.
|
\
|
.
Resolvendo esta equao do 2 grau em x/y, encontramos:

2
1 5
=
y
x
.
A soluo negativa no tem sentido no problema.
) y x ( x +
x

y

7) O nmero x procurado tem trs algarismos distintos.
Ento, 100 < x < 999; 10 < x < 31.
10
2
= 100; 11
2
= 121; 12
2
= 144; 13
2
= 169; 14
2
= 196; 15
2
= 225; 16
2
=
256; 17
2
= 289; 18
2
= 324; 19
2
= 361; 20
2
= 400; 21
2
= 441; 22
2
= 484;

23
2
= 529; 24
2
= 576; 25
2
= 625; 26
2
= 676; 27
2
= 729; 28
2
= 784; 29
2
=
841; 30
2
= 900; 31
2
= 961.
Considerando somente os que tm algarismos diferentes:
169; 196; 256; 289; 324; 361; 529; 576; 625; 729; 784; 841; 961.
Temos, ento as combinaes: 169, 196 e 961.

8) a) Como so 4 tringulos iguais, temos:
3
x 2
2
3
x 4
2
2
xx
4 = = .
So 2 quadrados pequenos com rea 2x
2
e um grande, com rea x
4
.
Logo, o polinmio A(x) = x
4
+ 2x
3
+ 2x
2
.

b) A(3) = 3
4
+ 2 . 3
3
+ 2 . 3
2

A(3) = 153.

9)

10) A medida do lado de um tringulo a metade da medida do tringulo
imediatamente maior. Ento, o lado do menor mede 1/8 cm. Veja:
1 2 = 1/2
1/2 2 = 1/4
1/4 2 = 1/8
Como o tringulo equiltero, temos:
256
3
4
3
2
8
1
=
(
(
|
.
|
\
|
.

11)
a) Esto escritos inicialmente 3 nmeros pares. Quando um deles
apagado, escrito em seu lugar um nmero mpar. Aps o 1
movimento ficam ento dois nmeros pares e um nmero mpar. Se
apagarmos agora o nmero mpar, surgir em seu lugar outro nmero
mpar e se apagarmos um nmero par aparecer em seu lugar outro
nmero par. Deste modo, aps qualquer nmero de movimentos

restaro dois nmeros pares e um nmero mpar e portanto, no
possvel termos no final os trs nmeros mpares 17, 75 e 91.
b) Sim, uma possvel sequncia de movimentos : 3, 3, 3 5, 3, 3 5,
3, 7 5, 11, 7 17, 11, 7 17 , 11, 27 17, 43, 27 17, 43, 59
17, 75, 59 17, 75, 91.

12) A figura abaixo representa a situao, onde X e Y so os pontos mdios dos
segmentos MN e PQ e Z o ponto de tangncia das circunferncias. Ento,
como , segue que BX = MX = NX = XZ e DY =
QY = YP = YZ. Assim, MN + PQ = BX + XZ + ZY + YD BD = .
= = 90 PDQ MBN
AC
A
M
B
X
Z
Q D
N
P
C
Y

13) Temos . 3 Para (a, b, c, d) dados, o
maior n possvel mdc Note que b + 2d
mximo (com b e d elementos distintos de {3, 6, 9, 12}) quando d = 12 e
b = 9. Neste caso, b + 2d = 33, e a + b + 2c + d = 21 + a + 2c. Tomando
a = 6 e c = 3, temos tambm a + b + 2c + d = 33, que obviamente o
maior valor possvel para n, obtido para (a, b, c, d) = (6, 9, 3, 12).
d c 2 b a
3
d 2 b
2
d
12
c
9
b
6
a + + +
+
=
} d c 2 b a , d 2 b { + + + + . d 2 b +

14) Como os denominadores das fraes so primos entre si, seu mnimo
mltiplo comum BD e assim, a frao resultante
BD
CB AD +
.
Suponhamos que esta frao no seja irredutvel isto , que exista algum
nmero primo p que divida o numerador e o denominador desta frao.
Como o produto BD divisvel por p, um dos seus termos, digamos B sem
perda de generalidade o seja. Entretanto, uma das parcelas da soma AD +
CB divisvel por p e como a soma, por hiptese, divisvel por p a
parcela AD tambm divisvel por p. Portanto A ou D divisvel por p. No
primeiro caso temos uma contradio com o fato da frao
B
A
ser
irredutvel; no outro caso a contradio est no fato de que os
denominadores das fraes iniciais sempre so primos entre si.


15) claro que n deve ser no mximo 10 e dividir 90. Assim, restam para n as
possibilidades 1, 2, 3, 5, 6, 9, 10. Fora n = 6, imediato que n pode assumir
qualquer um dos outros valores acima. Comeando a tentar montar o
retngulo com peas 1 6 a partir de um canto, conclumos prontamente
que a tarefa no possvel.

Resoluo Nvel 3

1) Seja C
/
tal que FC = FC
/
, C
/
FC.
Trace os segmentos BM, C
/
M, AM, MC e AC
/
. Temos que o tringulo
MFC congruente ao tringulo MFC
/
(Caso LAL). Portanto, MC = MC
/
. Por
outro lado, MA = MC, pois M ponto mdio do arco AC. De MA = MC
/

resulta que os ngulos da base AC
/
so iguais, isto , MC
/
=MC
/
A. Como
MC
/
B = MB = , pois subtendem o mesmo arco BM, temos B C F C
M A
/
=
B
/
A que implica AB = BC
/
e finalmente AB + BF = FC.

C
/
M
F
C
B
A

2) Como podemos ver na figura abaixo as medidas AD e EA so iguais ao
raio da circunferncia inscrita no tringulo, logo AD = EA = r. Analisando
os tringulos DOB e FOB vemos que eles so congruentes pois so
retngulos com hipotenusa e catetos iguais, obtendo FB = DB. Da mesma
forma os tringulos EOC e FOC so congruentes, e EC = FC.
Agora fica fcil concluirmos que:
AB = DB + AD = DB + r , isto , DB = AB - r .
AC = EC + EA = EC + r ou EC = AC - r.
Ento,
BC = FC + FB = AB - r + AC - r = AB + AC - 2r, isto ,
BC = AB + AC - 2r ou
2
BC AC AB
r
+
= .
C

ada n 1, 2000
F
O
E

r
A
B
D
Revista da Olimp 22


3) Sejam a,b,c as medidas dos lados de um tringulo ABC , de rea S e
permetro 2p.

a
a
c
m
h
A
b
m
h
B D C
B
D
A

C

Seja h a altura do tringulo, relativa ao lado BC. Ento, S = h a.
2
1
.
Determinaremos h em termos de a, b e c.
No tringulo retngulo ADB, de cateto BD de comprimento m, temos
h
2
= c
2
- m
2
. (1)
Como num tringulo qualquer, o quadrado do lado oposto a um ngulo igual
soma dos quadrados dos outros dois lados, mais (menos) duas vezes o produto
de um desses lados pela projeo do outro sobre ele, temos tambm

b
2
= a
2
+ c
2
2am, isto ,

2
2 2 2
2
2
|
|
.
|
\
|
+
=
a
b c a
m . (2)
Substituindo (2) em (1), segue que
( )
2
2
2 2 2 2 2
2
2 2 2
2 2
4
4
2 a
b c a c a
a
b c a
c h
+
=
|
|
.
|
\
|
+
= .
Ento,
h
2
= [2ac + a
2
+ c
2
b
2
][ 2ac - a
2
- c
2
+ b
2
]
= [ a
2
+ c
2
+ 2ac b
2
][ b
2
- (a
2
+ c
2
2ac)]
= [(a + c)
2
b
2
][ b
2
(a c)
2
]

= (a + c + b)(a + c b)(b + a c)(b a + c).

Como a + b + c = 2p, temos
a + c b = 2p 2b = 2(p b)
a + b c = 2(p c)
b + c a = 2(p a).
Logo,
4a
2
h
2
= 2p . 2(p b). 2(p c). 2(p a).

Donde,
c) - b)(p - a)(p - (p p
a
h
2
= .
Conclumos ento, que
S = c) - b)(p - a)(p - (p p .

4) As condies do problema so (usando a frmula de Heron para a rea de
um tringulo qualquer em funo dos lados):
( )( )( ) p 2 c p b p a p p = ,
onde a, b e c so inteiros positivos, e
2
c b a
p
+ +
=
( )
. Sejam x = p - a ,y = p - b e
z = p - c. Obtemos ento, ( z y x xyz z y x + + = + + 2 ) . Logo, simplificando a
equao,
xyz = 4(x + y + z). (1)
(Recorde que x, y e z so nmeros racionais com denominador 2.) Vamos supor
que x y z. Isolando x na equao (1) temos:

4 yz
z 4 y 4
x
+
= .
Consequentemente;
y
4 yz
z 4 y 4
+
.
Multiplicando ambos os lados da equao por yz - 4, obtemos:
y
2
z - 8y - 4z 0 (2)
isto ,
(y - y
1
)(y - y
2
) 0,
onde y
1
e y
2
so as razes da equao do 2 grau com varivel y ,
zy
2
- 8y - 4z 0 (z constante):


z
z
y
2
1
4 16 4 + +
= e
z
z
y
2
2
4 16 4 +
= .

Como podemos ver y
2
negativo, o que implica que y - y
2
> 0.
Consequentemente, uma condio necessria para para que a igualdade (2) se
verifique :
y - y
1
0, isto ,

z
z
y
2
4 16 4 + +
.
Logo, devemos ter
2
z 4 16 4 yz + + ,que implica
2 2
4 16 4 z z + (para z
y). Elevando ambos os membros da ltima igualdade ao quadrado, obtemos;
, isto ,
2 2 4
4 16 16 8 z z z + +

2 4
12z z
que se verifica somente para z 3.
Consideremos 3 possibilidades:
i) z =1,
; 9
1
4 16 4
<
+ +
y
4
4 4
4
4 4
+
=
+
=
y
y
yz
z y
x .
Para y < 9, obtemos um inteiro positivo x, somente nos seguintes casos:
y = 5 nos d x = 24,
y = 6 nos d x = 14 e
y = 8 nos d x = 9.

ii) z = 2,
y ; 5
2
4 . 4 16 4
<
+ +
.
2
4 2
4 2
8 4
4
4 4
+
=
+
=
+
=
y
y
y
y
yz
z y
x
Neste caso,
y = 3, x = 10 e
y = 4, x =6.

iii) z = 3, . 4
3
9 . 4 16 4
<
+ +
= y Para z = y = 3 ,
4
4 4
+
=
yz
z y
x , no obtemos
nenhum inteiro positivo x.


Obtemos ento as solues para o problema,

x y z x + y + z = p a b c

24 5 1 30 6 25 29
4 6 1 21 7 15 20
9 8 1 18 9 10 17
10 3 2 15 5 12 13
6 4 2 12 6 8 10.

5) Temos,

( ) abc bc ac c b c a ab b a c b a c b a 6 3 3 3 3 3 3 0
2 2 2 2 2 2 3 3 3 3
+ + + + + + + + + = + + =
( ) ( ) ( ) abc c b bc c a ac b a ab c b a 6 3 3 3
3 3 3
+ + + + + + + + + =
abc abc abc abc c b a 6 3 3 3
3 3 3
+ + + =
. abc c b a 3
3 3 3
+ + =
Logo, , como queramos provar. abc c b a 3
3 3 3
= + +

6) Vamos resolver o problema para um semi-crculo. Seja S(n) a soma dos
termos do n-simo passo. Assim,

26
1 1

3 3
2
2
1 1

1 passo:
S(1) = 1 + 1 = 2

2 passo:
S(2) = 1 + 1 + 2 = S(1) + 1 + 1 = 4

3 passo:
S(3) = S(2) + 3 + 3
= S(2) + (1 + 2) + (2 + 1)
= S(2) + S(2) 1 + S(2) 1
= 3 S(2) 2
1 1

Revista da Olimpada n 1, 2000


4 passo:
S(4) = S(3) + (1 + 3) + (3 + 2) + (2 + 3) + (3 + 1)
= S(3) + 2 S(3) 2
= 3 S(3) 2

Vamos supor que S(n) = 3 S(n 1) 2 e usando o princpio de induo, vamos
calcular S(n + 1). Sejam a
1
, ... , a
r
os pontos do n-simo passo; ento:
3
1
4 = 3 + 1
2
3
5 = 3 + 2
5 = 3 + 2
4 = 1 + 3
1

S(n + 1) = S(n) + (1 + a
1
) + (a
1
+ a
2
) + ... + (a
r 1
+ a
r
) + (a
r
+ 1)
S(n + 1) = S(n) + 2 S(n) 2.

Logo , S(n) = 3 S(n 1) 2.
Mas,

S(1) = 2 = 3
0
+ 1
S(2) = 4 = 3
1
+ 1
S(3) = 10 = 3
2
+ 1
S(4) = 28 = 3
3
+ 1

natural supor que S(n) = 3
n 1
+ 1, para todo n inteiro positivo.
Usando novamente o princpio de induo, vamos calcular S(n + 1).
S(n + 1) = 3 S(n) 2 = 3 (3
n 1
+ 1) 2 = 3
n
+ 1.

Logo S(n) = 3
n 1
+ 1, para todo n inteiro positivo.

Portanto,
S(1999) = 3
1998
+ 1 e considerando o outro semi-crculo obtemos a soma total
2(3
1998
+ 1) 2 = 2 . 3
1998
.

7) Sejam m
n
, a
n
e c
n
as probabilidades de que no dia n ele use culos magenta,
amarelo e ciano, respectivamente. Temos m
1
= 1, a
1
= c
1
= 0 e

2
1
n n
n
c a
m
+
=
+
,
2
1
n n
n
c m
a
+
=
+
, e
2
1
n n
n
a m
c
+
=
+
.

Como a
n
+ c
n
+ m
n
= 1, temos .
2
1
1
n
n
m
m

=
+
Assim,
3
n 2
) 2 ( 1
n
m

= , e
em 31 de agosto a probabilidade de que ele volte a usar o magenta
3
2 1
29
31
+
= m .

8) Temos
(x y)(x
2
+ xy + y
2
) = 3
3
37. (1)
Suponhamos que x > y. Assim, os possveis valores de a = x y so 1, 3, 9,
27, 37, 3 . 37, 9 . 37, 27 . 37. Para cada valor de a podemos fazer y = x a e o
segundo fator de (1) fica
x
2
+ x(x a) + (x a)
2
=
a
999
(2)
Devemos verificar para quais valores de a as razes de (2) so inteiras. Para isso
devemos ter
a
999 12
a 3
2

+ = , um quadrado perfeito.

Para a = 1,
] 2 ) 1 333 4 ( 3 [ 3 ) 1 999 4 ( 3 999 12 3 + = = + = .
Assim o nmero no mltiplo de 3 e no um quadrado
perfeito. Assim para a = 1 o problema tem solues inteiras.
2 1 333 4 3 + ) (
Para a = 3,
( )
2 2 2 2 3
21 3 3 444 3 111 4 3 3
3
999 12
9 3 = = + =
+ = .
Logo, um quadrado perfeito e
( ) ( )
2
7 1 3
6
7 1 9
6
21 3 9
x

=
=

=
x = 12 e y = 9 , x = -9 e y = -12.

Para a = 37,
( )
2 2 3 2
3 12 37 3 3 12 37 3 = = .
Para ser um quadrado perfeito o nmero deveria ser mltiplo de
3, o que no acontece pois nesse caso 37
2 2
3 12 37
2
seria tambm mltiplo de 3.
Logo para a = 37 o problema no tem solues inteiras.
Continuando a verificao para os demais valores de a encontramos como
respostas:
x = 12 e y = 9 , x = -9 e y = -12 , x = 10 e y = 1 , x = -1 e y = -10.


9) Os restos das divises de 1, 11, 111, 1111, 11111, 111111 por 7 so
respectivamente 1, 4, 6, 5, 2, 0, e isto se repete em ciclos de 6. Como o
resto da diviso de 1999 por 6 1, conclumos que o resto da diviso de N
por 7 tambm 1.

10) Se x o maior lado, devemos ter , ou seja,
2 2 2
12 10 + < x
6 , 15 244 < x . Se 10 < x < 12 o tringulo acutngulo. Se x o menor
lado, devemos ter , ou seja,
2 2 2
10 12 x > 6 , 6 44 > x . Assim, x = 7, 8,
9, , 15. Logo, existem 9 valores possveis para x.

11) Como a razo das reas de tringulos semelhantes igual ao quadrado da
razo de semelhana temos
( )
( )
2
2
AB
BM
2
1
ABC tringulo do rea
BMN tringulo do rea
= = . Da,
397 , 59 2 42 BM = .

12) Usaremos o fato de que . Suponhamos que
possua m algarismos e que possua n algarismos. Ento :
1999 1999 1999
10 5 2 =
1999
5
1999
2

n n m m
10 5 10 , 10 2 10
1999 1 1999 1
< < < <

e assim
n m n m + +
< < 10 10 10
1999 2

Da e assim . 1 n m 1999 + = 2000 = + n m

13) Claramente, 37 bolas no so suficientes uma vez que entre elas podem
estar as 10 bolas brancas e pretas e 9 de cada uma das outras. Por outro
lado, 38 bolas garantem que temos pelo menos 28 bolas que no so nem
brancas e nem pretas e uma vez que , pelo Princpio da Casa
do Pombo temos certamente 10 bolas da mesma cor.
1 9 3 28 + =


Relao dos Classificados na VIII Olimpada /1999

Nvel 1 (5 e 6 sries do Ensino Fundamental)
Total de pontos: 60

Premiados
N. Class Nome Ptos Srie Escola Cidade
01 1 lugar Ernesto Quaresma Mendona 59 6 Disciplina Goinia
02 1 lugar Guilherme Rodrigues Salermo 59 6 IPE Goinia
03 2 lugar Joo Paulo Fernandes dos Reis 55 6 Disciplina Goinia
04 3 lugar Max Well Rabelo 54 6 Esc.Porto Seguro Goinia
05 3 lugar Raquel Cristina Zendron 54 6 Esc. Ens.Fund.Crescer Anpolis

Menes Honrosas
06 4 lugar Gustavo Menezes Santana 49 6 Esc. Nova Opo Goinia
07 5 lugar Jlia Jenior Lotufo 48 6 Phoenix Goinia
08 5 lugar Leandro Santos Ribeiro 48 6 IPE Goinia
09 6 lugar Fernando Frana de Souza 46 5 ColEstJales Machado Goiansia
10 7 lugar Andr Cesarino de Paula 44 6 Agostiniano Goinia
11 7 lugar Gabriel Lohman Cdo 44 6 Esc.Ens.Fund.Crescer Anpolis
12 7 lugar Mateus Quaresma Mendona 44 5 Disciplina Goinia
13 8 lugar Gustavo Tadeu Reis Silva 43 6 vila Goinia
14 9 lugar Fernando Friaa Asmar de Souza 42 6 Ateneu Dom Bosco Goinia
15 10 lugar Rodrigo Scalia Fernandes 41 6 C.E.Paulo Freire -
Anglo
Catalo
16 11 lugar Thalita Gouvea Guimares 40 6 Escola Antares Goinia

Menes Especiais
17 12 lugar Joo Paulo V. O. Arantes 39 6 Agostiniano Goinia
18 13 lugar Denis Masashi Sugita 38 6 Agostiniano Goinia
19 13 lugar Hermano Marchi de Sousa 38 6 Educ. Nasc.do
Araguaia
Mineiros
20 14 lugar Carolina Damaceno Silveira 37 6 Esc.Ens.Fund.Crescer Anpolis
21 14 lugar Lira Rocha da Mota 37 5 Educ. Yara Berocan Goinia
22 14 lugar Rafael Jardim Aafama 37 6 CE Pol Rui Barbosa Rialma
23 14 lugar Talita Viana Neves 37 6 Marista Goinia
24 15 lugar Raphael de Faria Carmo 36 6 Lassale Goinia
25 16 lugar Hernane M. Machado 35 5 Diocesano Itumbiara


26 16 lugar Marcus Vincius C Sereno 35 6 Galileu Anpolis
27 16 lugar Raphael Costa 35 6 Disciplina Goinia
28 17 lugar Thiago Martins Amaral 34 6 Lassale Goinia
29 18 lugar Joo Antnio Marques Arajo 33 5 Aphonsiano Trindade
30 18 lugar Mariana Veiga Florentino 33 6 Marista Goinia
31 18 lugar Nelson Loureiro dos Santos Filho 33 6 Marista Goinia
32 19 lugar Jos Luciano Gomes de Almeida 32 5 Col Est So Cristvo Goinia
33 19 lugar Ralph Canhete Ribeiro 32 6 Pr-Mdico Goinia
34 20 lugar Amanda C. F. de Queiroz 31 6 Metropolitano Trindade
35 20 lugar Daniele Pereira Rezende 31 6 Educ.Nasc. do
Araguaia
Mineiros
36 20 lugar Fbio Fernandes de Oliveira 31 6 EM Dep Jos de Assis Anpolis
37 20 lugar Juliana Nbrega Mesquita 31 6 IPE Goinia
38 21 lugar Hilton Luis Alves Filho 30 6 Rioverdense - Objetivo Rio
Verde
39 21 lugar Marina da Silva Vieira 30 6 Anglo de Goinia Goinia
40 21 lugar Pedro Cupolillo de Faria 30 6 Delta Goinia
41 21 lugar Rodrigo Lcio de Castro 30 6 IPE Goinia
42 21 lugar Rogrio Marques da Silva 30 6 Col Est Abraho
Andr
Catalo

Nvel 2 ( 7 e 8 sries do Ensino Fundamental)

Total de pontos: 60
Premiados
N Class Nome Ptos Srie Escola Cidade
01 1 lugar Jorge Peixoto de Morais 55 7 Mega Educ Goinia
02 2 lugar Climbi Ferreira Hall 45 8 Phoenix Goinia
03 3 lugar Helena Buys G. R. F.da Silva 41 8 Phoenix Goinia
04 3 lugar Vitor Ken Mochizuki 41 7 Mega Educ Goinia

Menes Honrosas
05 4 lugar Flvio Boaventura Garcia 36 8 Galileu Anpolis
06 5 lugar Gabriel Jenior Lotufo 35 8 Phoenix Goinia
07 6 lugar Marcio Antnio F. Belo Filho 33 8 IPE Goinia
08 7 lugar Ana Cludia M. do Nascimento 32 8 Integral Catalo


Nvel 3 (Ensino Mdio)
Total de pontos: 50

Premiados
N Class Nome Ptos Srie Escola Cidade
01 1 lugar Fernando Prado Rocha 49 2 Mega Educ Goinia

02 1 lugar Humberto Silva Naves 49 1 Mega Educ Goinia
03 1 lugar Lus Eduardo e Silva Naves 49 3 Mega Educ Goinia
04 2 lugar Lafayette Spsito Jota 43 3 WR Goinia
05 3 lugar Leandro Alves Carneiro 42 3 WR Goinia

Menes Honrosas
06 4 lugar Renner Assis Lima 41 3 WR Goinia
07 5 lugar Paulo Regis Tvora D Jnior 38 2 Mega Educ Goinia
08 6 lugar Eduardo Meireles 37 3 WR Goinia
09 7 lugar Alexandre Rezende Ferreira 33 3 WR Goinia
10 7 lugar Carlos Stein 33 1 Viso Goinia
11 7 lugar Rodrigo Tapia Passos de Oliveira 33 3 Ateneu Dom Bosco Goinia
12 7 lugar Thiago Marques Silva 33 2 Delta Goinia
13 7 lugar Vitor Menezes Santana 33 3 WR Goinia

Menes Especiais

14 8 lugar Hugo Ricardo Valim de Castro 28 3 Viso Goinia
15 8 lugar Luana Marinho do Nascimento 28 3 WR Goinia
16 9 lugar Bruno Borges de Souza Lima 25 2 Mega Educ Goinia
17 9 lugar Laura Fernandes Carrijo 25 2 Dinmico Goinia


VIII Olimpada de Matemtica do Estado de Gois

Resoluo da prova do Nvel 1

Questo 1 Observe a seqncia formada com as letras A, B e C:

ABC BCA CAB ABC BCA ...

a) Qual a letra que se encontra na posio 23?
b) Qual a letra que se encontra na posio 1999?
Justifique sua resposta

Soluo:
Observe que a seqncia ABC BCA CAB ABC BCA ... constituda pela
repetio dos 3 primeiros agrupamentos de letras (ABC BCA CAB), assim
tanto em a) como em b) devemos verificar quantos grupos de 9 letras existem
ou seja:

a) 23 = 9x2 +5, da se conclu que a 23 letra a 5 letra da seqncia bsica,
ou seja a letra C;
b) 1999 = 9x222 + 1, logo a l999 letra a 1 do agrupamento bsico ou seja a
letra A.

Outra soluo para o item a)
Encontre diretamente na seqncia a 23 letra:
ABC BCA CAB ABC BCA CAB ABC BCA CAB ABC BCA CAB...

Questo 2 Um casal tem filhos e filhas. Cada filho tem um nmero de irmos
igual ao nmero de irms. Cada filha tem um nmero de irmos igual ao
dobro do nmero de irms. Quantos filhos e filhas tem o casal?

Soluo:
Sejam
x = nmero de filhos;
y = nmero de filhas;
x 1 = nmero de irmos que cada filho tem;
y 1 = nmero de irms que cada filha tem.


Sentena em portugus Sentena matemtica
cada filho tem um n. de irmos igual ao nmero de
irms
x 1 = y
cada filha tem um n. de irmos igual ao dobro de
n. de irms
x = 2 ( y 1)

Temos ento o sistema:
x = 2 ( y 1)
x 1 = y
Resolvendo o sistema temos: x = 4 e y = 3.

Questo 3 Carlos e Pedro possuem a mesma quantia em dinheiro. Carlos
entretanto tem mais dinheiro que Fbio, que tem mais que Jos. Um
outro colega, Mrio, tem menos dinheiro do que Carlos e mais dinheiro
que Jos e quantia diferente de Fbio. Alm disso, Pedro tem menos
dinheiro que seu amigo Ricardo.

a) Escreva os nomes de Carlos, Pedro, Fbio, Mrio e Ricardo segundo a
ordem crescente das quantidades de dinheiro.
b) Considerando que, deles todos, o mais pobre tem noventa reais e que a
diferena entre o valor possudo por cada um deles e o imediatamente mais
rico de duzentos reais, quantos reais tem Ricardo?

Soluo:
Sentena em portugus Sentena matemtica
Carlos e Pedro possuem a mesma quantia C = P
Carlos tem mais dinheiro que Fbio, C > F
(Fbio) que tem mais dinheiro que Jos F > J
Mrio, tem mais dinheiro do que Jos M > J
(Mrio) e quantia diferente de Fbio M F
Alm disto, Pedro tem menos dinheiro que seu
amigo Ricardo
P < R

Podemos representar estas relaes em uma reta ordenada ou construir uma
tabela para ver a ordem do conjunto.

O problema proposto tem 2 solues:
PRIMEIRA SOLUO:

J F M C = P R


SEGUNDA SOLUO:
J M F C = P R

A parte b) bastante simples, usando qualquer uma das tabelas acima. (O
resultado final no depende desta escolha)

J M F C = P R
90 290 490 690 890

Questo 4 A partir de um quadrado de lado igual a 1, constri-se um
pentgono retirando-se um tringulo retngulo cujos vrtices so os
pontos mdios de dois lados consecutivos do quadrado e o vrtice do
quadrado, conforme a figura abaixo.

A B A B

M
1
M
1

D M
2
C D M
2

Etapa 0 Etapa 1
Obtemos um novo pentgono retirando-se novamente um tringulo
retngulo, agora o de vrtice B.

A M
3
B A M
3

M
1
M
1

D M
2
D M
2

Etapa 2 Etapa 3


Continuando o processo teremos na 4 etapa um quadrado novamente.

M
3
M
3

M
4
M
1
M
4
M
1

D M
2
M
2

Etapa 4 Etapa 5

Determine as reas dos polgonos de cada etapa.

Soluo:
A rea na etapa 0 a rea do quadrado ou seja 1.
Para obter a etapa 1 pode ser feita a seguinte construo: divida cada lado do
quadrado original ao meio. Una os pontos assim obtido e que estejam em lados
opostos por um segmento de reta. Obtm-se 4 quadrados, e em seguida una os
pontos M
1
e M
2
,

o que divide o quadrado menor em 2 tringulos que tem mesma
rea. Assim a rea retirada na primeira etapa 1/2 de 1/4 ou seja 1/8, portanto a
rea restante na etapa 1 7/8, na etapa 2 6/8, na etapa 3 5/8 e na etapa 4
4/8 (ou 1/2)

Questo 5 Deseja-se cercar com arame uma rea na forma de um quadriltero
de lados 150m, 100m, 90m, 75m. A cerca deve conter postes igualmente
espaados e ainda conter um poste em cada vrtice. Calcule o nmero
mnimo de postes necessrios para cercar a rea.

Soluo:
Vamos encontrar os divisores comuns destes nmeros. A fatorao de cada
nmero dado (medidas dos lados) :

150 = 2 x 3 x 5
2
100 = 2
2
x 5
2

90 = 2 x 3
2
x 5
75 = 3 x 5
2


Portanto, 5 o mximo divisor comum destes 4 nmeros. Logo, o nmero
mnimo de postes necessrios para cercar esta rea com as condies do
problema :
150/5 +100/5 + 90/5 + 75/5 = 30 + 20 + 18 + 15 = 83 postes.

Questo 6 Os nmeros dispostos abaixo formam o Tringulo de Pascal

1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1

Para entendermos melhor esta tabela vamos mostrar como ela
construda.
A primeira linha, que chamaremos de linha 0, possui apenas o
nmero 1;
A segunda linha, que chamaremos de linha 1, possui os nmeros 1 e
1;
Nas outras linhas sempre teremos o primeiro e ltimo nmeros
iguais a 1, e os outros so obtidos somando-se o imediatamente
superior com o elemento que o antecede na linha. Por exemplo, na
linha 5, o 10 foi obtido somando-se o 6, que est imediatamente
superior ao 10, e o 4 que est esquerda de 6. Como mais um
exemplo vamos preencher a linha 6 da tabela abaixo.

1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
1 5+1 10 +5 10+10 5+10 5+1 1

a) Complete o Tringulo de Pascal abaixo


1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
1 6 15 20 15 6 1
1 21 1
8 1
1 126 9
10 1

b) Qual a sequncia de nmeros que se obtm quando somamos os
elementos de cada linha?
c) Quais as outras coincidncias, ou melhor, propriedades que voc
observa no Tringulo de Pascal?
Soluo:
a)
1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
1 6 15 20 15 6 1
1 7 21 35 35 21 7 1
1 8 28 56 70 56 28 8 1
1 9 36 84 126 126 84 36 9 1
1 10 45 120 210 252 210 120 45 10 1

b) A seqncia que se obtm :

1, 2, 4, 8,16, 32, 64, 128, 256, 512, 1024, 2048,... ou seja

1, 2, 2
2
, 2
3
, 2
4
, 2
5
, 2
6
, 2
7
, 2
8
, 2
9
, 2
10
, 2
11
,... ou ainda

(1+1)
0
, (1+1)
1
, (1+1)
2
, (1+1)
3
, (1+1)
4
, (1+1)
5
, (1+1)
6
, (1+1)
7
, (1+1)
8
, (1+1)
9
,

(1+1)
10
, (1+1)
11
,...e em cada linha temos os nmeros obtidos pelo
desenvolvimento do correspondente binmio.


c) Outras coincidncias:
c1) A segunda coluna formada, de cima para baixo, pelos nmeros
naturais (existe outra sequncia igual a esta, que pode ser identificada pela
simetria do tringulo);
c2) Existe uma simetria em cada linha, sendo que:
os nmeros situados em posies simtricas so sempre iguais,
as linhas pares h um elemento ocupando a posio central.
c3) Observe que cada nmero do tringulo obtido pela soma dos
elementos que esto na coluna anterior e acima de sua linha (esta regra no
vlida quando tem-se o nmero 1 na clula). Como exemplo pegue o
nmero 21, que est na linha 7 e na terceira coluna, e o nmero 84 da
linha 9 e na stima coluna, ver o sombreamento no tringulo.

1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
1 6 15 20 15 6 1
1 7 21 35 35 21 7 1
1 8 28 56 70 56 28 8 1
1 9 36 84 126 126 84 36 9 1
1 10 45 120 210 252 210 120 45 10 1


Resoluo da prova do Nvel 2

Questo 1 Na figura abaixo os segmentos de reta r e s so paralelos. Ento a
soma dos ngulos ser de quantos graus? F e E D C B A

,
E
C
F
D
r
s

A

B


Soluo:
Seja o ponto onde se encontram e . Por P passamos a reta
, paralela a r e . Essa reta divide o ngulo em um ngulo igual a
e outro igual a . Portanto a soma dos ngulos internos do
tringulo .
P BF
= 180
AD
B P A
t
E
A
F
+ D C

+
+ +
D C APB + + +

F E B

Questo 2 Um nmero inteiro um quadrado perfeito quando sua raiz
quadrada um nmero inteiro, por exemplo, 16 um quadrado perfeito
pois 4 16 = . Mostre que a soma dos quadrados de dois nmeros inteiros
mpares no pode ser um quadrado perfeito.

Soluo:
Lembrando que qualquer nmero mpar pode ser escrito na forma 2n + 1, com n
inteiro, a soma dos quadrados de dois mpares do tipo
(2p + 1)
2
+ (2q + 1)
2
= 4p
2
+ 4p + 1 + 4q
2
+ 4q + 1 = 2[2(p
2
+ q
2
+ p + q) + 1],
que o dobro de um nmero mpar e portanto, divisvel por 2 mas no por 4.
Logo no pode ser uma quadrado de um nmero inteiro.

Questo 3 Seja ABC um tringulo qualquer e AH a altura em relao ao lado
BC. Sejam M
1
e M
2
os pontos mdios dos lados AB e AC
respectivamente. Mostre que o ngulo igual ao ngulo .
2 1
M H M A

Soluo:

A reta paralela a passando por passa tambm por , o que pode
ser verificado pelo teorema de Tales. Como , temos tambm .
Se P o ponto de encontro de com , fcil verificar que os tringulos
e so congruentes, o mesmo ocorrendo com e .
Segue-se que M M = M M .
r
2
BC
1
M
r
2
M
APM
BC AH r AH
1
HPM
AH
APM
2
HPM
H
1
1
A
2 1 2
Veja outra soluo na pgina 44.

Questo 4 A sequncia de Fibonacci (a
1
, a
2
,...,a
n
, ...) tal que a
1
= a
2
= l e
a
n
= a
n 1
+ a
n 2
, para n 3.

a) Obtenha os 5 primeiros termos desta sequncia.
b) Mostre que a
n
a
n + 1
- a
n 1
a
n
= (a
n
)
2

, para todo n 2.
c) Mostre que a para todo n N.
1 n n
2
n
2
3
2
2
2
1
a a a ... a a
+
= + + + +

Soluo:
a) . 5 , 3 , 2 , 1 , 1
5 4 3 2 1
= = = = = a a a a a
b) Para n , temos . Multiplicando os dois
membros por a chegamos a e basta agora isolar o termo
.
2
1 1 +
+ =
n n n
a a a
n 1 n
2
n 1
a a a

+ =
n n n
a a
+
2
n
a
c) Com a igualdade obtida em b), podemos escrever

2
1
2
1
a a =

2 1 3 2
2
2
a a a a a =

3 2 4 3
2
3
a a a a a =

1 2 1
2
1
=
n n n n n
a a a a a

n n n n n
a a a a a
1 1
2
+
=

Somando o lado esquerdo dessas igualdades devemos obter a soma do lado
direito, ou seja, . Note que
1
2 2
2
2
1 +
= + + +
n n n
a a a ... a a . 1
2 1
2
1
= = a a a

Questo 5 Quantos retngulos diferentes consistindo de um nmero inteiro de
quadrados podem ser obtidos:

a) em um tabuleiro 4 x 4 (ver figura abaixo)?


b) em um tabuleiro 8 x 8?

(considerando dois retngulos diferentes se eles possurem dimenses
diferentes, ou se ocuparem posies diferentes no tabuleiro).

Soluo:
a) Para resolver a questo necessrio contar quantos retngulos de
cada tamanho podem ser obtidos, ou seja, se a largura de um retngulo (em
nmero de quadrados) e seu comprimento, quantos retngulos k podem
ser formados? No caso de um tabuleiro pequeno como o , essa contagem
pode ser feita por observao direta do tabuleiro, com o que podemos construir
a tabela
k
l l
4 4

Formato Quantidade Formato Quantidade
1 3 8 1 1 16
2 3 6 2 1 12
3 3 4 3 1 8
4 3 2 4 1 4
1 4 4 1 2 12
2 4 3 2 2 9
3 4 2 3 2 6
4 4 1 4 2 3

Basta, ento, somar as quantidades para obter um total de 100 retngulos.
b) Para um tabuleiro maior, a contagem dos retngulos torna-se muito
trabalhosa, o que nos fora a procurar um meio de sistematizar essa contagem.
Contar o nmero de retngulos que podem ser formados num tabuleiro
, por exemplo, equivale a contar em quantas posies diferentes um
retngulo pode estar, o que por sua vez equivale a contar em quantas
posies diferentes podemos colocar o canto superior direito do retngulo .
l k
8 8
l k
l k

Ora, em um tabuleiro de largura 8 , um retngulo de largura k pode ter seu
canto superior direito colocado em 8 linhas diferentes. Para cada
uma dessas linhas, se comprimento do retngulo l , o canto superior direito
pode ser colocado em 8 colunas diferentes, o que nos d um total
de posies possveis, ou seja, retngulos k . Desse modo, o
nmero de retngulos com largura dado por
k k = + 9 1
7 8 )( k 9 ( ) 8 + + =
8 , , 2 , 1
5 6 7 8 36 + + + (
l
k
9 )(
= k
= )
l = + 9 1
k 9 ( ) 2 + +
8 9 36 + (
) 9 )( 9 ( l k
k 9 ( ) 1 9 )( k +
9 36 1 9 + ( ) (
l
3 4+ +
2 3 + +
2+ +
1 = )
6
4 +
3
3
l
2
1
. =
3
1
2
l
2
=
2 = x l 2
3
2
) k 9 ( 36 ) 1 5 9 )( 9 ( = +
Somando essas quantidades para , obtemos o total de retngulos
1296 36 36 2 36 = + + )

Questo 6 Um tringulo issceles retngulo ABC, cujos lados iguais, AB e
AC, medem 1 cm de comprimento, cortado de uma folha de papel que
branco de um lado e preto do outro. O papel dobrado movendo o vrtice
B ao longo BC de tal forma que a rea da regio de cor preta e a rea da
regio de cor branca sejam iguais. Depois de dobrado, a que distncia est
o vrtice C do vrtice B?

Soluo:
Depois de dobrado o papel, temos um tringulo preto, que esconde
uma parte do lado branco do papel igual ao dobro da rea do tringulo. Temos
tambm que a parte descoberta do lado branco do papel tem a forma de um
trapzio. Para que as reas das regies preta e branca sejam iguais, devemos ter
a rea do tringulo preto igual a um tero da rea do tringulo ABC inicial. Mas
o tringulo preto retngulo e issceles, com um dos catetos formado no lado
BC do tringulo inicial. Seja l a medida desse cateto, de forma que a rea do
tringulo preto l
2
/2. A rea do tringulo ABC inicial 1/2 , portanto devemos
ter
.
Seja x a distncia entre os pontos B e C depois de dobrado o papel. O
comprimento do lado BC do tringulo original
.
Logo
.
3
2 2 3
3
3
2

= = x

Resoluo da prova Nvel 3

Questo 1 Seja ABC um tringulo qualquer e AH a altura em relao ao lado
BC. Sejam M
1
e M
2
os pontos mdios dos lados AB e AC
respectivamente. Mostre que o ngulo igual ao ngulo .
2 1
M H M A

A Soluo:
H
B
M
1
M
2

C

O tringulo AHC retngulo, logo inscrito na semi-circunferncia de dimetro
AC. Da M
2
C = M
2
H (raio da circunferncia). De maneira anloga para o
tringulo AHB. Logo BM
1
H e HM
2
C so issceles e ,
ento , portanto
B
B H
M e C
C H
M
1 2
= =
180 C H
M M H
M B H
M
2 2 1 1
= + +
.
)

( 180
2 1
A C B M H M = + =
Obs: O mesmo acontece se consideramos o tringulo

A

M
1
M
2

H B C
Veja outra soluo na pgina 40.

Questo 2 A sequncia de Fibonacci (a
1
, a
2
,...,a
n
, ...) tal que a
1
= a
2
= l e
a
n
= a
n 1
+ a
n 2
, para n 3. Suponhamos que seja um nmero real tal
que
2
= + 1

a) Verifique que
3
= a
3
+ a
2
e que
4
= a
4
+ a
3
.
b) Mostre que todas as potncias inteiras positivas de (n 2) so
representados por
n
= a
n
+ a
n 1
.


Soluo:
a) Observe que:
i)
3
=
2
+ = a
2
2
+ a
1
= a
2
( + 1) + a
1
= (a
1
+ a
2
) + a
2
=
a
3
+ a
2.

ii)
4
=
3
+
2
= a
3
+ a
2
+ ( + 1) = (a
3
+ a
2
) + (a
2
+ a
1
) = a
4

+ a
3
.

b) Como
2
= + 1 temos
2
= a
2
+ a
1
. Por a)
3
= a
3
+ a
2.

Provaremos o item b) usando o 2 Princpio de Induo sobre n, n 3.
Suponhamos que para todo 3 k < n.

k
= a
k
+ a
k 1
.

Tambm
2
= + 1 implica
n
=
n 1
+
n 2
. Ento:
n
= a
n 1
+ a
n 2
+ a
n 2
+ a
n 3
= (a
n 1
+ a
n 2
) + (a
n 2
+ a
n 3
) = a
n

+ a
n 1

Questo 3 Quantos retngulos diferentes consistindo de um nmero inteiro de
quadrados podem ser desenhados:

a) em um tabuleiro (xadrez) 8 x 8?
b) em um tabuleiro n x n?

(considerando dois retngulos diferentes se eles possurem dimenses
diferentes, ou se ocuparem posies diferentes no tabuleiro).

Soluo:
Primeiramente vejamos quantos retngulos com largura k quadrados e
altura l quadrados podem ser formados em um tabuleiro. Todo retngulo
desse tipo obtido selecionando-se k colunas consecutivas e l linhas
consecutivas.
a) O grupo de k colunas consecutivas pode ser escolhido em 9 k maneiras
diferentes (a ltima coluna pode ser a k -sima, (k + 1)-sima, ... ou a 8
coluna). Analogamente, o grupo de l linhas pode ser escolhido em 9 l
modos diferentes. Logo, um retngulo de largura k e altura l pode ser
escolhido em (9 k) (9 l) maneiras distintas e esse o total de retngulos
desse tipo sobre o tabuleiro.
O nmero de retngulos de largura k sobre o tabuleiro


(9 k) (9 1) + (9 k) (9 2 ) + ... + (9 k) (9 8) =
(9 k) ( 8 + 7 + 6 + 5 + 4 + 3 + 2 + 1) = 36 (9 k).

Como k varia de 1 a 8, o nmero total de retngulos
36 (9 1) + 36 (9 2) + ... +36 (9 8) = 36 . 36 = 1296.

b) Como em a), conclumos que o nmero total de retngulos de comprimento
k quadrados e altura l quadrados em um tabuleiro n x n (n + 1 k) (n + 1
k). O nmero total de retngulos de largura k quadrados

(n + 1 k) (1 + 2 + ... + n) = (n + 1 k)
( )
2
1 + n n
.

Ento, o nmero de retngulos no tabuleiro

( 1 + 2 + ... + n)
( )
2
1 + n n
=
( )
2
2
1
(
+ n n
.

Questo 4 Determinar, se existirem, todos os nmeros naturais n tal que
podemos decompor o conjunto C = {n, n + 1, n + 2, n + 3, n + 4, n + 5}
em dois subconjuntos A e B disjuntos, no vazios, de forma que o produto
dos elementos de A seja ao produto dos elementos de B.
Soluo:
Se p um nmero primo que divide algum elemento de A, ento p divide pelo
menos dois elementos de C. Ento, p s pode ser 2, 3 ou 5. O primo 5 pode
dividir somente n e n+5.
Logo, n + 1, n + 2, n + 3, n + 4 podem ter como fatores somente 2 e 3. Como 3
no divide nmeros consecutivos e tambm no divide mpares consecutivos,
conclumos que A e B no existem.

Questo 5 Seja P(x) = x
3
+ ax
2
+ bx + c um polinmio com coeficientes
inteiros. Suponha que P(x) tem trs razes distintas. Mostre que a equao
P(x) 1 = 0 no admite raiz inteira.

No enunciado da questo faltou a hiptese das razes serem inteiras, o que torna
falsa a afirmao de que P(x) 1 no admite raiz inteira. Vrios alunos notaram
esta omisso, porm o aluno Vitor Menezes Santana, do Colgio WR, deu um
contra-exemplo. Ele escreveu:

Seja P(x) = x
3
+ 1 , a = 0, b = 0 , c = 1.
P(x) tem trs razes distintas a saber,
x
1
= -1 , x
2
=
2
3 1 i +
e x
3
=
2
3 1 i

Agora , P(x) 1 = 0 implica x
3
= 0 que tem soluo inteira.
Nossos parabns a ele!
Vamos agora resolver o problema considerando que P(x) tenha 3 razes
distintas e inteiras.
Soluo:
Sejam r
1
, r
2
, r
3
trs razes inteiras, distintas de P(x). Ento podemos escrever
P(x) = (x r
1
)(x r
2
)(x r
3
). Admitindo que P(x) 1 = 0 tenha soluo inteira
x
0
, segue que (x
0
r
1
) (x
0
r
2
) (x
0
r
3
) = 1. Para que o produto de trs nmeros
inteiros seja igual a 1 existem duas possibilidades:

i) Os trs nmeros so iguais a 1.

ii) Dois desses nmeros so iguais a -1 e o terceiro igual a 1.
Em qualquer uma dessas duas possibilidades pode-se concluir que P(x) teria
razes iguais, o que contradiz a hiptese de que as trs razes so distintas.

Questo 6
a) Estude o comportamento do resto da diviso por 7 de 2
x
x
2
sendo x um
nmero inteiro positivo menor ou igual a 10000.
b) Quantos so os inteiros positivos x 10000 tais que a diferena 2
x
x
2
no
divisvel por 7?
Soluo:
a) Temos

1 1 (mod 7)
2 2 (mod 7)
2
2
4 (mod 7)
2
3
1 (mod 7)
2
4
2 (mod 7)
2
5
4 (mod 7)
Conclumos ento que,
2
x
= 2
x + 3
(mod 7), pois 2
x + 3
2
x
= 2
x
(8 1)= 7.2
x
= 0 (mod 7).

Faamos tambm uma anlise para os restos da diviso de x
2
por 7.


1 1 (mod 7) 8
2
1 (mod 7)
2
2
4 (mod 7) 9
2
4 (mod 7)
3
2
2 (mod 7) 10
2
2 (mod 7)
4
2
2 (mod 7) 11
2
2 (mod 7)
5
2
4 (mod 7) 12
2
4 (mod 7)
6
2
1 (mod 7) 13
2
1 (mod 7)
7
2
0 (mod 7) 14
2
0 (mod 7)

Temos que (x+7)
2
x
2
= 14x + 49 0 (mod 7).
Combinando os resultados acima, vemos que os restos de 2
x
e x
2
na diviso por
7, se repetiro com perodo 3.7 = 21.

b) Para os valores de x de 1 a 27, construamos a tabela para 2
x
e x
2
mod 7
x 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
2
x
2 4 1 2 4 1 2 4 1 2 4 1 2 4 1
x
2
1 4 2 2 4 1 0 1 4 2 2 4 1 0 1

16 17 18 19 20 21
2 4 1 2 4 1
4 2 2 4 1 0
Observamos na tabela acima 6 casos onde 2
x
x
2
divisvel por 7, a saber
x = 2 , 4 , 5 , 6 , 10 e 15
Pela periodicidade, os prximos 21 valores de x daro mais 6 casos e assim por
diante. Como 10000 = 21.476 + 4 e o total de valores de x tais que 2
x
x
2

divisvel por 7 476.6 + 2 = 2858, a resposta para o item b) 7142.


Notcias

A IX Olimpada de Matemtica do Estado de Gois ser realizada no dia
07 de outubro de 2000. As provas sero realizadas nas cidades de Goinia,
Catalo, Jata, Rialma e Anpolis. Estamos verificando a possibilidade de
aumentarmos o nmero de cidades em que realizaremos as provas.
Podero se inscrever, por escola:
Nvel 1 - 05 alunos de 5 e 6 sries do ensino fundamental;
Nvel 2 - 05 alunos de 7 e 8 sries do ensino fundamental;
Nvel 3 - 10 alunos do ensino mdio.
Fica a critrio da escola a seleo dos alunos participantes. A prova da 1
fase da Olimpada Brasileira de Matemtica poder ser utilizada para esta
seleo.
As inscries devero ser enviadas para o Instituto de Matemtica e
Estatstica - IME, em formulrio prprio, at 31 de agosto de 2000.

O IV Seminrio da Olimpada ser realizado no dia 07 de junho de
2000. As inscries devero ser enviadas para o Instituto de Matemtica e
Estatstica IME, em formulrio prprio, at 31 de maio de 2000.
O seminrio destina-se a professores interessados em discutir, propor e
resolver problemas de matemtica elementar tpicos de Olimpadas.
Professor participe!!!

A XXII Olimpada Brasileira de Matemtica ser realizada nas seguintes
datas:
a) 1 fase (na escola) - 10 de junho de 2000;
b) 2 fase (na escola) - 02 de setembro de 2000;
c) 3 fase ( no IME) - 21 e 22 de outubro de 2000.
Para participar a escola dever preencher o formulrio que se encontra
nas pginas finais desta revista e envi lo para o Instituto de
Matemtica e Estatstica da Universidade Federal de Gois ou para a
Comisso Nacional de Olimpada. Os endereos so:

Comisso Nacional de Olimpada
Estrada Dona Castorina, 110.
Jardim Botnico
CEP: 22 460 320
Rio de Janeiro RJ

Instituto de Matemtica e Estatstica
Coordenao de Olimpada
Campus Samambaia
Caixa Postal 131 CEP: 74 001 970
Goinia Gois


Realizamos de 13 a 17 de maro de 2000 a I Semana Olmpica. Este
evento destinou-se principalmente aos alunos classificados na VIII
Olimpada de Matemtica do Estado de Gois. Foram realizados vrios
minicursos e uma conferncia. O IME pretende continuar realizando
anualmente este evento.

Vrios eventos sero realizados no decorrer do ano 2000, tais como o IV
Encontro de Matemtica e Estatstica (Goinia), Jornadas de Matemtica
e/ou Educao Matemtica nos campi de Rialma, Jata, Catalo e Goinia.
Informaes detalhadas sero divulgadas oportunamente.


Artigos

Olimpada de Matemtica em Gois

Gisele de Arajo Prateado Gusmo IME/UFG
Ronaldo Alves Garcia IME/UFG.

1. Introduo
A Olimpada de Matemtica uma atividade mundial que teve incio
no sculo XIX na Hungria. Ressaltamos que neste sculo era freqente as
Academias de Cincias promoverem concursos de trabalhos cientficos, como
por exemplo o Problema da Estabilidade do Sistema Solar. Esta prtica ainda
hoje cultivada na Europa. No Brasil so realizadas diversas Olimpadas
Regionais, a Olimpada Brasileira e, a partir de 1995, a Olimpada de Maio.
Existem tambm as Olimpadas Internacional, Iberoamericana e do Cone - Sul.
Em todas o Brasil tem participado e conseguido bons resultados.
A Olimpada consiste numa prova de contedo e raciocnio de
matemtica e destinada a alunos do ensino fundamental e/ou mdio . A
Olimpada Brasileira de Matemtica coordenada pela Sociedade Brasileira de
Matemtica SBM, sediada no Instituto de Matemtica Pura e Aplicada
IMPA, no Rio de Janeiro, e realizada desde 1979; a regional de Gois
realizada pelo Instituto de Matemtica e Estatstica ( IME), desde 1992.

2. Objetivos
A importncia da resoluo de problemas reconhecida em nvel
internacional como um aspecto central no processo de aprendizagem de
matemtica e tem sido uma das principais preocupaes entre os professores.
Problemas que exigem raciocnio e criatividade so muito estimulantes e
envolventes. A Olimpada tem por objetivo mostrar a importncia da
matemtica no desenvolvimento das cincias atravs da resoluo de problemas
que procuram dar a quem os resolve uma atitude de investigao cientfica.
Desta forma, mostra aos jovens a necessidade do raciocnio abstrato e do estudo
para o domnio da cincia.
A Olimpada em Gois tem tambm o objetivo de ampliar o contato
da Universidade com as escolas do ensino fundamental e mdio, atravs de seus
professores, principalmente durante a preparao de seus alunos, para o
desenvolvimento de aes em conjunto visando a melhoria do ensino de
matemtica. O IME considera que temos alcanado estes objetivos, como
veremos adiante, e pretendemos ampliar cada vez mais nossa atuao.


3. Histrico
A I Olimpada regional, em 1992, foi realizada em Goinia, para
alunos do ensino mdio de todo Estado. O nmero de alunos inscritos por
escola no foi limitado. Tivemos aproximadamente 600 alunos inscritos sendo
que a participao ficou restrita a apenas 155 (26,4% dos inscritos, ver quadro
1). Nos anos posteriores decidimos limitar o nmero de inscritos (10 alunos do
ensino mdio por escolas), que desta forma obrigou as escolas inscreverem
apenas os alunos realmente interessados. Isto contribuiu para aumentar o
envolvimento das escolas. Atualmente muitas escolas fazem uma seleo dos
alunos interessados e algumas j fazem uma preparao para a Olimpada antes
desta seleo.
Na IV Olimpada regional comeamos a realizar provas tambm para
alunos de 7 e 8 sries do ensino fundamental e, por sugesto, dos professores
comeamos tambm a enviar para as escolas listas de problemas para auxiliar
na preparao dos alunos. Tambm por sugesto dos professores comeamos a
publicar, a partir da V Olimpada, um caderno com a resoluo comentada das
provas que enviado para a residncia dos professores cadastrados. Para as
escolas cadastradas, alm da resoluo comentada, enviamos o caderno
Coletneas de Problemas que so utilizados para a preparao de seus alunos e
como fonte de consulta para os professores interessados em enriquecer suas
aulas com problemas fora do livro texto.
Estes cadernos deram origem a Revista da Olimpada, que neste
primeiro nmero contm a resoluo comentada da VIII Olimpada de
Matemtica do Estado de Gois, uma coletnea de problemas e tambm artigos
de matemtica elementar e algumas notcias sobre as Olimpadas e atividades
do IME.
Na VII Olimpada comeamos a realizar provas para alunos de 5 e 6
sries do ensino fundamental. Assim, a partir desta olimpada temos provas do:
Nvel 1 para alunos de 5 e 6 sries, neste nvel cada escola pode
inscrever 05 alunos;
Nvel 2 para alunos de 7 e 8 sries, neste nvel cada escola pode
inscrever 05 alunos;
Nvel 3 para alunos do ensino mdio, neste nvel cada escola pode
inscrever 10 alunos.
O Quadro 1 mostra o aumento da participao de alunos durante estes
anos, com exceo de 1992 para 1993, chegando a ter um aumento de 190% da
VI para a VII Olimpada no nmero de inscritos. No nmero de escolas
participantes houve um aumento de 100% da VI para a VII Olimpada que
contou com a participao de 146 escolas de todo Estado (quadro 2).
Atualmente realizamos as provas nos campi da UFG em Goinia, Catalo,
Rialma, Jata e em Anpolis na Universidade Estadual de Gois. O quadro 3

mostra o nmero de inscritos e participantes, na VII e VIII Olimpadas, em cada
um destes locais.
Temos trabalhado no sentido de incentivar a participao dos alunos do
interior do Estado, principalmente os que moram prximos aos campi da UFG.
Em 1998 fizemos uma premiao local em Catalo, nos nveis 1 e 2, e em
Rialma no nvel 1, aos alunos que tiveram um bom desempenho nestas regies.
O Departamento de Matemtica do Campus Avanado de Jata com
apoio da Secretaria Municipal de Educao promoveu em 1998 a I Olimpada
de Matemtica da Cidade de Jata.
medida em que esses alunos participam de atividades nos campi,
como a Olimpada, a Universidade se integra mais comunidade. Os
comentrios que os alunos fazem nas Olimpadas mostram a importncia deste
evento.
O desafio que temos pela frente aumentar a participao de alunos da
rede pblica de ensino, principalmente dos municpios, que consideramos ainda
muito baixa.

Quadro 1 As Olimpadas em Gois
Ensino Mdio Ensino Mdio
Nvel 1 Nvel 2 Nvel 3 Nvel 1 Nvel 2 Nvel 3 Total de Part.
Olimpada 5 e 6 7 e 8 1, 2 e 3 5 e 6 7 e 8 1, 2 e 3 Inscritos %
I - 1992 --- --- 588 * --- --- 155 * 588 26,4%
II - 1993 --- --- 106 --- --- 63 106 59,4%
III - 1994 --- --- 188 --- --- 115 188 61,2%
IV - 1995 ** --- 125 243 --- 90 171 368 70,9%
V - 1996 --- 246 267 --- 152 183 513 65,3%
VI - 1997 --- 302 386 --- 211 259 688 68,3%
VII - 1998 *** 523 568 892 374 393 575 1983 67,7%
VIII - 1999 536 557 909 355 346 474 2002 58,7%
Ensino Fundamental
Nmeros de Inscritos Nmero de Participantes
Ensino Fundamental

* Sem limite de inscries por escola. ** Incio da participao de alunos de 7 e 8 sries do
ensino fundamental Nvel2.
*** Incio da participao de alunos de 5 e 6 sries do ensino fundamental Nvel 1.


Quadro 2 Escolas na VII e VIII Olimpadas

Pblica Pblica Pblica
Goinia Interior
84 62
10 57 2 8 69
Pblica Pblica Pblica
Goinia Interior
75 71
9 57 3 5 72
146
Escolas Participantes VII Olimpada
Total
Municipal Estadual Federal
Conveniada Particular
146
Escolas Participantes VIII Olimpada
Conveniada Particular
Total
Municipal Estadual Federal

Quadro 3 Inscritos e Participantes nas Olimpadas por Campi
Ens. Mdio Ens. Mdio
Nvel 1 Nvel 2 Nvel 3 Total Nvel 1 Nvel 2 Nvel 3 Total Part.
Campi 5 e 6 7 e 8 1, 2 e 3 Insc. 5 e 6 7 e 8 1, 2 e 3 Part. %
Goinia 435 476 760 1671 319 336 509 1164 69,7%
Catalo 27 22 42 91 20 16 22 58 63,7%
Rialma 15 21 45 81 14 16 25 55 67,9%
Jata 46 49 45 140 21 25 19 65 46,4%
Total 523 568 892 1983 374 393 575 1342 67,7%
Ens. Mdio Ens. Mdio
Nvel 1 Nvel 2 Nvel 3 Total Nvel 1 Nvel 2 Nvel 3 Total Part.
Campi 5 e 6 7 e 8 1, 2 e 3 Insc. 5 e 6 7 e 8 1, 2 e 3 Part. %
Goinia 389 417 684 1490 319 336 509 1164 78,1%
Catalo 34 37 75 146 27 23 24 74 50,7%
Rialma 35 35 68 138 17 18 29 64 46,4%
Jata 30 26 35 91 19 15 19 53 58,2%
Anpolis 48 42 47 137 24 21 24 69 50,4%
Total 536 557 909 2002 406 413 605 1424 71,1%
Ens. Fundamental Ens. Fundamental
VII Olimpada
VIII Olimpada
Ens. Fundamental
Ens. Fundamental

3.1 Atividades no dia da prova
Devido ao fato de muitos professores acompanharem seus alunos no
dia da realizao da Olimpada, a partir da III Olimpada comeamos a realizar
atividades com estes professores. Em 1999 esta participao foi de,
aproximadamente, 150 professores.
As atividades foram:
III Olimpada (1994): Mesa redonda O Ensino de Matemtica em
Gois com a participao de vrios professores do IME e das redes
Estadual, Municipal e Particular de Ensino.
IV Olimpada (1995): Palestras A Evoluo dos Conceitos de rea e
Volume com o prof. Ronaldo Alves Garcia (UFG) e A Licenciatura de

Matemtica na UFG e sua Vinculao com as Escolas do Ensino
Fundamental e Mdio com o prof. Mauro Urbano Rogrio ( UFG).
V Olimpada (1996): Palestra Poliedros com o prof. ngelo Barone
(USP).
VI Olimpada (1997):Palestra Problemas Olmpicos com o prof.
Carlos Gustavo de A. Moreira (IMPA/RJ).
Aps a realizao das provas da VI Olimpada, em Goinia, por volta das
12:00h, o prof. Carlos Gustavo fez uma discusso das questes com os alunos.
Muitos ficaram no campus esperando este momento. O Professor foi ganhador
de vrias Olimpadas regionais e internacionais e hoje pesquisador de renome
internacional e um dos coordenadores da Olimpada Brasileira de Matemtica.
VII Olimpada (1998): Palestras Problemas de Combinatria com o
prof. Nicolau Saldanha (PUC/RJ) e O ensino da Matemtica com o
prof. Mauro Urbano Rogrio ( UFG )
VIII Olimpada (1999): Palestra Combinatria no apenas
Contagem com o Prof. Paulo Czar Pinto Carvalho (IMPA RJ)

3.2 Classificados
So classificados os alunos que obtiverem os melhores
aproveitamentos em cada nvel. Estes alunos recebem como prmios livros
doados pela Sociedade Brasileira de Matemtica - SBM, placas de Honra ao
Mrito e os 3 primeiros classificados recebem premiaes em dinheiro. A partir
da VII Olimpada os alunos passaram a receber medalhas no lugar de placas de
Honra ao Mrito e um certificado com sua classificao. Na VIII Olimpada
enviamos para todos os alunos participantes um certificado de participao.
Os classificados nas Olimpadas foram:

I Olimpada ( 1992)

Classificao Nome Srie Escola
1 Lugar Jamil Calixto Said 2 Pr-Mdico
2 Lugar Fernando M. Arajo 2 Pr-Mdico
3 Lugar Juliano A. de Lemos 2 Pr-Mdico
Cristiano Borges Morais 3 Pr-Mdico
Luciano Melo Duarte 3 Pr-Mdico
Alan Carneiro Viana 1 ETFG
Karenina Fernandes Bittes 3 Objetivo
Menes Tarcsio Nunes Carvalho 1 Pr-Mdico
Honrosas Ronney de Carvalho 3 Objetivo
Andr Luiz S. Portugal 3 Objetivo
Erika Verediana Ferreira 3 S. Tomaz R. Verde

Jos de Barros S. Neto 1 ETFG
Luciano da Silva Pacheco 2 Pr-Mdico

II Olimpada (1993)

1 Lugar Romis R. de Faissol Attux 2 Colgio Pr-Mdico
Fernando Czar Oliveira Costa 2 Colgio Pr-Mdico
2 Lugar Alexandre Barra de Moraes 2 Colgio Pr-Mdico
3 Lugar Tarcsio Nunes Carvalho 3 Colgio Pr-Mdico
Menes Honrosas
Bruno Fabrcio P. da Rocha 3 Colgio Anglo
Rivael Aguiar Pereira 1 ETFG
4 Lugar
Glucio Madeira de Souza 3 Colgio Pr-Mdico
Cleber Rodrigues de Souza 1 C. Couto Magalhes 5 Lugar
Celso de Souza Jnior 3 ETFG
6 lugar Jovelino Moreira de Moura 2 Colgio Einstein

III Olimpada (1994)

1 Lugar Romis R. de Faissol Attux 2 Colgio Pr-Mdico
2 Lugar Mrcio Vencio Pilar Alcntara 2 ETFG
Ardiley Torres Avelar 2 ETFG
Hugo Soltz 3 Colgio Pr-Mdico
Andr Luiz Moraes Silva 3 ETFG/Jata
3 Lugar
Glenio Fernandes Moraes 1 ETFG/Jata
Menes Honrosas
4 Lugar Luiz Reginaldo A. F. Curado 3 Colgio Anglo
5 lugar Rodrigo de M. Sartini 1 ETFG
6 Lugar Ricardo Ander de Oliveira 3 Colgio Pr-Mdico
7 Lugar Ana Beatriz Sabbag Cunha 2 Colgio Auxilium

IV Olimpada (1995)

Modalidade I (Ensino Mdio)
1 Lugar Gustavo E. Neses 2 Colgio Pr-Mdico

2 Lugar Mrcio V. P. Alcntara 2 ETFG
3 Lugar Heber S. C. Ribeiro 3 Colgio Agostiniano
4 Lugar Diego R. de Morais 2 Colgio WR
5 Lugar Ardiley Torres Avelar 3 ETFG
6 Lugar Rodrigo de Magalhes Sartim 3 Colgio Agostiniano
7 Lugar Tarik Pereira de Souza 3 Colgio Pr-Mdico
8 Lugar Jeann R. do Carmo Lopes 3 Colgio WR
9 Lugar Juliana Janine Rodrigues 2 Col. Santo Agostinho
10 Lugar Monika Loureno D. Rodrigues 2 Colgio Pr-Mdico

Modalidade II (7 e 8 sries do Ensino Fundamental

1 Lugar Paulo Vincius A. Ximenes 8 Colgio Porto Seguro
2 Lugar Carlos G. V. de Moraes 8 Colgio Marista
3 Lugar Danilo B. Dalul 8 Colgio Marista
4 Lugar Humberto Granner Moreira 8 Col. Agostiniano
5 Lugar Adalberto Csar Caiado 8 Col. Agostiniano
6 Lugar Adriana Zanatta Pacheco 8 Colgio Santa Clara
7 Lugar Alexandre Rezende Ferreira 7 Col. Santo Agostinho
Allan Valle Toledo da Silveira 8 Colgio So Nicolau
8 Lugar Diego Sander Freire 8 C. Anglo (Campinas)
9 Lugar Cecy Correia Florentino 8 Colgio Marista

V Olimpada (1996)

Classificao Nome Escola
1
o
Lugar Hugo Leonardo Paiva Rodrigues Colgio WR
2
o
Lugar Rafael Leal Martins Colgio Objetivo
3
o
Lugar Mrcio Vencio P. Alcntara E.T.F. / GO
Adriano Henrique de O . Arago Colgio Agostiniano
Adriano Jos de Azevedo Colgio Pr-Mdico
Andr Bragotto Ragazzo Colgio WR
Digo Rodrigues de Morais Colgio WR
Karla Cristina Naves de Carvalho Colgio WR
Renata D. de Morais e Macdo Colgio WR

Menes
Honrosas
Srgio Paulo Carneiro Jnior Colgio Objetivo


Modalidade II ( 7 e 8 sries do Ensino Fundamental)
Classificao Nome Escola
1
o
Lugar Adriana Pereira Franco Colgio Agostiniano
2
o
Lugar Renato Oliveira e Castro Colgio Delta
3
o
Lugar Zsanette Balla Colgio Marista
Ana Karolina Mariano Ferreira Colgio Pr-Mdico
ngelo Stacciarini Seraphin Colgio Delta
Menes Eduardo R. de Lelis Oliveira Colgio Anglo
Honrosas Mrcia Cristina M. de Borba Colgio Marista
Marina Lopes Rossi Colgio Anglo/Catalo
Nadim Seguti Nucada Colgio Delta
Saulo Henrique A. Rios Leite Colgio Agostiniano

VI Olimpada (1997)
1 Lugar Fbio Antunes da Silva 3 Colgio WR
2 Lugar Carlos Gustavo V. de Moraes 2 Col Pr Mdico
3 Lugar Giancarlo Rezende Bessa 2 Galileu Anpolis
Abdandryk Cunha de Souza 2 Col. Disciplina
Auro Giorgi Ferreira Nobre 3 Col. Dinmico
Fernando V. Percole de Souza 2 Galileu Anpolis
Luciano M. Camilo e Silva 3 Colgio WR
Marcelo Braz Vieira 3 Col. Dinmico
Marcelo de Carvalho Leite 3 Col. Acadmico

Menes
Honrosa
Nadim Seguti Nucada 1 Colgio Delta

Modalidade II ( 7 e 8 sries do Ensino Fundamental)
1 Lugar Humberto Silva Naves 7 Colgio Marista
2 Lugar Fabrcio Cardoso Leo 8 Delta
3 Lugar Daniel Ribeiro da Silva 8 C. So Cristvo
Wagner Gudson Marques Jr 7 Colgio IPE
Liziane Paula P. Torres 8 Colgio Marista
Rmulo Augusto Fuzo 8 Colgio IPE
Marcelo Rodigues S. Ribeiro 8 Colgio Phoenix
Jaciara Izabel C. Morgado 8 Colgio Galxia
Otvio Carneiro Neto 8 Colgio Delta

Menes
Honrosas
Lo Carrer Nogueira 8 Colgio vila


VII Olimpada (1998)

Nvel 1 (5 e 6 sries de Ensino Fundamental)

1 Lugar Thiago Carneiro Elias 6
a
IP
2 Lugar Rogrio Luiz de A. Borges 6
a
Delta /Bueno
3 Lugar Cibele Ferreira de Souza 6
a
E. Nasc. Araguaia
Jaqueline M.do Nascimento 5
a
Marista
Thalles Abro Doehler 6
a
Marista
Menes Jorge Peixoto de Morais 6
a
Disciplina
Honrosas Daniel Costa Garcia 6
a
IP
Karine S. Melazo 6
a
Solar
Rafaela Batista de Oliveira 6
a
IP
Elisa Manfrin de Arajo 6
a
Agostiniano

Nvel 2 (7 e 8 sries de Ensino Fundamental)

1 Lugar Humberto Silva Naves 8
a
Marista
2 Lugar Carlos Steim Naves de Brito 8
a
Marista
3 Lugar Rafael Oliveira Ximenes 8
a
IP
Fernando Portilho Ferro 8
a
Ext. So Jos
Vtor Mendona e Silva 8
a
Marista
Menes Leonardo Terncio B. Xavier 8
a
Mega
Honrosas Ana Ldia dos S. Borba 8
a
Ext. So Jos
Douglas Junio Ferreira 8
a
Delta
Climbi Ferreira Hall 7
a
Phonix
Marcelo Pereira Barros 8
a
C E So Cristvo
Nvel 3 (Ensino Mdio)

1 Lugar Luis Eduardo e Silva Naves 2
a
WR
2 Lugar Juliana Beatriz Gebrim 3
a
Dinmico
3 Lugar Thiago Artiaga Consort 3
a
Agostiniano
Paulo Vincius Ximenes 3
a
Dinmico Menes
Honrosas

Vtor Menezes Santana 2
a
WR


Humberto Ganner Moreira 3
a
WR
Fernando Vieira P. de Souza 3
a
WR
Adriano H. de O Arago 3
a
Agostiniano
Jair Lage de Siqueira Neto 3
a
WR
Fernando Prado Rocha 1
a
Mega

Premiao Local Catalo
Amanda Barbosa Ro 6 Colgio Anglo
Marcelo gomes Maral V. Vaz 6 Colgio Anglo
Menes
Honrosas
Rodrigo Scalia Fernandes 5 Colgio Anglo


Menes Ana Cludia Mendes 8 Colgio Objetivo
Honrosas Andria Alvares Jcomo 7 Colgio Objetivo

Premiao Local Rialma
Nvel 1
Meno
Honrosa
Rafael Andrade de Oliveira 5 Colgio Solar

Os classificados na VIII Olimpada encontram-se na pgina 30.

5. Divulgao
Fazemos a divulgao da Olimpada nos meses de maro e agosto,
quando enviamos para, aproximadamente, 580 escolas do Estado, cartaz, carta
para o diretor com todas as informaes sobre a Olimpada, as fichas de
inscrio dos alunos e, apenas na 1 divulgao, a ficha de inscrio dos
professores para o Seminrio da Olimpada e publicaes para preparao dos
alunos. Fazemos uma divulgao tambm para, aproximadamente, 410
professores cadastrados no IME.
As publicaes foram:
Em 1996 Resoluo Comentada da V Olimpada de Matemtica do
Estado de Gois e a Lista Preparatria, que foram enviadas s escolas em
1997.

Em 1997 Resoluo Comentada da VI Olimpada de Matemtica do
Estado de Gois e a Coletnea de Problemas, que foram enviadas s escolas
em 1998.
Em 1998 Resoluo Comentada da VII Olimpada de Matemtica do
Estado de Gois e a Coletnea de Problemas, que foram enviadas s escolas
em 1999.
Em 1999 Revista da Olimpada n 1, enviadas s escolas em 2000.

5.1 Seminrio / Semana Olmpica
A partir de 1996 comeamos a realizar o Seminrio da Olimpada, com
a inteno de aumentar ainda mais o contato entre os professores do IME e os
do ensino fundamental e mdio das redes pblicas e particular interessados em
discutir assuntos ligados s Olimpadas.
De 13 a 17 de Maro de 2000 realizamos a I Semana Olmpica. Este
evento destinou-se principalmente aos alunos classificados na VIII Olimpada.
Foram realizados para os alunos dos nveis 1 e 2 minicursos de Teoria
dos Nmeros, Geometria e Combinatria e para os alunos do nvel 3, Anlise,
lgebra e Geometria. Para todos os alunos foi realizado uma conferncia A
Geometria atravs dos tempos com o prof. Gensio Lima dos Reis.

5.2 Logomarca

Em 1996 realizamos um concurso para a criao da logomarca da
Olimpada de Matemtica do Estado de Gois. O concurso foi aberto a todos os
alunos do ensino fundamental e mdio, Categoria I, e alunos do ensino superior,
Categoria II. O aluno Marcelo Batista Lima do Colgio So Francisco de Assis
de Anpolis ganhou na Categoria I e o aluno Anderson Viana Macdo do curso
de Artes Visuais do Instituto de Artes da UFG foi o ganhador da Categoria II. A
comisso organizadora do concurso, composta pelas professoras Ceclia
Fittipaldi Vessani (Instituto de Artes UFG), Rosane Costa Badan Vessani
(Instituto de Artes UFG) e Gisele de Arajo Prateado Gusmo (Instituto de
Matemtica e Estatstica UFG), escolheu o smbolo abaixo, ganhador da
Categoria II, como a logomarca da Olimpada, que usado at hoje. Segundo o
vencedor, ...a letra mais usada em matemtica e que melhor a representa o x,
ento o smbolo so 5 letras x dispostas como os crculos olmpicos e da mesma
cor destes.


5.3 Jornadas de Educao Matemtica
O Instituto de Matemtica e Estatstica realiza, desde 1994, a Jornada
de Educao Matemtica, na qual so apresentadas comunicaes, painis e
oficinas sobre as Olimpadas.
A atividade proposta na oficina a resoluo de problemas olmpicos,
tanto da Olimpada regional quanto da brasileira. Na oficina de 1998, tivemos a
participao de 42 professores trabalhando em grupo, durante 4 horas, onde
discutimos vrios problemas e a melhor maneira de incentivar seus alunos a
pensar sobre eles.

5.4 Internet
No site http://www.mat.ufg.br/eventos/Olimpadas colocamos a
disposio todo o material didtico produzido e tambm informaes
atualizadas sobre a Olimpada.

6. Sobre as provas
Com relao s provas podemos relatar que o aproveitamento tem sido
dentro do esperado, com um sensvel aumento de aproveitamento dos alunos
que esto sendo preparados. Na 1 participao dos alunos de 5 e 6 sries,
alguns professores tinham uma expectativa apreensiva com relao s provas,
mas no fundamentada, pois o aproveitamento dos alunos neste nvel foi muito
bom.
Muitas vezes ficamos surpreendidos com a elegncia e clareza com
que so resolvidas algumas questes da prova. Quase sempre a rotulao dos
problemas entre fceis e difceis no so adequadas, os alunos das sries
iniciais usam mais o raciocnio na tentativa de solucionar os problemas e
demonstram mais naturalidade em abordar um problema em que no tenham
visto o contedo.
A Olimpada de Gois no tem a pretenso de procurar gnios, ao
contrrio o objetivo incentivar todos os alunos a participarem, inicialmente,
na Escola na etapa de preparao e, posteriormente, na Regional. As provas so
acessveis, em princpio, a todos os alunos mas tambm so seletivas, sendo 2
questes fceis, 2 mdias e 2 difceis.
As provas no so separadas por sries e seus contedos no seguem
de forma estrita os vistos na escola, isto se justifica porque no objetivo da
Olimpada avaliar o ensino e sim a criatividade e raciocnio do aluno em
problemas no usuais nos livros texto. Outra razo levar o aluno a refletir
sobre o processo de aprendizagem de matemtica.

9. Financiamento
Em todas as Olimpadas realizadas, contamos com o apoio da Sociedade
Brasileira de Matemtica com a vinda de conferencistas e doao de livros. A

partir de 1998 temos um apoio financeiro dentro do Projeto da Olimpada
Brasileira de Matemtica.
As Pr Reitorias de Extenso e Cultura (PROEC) e de Graduao
(PROGRAD) sempre apoiaram financeiramente a realizao das Olimpadas.
Na I Olimpada tivemos o apoio do BEG e nas II e III Olimpadas
tivemos o apoio da FUNAPE.
Em algumas Olimpadas contamos com o apoio da Secretaria Estadual
de Educao com material de consumo.
Em 1999 contamos com o opoio tambm de algumas escolas com
doao de livros e dinheiro.

10. Concluso
A evoluo da Olimpada, conforme demonstrada, fruto de um
trabalho contnuo e consistente que tem tido a participao crescente de alunos
e professores do Ensino Fundamental e Mdio. Atravs da Olimpada, temos
divulgado a matemtica e tambm a cincia bsica em todo o Estado. O reflexo
desta ao, contudo, no imediato. Os resultados alcanados at o momento
so animadores.
A cada ano o projeto da Olimpada atualizado e cadastrado junto a
PROEC/UFG.
meta do Instituto continuar promovendo a Olimpada, buscando os
recursos financeiros necessrios a sua realizao, mantendo como objetivos
principais: a melhoria do Ensino, a integrao com a comunidade e a
valorizao do saber crtico e cientfico dos alunos do ensino fundamental e
mdio. Destacamos tambm que a Olimpada de Gois mais um meio da
Universidade estar atuante junto a sociedade, promovendo o estudo e
despertando jovens talentos. Esperamos conseguir a curto prazo um espao na
imprensa local para uma divulgao regular da Olimpada.
Na medida em que o evento se consolida como uma atividade
permanente do IME/UFG outras aes tornam-se imprescindveis e so
reivindicadas pelos professores e alunos participantes. Por exemplo,
necessrio a melhoria da infra-estrutura fsica para a realizao da Olimpada
e uma equipe de coordenao e execuo com melhor estrutura fsica,
administrativa e acadmica.

11. Referncias Bibliogrficas
1. --- Pasta da Olimpada de Matemtica , arquivos. Secretaria do Instituto de
Matemtica e Estatstica, UFG.
2. Gusmo, Gisele de A. Prateado et alli. Resoluo Comentada da V, VI,
VII, VII Olimpada de Matemtica. Goinia, Gois, 1996.
3. Revista do Professor de Matemtica Sociedade Brasileira de Matemtica
n 02, 05, 06, 07, 08, 16 e 18.

4. Zetetik, Ano 3 Nmero 04 Novembro de 1995.

Gisele de Arajo Prateado Gusmo
Ronaldo Alves Garcia
Goinia, GO, Brasil
gisele@mat.ufg.br
ragarcia@mat.ufg.br


Seqncias
Gisele de Arajo Prateado Gusmo - IME/UFG

Introduo
Seqncia numrica no um tpico visto no ensino fundamental
apesar de poder ser tratado de uma maneira fcil e interessante para alunos
deste nvel. Basta o conhecimento de nmeros para que este tpico seja visto.
Existem muitas seqncias interessantes que podem ser tratadas na 5 e 6
sries, tais como a seqncia de nmeros triangulares, de nmeros
quadrangulares, a seqncia de Fibonacci, e tantas outras, inclusive criadas
pelos alunos.
A partir do entendimento do conceito de seqncias a notao pode ser
dada de forma natural, e como uma maneira mais simples de se representar os
termos da seqncia. Se o professor preferir poder deixar a notao para sries
do ensino fundamental mais adiantadas.
No livro O Diabo dos Nmeros [5] so mostradas vrias seqncias
numricas de uma maneira agradvel que podem ser usadas em sala de aula.
Neste artigo pretendemos mostrar algumas seqncias e problemas que
podem ser tratados no ensino fundamental de maneira a ser uma alternativa no
estudo de nmeros. No final deixamos alguns exerccios propostos.

Seqncia Numrica
Uma seqncia numrica , como o nome diz, uma lista ordenada de
nmeros. Para entendermos esta definio o melhor apresentar exemplos de
seqncias.
Exemplos:
a) 1, 2, 3, 4, 5, ....;
b) 2, 4, 6, 8, 10;
c) 1, 0, 1, 0, 1, 0, ...;
d) 1, 3, 5, 7, ..., 21.
A primeira seqncia tem como termos os nmeros naturais, a segunda
os nmeros naturais pares de 2 a 10 . Os pontinhos no final da primeira
seqncia significam que ela continua sempre. Quando isto acontece dizemos
que a seqncia possui infinitos termos no necessariamente distintos, como por
exemplo a seqncia do item (c). J a segunda seqncia tem 5 termos e
dizemos que ela finita. E a quarta seqncia, quantos termos possui? Para
responder esta pergunta precisamos contar seus termos:
primeiro termo 1;
segundo termo 3;
terceiro termo 5;
quarto termo 7; e assim em diante.

Quando contamos, associamos um nmero natural com cada termo da
seqncia. Na tabela abaixo a primeira linha aparece a ordem do termo e na
segunda linha os termos:

Ordem 1 2 3 4 5 6 7 8 9 10 11
Termo 1 3 5 7 9 11 13 15 17 19 21

Assim o nmero 21 o 11 termo da seqncia, logo ela possui 11
termos.
Uma maneira de representarmos os termos de uma seqncia mostra a
ordem do termo como ndice. Esta representao para a seqncia acima :

Ordem 1 2 3 4 5 6 7 8 9 10 11
Representao a
1

a
2

a
3

a
4

a
5

a
6

a
7

a
8

a
9

a
10

a
11

Termo 1 3 5 7 9 11 13 15 17 19 21

Podemos representar as outras seqncias dadas por:
a) a
1
=1; a
2
= 2; a
3
= 3; a
4
= 4; a
5
= 5; a
6
= 6; ....
b) a
1
= 2; a
2
= 4; a
3
= 6; a
4
= 8; a
5
= 10.

Termo Geral
Na seqncia de nmeros inteiros dada no item (d) observamos que
seus termos possuem a seguinte lei de formao:

a
1
= 2.1 - 1 = 1 a
4
= 2.4 - 1 = 7 a
7
= 2.7 - 1 = 13 a
10
= 2.10 - 1 = 19
a
2
=2.2 - 1 = 3 a
5
= 2.5 - 1 = 9 a
8
= 2.8 - 1 = 15 a
11
= 2.11 - 1 = 21
a
3
=2.3 - 1 = 5 a
6
= 2.6 - 1 = 11 a
9
= 2.9 - 1 = 17

Observe que o ndice e o nmero que aparecem na equao multiplicado
por 2 so os mesmos. Assim a equao que generaliza estas equaes

a
n
= 2.n 1 com n variando de 1 a 11.

No exemplo do item (a) o termos geral a
n
= n onde n um nmero
natural. No exemplo do item (b) o termo geral a
n
= 2n onde n um nmero
natural variando de 1 a 5. A seqncia do item (c) pode ser representada por
a
n
= 1 se n for mpar e a
n
= 0 se n for par.


Equao de Recorrncia
Na seqncia de nmeros mpares dada, observamos que a diferena entre
termos consecutivos sempre igual a 2. Ento

a
2
= a
1
+ 2 = 1 + 2 = 3 a
6
= a
5
+ 2 = 9 + 2 = 11 a
10
= a
9
+ 2 = 17 + 2 = 19
a
3
= a
2
+ 2 = 3 + 2 = 5 a
7
= a
6
+ 2 = 11 + 2 = 13 a
11
= a
10
+ 2 = 19 + 2 = 21
a
4
= a
3
+ 2 = 5 + 2 =7 a
8
= a
7
+ 2 = 13 + 2 = 15
a
5
= a
4
+ 2 = 7 + 2 = 9 a
9
= a
8
+ 2 = 15 + 2 = 17

Vemos que a equao que generaliza as equaes acima

a
n
= a
n-1
+ 2 para n variando de 2 a 11.

A equao acima chamada equao de recorrncia, pois para
obtermos o termo de ordem n recorremos ao termo de ordem n - 1.

Nmeros Triangulares
Observe a figura abaixo.

6
3 1 10

Veja que, com exceo do primeiro, os pontos na figura sugerem a
forma de tringulos. O primeiro tringulo tem apenas um ponto. O segundo
possui 2 pontos a mais que o primeiro, logo possui

1 + 2 = 3 pontos.

O terceiro possui 3 pontos a mais que o segundo, logo possui

3 + 3 = 6 pontos.

O quarto tringulo ter 4 pontos a mais que o terceiro, logo possui

6 + 4 = 10 pontos.


Continuando o quinto tringulo possui 5 pontos a mais que o quarto,
logo possui

10 + 5 = 15 pontos.

Este nmeros so chamados de triangulares por formarem tringulos.
A seqncia de nmeros triangulares

1, 3, 6, 10, 15, ....

Usando a notao de seqncia temos

a
1
= 1; a
2
= 3; a
3
= 6; a
4
= 10; a
5
= 15, ....

Os termos desta seqncia foram obtidos de forma recorrente, isto ,
para obter um termo adicionamos o nmero, que representa a sua ordem, ao seu
antecedente. Assim

a
2
= a
1
+ 2 = 1 + 2 = 3;
a
3
= a
2
+ 3 = 3 + 3 = 6;
a
4
= a
3
+ 4 = 6 + 4 = 10;
a
5
= a
4
+ 5 = 10 + 5 = 15.

Logo a equao de recorrncia dos nmeros triangulares

a
n
= a
n-1
+ n, onde n um nmero natural.

Seqncia de Fibonacci
Leonardo de Pisa, mais conhecido mais pelo seu apelido Fibonacci,
abreviatura de filius de Bonacci, ou seja, filho de Bonacci, foi um famoso
matemtico do sculo XIII. Seu livro Liber abacci (Livro de baco) contm
os conhecimentos algbricos e aritmticos de seu tempo e vrios problemas [2].
Um deles Quantos casais de coelhos nascem, transcorridos um ano, de um
casal inicial ?.
Uma formulao matemtica deste problema aparece no livro O Diabo
dos Nmeros [5], e a resposta 1, 2, 3, 5, 8, 13, ...., onde cada termo, a partir
do segundo, obtido somando os dois termos anteriores. A seqncia de
Fibonacci um caso particular desta, onde os dois primeiros termos so iguais a
1, assim

1, 1, 2, 3, 5, 8, 13, ....


Vemos que a
1
= 1, a
2
= 1 e a partir da o prximo termo obtido
somando se os dois anteriores, isto ,
a
3
= a
2
+ a
1
= 1 + 1 = 2;
a
4
= a
3
+ a
2
= 2 + 1 = 3;
a
5
= a
4
+ a
3
= 3 + 5 = 8 e assim em diante.

Logo, a frmula de recorrncia desta seqncia

a
1
= 1; a
2
= 1 e a
n
= a
n-1
+ a
n-2
, nN.

Os termos da seqncia de Fibonacci so encontrados na distribuio
dos galhos de uma rvore [5], no arranjo de folhas (filotaxia) e ocasionalmente
em gentica de populaes [7].
A soma dos quadrados dos termos da seqncia de Fibonacci dada
por

a
1
2
+ a
2
2

+ a
3
2
+ ...+ a
n
2
= a
n
a
n+1
.

Uma demonstrao desta frmula dada em [2].
Esta frmula nos d uma maneira de decompor um retngulo de lados
iguais a a
n
e a
n+1
em quadrados de lados a
1
, a
2
, a
3

,..., a
n
. Por exemplo,
consideremos a soma

1
2
+ 1
2

+ 2
2
+ 3
2
+ 5
2

= 5 x 8 .

Logo um retngulo de lados 5 e 8 pode ser decomposto em dois
quadrados de lado 1, em quadrados de lados 2, 3 e 5. A figura abaixo nos
mostra como fazer esta decomposio.

1 2
1
5
3

Mais alguns exemplos
1. Considere a seqncia dada por


a
n
= - 5n + 1, onde nN.

Observe que a
1
= - 4; a
2
= - 8; a
3
= - 14; a
4
= - 19; .... Todos os termos desta
seqncia so negativos pois
0 1 5n
n
a 1 5n 1 n + =

2. Considere a seqncia dada por
1 n
1
n
a
+
= , nN.
Seus termos so a
1
=
2
1
; a
2
=
3
1
; a
3
=
4
1
; a
4
=
5
1
, .... Os termos desta
seqncia esto em ordem decrescente, pois

1 n n
a a logo ,
2 n
1
1 n
1
2 n 1 n
+
>
+
>
+
+ < +

Observe que se
1 n
1
n
+
= a ento
2 n
1
1 1) (n
1
1 n
a
+
=
+ +
=
+
.

3. Considere a seqncia de nmeros mpares dada por a
n
= 2n +1, nN.
Vamos mostrar que a diferena entre dois termos consecutivos, o maior menos
o menor, sempre constante e igual a 2.
Primeiro vamos calcular algumas destas diferenas.

a
2
a
1
= 5 3 = 2; a
3
a
2
= 7 5 = 2; a
4
a
3
= 9 7 = 2.

Desta forma parece que a afirmao verdadeira . Devemos tomar
muito cuidado para afirmar, a partir de alguns exemplos, que a afirmao
verdadeira sempre. No mximo podemos afirmar que a afirmao verdadeira
para n = 1, 2, 3, 4 . No artigo Vale para 1, vale para 2, vale para 3, ... vale
sempre? de Renate Watanabe [6], mostra com muita clareza os erros que
podemos cometer ao fazer concluses precipitadas.
Vamos provar que a afirmao verdadeira para para todo n.
Quando consideramos o termo a
n
= 2n + 1 seu termo consecutivo

a
n+1
= 2(n +1) + 1 = 2n + 3, assim

a
n+1
a
n
= 2n + 3 (2n + 1 ) = 2 para todo natural n.


Logo a diferena de dois termos consecutivos quaisquer, o maior menos o
menor, sempre igual a dois.

4. Dada a seqncia a
n
= 2
n
, nN , mostre que o quociente entre um termo e
seu sucessor constante e igual a
2
1
. Tente fazer este exerccio observando
que o sucessor de a
n

a
n+1
= 2
n+1
.

5. Considere a seqncia dada por a
1
=1 e a
n+1
= n + a
n
para todo nmero
inteiro n positivo, calcule a
2000
.
Devemos procurar, se for possvel, uma maneira de resolver este problema
sem ter que calcular todos os termos de ordens 1 a 2000, pois como a seqncia
dada por uma equao de recorrncia precisaramos do termo de ordem 1999
para obter o termo de ordem 2000, do termo de ordem 1998 para obter o termo
de ordem 1999 e assim por diante.
Uma maneira de se resolver este problema observar que para todo n
inteiro positivo temos
a
n+1
- a
n
= n .
Assim,
a
2
- a
1
= 1
a
3
- a
2
= 2
a
4
- a
3
= 3
a
5
- a
4
= 4
....
a
1999
- a
1998
= 1998
a
2000
- a
1999
= 1999

Observe que se somarmos os elementos do lado esquerdo de cada uma
das igualdades acima, a primeira parcela de uma equao e a segunda parcela
da equao seguinte se anulam. Logo temos

a
2000
- a
1
= 1 + 2 + 3 + ....+ 1999 .

Vamos calcular a soma acima observando que cada uma das soma
indicadas abaixo igual a 2000, e ainda temos 999 destas somas, e mais a
parcela central que igual a 1000.

1+ 2 + 3 + .. + 999 + 1000 + 1001 + ... + 1997 + 1998 + 1999 .



Assim

1 + 2 + ... + 999 + 1000 +1001 + ... + 1998 + 1999 = 1000 + 999 x 2000,

e como a
1
= 1, temos

a
2000
- 1 = 1 + 2 + 3 + ....+ 2000 = 1 999 000.
Portanto
a
2000
= 1 999 001.

Exerccios Propostos

1. Nmeros Quadrangulares
Observe as figuras abaixo.

1 4 9

16 25

a) Observe que o primeiro nmero triangular e o primeiro nmero
quadrangular so iguais e que a partir do segundo nmero quadrangular
podemos escrev los como soma de dois nmeros triangulares

consecutivos. Verifique esta afirmao para os 10 primeiros nmeros
quadrangulares.
b) Ache a frmula de recorrncia da seqncia de nmeros quadrangulares.

2. Tringulo Aritmtico de Fibonacci
A seqncia de nmeros mpares disposta na forma triangular, como
mostra a figura abaixo, chamado Tringulo Aritmtico de Fibonacci ([1] e
[3]).

1
3 5
7 9 11
13 15 17 19
21 23 25 27 29
31 33 35 37 39 41

a) Complete o Tringulo Aritmtico de Fibonacci at a dcima linha.
b) Faa a soma dos termos de cada linha e observe que o resultado o cubo de
um nmero natural.
c) Obtenha a equao que generaliza o resultado da soma de cada linha.
d) Determine o primeiro elemento da 78 linha, sem completar a tabela.
e) Quantos elementos tem a linha de ordem 99?

3. Faa o problema 6 da prova do nvel 1 da VIII Olimpada de Matemtica do
Estado de Gois, cujo enunciado est na pgina 37.

4. Obtenha os dez primeiros termos das seqncia dadas abaixo:
a) a
n
= n2
n
;
b) a
n
= 2n - 1;
c) a
n
= 3n
2
- 2n + 1;
d)
) 1 n ( n
1
n
a
+
= ;
e) a
1
=3 e a
n
= a
n-1
+ 5 ;
f) a
1
= - 2 e a
n
= a
n-1
+ n;
g) a
1
= 6, a
2
= 1 e a
n
= a
n-1
- 5 a
n-2
.


5. Calcule o termo geral das seqncias dos itens e) e f) do exerccio anterior.

6. Uma maneira de se calcular o valor aproximado da raiz quadrada de um
nmero c>0, conhecida desde a poca dos babilnios, calcular os termos
da seqncia
)
n
a
c
n
a (
2
1
1 n
a + =
+
para algum valor inicial a
1
.
a) Calcule os 4 primeiros termos desta seqncia comeando com a
1
= 1 e c =
2.
b) Mostre que a sequncia a
n
sempre se decrescente a partir de a
2
, isto , a
2

> a
3
> ...> a
n
> a
n + 1
> ... quando o valor inicial a
1
c e o c > 0.
c) Mostre que a seqncia constante quando a
1
= c e c>0 [4].

Bibliografia
1. Tobias Dantzig, Nmeros: A Linguagem das Cincias, Zahar Editores, Rio
de Janeiro, 1970.
2. N. N. Vorobiov, Nmeros de Fibonacci, , Editora MIR, Moscou, 1974.
3. Augusto Csar Morgado et. al., Progresses e Matemtica Financeira,
CPM, SBM, Rio de Janeiro, 1993.
4. Gisele de Arajo P. Gusmo et. al., Resoluo Comentada da VII
Olimpada de Matemtica do Estado de Gois, IME/UFG, Goinia, 1998.
5. O Diabo dos Nmeros, Hans Magnus Enzensberger, Cia das Letras, Rio de
Janeiro, 1998.
6. Renate Watanabe, Vale para 1, vale para 2, vale para 3, ... ,vale sempre,
Revista o Professor de Matemtica n 09, 2 semestre de 1986, SBM, So
Paulo.
7. E. Batschelet, Introduo Matemtica para Biocientistas, Ed.
Intercincias, So Paulo, 1978.

Gisele de Arajo Prateado Gusmo
Goinia, GO, Brasil
gisele@mat.ufg.br


Nmeros Reais
Mauricio Donizetti Pieterzack IME - UFG

Na grande maioria das vezes quando falamos em nmeros reais dizemos
que o conjunto dos nmeros reais constitui-se dos nmeros racionais,
juntamente com os irracionais. Mas, o que so esses nmeros irracionais? A
construo dos nmeros reais, logicamente bem fundamentada, um captulo
bem interessante na Histria da Matemtica. Embora s realizada no sculo
XIX, ela tem razes na matemtica grega do sculo IV A.C. O acompanhamento
do desenvolvimento histrico das idias que culminaram com o conceito de
nmero real que temos hoje, estimulante e enriquecedor na formao do
aluno, sobretudo de sua capacidade de apreciao crtica da disciplina, alm,
claro, de tornar-nos claro em que contexto e qual o motivo para que tal trabalho
fosse realizado. Nestas notas pretendemos fazer uma breve introduo histrica
sobre a evoluo do conceito de nmero real, comeando nas primeiras
civilizaes que deixaram as suas pegadas no estudo da matemtica e
terminando com a formalizao do conceito de nmero real atual, passando pelo
perodo chamado de Idade Herica na Grcia antiga, perodo esse em que
viveu-se a primeira crise no desenvolvimento da matemtica com o
aparecimento dos chamados incomensurveis ou nmeros irracionais. Naquela
mesma poca, Eudoxo, como diz Euclides em seus Elementos, resolveu
satisfatoriamente o problema dos incomensurveis, que iremos abordar mais
tarde, tanto que a soluo que Eudoxo deu ao problema perdurou por mais de
2000 anos at o sculo XIX, quando se deu a construo dos nmeros reais
devido aos trabalhos de vrios matemticos, principalmente Richard Dedekind.
O que interessante nessa histria que a idia na qual Dedekind se apoiou
para realizar essa formalizao essencialmente a idia usada por Eudoxo tanto
tempo atrs.
Estas notas fazem parte de um mini curso que o autor ministrou no
III Encontro de Matemtica e Estatstica da UFG no ano de 1999.

1. Uma breve reflexo sobre as origens da matemtica

Os matemticos do sculo vinte desempenham uma atividade intelectual
altamente sofisticada, que no fcil definir, mas boa parte do que hoje se
chama matemtica deriva de idias que originalmente estavam centradas nos
conceitos de nmero, grandeza e forma. Noes primitivas relacionadas com os
conceitos de nmero, grandeza e forma podem ser encontradas nos primeiros
tempos da raa humana e vislumbres de noes matemticas se encontram em
formas de vida que podem datar de milhes de anos antes da humanidade. Uma
percepo de diferenas de padres em seus ambientes claramente existe em

muitas formas inferiores de vida e isso tem parentesco com a preocupao de
um matemtico com forma e relao.
Em certa poca pensou-se que a matemtica se ocupava do mundo que
nossos sentidos percebem e foi somente no sculo dezenove que a matemtica
pura se libertou das limitaes sugeridas por observaes da natureza. claro
que a matemtica originalmente surgiu como parte da vida diria do homem e,
se h validade no princpio biolgico da sobrevivncia do mais apto, a
persistncia da raa humana provavelmente tem relao com o desenvolvimento
no homem de conceitos matemticos. A princpio as noes primitivas de
nmero, grandeza e forma podiam estar relacionadas com contraste mais do
que com semelhanas - a diferena entre um lobo e uma matilha, a desigualdade
de tamanho entre uma sardinha e uma baleia, a dissemelhana entre a forma
redonda da lua e a retilnea de uma pinheiro. A partir da massa de experincias
caticas deve ter surgido gradualmente a realizao de que h analogias e dessa
percepo de semelhana entre nmero e forma nasceram a cincia e a
matemtica. As prprias diferenas podem indicar semelhanas, pois o
contraste entre um lobo e muitos, entre um carneiro e um rebanho, entre uma
rvore e uma floresta, sugerem que um lobo, um carneiro e uma rvore tm algo
em comum - sua unicidade. Pelo fato de que at hoje alguns povos primitivos
ainda contem objetos dispondo-os em grupos de dois e certas lnguas, inclusive
o grego, conservaram em sua gramtica uma distino entre um, dois e mais de
dois, podemos supor que o desenvolvimento do conceito de nmero foi um
processo longo e gradual. Com a idia de nmero tornando-se mais ampla e
vvida era preciso exprimir a propriedade de algum modo, a princpio na
linguagem de sinais. Usando os dedos de uma das mos podia-se indicar um
conjunto de dois, trs, quatro ou cinco elementos, no sendo o nmero um
geralmente reconhecido como um verdadeiro nmero. Usando-se os dedos de
ambas as mos pode-se representar colees contendo at dez elementos e
usando-se as mos e os ps pode-se ir at vinte. Para conjuntos com mais de
vinte elementos costumava-se usar montes de pedras, geralmente amontoados
em grupos de cinco, pois os quntuplos lhes eram familiares pela observao da
mo e p humanos. Como Aristteles observou h muito tempo, o uso hoje
difundido do sistema decimal apenas o resultado do acidente anatmico de
que quase todos ns nascemos com dez dedos nas mos e nos ps.
O homem difere de outros animais de modo mais acentuado pela sua
linguagem, cujo desenvolvimento foi essencial para que surgisse o pensamento
matemtico abstrato; no entanto, palavras que exprimem idias numricas
surgiram lentamente. Sinais para nmeros provavelmente precederam palavras
para nmeros.
Embora suponha-se que a matemtica tenha surgido em resposta a
necessidades prticas, sugeriu-se que a arte de contar surgiu em conexo com
rituais religiosos primitivos e que o aspecto ordinal precedeu o conceito

quantitativo (tinha que se saber a ordem em que iriam entrar em uma
determinada cerimnia, por exemplo). Alm disso, uma tal origem indicaria a
possibilidade de que o contar tenha uma origem nica, espalhando-se
subseqentemente para outras partes da terra.
O conceito de nmero inteiro o mais antigo na matemtica. A noo de
frao racional surgiu relativamente tarde, pois aparentemente entre as tribos
primitivas no parece ter havido necessidade de usar fraes. Afirmaes sobre
as origens da matemtica, seja da aritmtica ou da geometria, so
necessariamente arriscadas, pois os primrdios do assunto so mais antigos que
a arte de escrever. Tanto Herdoto quanto Aristteles no quiseram se arriscar a
propor origens mais antigas que a civilizao egpcia, mas claro que a
geometria que tinham em mente tinha razes mais antigas. Podemos fazer
conjecturas sobre o que levou os homens da Idade da Pedra a contar, medir e
desenhar. Que os comeos da matemtica so mais antigos que as mais antigas
civilizaes, claro. Ir alm e identificar categoricamente uma origem
determinada no espao e no tempo, no entanto, confundir conjectura com
histria. O mais correto ir adiante, ao terreno da histria da matemtica
encontrada em documentos escritos que chegaram at ns.
Antes do quarto milnio A. C. uma forma primitiva de escrita estava em
uso tanto no vale mesopotmico, quanto no Nilo. L os smbolos primitivos,
registros pictogrficos, por um processo de gradual convencionalizao,
evoluram para uma ordem linear de smbolos mais simples. Na Mesopotmia,
onde o barro era abundante, marcas em forma de cunha eram feitas com um
estilete sobre tabletas moles e depois eram cozidas em fornos ou ao calor do sol.
Esse tipo de escrita chama-se cuneiforme (do latim cuneus, cunha) por causa da
forma dos sinais. Documentos cuneiformes tinham grande durabilidade, por
isso muitos milhares de tais tabletas sobreviveram at nossos dias.
Naturalmente, s uma frao dessas se referem a temas relacionados com a
matemtica.
Algumas informaes matemticas foram retiradas de calendrios e pedras
tumulares egpcias, mas h um limite para tais informaes, pois a matemtica
muito mais do que contar e medir, os aspectos que so tratados em inscries
hieroglficas (isto , inscries sagradas). Felizmente temos outras fontes de
informao. Um certo nmero de papiros egpcios, de algum modo, resistiu ao
desgaste do tempo por mais de trs milnios e meio. O mais extenso dos de
natureza matemtica um rolo de papiro de cerca de 30 centmetros de altura e
5 metros de comprimento, que agora est no British Museum, comprado em
1858 numa cidade beira do Nilo por um antiqurio escocs, Henry Rhind; por
isso conhecido com Papiro de Rhind, ou, menos freqentemente, chamado
Papiro Ahmes, em honra do escriba que o copiou por volta de 1650 A. C. O
escriba conta que o material provm de um prottipo do Reino do Meio de
cerca de 2000 a 1800 A. C., sendo provvel que parte desse conhecimento tenha

provindo de Imhotep, mdico e arquiteto do Fara Zoser, que superintendeu a
construo de sua pirmide h cerca de 5000 anos. A numerao usada ainda
era a decimal, mas foram usados novos simbolos para facilitar e abreviar a
escrita. O princpio de ciferizao, introduzido pelos egpcios h cerca de 4000
anos e usado no Papiro de Rhind, representou uma importante contribuio
numerao e um dos fatores que faz do sistema em uso hoje o instrumento
eficaz que .
J nessa poca comearam a aparecer as notaes para as fraes, que
passaram a ter necessidade. No Papiro Ahmes aparecem notaes mais
simplificadas do que as usadas anteriormente e alguns tipos de fraes eram
manipuladas livremente, como por exemplo, as fraes unitrias, isto , com
numerador um. A frao
3
2
tinha um papel especial nos processos aritmticos
de modo que, para achar o tero de um nmero primeiro achavam os dois teros
e depois tomavam a metade. No entanto, parece que, tirando a frao
3
2
, os
egpcios consideravam a frao prpria geral do tipo
n
m
no como uma "coisa"
elementar, mas como parte de um processo incompleto. A frao
5
3
, para ns
uma frao irredutvel, para eles era escrita como soma de trs fraes unitrias
15
1
5
1
3
1
e , . Para facilitar a reduo de fraes prprias "mistas" soma de
fraes unitrias, o Papiro de Rhind contm algumas tabelas. Em seguida so
apresentados problemas sobre questes variadas, pois Ahmes tinha comeado
sua obra garantindo que ela forneceria um "estudo minucioso e completo de
todas as coisas ... e o conhecimento de todos os segredos.
A operao aritmtica fundamental no Egito era a adio, e nossas
operaes de multiplicao e diviso eram efetuadas, no tempo de Ahmes, por
sucessivas "duplaes", inclusive de fraes. Uma exposio mais detalhada
dos problemas tratados no Papiro de Rhind pode ser encontrada na referncia
[B].
Muito das informaes sobre a matemtica egpcia vem do Papiro Ahmes, o
mais extenso documento matemtico do antigo Egito, mas h tambm outras
fontes. Podemos citar o Papiro de Kahun, o Papiro de Berlim e um papiro mais
ou menos do mesmo tamanho do de Rhind, o Papiro Golonishev ou de Moscou,
contendo basicamente os mesmos problemas abordados no de Rhind, s que de
uma maneira menos elaborada. Os egpcios pouco criaram e desenvolveram a
matemtica que lhes foi herdada pelos seus antepassados. O amor aos deuses
benevolentes, o respeito tradio, a preocupao com a morte e as

necessidades dos mortos, tudo isso encorajou um alto grau de estagnao. A
matemtica de Ahmes era a de seus antepassados e descendentes.
Nos povos comumente denominados de babilnios, no perodo de 2000 at
aproximadamente 600 A. C., na antiga Mesopotmia o sistema decimal, comum
s civilizaes tanto antigas quanto modernas, tinha sido submerso da
Mesopotmia sob uma notao que dava a base sessenta como fundamental.
Muito se escreveu sobre os motivos para essa mudana. Parece mais provvel
que a base sessenta fosse adotada conscientemente e legalizada no interesse da
metrologia, pois uma grandeza de sessenta unidades pode ser facilmente
subdividida em metades, teros, quartos, quintos, sextos, dcimos, dozeavos,
quinzeavos, vigsimos e trigsimos, fornecendo assim dez possveis
subdivises. Qualquer que tenha sido a origem o sistema sexagesimal de
numerao teve vida notavelmente longa, pois at hoje restos permanecem,
infelizmente para a consistncia, nas unidades de tempo e medida dos ngulos,
apesar da forma fundamentalmente decimal de nossa sociedade.
Os babilnios no tinham, a princpio, um modo claro de indicar uma
posio vazia - no tinham um smbolo para indicar o nmero zero - embora s
vezes deixassem um espao vazio para indicar o zero. As formas usadas para
indicar os nmeros 122 e 7202 eram muito parecidas, no ficando claro se era
2(60) + 2 ou 2(60)
2
+ 2. Ao tempo da conquista por Alexandre, o Grande, no
entanto, um smbolo especial, consistindo de duas cunhas colocadas
obliquamente, foi inventado para servir para marcar o lugar onde um numeral
faltasse. A grande virtude do sistema e da notao dos babilnicos que ele
permitiu estender o princpio da posio s fraes. Eles dominavam o poder de
computao que a moderna notao decimal para fraes decimais nos confere.
Para os babilnios, a multiplicao ou adio de 23,45 e 9,876 no eram
essencialmente mais difceis que as mesmas operaes entre os inteiros 2345 e
9876, e os mesopotmios rapidamente exploraram essa importante descoberta.
Uma tableta da babilnia antiga contm o clculo da raiz quadrada de dois at
trs casas sexagesimais, a resposta sendo escrita, em caracteres modernos,
1;24,51,10, onde se usa ponto e vrgula para separar a parte inteira da
fracionria e vrgula para separar posies sexagesimais. Ou seja, 1 + 24(60)
-1
+
51(60)
-2
+ 10(60)
-3
. Esse valor babilnio para 2 aproximadamente
1,414222, diferindo por cerca de 0,000008 do valor verdadeiro. A preciso nas
aproximaes era relativamente fcil de conseguir para os babilnios com sua
notao para fraes, a melhor que qualquer civilizao tenha possudo at a
Renascena. Devido a isso os matemticos babilnios foram hbeis para
desenvolver processos algortmicos.
Nas obra deixadas pelos babilnios encontramos muitas tabletas com tabelas
usadas para a manipulao de processos de adio e multiplicao, alguns
processos de interpolao e um sem nmero de equaes algbricas at muito
sofisticadas para a poca. Foram tambm encontradas muitas contribuies

geometria, inclusive o conhecimento do Teorema de Pitgoras que, inclusive,
possibilitou uma aproximao to precisa para 2 . Mais detalhes sobre a obra
desenvolvida pelos babilnios podem ser encontrados na referncia [B].
A histria grega pode ser recuada at o segundo milnio A. C. quando,
como invasores iletrados, vindos do norte, abriram caminho at o mar. No
trouxeram tradio matemtica ou literria consigo; no entanto, tiveram desejo
ansioso de aprender e no demoraram a melhorar o que lhes foi ensinado. Os
primeiros Jogos Olmpicos se realizaram em 776 A. C., e por esse tempo uma
maravilhosa literatura grega j tinha se desenvolvido, evidenciada pelas obras
de Homero e Hesodo. Da matemtica grega da poca nada sabemos. Passaram-
se ainda quase dois sculos at haver alguma citao, mesmo indireta, da
matemtica grega. Ento apareceram, durante o sexto sculo A. C., dois
homens, Tales e Pitgoras, que tiveram na matemtica o papel de Homero e
Hesodo na literatura. Embora Tales e Pitgoras sejam figuras centrais, no
sobreviveu nenhuma obra de qualquer deles, nem se sabe se Tales ou Pitgoras
jamais compuseram tal obra. Certas frases-chave lhes so atribuidas, tais como
"Conhece a ti mesmo" no caso de Tales e "Tudo nmero", de Pitgoras - mas
nada mais especfico. Ficaram muitas lendas e histrias sobre esses dois
matemticos, mas pouco se sabe sobre suas vidas. Tales era muito discutido
sendo atribudas a ele vrias facetas e lendas. Devido a vrias estrias, algumas
passadas por terceiros, que vm as designaes de Tales como o primeiro
matemtico.
Pitgoras uma figura pouco menos discutida do que Tales, pois foi mais
completamente envolto em lenda e apoteose. Tales era um homem de negcios,
mas Pitgoras era um profeta e um mstico, nascido em Samos, uma das ilhas
do Dodecaneso, no longe de Mileto, o lugar do nascimento de Tales. A ordem
fundada por Pitgoras era comunitria alm de secreta. Conhecimento e
propriedade eram comuns, por isso descobertas no eram atribudas a membros
especficos da escola, em geral creditadas aos lderes. melhor por isso falar
das contribuies dos Pitagricos.
A escola pitagrica era politicamente conservadora e tinha um cdigo de
conduta rgido. O vegetarismo era imposto aos seus membros. As palavras
"filosofia"(ou "amor sabedoria") e matemtica( ou "o que aprendido")
supe-se terem sido criadas pelo prprio Pitgoras para descrever suas
atividades intelectuais. Supe-se que a maior parte do contedo dos dois
primeiros livros de Os Elementos, de Euclides, devida aos pitagricos. Isso
pressuporia um alto nvel de realizao, implicando em desenvolvimento
bastante rpido do assunto depois dos dias de Tales e Pitgoras. Essa idia
exige f no que se chamou de "o milagre grego", pelo qual os relativamente
iletrados recm-vindos cena mediterrnea dominaram o material herdado de
seus vizinhos e rapidamente subiram a novos cumes, estabelecendo de

passagem o molde dedutivo essencial dos teoremas. Algumas dvidas srias
sobre a veracidade desses fatos foram levantadas.
Na Mesopotmia a geometria no tinha sido muito mais do que uma
aplicao dos nmeros extenso espacial; ao que parece, a princpio era mais
ou menos o mesmo para os pitagricos, mas com uma modificao. Nmero no
Egito significava o domnio dos numeros naturais e as fraes unitrias; entre
os babilnios o corpo das fraes racionais. Na Grcia a palavra nmero era
usada s para os nmeros inteiros. Uma frao no era considerada com um
ente nico mas como uma razo ou relao entre inteiros. Como Euclides
mesmo disse ( Os elementos V, 3), "Uma razo uma relao entre grandezas
de mesma espcie". Segundo o lema dos pitagricos "tudo nmero". Filolaus,
um dos membros da escola pitagrica, afirmou que "Todas as coisas que podem
se conhecidas tm nmeros; pois no possvel que sem nmero qualquer coisa
possa ser concebida ou conhecida".
De modo geral, parecem ter existido dois sistemas principais de numerao
na Grcia: um, provavelmente o mais antigo, conhecido como notao tica (
ou herodinica); o outro chamado sistema jnio (ou alfabtico). Ambos,
quantos aos inteiros, so em base dez, mas o primeiro mais primitivo. O
sistema jnico provavelmente comeou a ser usado desde o quinto sculo A. C.,
talvez desde o oitavo sculo.
A histria da matemtica durante o tempo de Tales e dos pitagricos
depende necessariamente, em grau indesejvel, de conjecturas e inferncias,
pois faltam inteiramente documentos da poca. H muito mais incerteza quanto
matemtica grega de 600 A. C. a 450 A. C. do que acerca da lgebra babilnia
ou da geometria egpcia de cerca de 1 700 A. C. Nem mesmo artefatos
matemticos dos primeiros tempos da Grcia se preservaram. Praticamente no
existem documentos matemticos ou cientficos at os dias de Plato no quarto
sculo A. C. No entanto, durante a segunda metade do quinto sculo circulam
relatos persistentes e consistentes sobre um punhado de matemticos que
evidentemente estavam intensamente preocupados com problemas que
formaram a base da maior parte dos desenvolvimentos posteriores na geometria.
Por esse motivo, esse perodo chamado a "Idade Herica da Matemtica", pois
raramente, antes ou depois, homens com to poucos recursos atacaram
problemas de tal significado matemtico. A atividade matemtica havia
florescido em volta de todo o Mediterrneo e no apenas em extremidades
praticamente opostas do mundo grego. No que agora o sul da Itlia havia
Arquitas de Tarento (nasceu em 428 A. C. aproximadamente) e Hipasus de
Metapontum (viveu por volta de 400 A. C. aproximadamente); em Abdera na
Trcia achamos Demcrito ( nasceu em 460 A. C. aproximadamente); mais
perto do centro do mundo grego, na pennsula tica, havia Hpias de Elis (
nasceu em 460 A. C. aproximadamente), e em Atenas viveram em tempos
diferentes durante a segunda metade, a crtica, do quinto sculo A. C., trs

matemticos de outras regies: Hipcrates de Chios ( viveu por volta de 430 A.
C.), Anaxgoras de Clazomene (morreu em 428 A. C.) e Zeno de Elea (viveu
por volta de 450 A. C.). A obra desses sete matemticos demonstra bem a
mudana por que passou a matemtica grega um passo antes do ano 400 A. C.
A prosperidade e a atmosfera intelectual de Atenas durante o quinto sculo
A. C. atraram estudiosos de todas as partes do mundo grego e uma sntese de
vrios aspectos foi conseguida. Da Jnia vieram homens como Anaxgoras de
esprito prtico; do sul da Itlia vieram outros como Zeno, com inclinaes
metafsicas mais fortes. Zeno ficou conhecido, principalmente em nossa poca,
pelos seus paradoxos, que causaram tanta perturbao em seu tempo. Demcrito
de Abdera defendeu uma viso materialista do mundo, enquanto que Pitgoras,
na Itlia, sustentava atitudes idealistas na cincia e na filosofia. Anaxgoras foi
preso em Atenas por impiedade, ao assegurar que o Sol no era uma divindade,
mas uma grande pedra incandescente, grande como todo o Peloponeso, e que a
Lua era uma terra habitada que emprestava do Sol a sua luz. Apesar de ser
primariamente um filsofo da natureza mais do que um matemtico, conta-nos
Plutarco que enquanto Anaxgoras esteve preso se ocupou com a tentativa de
quadrar o crculo, usando apenas rgua e compasso. Essa a primeira meno
de um problema que iria fascinar os matemticos por mais de 2000 anos. Data-
se dessa mesma poca outros dois problemas clebres, a duplicao do cubo e a
triseco do ngulo, ambos resolvveis apenas com rgua e compasso. Mais de
2200 anos mais tarde seria provado que todos os trs problemas so impossveis
de se resolver somente com rgua e compasso.
Outros matemticos dessa poca realizaram contribuies no
desenvolvimento da geometria, resoluo de equaes e teoria dos nmeros
inteiros. Podemos citar, entre outros, Hipcrates, Hpias (fazia parte dos sofistas
que "vendiam" seus conhecimentos), Arquitas e Filolaus, dois pitagricos.
Hipasus de Metapontum (aparentemente para onde Pitgoras se retirou no
fim da vida morrendo por volta de 500 A. C.), diz-se ter sido inicialmente um
pitagrico, que foi depois expulso da confraria. Uma histria diz que os
pitagricos lhe eregiram um tmulo, como se estivesse morto; outra que sua
apostasia foi punida pela morte num naufrgio. A causa exata da ruptura no
conhecida, em parte por causa da regra de segredo, mas trs possibilidades
foram sugeridas. Segundo uma, Hipasus foi expulso por insubordinao poltica
tendo chefiado um movimento democrtico contra a conservadora regra
pitagrica. Uma segunda atribui a expulso a indiscries relativas geometria
do pentgono ou do dodecaedro, talvez uma construo de uma dessas figuras.
Uma terceira explicao mantm que a expulso foi relacionada com a
revelao de uma descoberta matemtica de significao devastadora para a
filosofia pitagrica - a da existncia de grandezas incomensurveis.
Era um artigo de f fundamental do pitagorismo que a essncia de tudo,
tanto na geometria como nas questes prticas e tericas da vida do homem,

pode ser explicada em termos de arithmos, ou das propriedades intrnsecas dos
nmeros inteiros e suas razes. Os dilogos de Plato mostram, no entanto, que
a comunidade matemtica grega fora assombrada por uma descoberta que
praticamente demolia a base da f pitagrica nos inteiros. Tratava-se da
descoberta que na prpria geometria os inteiros e suas razes eram insuficientes
para descrever mesmo simples propriedades bsicas. No bastam, por exemplo,
para comparar a diagonal de um quadrado ou de um cubo ou de um pentgono
com seu lado. Os segmentos so incomensurveis, no importa quo pequena se
torne a unidade de medida. Quando ou como foi feita a descoberta no se sabe,
mas muita tinta se gastou em apoio de uma ou outra hiptese. Argumentos
antigos a favor de uma origem hindu da descoberta no tm base e parece
improvvel que o prprio Pitgoras conhecesse o problema da
incomensurabilidade. A sugesto mais plausvel que a descoberta fosse feita
por pitagricos em algum momento antes de 410 A. C. Alguns a apontam
especificamente a Hipasus de Metapontum durante a primeira parte do ltimo
quarto do quinto sculo A. C. enquanto que outros a colocam meio sculo mais
tarde.

2. A Primeira Crise no Desenvolvimento da Matemtica: Grandezas
Incomensurveis

2.1. Mais um pouco de histria

A Idade Herica se situa principalmente no quinto sculo A. C. e desse
perodo quase nenhuma evidncia direta restou sobre o desenvolvimento da
matemtica. As histrias de Herdoto e Tucdides e as peas de squilo,
Eurpedes e Aristfanes at certo ponto se preservaram, mas quase no h uma
linha do que foi escrito pelos matemticos da poca. Fontes matemticas de
primeira mo do quarto sculo A. C. so igualmente raras, mas essa falta
suprida em grande parte pelas exposies escritas por filsofos que
acompanharam de perto a matemtica de seu tempo. Temos a maior parte do
que Plato escreveu a cerca de metade da obra de Aristteles, alm, claro, da
obra de Plato.
Anteriormente havamos includo Arquitas entre os matemticos da Idade
Herica, mas num certo sentido ele uma figura de transio na matemtica
durante o tempo de Plato. Foi um dos ltimos pitagricos, tanto liberal quanto
figuradamente. Podia acreditar que o nmero era o que h de mais importante
na vida e na matemtica, mas a onda do futuro ia elevar a geometria posio
de supremacia, em grande parte devido ao problema da incomensurabilidade.
De outro lado, diz-se que foi Arquitas quem estabeleceu o Quadrivium
aritmtica, geometria, msica e astronomia - como o ncleo de uma educao
liberal e nisto suas opinies iriam dominar muito do pensamento pedaggico at

nossos dias. As sete artes liberais, que permaneceram intocveis por dois
milnios, eram constitudas pelo quadrivium de Arquitas mais o trivium da
gramtica, da retrica e da dialtica de Zeno. Por isso pode-se com alguma
justia sustentar que os matemticos da Idade Herica foram responsveis por
muito, quanto orientao nas tradies educacionais do Ocidente,
especialmente na forma transmitida pelos filsofos do quarto sculo A. C.
O quarto sculo A. C. iniciou-se com a morte de Scrates, um filsofo que
adotou o mtodo dialtico de Zeno e repudiou o pitagorismo de Arquitas. No
Phaedo de Plato, o dilogo em que as ltimas horas de Scrates so to
magnificamente descritas, vemos como profundas dvidas metafsicas
impediam que Scrates se dedicasse matemtica ou cincia da natureza.
No posso me convencer de que, quando se soma um a um, o um a que foi
feita a adio se transforma em dois, ou que duas unidades somadas faam dois
em conseqncia da adio. No posso entender como quando separadas cada
uma era um e no dois e agora, quando reunidas, a simples justaposio ou
encontro delas seja causa de se tornarem dois (Plato, Dialogues, traduzido por
Benjamin Jowett, Oxford, 1871, 4 volumes). Segundo a filosofia Pitagrica
tudo nmero, todas as coisas tm nmero. Por exemplo, ao "somarmos" uma
maa com uma pra elas continuaro sendo uma maa e uma pra e no"dois".
Por isso, a influncia de Scrates no desenvolvimento da matemtica foi nfimo,
se no negativa. Isso torna ainda mais surpreendente que seu discpulo e
admirador, Plato, se tornasse a inspirao para a matemtica do quarto sculo
A. C.
Embora Plato no tenha dado contribuio especfica digna de nota a
resultados matemticos tcnicos, ele era o centro da atividade matemtica da
poca e guiava e inspirava seu desenvolvimento. Sobre as portas de sua escola
lia-se: Que ningum que ignore a geometria entre aqui. Seu entusiasmo pelo
assunto fez com que se tornasse conhecido no como matemtico mas como o
criador de matemticos. claro que a alta opinio que tinha da matemtica,
Plato no recebeu de Scrates; na verdade, os primeiros dilogos platnicos
raramente mencionam a matemtica. Quem converteu Plato a uma viso
matemtica foi certamente Arquitas, um amigo a quem ele visitou na Siclia em
388 A. C. Como dissemos a matemtica foi profundamente influenciada por
Plato nessa poca e vrios matemticos fizeram importantes contribuies para
o seu desenvolvimento. Podemos citar os nomes de Teodoro de Cirene (viveu
por volta de 390 A. C.), Teaetetus (morreu em 368 A. C.), Eudoxo de Cnido
(morreu por volta de 355 A. C.), Menaecmus (viveu por volta de 350 A. C.) e
seu irmo Dinstrato (viveu por volta de 350 A. C.) e Autolicus de Pitane
(viveu por volta de 330 A. C.).
No seu dilogo Teaetetus, em homenagem ao jovem matemtico ateniense
de mesmo nome que morreu de uma combinao de ferimentos recebidos em
batalha e disenteria, Plato descreve uma discusso de Teaetetus com Scrates e

Teodoro sobre a natureza dos incomensurveis. A so feitas distines no s
entre grandezas comensurveis e incomensurveis, mas entre aquelas que,
sendo incomensurveis em comprimento, so ou no so incomensurveis em
quadrado. Grandezas como 5 3 e so incomensurveis em comprimento
mas so comensurveis em quadrado, pois seus quadrados tm razo 3 para 5.
As grandezas 5 1 3 1 + + e , por outro lado, so incomensurveis tanto
em comprimento quanto em quadrado. Nessa mesma obra, falando da ento
recente descoberta da irracionalidade de 2 , Plato diz que seu mestre,
Teodoro de Cirene de quem Teaetetus tambm fora aluno tinha sido o
primeiro a provar a irracionalidade das razes quadradas dos inteiros no
quadrados de 3 a 17 inclusive. No se sabe como ele o fez, nem por que parou
em 17 .
A Academia Platnica de Atenas tornou-se o centro matemtico do mundo e
dessa escola provieram os principais mestres e pesquisadores durante os meados
do quarto sculo A. C. Desses o maior foi Eudoxo de Cnido (408-355? A. C.),
que foi um dos discpulos de Plato e tornou-se o mais clebre matemtico e
astrnomo de seu tempo. Na juventude de Plato a descoberta do
incomensurvel causou um verdadeiro escndalo lgico, pois pareceu arruinar
teoremas envolvendo propores. Duas grandezas so incomensurveis quando
sua razo no igual de algum nmero (inteiro) para um outro nmero
(inteiro). Como ento comparar grandezas incomensurveis? Se Hipcrates
realmente provou que as reas de crculos esto entre si como os quadrados dos
dimetros, deve ter tido algum modo de manejar propores ou igualdade de
razes. No sabemos como o fez, ou se ele, at certo ponto, antecipou Eudoxo,
que deu uma nova definio, geralmente aceita, de razes iguais. Segundo
Arquimedes foi tambm Eudoxo quem forneceu o lema que hoje tem o nome de
Arquimedes, s vezes chamado de Axioma de Arquimedes e que serviu de base
para o mtodo de exausto, o equivalente grego do clculo integral. Do axioma
de Eudoxo (ou de Arquimedes) fcil, por uma reductio ad absurdum, provar
uma proposio que formava a base do chamado mtodo de exausto dos
gregos, que era usado para provar teoremas sobre reas e volumes de figuras
curvilneas.
Eudoxo foi sem dvida o melhor matemtico da Idade Helnica, mas todas
as suas obras se perderam. possvel que a estimativa aristotlica para a
circunferncia da Terra cerca de 400 000 estados ou 60 000 quilmetros seja
de Eudoxo, pois Arquimedes relata que Eudoxo tinha cauculado que o dimetro
do Sol era nove vezes o da Terra. Apesar das inmeras contribuies que
Eudoxo deu matemtica de seu tempo, vamos nos ater questo das
grandezas incomensurveis.


2.2. Grandezas Incomensurveis

Como vimos anteriormente os matemticos gregos lidavam com a questo
de comparar grandezas de mesma espcie, como por exemplo, dois segmentos
de reta, duas reas ou dois volumes. No caso de dois segmentos retilneos AB e
CD, dizer que a razo AB/CD o nmero racional m/n, significava para eles (e
ainda significa para ns) que existia um terceiro segmento EF tal que AB fosse
m vezes EF e CD n vezes esse mesmo segmento EF.

A B

C D E F

5
8
=
CD
AB

No tempo de Pitgoras e mesmo durante boa parte do quinto sculo A. C. -
pensava-se que os nmeros inteiros bastavam para comparar razes entre
segmentos de reta, isto , dados dois segmentos de reta AB e CD, seria sempre
possvel encontrar um terceiro segmento EF contido um nmero inteiro de
vezes em AB e outro nmero inteiro de vezes em CD, situao esta que
descreveremos dizendo que EF um submltiplo comum de AB e CD. Esta
idia muito razovel, afinal se EF no serve, podemos imaginar um segmento
menor, outro menor ainda e assim por diante. Nossa intuio geomtrica parece
dizer-nos que h de existir um certo segmento EF, talvez muito pequeno, mas
satisfazendo aos propsitos desejados. Dois segmentos nessas condies so
ditos comensurveis, justamente por ser possvel medi-los ao mesmo tempo,
com a mesma unidade EF. Entretanto, no verdade que dois segmentos
quaisquer sejam sempre comensurveis. Em outras palavras, existem segmentos
AB e CD sem unidade comum EF, os chamados incomensurveis. Esse um
fato que contraria nossa intuio geomtrica, e por isso mesmo a descoberta de
grandezas incomensurveis na antiguidade representou um momento de crise no
desenvolvimento da matemtica.
Ao que tudo indica os pitagricos descobriram grandezas incomensurveis
atravs de argumentos geomtricos, como o que apresentaremos a seguir,
demonstrando que o lado e a diagonal de um quadrado so segmentos
incomensurveis.


C A

E

F D

B

Na figura representamos um quadrado com diagonal = AB e lado =
AC. Suponhamos que e sejam comensurveis. Ento existir um terceiro
segmento que seja submltiplo comum de e . Fazemos agora a seguinte
construo: traamos o arco CD com centro em A e o segmento ED tangente a
esse arco em D, de sorte que AD = AC. Ento, nos tringulos retngulos ACE e
ADE, os catetos AC e AD so iguais e a hipotenusa AE comum. Logo so
tambm iguais os catetos CE e DE (= BD). Portanto,

BD BE EC BE BC
BD BD AD AB
+ = + = =
+ = + = =
.
Ou seja,
) * * ( BD BE
) * ( BD
+ =
+ =

Como o segmento submltiplo comum de e , conclumos, por ( * ),
que tambm submltiplo de BD. Daqui e de ( ** ) segue-se que
tambm submltiplo de BE. Provamos assim que se houver um segmento
que seja submltiplo comum de = AB e = AC, ento o mesmo segmento
ser submltiplo comum de BE e BD, segmentos esses que so a diagonal e
o lado do quadrado BDEF. Ora, a mesma construo geomtrica que nos
permitiu passar do quadrado original para o quadrado BDEF pode ser repetida
com este ltimo para chegarmos a um quadrado menor ainda; e assim por
diante, indefinidamente; e esses quadrados vo se tornando arbitrariamente
pequenos, pois, como fcil de ver, as dimenses de cada quadrado diminuem
em mais da metade quando passamos de um deles a seu sucessor. Dessa
maneira, provamos que o segmento dever ser submltiplo comum do lado e
da diagonal de um quadrado to pequeno quanto desejemos. Evidentemente,
isso um absurdo! Somos, pois, levados a rejeitar a suposio inicial de que o
lado AC e a diagonal AB do quadrado original sejam comensurveis.
Conclumos, pois, que o lado e a diagonal de qualquer quadrado so grandezas
incomensurveis.

Uma conseqncia da existncia de segmentos incomensurveis a
existncia de pontos na reta sem abscissas racionais.
A

O U P
De fato. Com referncia figura acima, basta tomar OP = OA, onde OA
a diagonal de um quadrado unitrio OU. Como OP e OU so incomensurveis,
no possvel expressar a razo OP/OU como um nmero racional.
Que nmero seria a abscissa de P? Pelo Teorema de Pitgoras temos,
OA
2
= OU
2
+ UA
2

Como OA = OP e UA = OU = 1, obtemos
OP
2
= 2 OU
2
= 2.
Ou seja,
2 OP = .
essa a abscissa de P tomando-se OU como unidade de comprimento.
Como curiosidade, vamos mostrar atravs de um argumento puramente
numrico a irracionalidade de 2 .
Comeamos supondo que existisse uma frao irredutvel m/n tal que
2 = m/n.. Assim,
2 2
2
2
2 2 n m
n
m
= = .
Daqui segue-se que m
2
um nmero par, portanto m par (se m fosse mpar, m
2

seria mpar), isto , m = 2r, sendo r outro nmero inteiro. Substituindo m = 2r
na expresso acima obtemos,
2 2 2 2
2 2 4 r n n r = = .
Esta expresso nos diz que n
2
um nmero par, logo n tambm par. Chegamos
a um absurdo, pois m/n uma frao irredutvel. Logo a suposio de que 2
um nmero racional m/n est errada.
Evidentemente se todos os pares de segmentos fossem comensurveis
bastariam os nmeros racionais no negativos para caracterizar os pontos da
semi-reta no negativa. Isto , os nmeros da forma m/n, com m, n inteiros,
e n > 0. bom observar que isso condiz muito bem com nossa intuio
geomtrica: afinal, esses nmeros ficam densamente distribudos ao longo da
semi-reta, de tal forma que entre dois deles h sempre uma infinidade de
nmeros do mesmo tipo.
0 m

Com a prova de que haviam segmentos incomensurveis, de imediato
tornou-se impossvel falar em razo entre duas grandezas quando essas fossem
incomensurveis. Havia a necessidade de se inventarem os nmeros irracionais,
o que s ocorreu nos tempos modernos. Mas os gregos souberam como
contornar esse problema, logo na primeira metade do quarto A. C. e com muita
genialidade. Embora no falasse em razo, Eudoxo desenvolveu, de maneira
brilhante, uma teoria das propores com a qual foi possvel superar a
dificuldade dos incomensurveis, usando apenas os nmeros inteiros positivos.
A soluo de Eudoxo, conquanto genial, teve o efeito de afastar os gregos de
um desenvolvimento numrico da matemtica, que a partir de ento torna-se
Geometria. Os problemas aritmticos e algbricos so tratados em Os
Elementos de Euclides de maneira geomtrica. A Aritmtica e a lgebra s
voltariam a ganhar importncia e autonomia prprias no mundo ocidental com a
influncia rabe a partir do sculo XII.

2.3. A Soluo de Eudoxo para o Problema dos Incomensurveis

Para resolver o problema dos incomensurveis Eudoxo desenvolveu uma
teoria das propores que permitiu superar a dificuldade dos incomensurveis
sem a necessidade dos nmeros irracionais. Aparentemente os gregos usavam a
idia que quatro quantidades esto em proporo, a:b = c:d, se as duas razes
a:b e c:d tm a mesma subtrao mtua; isto se em cada razo, a quantidade
menor cabe um igual nmero inteiro de vezes na maior e o resto em cada caso
cabe um igual nmero inteiro de vezes na menor e o novo resto no precedente o
mesmo nmero inteiro de vezes e assim por diante. Uma tal definio
incmoda e foi um brilhante feito de Eudoxo descobrir a teoria das propores
usada no Livro V de Os Elementos de Euclides. Antes de apresentarmos a
definio dada por Eudoxo vamos relembrar como se define igualdade de
fraes e razo de grandezas comensurveis.
Comearemos com a definio de igualdade de frao para facilitar o
entendimento do que iremos expor. Como sabido, as fraes surgem pela
insuficincia dos nmeros naturais no trato de problemas que envolvem diviso
em partes iguais. A igualdade de duas fraes deve traduzir o fato de que elas se
reduzem, por simplificao, mesma frao irredutvel. Por exemplo:
,
,
15
4
3 15
3 4
45
12
15
4
2 15
2 4
30
8
=
=
=
=

de sorte que
45
12
30
8
= .

Desta forma, definimos igualdade de fraes como segue.
Definio 1. Diz-se que duas fraes
n
m
e
' n
' m
so iguais se existem
nmeros, primos entre si, p e q, e nmeros inteiros a e b, tais que
) ( bq ' n , bp ' m
) ( aq n , ap m
2
1
= =
= =

Embora esta definio traduza a idia exata de igualdade de fraes que
desejamos introduzir, ela um tanto complicada e pouco prtica. A definio a
seguir mais simples.
Definio 2. Diz-se que duas fraes
n
m
e
' n
' m
so iguais se mn' =m'n; isto
,
n ' m ' mn
' n
' m
n
m
= = . (3)
Na verdade, as duas definies so equivalentes. De fato, se as relaes (1) e
(2) se verificam obtemos mn' =m'n.
Reciprocamente, vamos mostrar que a condio (3) implica na Definio 1.
Primeiro notamos que os nmeros m e n podem ser escritos na forma (1), com p
e q primos entre si; basta tomar a como sendo o m.d.c. de m e n. Substituindo
(1) em (3), obtemos
apn' = m'aq,
ou ainda
pn' = m'q. (4)
Isto mostra que p divide m'q; como p primo com q, conclumos que ele divide
m'; isto , existe um nmero inteiro b tal que m' = bp; esta a primeira das
relaes (2). Levando este valor em (4), vem que
pn' = bpq,
donde segue-se que n' = bq, que a segunda das relaes (2).
Como sabemos os nmeros racionais podem ser representados pelas fraes.
Alm disso, fraes iguais representam o mesmo nmero racional e que fraes
distintas representam nmeros racionais distintos.
Para definirmos razo de grandezas incomensurveis da forma como
Eudoxo o fez, precisaremos primeiro tratar da definio de razo de grandezas
comensurveis. Essa definio pode ser dada para duas grandezas de mesma
espcie, tais como, segmentos retilneos ou reas ou volumes ou ngulos ou
massas, etc. Vamos tratar no caso de segmentos retilneos.
Definio 3. Dizemos que A est para B na razo
n
m
e se escreve

n
m
B
A
=
se existe um segmento tal que
A = m e B = n . (5)
Em outras palavras estamos dizendo que um submltiplo comum dos
segmentos A e B. A razo de A para B, ento, o nmero
n
m
.
Algumas observaes so necessrias acerca dessa definio. Em primeiro
lugar A e B no so nmeros, mas segmentos! No entanto,
B
A
ser o nmero
n
m
pela definio que demos; m a medida de A com o segmento e n a
medida de B com o mesmo segmento, chamado, ento, a unidade de medida.
Em segundo lugar, temos de nos certificar de que a definio dada tem
significado nico e preciso. Pode muito bem acontecer que haja um outro
segmento ' e nmeros m' e n' tais que
A = m' ' e B = n' '. (6)
Pela definio dada a razo de A para B seria
' n
' m
. Nada a objetar, desde que
n
m
seja igual a
' n
' m
, isto , m n' = m' n; mas ser isto verdade? E se
n
m
B
A
= de
acordo com a definio 3 e
n
m
=
' n
' m
, ser verdade que vale a relao (6) com
algum '? Mostraremos a seguir que tudo isso verdade.
Primeiramente suponhamos que (5) e (6) se verifiquem. De (5) obtemos
nA = n(m ) = m(n ) = mB
isto , nA = mB. Substituindo aqui os valores dados em (6), vem que
nm' ' = mn' '
donde conclumos que mn' = m'n, ou seja,
n
m
=
' n
' m
, que responde
afirmativamente primeira pergunta acima.
Suponhamos agora que (3) e (5) se verifiquem. De (5) obtemos que nA =
mB como antes. Dividindo A em m' segmentos iguais (a um certo ')
encontramos A = m' ' que a primeira das relaes de (6). Substituindo-a em
nA = mB, vem mB = nm' '. Daqui e de (3) segue-se que mB = mn' ', donde
B = n' ', que a segunda das relaes (6). Fica assim respondida
afirmativamente a segunda pergunta.

Esta justificativa que fizemos mostra que a definio 3 tem significado
nico e preciso.
Do mesmo modo que a definio 1 equivalente definio 2, no caso de
igualdade de fraes, tambm no caso de razo de duas grandezas podemos
mostrar que a definio a seguir equivalente definio 3.
Definio 4. Diz-se que A est para B na razo
n
m
se nA = mB, isto ,
mB nA
n
m
B
A
= = .
Para mostrar que Definio 4 implica na Definio 3 supomos que existem
nmeros inteiros m e n tais que nA = mB. Em seguida dividimos A em m
segmentos iguais a um certo segmento : A = m . Daqui e da relao
anterior segue-se que nm = mB; logo B = n , o que prova o que queramos.
Como a prova de que a Definio 3 implica na Definio 4 j foi feita na
justificativa acima , fica estabelecida a equivalncia das definies 3 e 4.
Com essas definies em mos podemos passar a definir igualdade de duas

razes mesmo que os segmentos sejam incomensurveis. Embora A e B sejam
segmentos e no nmeros a Definio 4 atribui significado numrico razo
B
A
quando A e B so comensurveis. Eudoxo abre mo disso no caso
incomensurvel. Para ele, o que realmente importa achar um meio de exprimir
a igualdade de duas razes,
B
A
e
D
C
, mesmo que nenhuma delas seja um
nmero! ( claro, do ponto de vista dos gregos h mais de 2000 anos.) Para
isso, notamos da Definio 4 que, na hiptese de comensurabilidade,
B
A
=
D
C

o mesmo que escrever: dados os nmeros m e n, ento
mD nC mB nA = = .
Acontece que, se A e B forem incomensurveis, igualdades do tipo nA = =mB
nunca ocorrero! Todavia, dados dois nmeros inteiros quaisquer m e n,
podemos certamente testar se
. mD nC ou mD nC , mD nC
; mB nA ou mB nA , nB nA
< = >
< = >

Aps algumas observaes preliminares sobre razes, Euclides d na
Definio 5 do Livro V a clebre formulao de Eudoxo:
"Diz-se que grandezas esto na mesma razo, a primeira para a segunda e
a terceira para a quarta se, quando equimltiplos quaisquer so tomados da
primeira e da terceira equimltiplos quaisquer da segunda e da quarta, os
primeiros equimltiplos so ambos maiores que, ou ambos iguais a, ou ambos

menores que, os ltimos equimltiplos considerados em ordem
correspondente."
Esta formulao de Eudoxo equivalente a formulao atual.
Definio 5. Dados quatro segmentos A, B, C e D, diz-se que A est para B
assim como C est para D (isto , em nossa notao
B
A
=
D
C
) se, quaisquer que
sejam os nmeros m e n, ento
nD nC mB nA
nD nC mB nA
nD nC mB nA
< <
= =
> >

A definio de Eudoxo para igualdade de razes se assemelha ao processo
de multiplicao cruzada em uso hoje para fraes - bc ad
d
c
b
a
= = -
processo equivalente a reduzir ao mesmo denominador.
Por exemplo, para mostrar que
8
4
6
3
= , multiplicamos 3 e 6 por 4 obtendo
12 e 24 e multiplicamos 4 e 8 por 3 obtendo o mesmo par de nmeros. Observe
que permutamos o 2
o
e 3
o
termos na definio de Eudoxo para ficar de acordo
com as operaes usadas hoje. No entanto, poderamos usar a definio de
Eudoxo. Se tomarmos A = 3, B = 6, C = 4 e D = 8 e escolhermos m = 2 e n = 4
obteremos
nA = 12 = mB nC = 16 = mD
Se em vez disso, escolhermos m = 5 e n = 7 obtemos
nA = 21 < 30 = mB nC = 28 < 40 = mD
Este exemplo numrico no faz justia sutileza e eficincia da idia de
Eudoxo, porque a aplicao aqui trivial. Se tomarmos A e B como volumes
esferas e C e D como os cubos de seus raios, teramos uma idia melhor sobre o
alcance dessa definio de Eudoxo.
Como aplicao dessa definio vamos provar o chamado Teorema de
Tales, de importncia fundamental em Geometria Plana, pois dele depende
toda a teoria de semelhana de figuras: em particular, os teoremas sobre
semelhana de tringulos.
Primeiramente, vamos estud-lo no caso comensurvel.
Teorema de Tales. Num mesmo plano trs retas paralelas determinam em duas
retas transversais segmentos proporcionais.
Isto significa, de acordo com a figura abaixo, que
' R ' Q
' Q ' P
QR
PQ
= .


P P'

S V' S'
T X' T'
U Y' U'

Q Q'

R R'

Seja um submltiplo comum de PQ e QR, de sorte que existem inteiros m e
n tais que PQ = m e QR = n . Sobre PQ marcamos PS = ST = TU ==
e traamos SS', TT', UU' , paralelos a PP'. A seguir traamos as retas
P'V', S'X', T'Y', paralela a PQ. fcil verificar que os tringulos P'V'S',
S'X'T', T'Y'U', so todos iguais (congruentes) entre si, de modo que os
segmentos P'S', S'T', T'U', so todos iguais a um mesmos segmento ' .
Segue-se que P'Q' = m '. De mesmo modo se prova que Q'R' = n '; portanto
n
m
' R ' Q
' Q ' P
QR
PQ
= = .
Vamos dar uma idia da demonstrao do Teorema de Tales no caso geral,
mesmo que os segmentos envolvidos sejam incomensurveis. Para isso, dados
m e n nmeros inteiros quaisquer, dividimos PQ em m partes iguais a um certo
segmento , de sorte que PQ = m . Ao longo de QR marcamos n segmentos
, perfazendo o segmento QS, isto , QS = n . claro ento que
n
m
QS
PQ
= ,
ou seja, nPQ = mQS. Pode ser que o ponto S caia entre Q e R, exatamente em R,
ou alm de R. Vamos supor que a primeira hiptese acontece, como na figura
abaixo.
P P'

Q Q'

S S'

R R'


Ento
n PQ = m QS < m QR.
Traando, a seguir, a reta SS' paralela a PP', obtemos, como na demonstrao
anterior:
n
m
' S ' Q
' Q ' P
= ,
ou seja, n P'Q' = m Q'S'; portanto,
n P'Q' = m Q'S' < m Q'R'.
Fica assim provado que
n PQ < m QR n P'Q' < m Q'R'.
O raciocnio o mesmo para provar a recproca desta ltima implicao. Isto
completa a demonstrao de que
n PQ < m QR n P'Q' < m Q'R'.
De modo anlogo se demonstra que
n PQ > m QR n P'Q' > m Q'R'
e a demonstrao de
n PQ = m QR n P'Q' = m Q'R'
a mesma da verso anterior do teorema. Com base nas trs equivalncias
acima conclumos que
' R ' Q
' Q ' P
QR
PQ
= .
A definio 5 encerra grande engenhosidade. Com efeito, admirvel ter
ocorrido a algum, h quase 2400 anos a idia de definir igualdade de razes
mesmo quando no se pudessem identificar essas razes com nmeros. Com ela
foi possvel construir toda uma teoria das propores e resolver uma grande
crise nos fundamentos da matemtica. A soluo dada por Eudoxo, evitou os
nmeros j que eles se mostraram insuficientes para definir essas grandezas.
Isto significou, na histria da matemtica um desvio de nfase: o ideal
pitagrico de reduzir tudo a nmeros cedia lugar aos fatos geomtricos. A
matemtica passa a ser Geometria, tanto que Plato proclama que "Deus
Geometriza sempre". Apenas em fins do sculo passado que os nmeros
voltaram a ocupar papel de destaque nos fundamentos da matemtica. Isto
ocorreu devido a trabalhos de Dedekind e de outros matemticos da poca.

2.4. A Construo dos Nmeros Reais

A dcada de 1870 foi uma dcada importante para o que chamamos de
aritmetizao da anlise. J se lidava h algum tempo com as sries infinitas e
havia muita falta de confiana nas operaes executadas sobre essas sries.
Uma outra causa de preocupao era a falta de qualquer definio da expresso
"nmero real" que estava no prprio cerne do programa de aritmetizao.
Bolzano em 1817 tinha percebido to bem a necessidade de rigor em anlise

que Klein o chamava "o pai da aritmetizao"; mas Bolzano tinha sido menos
influente que Cauchy, cuja anlise ainda carregava muito de intuio
geomtrica.
Richard Dedekind (1831-1916) de Brunswick, estudou em Gttingen, onde
foi aluno de Gauss e Dirichlet. Em 1858 tornou-se professor em Zurique,
transferindo-se em 1862 para sua cidade natal, onde permaneceu pelo resto de
sua vida. Dedekind conta que foi no incio de sua carreira, quando teve que
ensinar Clculo Diferencial, que percebeu a falta de uma definio adequada
para os nmeros reais, principalmente quando ele teve que provar que uma
funo crescente e limitada tem limite. Ele tambm conta que buscou inspirao
para sua construo dos nmeros reais na antiga e engenhosa teoria das
propores de Eudoxo.
Um exame mais cuidadoso da definio 5 dada por Eudoxo nos diz que ela
exige que consideremos todas as fraes
n
m
e com elas faamos testes para
saber se nA mB ou nA > mB. Assim ela divide o conjunto dos nmeros
racionais em duas classes. Uma constituda dos nmeros
n
m
tais que, nA mB,
ou "direita" denotada por D, e outra classe dos nmeros
n
m
tais que nA > mB,
ou "esquerda" denotada por E.
claro que todo elemento de E menor que todo elemento de D. Assim a
razo de
B
A
como nmero impossvel, no caso incomensurvel, apenas
porque no existe nmero (racional) que esteja entre as duas classes E e D, isto
, que seja maior que todo elemento de E e menor que todo elemento de D.
Seria preciso para isso, inventar novos nmeros, os irracionais, coisa que
Eudoxo no o fez. Dedekind decerto observou, na definio de Eudoxo, a
separao em duas classes sem que entre uma classe e outra houvesse um
elemento separador. Dedekind teve a idia de caracterizar os irracionais atravs
dessas classes "esquerda" e "direita".
claro que mesmo antes de Dedekind j se trabalhavam com os nmeros
irracionais, manipulando-os segundo as leis formais do clculo com radicais.
Assim, embora 3 e 12 no tivessem significado preciso, multiplicando-os
obtemos um resultado claro e inequvoco: 6 36 12 3 = = . O que faltava
era uma teoria que justificasse operaes como essa.
Devemos, ento, partir do pressuposto que temos uma teoria dos nmeros
racionais que justifica todas as operaes conhecidas com esses nmeros. A

partir da podemos definir a noo de nmero real dada por Dedekind. Antes,
porm, vamos definir os chamados cortes de Dedekind.

Definio 6. Diz-se que um conjunto de nmeros racionais um corte se
(I) contm pelo menos um nmero racional, mas no todos;
(II) se p e q < p (q racional) q ;
(III) em no existe racional mximo.

partir dessa definio prova-se que se p e q p < q. Os
elementos de so chamados de inferiores. Este corte equivalente ao que
chamamos de classe "esquerda" anteriormente. Alm disso, se r um racional e
o conjunto dos racionais p tais que p < r, ento um corte e r o nmero
superior mnimo de . Tal corte chamado corte racional.
Dados dois cortes e , escrevemos = se de p resulta q e de
q resulta p . Esta definio a primeira vista pode parecer suprflua. Mas
igualdade nem sempre identidade. Por exemplo, se
b
a
p = e
d
c
q = so
racionais p = q significa ad = bc, mas no necessariamente a = c e c = d.
Podemos colocar uma relao de ordem no conjunto dos cortes. Se e so
cortes, < se existe um racional p tal que p e p . Com essa definio
prova-se que dados dois cortes e , ento = , < ou < . Alm disso,
essa relao de ordem transitiva.
O prximo passo definir uma aritmtica no conjunto dos cortes.
Se e so cortes, seja o conjunto de todos os racionais r tais que
r = p + q, com p e q . fcil de verificar que um corte. O corte
chamado soma dos cortes e designado por = + .
Convm observar que tanto o smbolo <, usado anteriormente, e o smbolo +
acima, normalmente usados para os racionais (estamos partindo do conjunto dos
nmeros racionais) so usados com outro sentido pois e no so nmeros,
so conjuntos.
Com essa definio de soma de cortes podemos mostrar que essa operao
comutativa, associativa, tem elemento neutro, denotado como 0 (corte racional
do nmero 0) e elemento inverso. Analogamente como definimos soma de
cortes podemos definir o produto de dois cortes e , = . Esse produto
tem as propriedades comutativa, associativa, distributiva, elemento neutro (da
multiplicao) e todas as propriedades gozadas pelos nmeros racionais. Alm
disso, se indicarmos um corte racional por r
*
para diferenciar do nmero
racional r, pode-se provar que:


i) p
*
+ q
*
= (p + q)
*
;
ii) p
*
q
*
= (pq)
*
;
iii) p
*
< q
*
se, e somente se, p < q;
iv) Se e so cortes e < existe um corte racional r
*
tal que < r < ;
*
v) Qualquer que seja o corte , p se, e somente se, p < .
*

Vamos resumir rapidamente o que conseguimos at o momento.
Consideramos certos conjuntos de racionais, aos quais chamamos cortes. Uma
relao de ordem e duas operaes, chamadas adio e multiplicao, foram
definidas e a aritmtica dos cortes assim obtida obedece s mesmas leis que a
aritmtica dos racionais. Isso, em outras palavras, significa que o conjunto dos
cortes tornou-se o que chamamos um corpo ordenado. Em uma classe especial
de cortes, os chamados "cortes racionais", vimos que a substituio dos
nmeros racionais r pelos cortes r
*
correspondentes preserva somas, produtos e
ordem (itens i), ii) e iii) acima). Estas propriedades nos permitem identificar o
corte racional r
*
com o nmero racional r. Definimos, agora o que entendemos
por nmero real.
Definio 7. Cortes so chamados nmeros reais. Cortes racionais so
identificados com nmeros racionais (e chamados nmeros racionais). Todos os
demais cortes sero chamados de nmeros irracionais.
Desta forma, estamos considerando os racionais como um subconjunto dos
reais. A propriedade iv) nos diz que entre dois nmeros reais quaisquer existe
um racional e a propriedade v) nos diz que cada nmero real o conjunto dos
racionais p tais que p < .
O teorema seguinte estabelece uma propriedade fundamental do conjunto
dos nmeros reais.

Teorema (Dedekind) Sejam A e B conjunto de nmeros reais tais que:
(a) todo nmero real est em A ou em B;
(b) nenhum nmero real est simultaneamente em A e em B;
(c) nem A nem B vazio;
(d) se A e B, temos < .
Ento, existe um, e somente um, nmero real , tal que , para todo
A, e , para todo B.

Vamos fazer algumas observaes acerca deste teorema, que o ponto
chave na construo dos nmeros reais. A existncia de a parte mais
importante pois ela mostra que as lacunas encontradas no conjunto dos nmeros
racionais esto agora preenchidas. Este elemento separador quem garante a
existncia dos nmeros reais. Alm disso, o conjunto dos nmeros reais no
pode ser estendido, como diremos mais adiante. Por esse motivo esse teorema ,
as vezes, chamado de teorema do completamento dos nmeros reais.

Deste teorema temos um corolrio importante.
Corolrio Nas condies do Teorema de Dedekind, ou existe em A, um
nmero mximo, ou, em B, um nmero mnimo.
A demonstrao desses fatos que enunciamos sobre os cortes de Dedekind e
nmeros podem ser encontradas em [R].
Como exemplo, o corte que define o nmero real (irracional) 2 pode ser
definido como o conjunto dos nmeros racionais p tais que p
2
< 2; so as
"razes quadradas de 2 por falta", como
1; 1,1; 1,41; 1,413; 1,4142; ...
Poderamos ter considerado, tambm o conjunto dos racionais p tais que
p
2
> 2, que so as "razes de 2 por excesso", como
5; 2; 1,5; 1,48; 1,417; 1,4143; ...
Agora que construmos o corpo dos nmeros reais, ser que no podemos
repetir a mesma construo? Em outras palavras, no seria o caso de considerar
o conjunto de todos os cortes de nmeros reais e repetir a postulao de que
todo corte deve ter elemento separador, ampliando assim ainda mais o conjunto
dos nmeros reais? A resposta negativa, simplesmente porque demonstra-se
que todo corte j tem elemento separador; ou seja, no vai mais acontecer o que
acontecia antes com o conjunto dos nmeros racionais, muitos dos quais no
tinham elemento separador. Dizemos, pois que o conjunto dos nmeros reais
um corpo completo. Um outro teorema importante que se demonstra que
qualquer corpo ordenado completo isomorfo ao corpo dos nmeros reais. Isto
significa que, a menos de isomorfismos, s existe um corpo ordenado completo.
A constatao desse fato , de certo modo, uma decepo; parece que todo o
trabalho de construir o corpo dos nmeros reais intil. No seria o caso de
tomarmos como ponto de partida a definio de corpo de nmeros reais como
sendo um corpo ordenado completo, j que este o nico (a menos de
isomorfismos)? Na verdade alguns autores fazem exatamente isso, postulando
desde o incio a existncia de um corpo ordenado completo, o corpo dos
nmeros reais. Mas claro que a construo dos nmeros reais a partir dos
racionais importante para provar que, de fato, existe um corpo ordenado
completo.
Convm observar que esta construo dos nmeros reais que acabamos de
descrever apenas uma das vrias que podem ser encontradas na literatura
matemtica. Georg Cantor, por exemplo, construiu os nmeros reais utilizando
as chamadas seqncias de Cauchy; esta construo tambm encerra muita
engenhosidade e pode ser comparada com a de Dedekind por sua beleza. Mas
isto uma outra histria.
Os leitores interessados podero encontrar maiores informaes na
bibliografia abaixo.



3. Bibliografia

[A1] vila, Geraldo; Grandezas Incomensurveis e Nmeros Irracionais,
RPM 5, 1984, SBM.
[A2] vila, Geraldo; Eudoxo, Dedekind, Nmeros Reais e Ensino da
Matemtica, RPM 7, 1985, SBM.
[A3] vila, Geraldo; Introduo Anlise Matemtica, Editora Edgard
Blcher, 1999.
[B] Boyer, Carl B.; Histria da Matemtica, Editora Edgard Blcher,
1974.
[R] Rudin, Walter; Princpios de Anlise Matemtica, Ao Livro Tcnico
S.A., 1971.

Mauricio Donizetti Pieterzack
Goinia, GO, Brasil
mauricio@mat.ufg.br


O V postulado de Euclides
Romildo da Silva Pina - IME - UFG

Resumo: Apresentamos neste trabalho algumas verses equivalentes ao quinto
postulado de Euclides, que surgiram ao longo dos anos, na tentativa de provar
que o mesmo poderia ser obtido a partir dos outros quatro primeiros
postulados. O quinto postulado desempenhou um papel fundamental para o
desenvolvimento da geometria , pois foi questionando a sua veracidade que
se descobriram outros modelos de geometria , diferentes da Euclidiana, o que
hoje chamamos de geometria no - Euclidiana.

INTRODUO

A geometria uma cincia muito antiga. Seus conceitos
primitivos so ponto, reta e plano. Conhecimentos geomtricos no triviais j
eram dominados no Egito antigo, na Babilnia e na Grcia. Na forma como ns
a conhecemos, podemos estabelecer o seu ponto inicial na Grcia no tempo de
Ptolomeu I, quando Euclides escreveu os Elementos (por volta de 300 a.C).
Euclides e seus predecessores reconheceram o que, nos dias
de hoje, todo estudante de filosofia sabe: que no se pode provar tudo. Na
construo de uma estrutura lgica, uma ou mais afirmaes devem ser
admitidas como verdadeiras e a partir delas todas as outras sero ento
deduzidas.
Desde o tempo de Euclides, o que hoje chamamos de
geometria Euclidiana estava totalmente desenvolvida. Os 13 livros , conhecidos
como os Elementos uma compilao da matemtica da poca, reunindo os
teoremas conhecidos, em um nico texto, com uma apresentao unificada dos
resultados at ento conhecidos.
Euclides ficou famoso, pela concepo do livro em si,
considerado como primeiro tratado cientfico, servindo de modelo para vrios
ramos da cincia, e pela escolha que fez dos axiomas, ou seja, as afirmaes
que seriam aceitas como verdadeiras.
Os dez axiomas de Euclides foram apresentados em dois
grupos: as noes comuns e os postulados. A distino entre eles no muito
clara. As noes comuns parecem ter sido consideradas como afirmaes
aceitveis todas as cincias, enquanto que os postulados seriam afirmaes
especficas da geometria.

Os axiomas de Euclides so os seguintes:
Noes Comuns:



1) Coisas que so iguais a uma mesma coisa so tambm iguais.
2) Se iguais so adicionados a iguais, os totais so iguais.
3) Se iguais so subtrados de iguais, os restos so iguais.
4) Coisas que coincidem uma com a outra, so iguais uma outra.
5) O todo maior do que qualquer uma de suas partes.

Postulados:

I. Pode-se traar uma (nica) reta ligando quaisquer dois pontos.
II. Pode-se continuar (de maneira nica) qualquer reta finita continuamente em
uma reta.
III. Pode-se traar um crculo com qualquer centro e qualquer raio.
IV. Todos os ngulos retos so iguais.
V. verdade que, se uma reta ao cortar duas outras, forma ngulos interiores,
no mesmo lado, cuja soma menor do que dois ngulos retos, ento as duas
retas, se continuadas encontrar-se-o no lado onde esto os ngulos cuja
soma menor do que dois ngulos retos.
Na verdade, os enunciados acima apresentados no coincidem
exatamente com aqueles apresentados nos Elementos. As alteraes que
fizemos esto entre parnteses e representam a forma na qual Euclides
realmente os utilizou nas provas dos teoremas. Dizemos tambm que duas retas
distintas so paralelas quando no se interceptam, ou seja, no tem ponto em
comum.
Os Elementos foi dividido em 13 volumes e contm 465
proposies. Ao escrever os Elementos, Euclides introduziu os postulados um a
um, na ordem acima apresentada. Na verdade, o Livro I dos Elementos foi
dividido em trs partes. As 26 primeiras proposies tratam da teoria elementar
dos tringulos. Da proposio 27 34 apresentada a teoria das paralelas e
finalmente, na terceira parte, so introduzidas as noes de rea de
paralelogramos e tringulos que culminam com o teorema de Pitgoras.
O curioso que Euclides s utiliza o quinto postulado a partir
da proposio 29, sendo que as 28 primeiras proposies so provadas usando
apenas os quatro primeiros postulados.
Apresentaremos em seguida as proposies 27 e 28 na forma em que
foram enunciadas no Livro I dos Elementos (ver [2] e [4]).
Proposio I. 27. Se uma reta corta duas outras formando
ngulos correspondentes iguais como na figura (1), ento as duas retas so
paralelas.


Proposio I. 28. Uma reta corta duas outras formando
ngulos como na figura (1). Se + igual a dois ngulos retos ento as
duas retas so paralelas.

r
t
s

Figura (1)
As demonstraes das proposies acima so feitas sem usar
o quinto postulado e podem ser encontradas em [2].
Com a terminologia acima o quinto postulado pode ser
reescrito da seguinte forma:
Postulado V. Uma reta s corta duas outras retas r e t
formando ngulos como na figura (1). Se + for diferente de dois ngulos
retos ento as duas retas se encontram.
Na verdade, o quinto postulado est dizendo que, se as retas r
e t so paralelas ento + igual a dois ngulos retos. Observe que o quinto
postulado uma afirmao inversa da proposio I.28. O quinto postulado foi
objeto de crticas aos Elementos ainda no tempo de Euclides, at porque ele se
apresenta muito diferente dos demais inclusive pelo tamanho do seu enunciado.
Devido a estes fatos, desde o incio, muitas pessoas o consideraram como uma
proposio que Euclides no conseguiu provar. Dois mil anos se passaram ao
longo dos quais, inmeras tentativas foram feitas, tentando provar o quinto
postulado usando os quatro primeiros.
Uma das conseqncias da busca por uma prova, foi a
produo de um grande nmero de afirmaes a ele equivalentes, o que ns
chamamos de substitutos. Primeiro preciso entender o que significa afirmar
que uma proposio (P) equivalente ao quinto postulado. Significa que a
teoria desenvolvida usando os quatro primeiros postulados mais (P) coincide
com a geometria de Euclides. Isto , a geometria baseada nos axiomas e
postulados de Euclides. Para provar esta equivalncia devemos mostrar que,
(P) uma proposio da geometria Euclidiana. Depois devemos provar que, na

teoria desenvolvida usando os quatro primeiros mais (P), pode-se provar o
quinto postulado.
Na verdade, o que acontece hoje. A maioria dos livros de geometria
consideram no lugar do quinto postulado uma verso equivalente a ele. Em
seguida, apresentaremos algumas verses mais conhecidas do quinto postulado
que podem ser encontradas em [1] e [2].

Postulados equivalentes ao quinto postulado de Euclides.

Comearemos com o substituto mais conhecido, que
comumente chamado de axioma de Playfair em homenagem ao gemetra
Playfair, que o apresentou em um trabalho em 1795, ver [5] e [6].

Postulado V
1
(Axioma de Playfair) Por um ponto fora de uma
reta pode-se traar uma nica reta paralela reta dada.
Em seguida provaremos que V
1
de fato equivalente ao
quinto postulado.

Teorema : O postulado V
1
equivalente ao quinto postulado de Euclides.
Demonstrao: Precisamos provar que V
1
uma proposio da geometria
Euclidiana. Ou seja, provar que dada uma reta m e um ponto p fora de m, existe
uma nica reta t que passa por p e paralela a m.
Existncia: Traa se por p uma reta s qualquer formando um ngulo com a
reta m (ver figura 2).

m

Figura (2)
s

p t


Agora trae uma reta t passando por p tal que o ngulo entre t
e s seja tambm . Portanto, segue pela proposio I.27 que t e m so paralelas
pois os ngulos correspondentes so iguais.
Unicidade: Suponha por contradio que exista outra reta t
passando por p e tambm paralela a m (ver figura 3).

a da Olimpada n 1, 2000 105

m
n t
p t

Figura (3).

Traamos por p uma transversal n s trs retas. Como t e t so paralelas reta
m, segue pelo postulado V que t e t formam o mesmo ngulo com a reta n e
consequentemente o ngulo formado pelas retas t e t zero. Portanto so
coincidentes, provando assim a unicidade.
Vamos agora considerar os quatro primeiros postulados de
Euclides e mais (V
1
) e provar o quinto postulado.
Fazendo uso da figura (4) abaixo suponha que + menor
do que dois retos. Provaremos que m e t se encontram.
s
n
P t

Figura (4).
m
Revist

Suponha por contradio que as retas m e t so paralelas.
Traamos pelo ponto P uma reta n formando um ngulo com a reta s tal que
+ seja igual a dois ngulos retos. Segue pela Proposio I.28 que n e m
so paralelas. Neste caso, temos duas retas distintas passando pelo ponto P e
paralelas reta m. Isso contraria V
1
. Logo ,as retas r e s se encontram. Portanto,
podemos concluir que V
1
equivalente ao quinto postulado.
Apresentaremos agora mais seis verses equivalentes ao
quinto postulado. A justificativa de que realmente so equivalentes deixada
para o leitor e podem ser encontradas em [2] .
Postulado V
2
. A soma dos ngulos internos de um tringulo
sempre igual a dois ngulos retos.
Postulado V
3
. Existe um par de tringulos semelhantes e no
congruentes.
Postulado V
4
. Existe um par de retas eqidistantes.

Postulado V
5
Dados quaisquer trs pontos no colineares,
existe um crculo passando por estes trs pontos.
Postulado V
6
. Se trs dos ngulos de um quadriltero so
retos, ento o ltimo tambm reto.
Postulado V
7
. Por qualquer ponto dentro de um ngulo
menor do que dois teros de um ngulo reto, pode-se traar uma reta que corta
os dois lados do ngulo.
Estes substitutos do quinto postulado, alm da importncia,
servem para mostrar a no trivialidade do mesmo na Geometria Euclidiana.
Suas conseqncias incluem as proposies mais conhecidas e mais utilizadas
da Geometria. Sem ele ou um de seus equivalentes no teramos o teorema da
soma dos ngulos internos de um tringulo e toda a teoria dos tringulos
semelhantes e consequentemente a trigonometria deixaria de existir.
Ao longo dos sculos, desde a poca de Euclides, muitos
matemticos tentaram obter o quinto postulado como uma conseqncia dos
quatro primeiros. Algumas tentativas ficaram famosas entre elas as de Nasiradin
(1201 1274), John Wellis (1616 1703), Gerolamo Sacheri (1667 1733),
John H. Lambert (1728 1777), Adrien M. Legendre (1752 1833), Louis
Bertrand (1731 1812) e Carl F. Gauss (1777 1855) [3].
O erro mais comum dos matemticos que buscavam provar o
quinto postulado, era que no decorrer da prova eles usavam resultados que eram
equivalentes ao prprio quinto postulado. Esta questo altamente fascinante
pois ainda no sculo XIX, os matemticos estavam na busca de uma prova para
o quinto postulado. Nos anos crticos para a evoluo da geometria, a figura
dominante do mundo matemtico era Carl F. Gauss. Poucos dos resultados de
seus muitos anos de pesquisa sobre os problemas associados ao quinto
postulado foram publicados ou tornados pblicos durante sua vida. Algumas

notas descobertas entre seus trabalhos levam a crer que ele foi provavelmente o
primeiro a entender claramente a possibilidade de existir uma nova geometria,
logicamente precisa e diferente da geometria Euclidiana. Resumindo, somente
nesta poca que ficou claro que era impossvel provar o quinto postulado a
partir dos quatro primeiros postulados de Euclides, pois se juntarmos a negao
do mesmo com os quatro primeiros surge uma geometria to consistente
quanto a de Euclides. o que hoje ns chamamos de geometria no-
Euclidiana. Entretanto, os esforos feitos para provar o quinto postulado no
foram em vo; serviram para obter um conhecimento profundo da geometria
Euclidiana. Na verdade, quando Euclides escreveu os Elementos ele usou
hipteses que no foram mencionadas na lista inicial dos dez axiomas. Mas
devido a grandeza de seu trabalho, estas falhas no ofuscaram o brilho de sua
obra. Um tratamento moderno e logicamente perfeito para a geometria
Euclidiana, corrigindo as imperfeies dos Elementos, foi feito por D. Hilbert
em 1899 (ver [7]).
Para finalizar , apresentaremos um modelo de uma geometria
no Euclidiana, ou seja, um modelo onde o quinto postulado de Euclides no
vlido. O modelo que ser apresentado conhecido como modelo de Klein.

Modelo de Klein
Considere uma circunferncia C no plano Euclidiano de
centro O e raio R . O modelo de Klein formado por todos os pontos
interiores a C , ou seja , por todos os pontos X tais que OX < OR. As retas
deste modelo so todos os segmentos ligando dois pontos da circunferncia
C, sem as extremidades . Ver figura (5).

n
m

p
s
C
R
x
O

Figura (5)
Neste modelo o quinto postulado de Euclides no vlido pois, basta olhar para
a figura (5) e ver que podemos traar infinitas retas passando por P e
paralelas reta s, lembrando que retas paralelas, conforme definimos
anteriormente, so retas que no tem nenhum ponto em comum.

A demonstrao de que o modelo de Klein satisfaz axiomas equivalentes aos
quatro primeiros postulados de Euclides no ser feita aqui e pode ser
encontrada em [5].

Referncias
[ 1 ] Barbosa, Joo L. M. Geometria Euclidiana Plana, SBM, Rio de Janeiro,
1985.
[ 2 ] Barbosa, Joo L. M. Geometria hiperblica, IX Escola de Geometria
Diferencial, Vitria ES, 1994.
[ 3 ] Boyer, C., Histria da Matemtica, Ed. Edgar Blucher, So Paulo SP,
1976.
[4 ] Euclid, The Elements, Dover Publications, N. Y., 1956.
[5 ] Greenberg, M. J., Euclidean and non-euclidean geometries - development
and history, W. H. Freeman and Co. , S. Francisco, 1973.
[ 6] Hartshorne, R., Companion to Euclid, Lecture Notes vol. 9, Berkeley
Mathematics (MAS), 1997.
[7 ] Hilbert, D., The foundations of Geometry, traduzido por E.J. Townsend,
The Open Court Publishing Co, Chicago1902.

Romildo da Silva Pina
Goinia, GO, Brasil
romildo@mat.ufg.br


Revista Da Olimpíada de Goiais 1

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Revista Da Olimpíada de Goiais 1

Hochgeladen von

Copyright:

Verfügbare Formate

Olimpada de Matemtica do Estado de Gois

Justifique sua resposta

Justifique sua resposta

Revista da Olimpada n 1, 2000 87

Revista da Olimpada n 1, 2000 91

Com essas definies em mos podemos passar a definir igualdade de duas

Das könnte Ihnen auch gefallen