Elementos de Euclides Livros VII e IX

Trabalho elaborado no mbito da cadeira de Fundamentos Histricos da Matemtica Inserida no Mestrado em Matemtica

Helena Arajo Marco Garapa Rafael Lus

Funchal, Fevereiro 2005

Introduo
Os Elementos de Euclides formam um dos mais bonitos e inuentes trabalhos da cincia na histria da Humanidade. A sua beleza acenta no desenvolvimento lgico da geometria e de outros ramos da Matemtica. Os Elementos so, a seguir Bblia, um dos livros mais reproduzidos e estudados na histria do mundo ocidental. Foi praticamente o nico livro de texto usado no ensino da Matemtica durante mais de dois milnios. Os Elementos so uma compilao de resultados de autoria diversa, alguns j conhecidos desde h muito tempo. Por este facto, no devemos considerar que Euclides foi o descobridor da totalidade, nem sequer da maioria dos teoremas ou das teorias que apresenta nos seus livros. Os treze volumes que constituem a sua obra, foram ao longo dos tempos estudados por muitos. Na antiga Grcia, esta obra foi comentada por Hero (10-75), Proclo (410-485) e Simplcio (490-560). Na Idade Mdia, foi traduzido em latim e rabe, e aps a descoberta da imprensa, zeram-se numerosas edies na maioria das lnguas europeias. A primeira foi de Campano (1220-1296), em latim, publicada aps a sua morte (1482) e que foi muitas vezes citada por Pedro Nunes (1502-1578). Em Portugal, Angelo Brunelli em 1768, publicou uma traduo em portugus dos seis primeiros livros, do dcimo primeiro e do dcimo segundo. Vrios temas so abordados ao longo dos treze volumes. Os livros I-IV tratam de geometria plana elementar. Partindo das mais elementares propriedades de rectas e ngulos que conduzem congruncia de tringulos, igualdade de reas, ao teorema de Pitgoras (proposio 47, Livro I ) e ao seu recproco (proposio 48, Livro I ), construo de um quadrado de rea igual de um rectngulo dado, seco de ouro, ao crculo e aos polgonos regulares. Como a maioria dos treze livros, o livro I comea com uma lista de denies, sem qualquer comentrio como, por exemplo, as de ponto, recta, crculo, tringulo, ngulo, paralelismo e perpendicularidade de rectas tais como: "um ponto o que no tem parte", "uma recta um comprimento sem largura" "uma superfcie o que tem apenas comprimento e largura". A seguir s denies, aparecem os postulados e os axiomas por esta ordem: 1. Dados dois pontos, h um segmento de recta que os une; 2. Um segmento de recta pode ser prolongado indenidamente para construir uma recta; 2

3. Dados um ponto qualquer e uma distncia qualquer pode-se construir um crculo de centro naquele ponto e com raio igual distncia dada; 4. Todos os ngulos rectos so iguais; 5. Se uma linha recta cortar duas outras rectas de modo que a soma dos dois ngulos internos de um mesmo lado seja menor do que dois rectos, ento essas duas rectas, quando sucientemente prolongadas, cruzam-se do mesmo lado em que esto esses dois ngulos ( este o clebre 5o Postulado de Euclides). Axioma 1 Coisas que so iguais mesma coisa tambm so iguais entre si. Axioma 2 Se iguais forem somados a iguais, ento os todos so iguais. Axioma 3 Se iguais forem subtrados a iguais ento os restos so iguais. Axioma 4 Coisas que coincidem umas com outras so iguais entre si. Axioma 5 O todo maior que a parte. Assim, trs conceitos fundamentais - o de ponto, o de recta e o de crculo - os cinco postulados e axiomas, a eles referentes, servem de base para toda a geometria euclidiana. O livro V apresenta a teoria das propores de Eudoxo (408 - 355 a. C.) na sua forma puramente geomtrica. O livro VI, aplica a teoria das propores, semelhana de guras planas. Aqui voltamos ao teorema de Pitgoras e seco de ouro (proposies 31 e 30, Livro VI), mas agora como teoremas respeitantes a razes de grandezas. de particular interesse o teorema (proposio 27, Livro VI) que contm o primeiro problema de maximizao que chegou at ns, com a prova de que o quadrado , de todos os rectngulos de um dado permetro, o que tem rea mxima. Os livros VII-IX, so dedicados a conceitos sobre teoria dos nmeros tais como a divisibilidade de inteiros, a adio de sries geomtricas e algumas propriedades dos nmeros primos. Encontramos tambm, o "algoritmo de Euclides", para determinar o mximo divisor comum entre dois nmeros (proposio 2, Livro VII), o mais antigo registo, de uma prova formal, por recorrncia, (proposio 31, Livro VII), e ainda o "Teorema de Euclides", segundo o qual existe uma innidade de nmeros primos (proposio 20, Livro IX). O livro X, o mais extenso de todos e muitas vezes considerado o mais difcil, contm a classicao geomtrica de irracionais quadrticos e as suas razes quadrticas. Neste livro 3

surge a prova da irracionalidade de

2.

Os livros XI-XIII, so conhecidos pelo nome de livros estereomtricos, por neles serem consideradas guras da geometria tridimensional. O livro XI dedicado ao paralelismo e perpendicularidade de rectas e planos, e ao estudo de ngulos slidos e de prismas. No livro XII, Euclides estabelece razes entre reas de guras planas e entre volumes de slidos, por um mtodo que mais tarde passou a ser desigando por mtodo de exausto. Finalmente, o livro XIII, trata do estudo dos cinco poliedros regulares, actualmente conhecidos por slidos platnicos. Neste trabalho, faremos uma traduo comentada das denies e dos enunciados das proposies, dos livros VII e IX, de acordo com o descrito por D. E. Joyce., no site: http://aleph0.clarku.edu/~djoyce/java/elements/elements.html. Pretendemos compreender a forma de pensar utilizada pelos matemticos da poca e usando uma notao mais moderna tentaremos ultrapassar a fronteira do tempo e da liguagem, dando-lhe uma abordagem mais actual, contribuindo desta forma para facilitar a divulgao dos conhecimentos apresentados por Euclides.

Elementos de Euclides Livro VII

Denio 1 Uma unidade aquela que em virtude da qual, cada coisa que existe chamada um. Denio 2 Um nmero uma multitude composta por unidades. Guia: As 22 denies deste livro so as denies sobre teoria dos nmeros para os livros VII, VIII e IX. A denio 1, pretende denir a unidade como sendo o 1. Os nmeros referidos na denio 2 so considerados nmeros positivos maiores que 1, onde multitude representa uma "multido" de unidades. Euclides trata a unidade, 1, parte dos nmeros 2, 3, 4, ..., o que por vezes, torna as suas demonstraes um pouco estranhas.

Ao longo dos trs livros sobre teoria dos nmeros, Euclides apresenta os nmeros como linhas. No diagrama anterior, se A a unidade ento BE representa o nmero 3. Mas o facto de Euclides desenhar linhas para representar os nmeros, no signica que estes o sejam e Euclides nunca os chama linhas. No clara qual a suposta natureza destes nmeros, mas tal irrelevante, uma vez que, Euclides poderia representar/ilustrar a unidade por uma linha ou por outra coisa qualquer, em que os nmeros 2, 3, ... seriam representados como mltiplos dessa unidade. Denio 3 Um nmero uma parte de um nmero, o menor do maior, quando mede o maior. Denio 4 Mas partes quando no o mede. Denio 5 O maior um mltiplo do menor quando medido pelo menor. Guia: Actualmente em vez de dizermos que a mede b dizemos que a divide b e representamos por a | b.

Estas denies contituem uma preparao para a denio de nmeros proporionais (denio 20, livro VII). 5

Nestas denies so classicadas as relaes possveis entre um par de nmeros, m e n Mais tarde o termo razo ser utilizado para esta relao. Para ilustrar a denio 3, tome 2, que uma parte de 6, nomeadamente
1 3

de 6.

Se u a unidade ento 2 representado por AB, enquanto 6 representado por CF . Como AB mede CF trs vezes (CD, DE e EF ) ento 2 uma parte de 6, nomeadamente, uma tera parte, uma vez que mede 6, trs vezes. Podemos usar a mesma gura para ilustrar a denio 5. Vericamos que 6 um mltiplo de 2 (6=32). A denio 4 menos evidente. Por exemplo considere os nmeros 4 e 6. O 4 no mede o nmero 6, mas 4 partes de 6.

4 e 6 so representados por AC e DG respectivamente. evidente que AC no mede DG. Dizer que "4 partes de 6" no suciente, uma vez que, til saber quantas partes 4 de 6. Esta informao ser necessria para denir proporo do tipo 4 = 6 . Assim, 4 as 6 9 mesmas partes de 6 que 6 de 9, nomeadamente, dois teros. Onde Euclides diz que m parte de n, actualmente diz-se que, m divisor prprio de n, isto signica que, existe um certo k, diferente de 1, tal que n = k m.

Nota: Um divisor prprio de n qualquer divisor de n, excepto ele prprio. Exemplo: Os divisores prprios de 12 so 1, 2, 3, 4 e 6.

Denio 6 Um nmero par um nmero que divisvel em duas partes iguais. Denio 7 Um nmero mpar um nmero que no divisvel em duas partes iguais, ou, um nmero que difere uma unidade de um nmero par. Denio 8 Um nmero par vezes par, um nmero que medido por um nmero par de acordo com um nmero par. Denio 9 Um nmero par vezes mpar, um nmero que medido por um par de acordo com um nmero mpar. Denio 10 Um nmero mpar vezes mpar, o nmero que medido por um nmero mpar de acordo com um nmero mpar. 6

Guia:A denio 6 evidente, uma vez que n par se for da forma m + m. A denio 7 constituda por duas armaes. A primeira pode ser considerada como a denio de nmero mpar, um nmero que no divisvel em duas partes iguais, ou seja, o mesmo que dizer que no um nmero par. A outra armao no uma denio para nmero mpar, mas sim uma assero no provada. As denies 8, 9 e 10 so tambm evidentes. O produto entre dois nmeros pares igual a um nmero par vezes par. O produto entre um nmero par e um nmero mpar igual a um par vezes mpar. Note-se que 12 ao mesmo tempo um par vezes par e um par vezes mpar (26 ou 43). Oa nicos nmeros que so pares vezes pares mas no pares vezes mpares so as potncias de base 2: 4, 8 ,16, 32, ... . Denio 11 Um nmero primo aquele que medido apenas pela unidade. Denio 12 Nmeros primos entre si, so aqueles que tm apenas como medida comum a unidade.. Denio 13 Um nmero composto aquele que medido por algum nmero. Denio 14 Nmeros compostos entre si, so aqueles que so medidos por algum nmero como uma medida comum. Guia: Os nmeros primos so uma classe de nmeros muito importantes, e grande parte da teoria dos nmeros ocupa-se da sua anlise. O nico divisor prprio de um nmero primo o 1. Os primeiros nmeros primos so o 2, 3, 5, 7, 11. Os nmeros que no so primos so compostos, por exemplo 4, 6, 8, 9, 10. O nmero 1 mantm uma posio especial, era considerado por Euclides a unidade em vez de ser um nmero. Dois nmeros so primos entre si, se o 1 for o seu nico divisor comum. Por exemplo, 6 e 35 so primos entre si (embora nenhum deles seja primo). Se os nmeros no so primos entre si, so compostos entre si. Denio 15 dito que um nmero multiplica um nmero, quando aquele que multiplicado, somado a si prprio, tantas vezes quantas unidades houver no outro. Denio 16 E, quando dois nmeros multiplicados entre si, originam um nmero, o nmero assim obtido, chama-se plano e os seus lados so os nmeros que se multiplicam entre si. Denio 17 E, quando trs nmeros multiplicados entre si, originam um nmero, o nmero assim obtido, chama-se slido e os seus lados so os nmeros que se multiplicam entre si. 7

Denio 18 Um nmero quadrado um nmero multiplicado por si prprio ou nmero que obtido por dois nmeros iguais. Denio 19 Um nmero cbico um nmero multiplicado por si prprio e multiplicado novamente por si prprio ou um nmero que obtido por trs nmeros iguais. Guia: Note-se que Euclides no dene a adio nem a subtraco, mas dene a multiplicao e a proporo. A denio 15 dene a multiplicao como uma adio que considerada como um certo tipo de composio. Por exemplo, se 3 multiplicado por 6, e como 6 1+1+1+1+1+1, logo, 3 multiplicado por 6 3+3+3+3+3+3. A primeira proposio sobre a multiplicao a proposio 16 que diz que a multiplicao comutativa. Por exemplo, dir que 3 multiplicado por 6 igual a 6 multiplicado por 3 que 6+6+6. Na denio 16, Euclides dene um nmero plano, como sendo o produto de dois nmeros. Ora, como Euclides no considerava o 1 um nmero, ento os nmeros primos no so nmeros planos, uma vez que um nmero primo o produto de 1 por ele prprio. Os nmeros planos so os nmeros compostos. Cada nmero composto pode ser um nmero plano de pelo menos um modo. Por exemplo, 16 pode ser considerado um nmero plano, quer sendo 2 e 8 os seus lados ou 4 e 4, ou seja, como um nmero quadrado. Os nmeros planos podem ser representados por conguraes rectangulares de pontos. Alternativamente, estes nmeros rectangulares podem ser representados por quadrados.

ou

Talvez para os Pitagricos, as guras mais importantes fossem os nmeros triangulares: 3, 6, 10, 15, 21, etc. Cada um podia ser formado a partir do anterior somando uma nova linha com mais uma unidade de comprimento. Por exemplo 10=1+2+3+4. . . . . . . . . . . Por alguma razo, Euclides no mencio os nmeros triangulares. No faz referncia s somas de progresses aritmticas. No entanto, apresenta a soma da progresso geomtrica (proposio 35 do livro IX). 8

A denio 17 dene os nmeros slidos. Por exemplo, se 18 33 2, ento 18 um nmero slido com 3 lados, 3, 3 e 2. Os nmeros slidos podem ser representados como pontos ou cubos a trs dimenses. Os nmeros quadrados so descritos como sendo nmeros planos com uma certa simetria. Os nmeros cbicos so nmeros slidos tambm com uma certa simetria. Lguns nmeros, tais como 64, podem ser simultneamente nmeros quadrados (88) e nmeros cbicos (444). Denio 20 Nmeros so proporcionais quando o primeiro o mesmo mltiplo, ou a mesma parte, ou as mesmas partes, de um segundo nmero, que o terceiro do quarto. Guia: Quando 4 nmeros j, k, m e n forem proporcionais escrevemos simbolicamente j : k = m : n. No 1o caso, j o mesmo mltiplo de k, como m de n. Um exemplo disto a proporo 12:6=22:11, onde 12 o dobro de 6 e 22 o dobro de 11. O 2o caso o inverso do 1o , j a mesma parte de k, como m de n. Por exemplo, na proporo 6:12=11:22, onde 6 metade de 12 e 11 metade de 22. Para o 3o caso, se considerarmos por exemplo 12:16=21:28, uma vez que, 12 as mesmas partes de 16, nomeadamente 3 , que 21 de 28, 4 ento a proporo vericada. Denio 21 Nmeros planos e nmeros slidos semelhantes, so nmeros cujos lados so proporcionais. Guia: Os nmeros 18 e 8 so nmeros planos semelhantes quando 18 o nmero cujos lados so 6 e 3 e 8 o nmeros cujos lados so 4 e 2, ento os lados so proporcionais 6 = 4 . 3 2 No caso dos nmeros slidos semelhantes, consideremos por exemplo os nmeros 240 e 810, sendo 240 representado pelos lados 4, 6 e 10 e 810 pelos lados 6, 9 e 15. Vericamos que 4 6 = = 10 . 6 9 15 Denio 22 Um nmero perfeito aquele que igual soma das suas partes. Guia: O nmero 28 perfeito, uma vez que, as suas partes, ou seja, os seus divisores prprios so 1, 2, 4, 7 e 14 e a soma destes igual a 28. Os quatro primeiros nmeros perfeitos 6, 28, 496 e 8128 j eram conhecidos pelos matemticos gregos.

Elementos de Euclides Livro VII

Proposio 1 Dados dois nmeros diferentes, se o menor continuamente subtrado ao maior e se o nmero que sobra nunca mede o anterior, at sobrar uma unidade, ento os nmeros originais so primos entre si.

Guia: Nesta proposio, Euclides usa um algoritmo (actualmente conhecido como algoritmo de Euclides) para vericar se dois nmeros diferentes so primos entre si. Proposio 2 Encontar a maior medida comum entre dois nmeros que no sejam primos entre si.

Corolrio Se um nmero mede dois nmeros, ento tambm mede a maior medida comum entre eles. Guia: Nesta proposio, Euclides utiliza novamente o seu algoritmo, desta vez para encontrar o mximo divisor comum entre dois nmeros que no so primos entre si. Em notao moderna, para representar mximo divisor comum entre os nmeros a e b, usamos mdc (a, b) . 10

Proposio 3 Encontrar a maior medida comum de trs nmeros que no sejam primos entre.

Guia: Nesta proposio, Euclides descreve o processo para determinar o mdc (a, b, c), onde a, b e c no so primos entre si. Este consiste em encontrar em primeiro lugar o mdc (a, b) e seguidamente o mdc (mdc (a, b) , c). Proposio 4 Qualquer nmero, ou parte ou partes de qualquer nmero, o menor do maior.

Guia: Esta proposio refere que se b menor que a, ento b ou uma parte de a, ou seja, b uma fraco unitria de a, ou b partes de a. Por exemplo, 2 uma parte de 6, nomeadamente uma tera parte. Por outro lado, 4 partes de 6, nomeadamente dois teros de 6 ("duas teras partes"). 1 N. Nota: Uma fraco unitria do tipo , n I n Proposio 5 Se um nmero uma parte de um nmero, e outro nmero a mesma parte de outro, ento a soma tambm a mesma parte da soma de um com o outro.

11

Guia: Esta a primeira de quatro proposies que utiliza a distributiva da diviso e multiplicao em relao adio e subtraco. Podemos traduzir esta proposio algebricamente da seguinte forma: b e (b + e) b e (b + e) se a = e d = , ento a + d = , ou seja, + = (propriedade distributiva n n n n n n da diviso em relao adio). Proposio 6 Se um nmero partes de um nmero, e outro nmero as mesmas partes de outro, ento a soma tambm as mesmas partes da soma de um com o outro.

Guia: Esta proposio diz-nos que a multiplicao por fraces distributiva em relao m m m m m adio. Algebricamente, se a = b e d = e ento a + d = (b + e) , ou seja, b + e = n n n n n m (b + e) . n Proposio 7 Se um nmero a mesma parte de um nmero que um nmero subtrado de um nmero subtrado, ento o resto tambm a mesma parte do resto que o total do total.

Guia: Esta proposio idntica proposio 5, sendo neste caso para a subtraco em b e (b e) b e (b e) vez da adio, ou seja, se a = e d = , ento a d = , ou seja, = n n n n n n (propriedade distributiva da diviso em relao subtraco).

12

Proposio 8 Se um nmero as mesmas partes de um nmero que um nmero subtrado de um nmero subtrado, ento o resto tambm as mesmas partes do resto que o total do total.

Guia: Esta proposio , em traos gerais, semelhante proposio 6. Neste caso, diz-nos que a multiplicao por fraces distributiva em relao subtraco. Algebricamente, se m m m m m m a = b e d = e ento a d = (b e) , ou seja, b e = (b e) . n n n n n n Proposio 9 Se um nmero parte de um nmero, e outro nmero a mesma parte de outro, ento alternadamente, qualquer parte ou partes que o primeiro do terceiro, a mesma parte, ou as mesmas partes, o segundo do quarto.

b e m Guia: Nesta proposio, Euclides mostra que, se a = e d = , e se a = d, ento n n n m b = e. n Proposio 10 Se um nmero partes de um nmero, e outro as mesmas partes de outro, ento alternadamente, qualquer que sejam a parte ou partes que o primeiro do terceiro, o segundo a mesma parte ou as mesmas partes do quarto.

13

Guia: Esta proposio diz-nos que, se a =

m m p p b e d = e, e se a = d ento b = e. n n q q

Proposio 11 Se um todo est para um todo como um nmero subtrado est para um nmero subtrado, ento o resto est para o resto como o todo est para o todo.

Guia: Esta proposio pode ser escrita algebricamente do seguinte modo: se ae a = . cf c

a e = , ento c f

Proposio 12 Se qualquer nmero de nmeros so proporcionais, ento um dos antecedentes est para um dos consequentes, como a soma dos antecedentes est para a soma dos consequentes.

x1 x2 xn x1 + x2 + ... + xn x1 x2 Guia: Algebricamente, se = = ... = , ento = = = ... = y1 y2 yn y1 + y2 + ... + yn y1 y2 xn . yn Proposio 13 Se quatro nmeros so proporcionais ento so tambm proporcionais alternadamente.

14

Guia: Esta proposio mostra que, se

c a b a = , ento = . b d c d

Proposio 14 Se existe um qualquer nmero de nmeros, e outros iguais a eles em quantidade, de modo que tomando dois a dois tm a mesma razo ento tambm por igualdade tero a mesma razo.

Guia: Algebricamente, se

x1 y1 x2 y2 xn1 yn1 x1 y1 = , = , ..., = , ento = . x2 y2 x3 y3 xn yn xn yn

Proposio 15 Se a unidade mede qualquer nmero, e outro nmero mede qualquer outro nmero o mesmo nmero de vezes, ento alternadamente, a unidade mede o terceiro o mesmo nmero de vezes que o segundo mede o quarto.

Guia: Esta proposio refere-se de forma pouco clara propriedade comutativa da multiplicao, diz-nos que se e = bd e se a unidade mede b o mesmo nmero de vezes que d mede e, ento e = db, ou seja, bd = db. De outro modo, se u mede b, b vezes, e d mede bd = e, b vezes ( db = e), ento u mede d, d vezes e b mede e, d vezes (bd = e). Proposio 16 Se dois nmeros multiplicados um pelo outro, originam certos nmeros, ento os nmeros assim formados so iguais.

15

Guia: Esta proposio refere-se propriedade comutativa da multiplicao, mas de uma forma mais clara que a proposio anterior. Proposio 17 Se um nmero multiplicado por dois nmeros origina certos nmeros, ento os nmeros assim originados tm a mesma razo que os nmeros multiplicados.

Guia: Algebricamente, se ab = d e ac = e, ento

b ab b d = , isto , = e c ac c

Proposio 18 Se dois nmeros multiplicados por qualquer nmero, originam certos nmeros, ento os nmeros assim originados tm a mesma razo que os multiplicados.

Guia: Algebricamente, se ba = d e ca = e, ento

b ba b d = , isto , = e c ca c

Proposio 19 Se quatro nmeros so proporcionais, ento o nmero originado pelo primeiro e o quarto igual ao nmero originado pelo segundo e o terceiro; e, se o nmero originado pelo primeiro e o quarto igual ao nmero originado pelo segundo e o terceiro, ento os quatro nmeros so proporcionais.

16

Guia: Algebricamente,

a c = se e s se ad = bc. b d

Proposio 20 Os menores nmeros entre aqueles que tm a mesma razo que eles, medem aqueles que tm a mesma razo o mesmo nmero de vezes, o maior o maior e o menor o menor.

c Guia: Esta proposio arma que, dada uma razo a , se d a mesma razo e menor b entre todas as que tm a mesma razo, ento c divide a e d divide b, alm disso, c divide a 91 7 7 o mesmo nmeros de vezes que d divide b. Por exemplo, a razo 132 = 11 , onde 11 a menor 91 razo entre todas as que tm a mesma razo, que o mesmo que dizer, que 132 reduz-se a 7 que uma fraco irredutvel. Temos ento que, 7 divide 91 o mesmo nmero de vezes 11 que 11 divide 132, nomeadamente, 13 vezes.

Proposio 21 Nmeros primos entre si so os menores entre aqueles que tm a mesma razo que eles.

17

Proposio 22 Os nmeros menores entre aqueles que tm a mesma razo que eles so nmeros primos entre si.

a Guia: As proposies 21 e 22 armam em conjunto o seguinte: irredutvel se e s se a b e b so primos entre si. Proposio 23 Se dois nmeros so primos entre si, ento qualquer nmero que mede um deles e o nmero que resta so primos entre si.

Guia: Esta proposio arma que, se a e b so primos entre si, ento para qualquer n que mede a (ou b), temos que, n e b (ou a) so primos entre si. Proposio 24 Se dois nmeros e um outro nmero so primos entre si, ento o produto dos dois primeiros nmeros e o outro so primos entre si.

Guia: Sejam a, b e c tal que a e c so primos entre si, e, b e c tambm so primos entre si. Ento, esta proposio diz-nos que, ab e c so primos entre si. 18

Proposio 25 Se dois nmeros so primos entre si, ento o produto de um deles consigo prprio e o nmero que resta, so primos entre si.

Guia: Esta proposio um caso particular da proposio anterior. Sejam a e b primos entre si, ento a2 e b (ou b2 e a) so primos entre si. Proposio 26 Se dois nmeros e outros dois nmeros so primos entre si, o primeiro e o segundo com cada um dos outros dois, ento os seus produtos so tambm nmeros primos entre si.

Guia: Sejam a, b, c e d, tal que, a e c, a e d, b e c, b e d so primos entre si, ento ab e cd so primos entre si. Proposio 27 Se dois nmeros so primos entre si, e cada um multiplicado por si prprio originam um certo nmero, ento os produtos so primos entre si; e, se os nmeros originais multiplicados pelos produtos originam certos nmeros, ento os ltimos so tambm primos entre si.

19

Guia: Sejam a e b primos entre si, ento a2 e b2 so primos entre si; e, a3 e b3 so tambm primos entre si. Proposio 28 Se dois nmeros so primos entre si, ento a sua soma e cada um deles tambm so primos entre si; e, se a soma de dois nmeros e qualquer um deles so primos entre si, ento os nmeros originais so tambm primos entre si.

Guia: Se a e b so primos entre si, se e s se a + b e a, a + b e b so primos entre si. Proposio 29 Qualquer nmero primo e outro qualquer que no seja medido pelo primeiro so nmeros primos entre si.

Guia: Se um nmero primo no divide um outro nmero, ento eles so primos entre si. Por exemplo, 11 no divide 15, logo 11 e 15 so primos entre si. Proposio 30 Se dois nmeros, multiplicados entre si originam algum nmero, e qualquer nmero primo mede o produto, ento tambm mede um dos nmeros iniciais.

Guia: Seja d um primo, se d divide ab, ento d divide a ou b.

20

Proposio 31 Qualquer nmero composto medido por algum nmero primo.

Proposio 32 Qualquer nmero, ou primo ou medido por algum nmero primo.

Proposio 33 Dados tantos nmeros quantos quisermos, encontrar os menores entre aqueles que tm a mesma razo que eles.

Guia: Dados n1 , n2 , ..., nk , tal que n1 : n2 : ... : nk ,esta proposio d-nos um mtodo para encontrar os menores nmeros m1 , m2 , ..., mk , tal que n1 : n2 : ... : nk = m1 : m2 : ... : mk . Proposio 34 Encontrar o menor nmero que dois nmeros dados medem.

Guia: Esta proposio apresenta um mtodo para determinar o mnimo mltiplo comum entre dois nmeros a e b, que o mesmo que encontrar o menor nmero que ambos dividem. Na notao actual, representamos o mnimo mltiplo comum entre a e b, por mmc (a, b) . 21

Proposio 35 Se dois nmeros medem qualquer outro nmero, ento o menor nmero medido por eles tambm mede o mesmo nmero.

Guia:Esta proposio diz-nos que dados a, b e c, tal que, a divide c e b divide c e se m o menor nmero que a e b dividem, ento m divide c. Por exemplo: 2 | 20 e 5 | 20 e como 2 | 10 e 5 | 10 ento 10 | 20 De outro, o mnimo mltiplo comum de dois nmeros divide qualquer outro multiplo comum.

Proposio 36 Encontrar o menor nmero que trs nmeros dados medem.

Guia: Esta proposio diz-nos que, para encontrar o mmc (a, b, c) o mesmo que encontrar o valor de mmc (mmc (a, b) , c) .

22

Proposio 37 Se um nmero medido por qualquer nmero, ento o nmero que medido tem uma parte com o mesmo nome que o nmero que o mede.

Guia: Esta proposio diz-nos que, se n divide a, ento a tem uma n esima parte, a nomeadamente, . Por exemplo, 3 divide 12, ento 12 tem uma tera parte. n Proposio 38 Se um nmero tem uma parte qualquer, ento ele medido por um nmero com o mesmo nome que a parte.

Guia: Esta proposio a recproca da anterior e arma que se a tem uma n esima parte, ento n divide a. Por exemplo, 12 tem uma tera parte, ento 3 divide 12. Proposio 39 Encontrar o nmero que seja o menor que tenha umas partes dadas.

Guia: Vamos ilustrar esta proposio com um exemplo. Suponhamos que queremos encontrar o menor nmero que tenha umas partes dadas, por exemplo, uma quarta parte e uma sexta parte. Ento tomemos o mmc (4, 6) = 12. 12 tem uma quarta parte (3) e uma sexta parte (2).

23

Elementos de Euclides Livro IX

Proposio 1 Se dois nmeros planos semelhantes, multiplicados entre si, do origem a um nmero, ento o produto quadrado.

Guia: Para ilustrar esta proposio consideremos o exemplo seguinte. Sejam dois nmeros planos semelhantes a = 18 = 63 e b = 8 = 42. De acordo com a proposio 18, livro VIII existe uma mdia proporcional entre eles, nomeadamente 12 (18/12 = 12/8). O quadrado da mdia proporcional o produto de a com b, a b = 144. Proposio 2 Se dois nmeros multiplicados um pelo outro originam um nmero quadrado, ento eles so nmeros planos semelhantes.

Guia: Esta proposio a recproca da anterior. Vejamos um exemplo que ilustra esta proposio. Vamos considerar um nmero quadrado qualquer, tal como 202 = 400. Podemos factoriz-lo como um produto de dois nmeros a e b de vrias maneiras. Uma factorizao possvel : ab = 508. Estes dois nmeros tm uma mdia proporcional entre eles, nomeadamente, 20 (50/20 = 20/8), ento pela proposio 20, 4 10 livro VIII, eles so nmeros planos semelhantes (8 = 4 2 e 50 = 10 5 e = ). 2 5 24

Proposio 3 Se um nmero cbico multiplicado por ele prprio origina algum nmero, ento o produto um nmero cbico.

Guia: Na lgebra moderna esta proposio pode ser traduzida por: (c3 )2 = (c2 )3 . Proposio 4 Se um nmero cbico multiplicado por um nmero cbico origina algum nmero, ento o produto um nmero cbico.

Guia: Se a e b so nmeros cbicos, ento ab tambm um nmero cbico (se a = p3 e b = q 3 , ento ab = p3 q 3 = (pq)3 ). Proposio 5 Se um nmero cbico multiplicado por algum nmero origina um nmero cbico, ento o nmero multiplicado tambm cbico.

25

Guia: Se a3 b um nmero cbico, ento b tambm um nmero cbico. Proposio 6 Se um nmero multiplicado por ele prprio d origem a um nmero cbico, ento ele tambm um nmero cbico.

Guia: Se m2 um nmero cbico, ento m tambm um nmero cbico (seja m2 um nmero cbico, ento existe um natural p tal que 2 = p3 , como m3 = m2 m, logo, m 3 3 3 m m m pelo que, m um nmero cbico). m = 2 , e consequentemente, m = 3 m = m p p Proposio 7 Se um nmero composto multiplicado por um nmero d origem a algum nmero, ento o produto um nmero slido.

Guia: Se m = pq e s = mr, ento s um nmero slido (s = pqr).

26

Proposio 8 Se tantos nmeros quantos se queira a partir da unidade esto numa proporo continuada, o terceiro a partir da unidade ser quadrado, da mesma forma que todos aqueles que sucessivamente deixem de fora um, e o quarto ser cbico, da mesma forma que todos os que deixem de fora 2, e o stimo ser ao mesmo tempo cubo e quadrado, da mesma forma que todos os que deixem de fora cinco.

Guia: Numa proporo continuada: 1, a, a2 , a3 , a4 , a5 , a6 , a7 , etc... a2 um nmero quadrado, bem como cada segundo a partir dele: a4 , a6 , a8 , etc... a3 um nmero cbico, bem como cada terceiro a partir dele: a6 , a9 , a12 , etc... a6 um nmero cbico e quadrado simultaneamente, bem como cada sexto a partir dele: a12 , a18 , a24 , etc... Proposio 9 Se tantos nmeros quantos se queira a partir da unidade esto numa proporo continuada, e o nmero a seguir unidade quadrado, ento todos os restantes tambm so quadrados; e, se o nmero seguinte unidade for cbico, todos os restantes tambm sero cbicos.

Guia: Se um nmero quadrado, ento as suas potncias tambm so quadrados: 2 3 2 a2 , a2 , a2 = a3 , .... 27

Proposio 10 Se tantos nmeros quantos se queira partir da unidade, esto numa proporo continuada, e o nmero a seguir unidade no quadrado, ento nenhum outro ser quadrado excepto o terceiro a partir da unidade e todos aqueles que deixem de fora um. E se o seguinte unidade no cbico, ento nenhum outro ser cbico excepto o quarto a partir da unidade e todos os que deixem de fora dois.

O mesmo acontecendo com os nmeros cbicos: 2 3 3 a3 , a3 = a2 , a3 , ....

Guia: Numa proporo continuada: 1, a, a2 , a3 , a4 , a5 , a6 , a7 , etc..., se a no um nmero quadrado, s sero quadrados: a2 , a4 , a6 , etc..., e se a no um nmero cbico, s sero cbicos: a3 , a6 , a9 , etc... Proposio 11 Se tantos nmeros quantos se queira partir da unidade, esto numa proporo continuada, ento o menor mede o maior segundo um dos nmeros que se encontram entre os nmeros proporcionais.

Corolrio Qualquer que seja o lugar que o nmero que mede tem, contado a partir da unidade, ter o mesmo lugar o nmero atravs do qual foi medido, contado a partir do nmero medido, na direco do nmero anterior. Guia: Esta proposio, conjuntamente com o corolrio arma que ak divide an , ank vezes. 28

Proposio 12 Se tantos nmeros quantos se queira a partir da unidade esto em proporo continuada, ento por quantos nmeros primos seja medido o ltimo, pelos mesmos ser medido tambm o seguinte unidade.

Guia: Se um nmero primo divide ak , ento tambm divide a. Proposio 13 Se tantos nmeros quantos se queira partir da unidade esto em proporo continuada, e o seguinte unidade um nmero primo, o maior no ser medido por nenhum outro fora daqueles que se encontram entre os nmeros proporcionais.

Guia: Os nicos nmeros que medem uma potncia de um primo so as potncias desse primo mais pequenas Proposio 14 Se um nmero o menor que medido por nmeros primos, ento ele no medido por nenhum outro primo excepto aqueles que o mediam desde o princpio.

29

Guia: Esta proposio uma verso parcial do Teorema Fundamental da Aritmtica, e arma que nenhum nmero primo pode divididir o produto de outros nmeros primos, ou seja, o mnimo mltiplo comum de um conjunto de nmeros primos no divisvel por qualquer outro primo, alm dos considerados. Proposio 15 Se trs nmeros que esto em proporo continuada so os menores que tm a mesma razo entre eles, ento a soma de quaisquer dois e o nmero remanescente so primos entre si.

Guia: Sejam a, b, c os primeiros termos de uma proporo continuada, com a mesma razo entre eles, ento (b + c) , (c + a) , (a + b) , so primos com a, b e c respectivamente. Proposio 16 Se dois nmeros so primos entre si, ento o segundo no est para nenhum outro nmero como o primeiro est para o segundo.

Guia: Se a e b so primos entre si, ento no existe um natural c, tal que,

a b = . b c

a De facto, se a e b so primos entre si, temos que uma fraco irredutvel. Suponhamos b a b bb que existe um natural c, tal que, = , ento c da forma , mas esta fraco no b c a um nmero natural pois a no divide b (a e b so primos entre si), o que contraria o facto a b de c ser natural. Assim, no existe um natural c, tal que, = . b c

30

Proposio 17 Se tantos nmeros quantos se queira esto em proporo continuada, e os seus extremos so nmeros primos entre si, ento o ltimo no est para nenhum outro nmero como o primeiro est para o segundo.

Guia: Sejam a, b, ..., d, os termos de uma proporo continuada e d e a primos entre si, d k ento no existe nenhum nmero k, tal que, = b a Proposio 18 Dados dois nmeros, investigar quando que possvel encontrar um terceiro nmero proporcional a eles.

Guia: Notemos que o terceiro nmero proporcional c com a e b ter de satisfazer

b2 Logo c ter de ser , portanto, o terceiro nmero proporcional existe se a divide b2 . Euclides a chegou a esta concluso nesta proposio.

b a = . b c

31

Proposio 19 Dados trs nmeros, investigar quando que possvel encontrar um quarto proporcional a eles.

c a Guia: Notemos que o quarto proporcional d com a, b e c ter de satisfazer = . Logo b d bc d ter de ser , portanto o quarto nmero proporcional existe se a divide bc. Esta a a concluso a que Euclides chega, nesta proposio. Proposio 20 Existem mais nmeros primos que qualquer quantidade dada de nmeros primos.

Guia: Dada qualquer quantidade de nmeros primos, sempre possvel indicar uma quantidade ainda maior de nmeros primos. Nesta proposio Euclides prova o carcter potencialmente innito dos nmeros primos. Proposio 21 Se tantos nmeros pares quantos se queira forem adicionados a soma um nmero par.

Guia: A soma de quaisquer nmeros pares par. 32

Proposio 22 Se tantos nmeros mpares quantos se queira forem adicionados e a quantidade de nmeros mpares for par, a soma ser tambm par.

Guia: A soma de um nmero par de nmeros mpares par. Proposio 23 Se tantos nmeros mpares quantos se queira forem adicionados e a quantidade de nmeros mpares for mpar, a soma ser tambm mpar.

Guia: A soma de um nmero mpar de nmeros mpares mpar. Proposio 24 Se a um nmero par for subtrado um nmero par, o nmero resultante ser par.

Guia: Esta proposio facilmente vericada pois, 2n 2p = 2(n p). Note-se que, para Euclides p sempre menor que n. Proposio 25 Se a um nmero par for subtrado um nmero mpar, o nmero resultante ser mpar.

Guia: Esta proposio facilmente vericada pois: 2n (2p 1) = 2(n p) + 1 33

Proposio 26 Se a um nmero mpar for subtrado um nmero mpar, o nmero resultante ser par.

Guia: Esta proposio facilmente vericada pois, (2n 1) (2p 1) = 2(n p) Proposio 27 Se a um nmero par for subtrado um nmero mpar, o nmero resultante ser mpar.

Guia: Esta proposio facilmente vericada pois, 2n (2p 1) = 2(n p) + 1 Proposio 28 Se um nmero mpar for multiplicado por um nmero par, o produto ser par.

Guia: Esta proposio facilmente vericada pois, (2n 1) 2p = 2 ((2n 1) p) Proposio 29 Se um nmero mpar for multiplicado por um nmero mpar, o produto ser mpar.

34

Guia: Esta proposio facilmente vericada pois, (2n 1) (2p 1) = 22 np 2n 2p + 1 = 2(2np n p) + 1 Proposio 30 Se um nmero mpar mede um nmero par, tambm medir a sua metade.

Guia: Se um nmero mpar divide um nmero par, ento divide a sua metade. Exemplo: se 5 | 30, logo 5 | 15. Proposio 31 Se um nmero mpar e outro nmero qualquer so primos entre si, ento o nmero mpar e o dobro do outro nmero so tambm primos entre si.

Guia: Vejamos um exemplo: 5 e 6 so primos entre si, e temos que 5 e 12 tambm so primos entre si.

35

Proposio 32 Cada um dos nmeros que so continuamente duplicados a partir da dada so apenas um par vezes par.

Guia: As potncias de 2 s se podem escrever como um produto de pares, ou seja, no se podem escrever potncias de 2, como um produto de um nmero par com um nmero mpar. Proposio 33 Se um nmero tem a sua metade mpar, ento ele apenas um par vezes mpar.

Guia: Se um nmero tem a sua metade mpar, ento no pode ser escrito como um produto de pares nem de mpares. Proposio 34 Se um nmero (par) no obtido duplicando sucessivamente a dada, nem tem a sua metade mpar, ento ele simultaneamente, um par vezes par e um par vezes mpar.

Guia: Se um nmero no potncia de 2, nem tem a sua metade mpar, ento ele pode ser escrito como o produto de nmeros pares e como o produto de um nmero mpar com um par. Vejamos um exemplo: 20 no uma potncia de 2 nem tem a sua metade mpar. 20 = 102 e 20 = 5 4, logo 20 pode ser escrito como o produto de nmeros pares e como o produto de um nmero mpar com um par. 36

Proposio 35 Se tantos nmeros quantos se queira estiverem em proporo continuada, e se se subtrai ao segundo e ao ltimo o primeiro, ento o excesso do segundo est para o primeiro como o excesso do ltimo est para a soma de todos antes dele.

Guia: Na notao moderna, esta proposio pode ser reescrita da seguinte forma: a + ar + rn 1 ar2 + ... + arn1 = a , ou seja, a proposio mostra como determinar a soma dos r1 termos de uma progresso geomtrica. Proposio 36 Se tantos nmeros quantos se queira comeando a partir da unidade forem dispostos continuamente numa proporo duplicada at que a soma de todos resulte num nmero primo, e se a soma multiplicada pelo ltimo origina algum nmero, ento o produto ser um nmero perfeito.

Guia: Se 2p 1 (= 1 + 2 + 22 + ... + 2p1 ) um nmero primo, ento (2p 1)2p1 um nmero perfeito.

37

Concluso
Neste trabalho, zemos uma traduo comentada das denies e dos enunciados das proposies, dos livros VII e IX. Ao longo deste trabalho, estudmos denies e propriedades conhecidas h mais de dois milnios e cmos com uma ideia da forma como os antigos gregos trabalhavam em Matemtica. Vimos tambm, que as proposies apresentadas e demonstradas por Euclides tm sempre uma base geomtrica e que Euclides apresenta denies precisas, teoremas bem estruturados e demonstraes rigorosas, por vezes simples, de conceitos que partida, nem sempre so evidentes. Estes conceitos constituem a base da teoria dos nmeros. Do conjunto de todas as denies e proposies que apresentmos, destacamos as seguintes: Denio 11, Livro VII - Denio de nmero primo; Proposio 2, Livro VII - Euclides aplica um algoritmo, para encontrar o mximo divisor comum de entre dois nmeros que no sejam primos entre si. Mais tarde, este algoritmo cou conhecido como sendo o algoritmo de Euclides; Proposio 16, Livro VII - Propriedade comutativa da multiplicao; Proposio 30, Livro VII - Se um primo divide um produto de dois nmeros, ento divide um dos factores; Proposio 31, Livro VII - A prova desta proposio feita por recorrncia, sendo este o mais antigo registo conhecido de uma prova formal, deste tipo; Proposio 34, Livro VII - Euclides apresenta, uma forma de determinar o mnimo mltiplo comum entre dois nmeros; Proposio 14, Livro IX - Verso parcial do Teorema Fundamental da Aritmtica, esta proposio, arma que nenhum nmero primo divide o produto de outros nmeros primos; Proposio 20, Livro IX - Euclides prova o carcter potencialmente innito dos nmeros primos; Proposio 35, Livro IX - Apresenta uma forma de determinar a soma dos termos de uma progresso geomtrica; Proposio 36, Livro IX - Acerca dos nmeros perfeitos.

38

A forma como algumas proposies esto enunciadas, no de fcil interpretao, pelo que escrev-las em notao actual, constituiu um verdadeiro desao aliciante e motivador, ao qual nos propusemos, e que nos permitiu enriquecer o nosso conhecimento acerca dos nmeros e suas propriedades. Esperamos que este trabalho sirva de apoio para a compreenso dos livros VII e IX, despertando o interesse de possveis leitores dos Elementos.

39