Algoritmo de Euclides

Algoritmo de Euclides
Em matemtica, o algoritmo de Euclides[a] um mtodo simples e eficiente de encontrar o mximo divisor comum entre dois nmeros inteiros diferentes de zero. um dos algoritmos mais antigos, conhecido desde que surgiu nos LivrosVII e X da obra Elementos de Euclides[1] por volta de 300 a.C.. O algoritmo no exige qualquer fatorao. O MDC de dois nmeros inteiros o maior nmero inteiro que divide ambos sem deixar resto. O algoritmo de Euclides baseado no princpio de que o MDC no muda se o menor nmero for subtrado ao maior. Por exemplo, 21 o MDC de 252 e 105 (252=2112; 105=215); j que 252105=147, o MDC de 147 e 105 tambm 21. Como o maior dos dois nmeros reduzido, a repetio deste processo ir gerar sucessivamente nmeros menores, at convergir em zero. Nesse momento, o MDC o outro nmero inteiro, maior que zero. Ao reverter os passos do algoritmo de Euclides, o MDC pode ser expresso como soma dos dois nmeros originais, cada um multiplicado por um nmero inteiro positivo ou negativo, por exemplo, 21 = 5 105 + (2) 252. Esta importante propriedade denominada identidade de Bzout. A mais antiga descrio que se conhece do mtodo usado no algoritmo de Euclides da sua obra Elementos (c. 300 a.C.), o que o torna um dos algoritmos numricos mais antigos ainda em uso corrente. O algoritmo original foi descrito apenas para nmeros naturais e comprimentos geomtricos, mas foi generalizado no sculo XIX para outras classes de nmeros como os inteiros gaussianos e polinmios de uma varivel. Isto conduziu a noes da moderna lgebra abstrata tais como os domnios euclidianos. O algoritmo de Euclides foi ainda generalizado mais a outras estruturas matemticas, como os ns e polinmios multivariados.

Animao do algoritmo de Euclides para os inteiros 252 e 105. As barras representam mltiplos de 21, o mximo divisor comum (MDC). Em cada passo, o nmero menor subtrado ao maior, at um nmero ser reduzido a zero. O nmero restante o MDC.

Algoritmo de Euclides

Histria do desenvolvimento do algoritmo

O algoritmo de Euclides um dos mais antigos algoritmos ainda em uso.[2] Surge na sua obra Os Elementos (c. 300 a.C.), especificamente nos Livros 7 (Proposies 12) e 10 (Proposies 23). No Livro 7, o algoritmo formulado para inteiros, enquanto no Livro 10 formulado para comprimentos de segmentos lineares (dir-se-ia hoje que estaria formulado para nmeros reais. Comprimentos, reas e volumes, representados como nmeros reais hoje em dia, no so medidos nas mesmas unidades, e no existe uma unidade natural de comprimento, rea ou volume. O conceito de nmero real era desconhecido poca de Euclides. O ltimo algoritmo geomtrico. O MDC de dois comprimentos a e b corresponde ao maior comprimento g que mede propriamente a e b; por outras palavras, os comprimentos a e b so o resultado da multiplicao do comprimento g por nmeros inteiros. O algoritmo no foi provavelmente concebido por provavelmente Euclides. Euclides, que compilou resultados de matemticos anteriores nos seus Elementos.[3][4] O matemtico e historiador Bartel van der Waerden sugere que o Livro VII provm de um texto em teoria dos nmeros escrito por matemticos da escola de Pitgoras.[5] O algoritmo era provavelmente conhecido por Eudoxo de Cnido (cerca de 375 a.C.).[2][6] Poder ainda ser anterior a Eudoxo,[7][8] a julgar pelo uso do termo tcnico (anthyphairesis, subtrao recproca) em trabalhos de Euclides e Aristteles.[9] Sculos mais tarde, o algoritmo de Euclides ter sido reinventado de forma independente na ndia e China,[10] sobretudo para resolver equaes diofantinas que surgiram relacionadas com a Astronomia e a elaborao de calendrios precisos. No final do sculo V, o matemtico indiano e astrnomo Aryabhata descrevu o algoritmo como o "pulverizador",[11] por causa da sua eficcia a resolver equaes diofantinas.[12] Embora um caso especial do teorema chins do resto j fora descrito pelo matemtico e astrnomo chins Sun Tzu,[13] a soluo geral foi publicada por Chin Chiu-Shao na sua obra de 1247 chamada Shushu Jiuzhang ( Tratado Matemtico em Nove Partes).[14] O algoritmo de Euclides foi descrito pela primeira vez na Europa na segunda edio de Problmes plaisants et dlectables (Problemas aprazveis e deleitveis, 1624) de Bachet de Mziriac .[11] Na Europa, era usado para resolver equaes diofantinas e desenvolvimento de fraes contnuas. O algoritmo de Euclides estendido foi publicado pelo matemtico ingls Nicholas Saunderson, que o atribuiu a Roger Cotes como mtodo para calcular fraes contnuas de forma eficiente.[15]
Esta figura na obra "Escola de Atenas" de Rafael retrata muito

Algoritmo de Euclides

Descrio do algoritmo
Verso original (geomtrica)
Na concepo grega da matemtica, os nmeros eram entendidos como magnitudes geomtricas. Um tema recorrente na geometria grega era o da comensurabilidade de dois segmentos: dois segmentos (nmeros) AB e CD so comensurveis quando existe um terceiro segmento PQ que cabe exactamente um nmero inteiro de vezes nos primeiros dois, ou seja, PQ mede (mensura: medida) os segmentos AB e CD. Nem todos os pares de segmentos so comensurveis, como observaram os pitagricos quando estabeleceram que no um nmero racional, mas no caso de dois segmentos comensurveis pretende-se determinar a maior medida comum possvel. Euclides descreveu na proposio VII.2 dos seus Elementos um mtodo que permite determinar a maior medida comum de dois nmeros (segmentos) que no sejam primos entre si, embora na poca tal mtodo se explicasse em termos geomtricos, o que se ilustra na transcrio seguinte:

Representao do nmero de passos necessrios no algoritmo de Euclides.

Para encontrar a mxima medida comum de dois nmeros que no sejam primos entre si.

Sejam AB e CD os dois nmeros que no so primos entre si. necessrio ento encontrar a mxima medida comum de AB e CD. Se CD mede AB ento uma medida comum j que CD se mede a si mesmo. manifesto que tambm a maior medida pois nada maior que CD pode medir CD. Mas se CD no mede AB ento algum nmero restar de AB e CD, o menor sendo continuamente resto do maior e que medir o nmero que o precede. Porque uma unidade no ficar pois se assim no for, AB e CD sero primos entre si [Prop. VII.1], o que contrrio ao que se sups. Portanto, ficar algum nmero que medir o nmero que o precede. E seja CD a medir BE deixando EA menor que si mesmo e seja EA medindo DF deixando FC menor que si mesmo e seja FC medida de AE. Ento, como FC mede AE e AE mede DF, FC ser ento medida de DF. E tambm se mede a si mesmo. Portanto tambm medir todo o segmento CD. e CD mede BE. Ento CF mede BE e tambm mede EA. Assim mede todo o segmento BA e tambm mede CD. Isto , CF mede tanto AB como CD, pelo que uma medida comum de AB e CD. Afirmo que tambm a maior medida comum possvel porque se no o fosse, ento um nmero maior que CF mede os nmeros AB e CD. Seja este G. Dado que G mede CD e CD mede BE, G tambm mede BE. Alm disso, mede todo o segmento BA pelo que mede tambm o resduo AE. E AE mede DF pelo que G tambm mede DF. Mede ainda todo o segmento DC pelo que mede tambm o resduo CF, ou seja, o maior mede o menor, o que impossvel. Portanto, nenhum nmero maior que CF pode medir os nmeros AB e CD. Ento CF a maior medida comum de AB e CD, o que era o que se queria demonstrar. Euclides. Elementos VII.2

Algoritmo de Euclides

Numa linguagem mais moderna, o algoritmo poderia ser descrito da seguinte forma: 1. Dados dois segmentos AB e CD (com AB>CD), retira-se CD de AB tantas vezes quanto possvel. Se no houver resto, ento CD a mxima medida comum. 2. Se se obtm um resto EF, este menor que CD e podemos repetir o processo: retira-se EF tantas vezes quanto possvel de CD. Se no final no restar nada, EF a medida comum. No caso contrrio obtm-se um novo resduo GH menor que EF. 3. O processo repete-se at no haver nenhum resto. O ltimo resto obtido a maior medida comum. O facto de os segmentos serem comesurveis a chave para assegurar que o processo termina sempre, como se prova de seguida.

Demonstrao da terminao e exatido do algoritmo

A prpria definio da srie existe um inteiro e ainda valor Seja tal que : . A srie de inteiros naturais portanto estritamente decrescente, e atingir o por diviso euclidiana mostra que, para qualquer tal que no nulo,

num nmero finito de passos. A existncia de um ltimo resto no nulo est assim estabelecida. o ndice deste ltimo resto no nulo. Para mostrarar que o MDC procurado, note-se que a , o que mostra que divide tambm ; em particular os primeiros termos e . divide . Tomando , deduz-se que ; tambm, e por recorrncia, note-se ento um divisor , e de novo

relao anterior se escreve como que comum de divide todos os termos da srie e

. Reciprocamente, todo o divisor comum de a e b dividir tambm

por recorrncia, dividir todos os termos da srie ; em particular . ento um divisor comum de a e b que divisvel por todo e qualquer divisor comum: assim o MDC.

Pseudocdigo
AlgoritmoDeEuclides(a: inteiro; b: inteiro): inteiro variveis divisor: inteiro dividendo: inteiro c: inteiro incio dividendo = a divisor = b enquanto resto(dividendo/divisor) 0 incio c = resto(dividendo/divisor) dividendo = divisor divisor = c fim-enquanto AlgoritmoDeEuclides = dividendo fim-funo Ele tambm pode ser expresso utilizando recursividade: AlgoritmoDeEuclides(a: inteiro; b: inteiro): inteiro incio

Algoritmo de Euclides se b = 0 ento AlgoritmoDeEuclides = a seno AlgoritmoDeEuclides = AlgoritmoDeEuclides(b,resto(a,b)) fim-se fim-funo

Exemplo
Tomemos os nmeros 348 e 156:
348 -312 36 0 156 2

Como o resto no zero, substitumos o dividendo e o divisor:

156 -144 12 0 36 4

Como o resto no zero, substitumos o dividendo e o divisor:

36 12 -36 0 3

quociente 348 resto

156 36 12 36 12 0

Portanto, o mximo divisor comum dos inteiros 348 e 156 12.

Bibliografia recomendada
COUTINHO, Severino Coullier. Nmeros inteiros e criptografia RSA. Rio de Janeiro: IMPA, 2005. 226 p.ISBN 85-244-0124-9 MILIES, Francisco Csar Polcino; COELHO, Snia Pitta. Nmeros: Uma introduo Matemtica. 3.ed. So Paulo: Editora da Universidade de So Paulo, 2003. ISBN 85-314-0458-4
[1] Thomas L. Heath, The Thirteen Books of Euclid's Elements, 2nd ed. [Facsimile. Original publication: Cambridge University Press, 1925], 1956, Dover Publications [2] Knuth, p. 318. [3] Weil A. Number Theory. Boston:Birkhuser, 1983.46 p. ISBN 0-8176-3141-0 [4] Jones A. Companion encyclopedia of the history and philosophy of the mathematical sciences. Nova Iorque:Routledge, 1994.4648 p. ISBN 0-415-09238-8 [5] van der Waerden BL. Science Awakening. Groningen:P. Noordhoff Ltd, 1954.114115 p. [6] von Fritz K. (1945). "The Discovery of Incommensurability by Hippasus of Metapontum". Ann. Math. 46: 242264. DOI: 10.2307/1969021 (http:/ / dx. doi. org/ 10. 2307/ 1969021). [7] Heath TL. Mathematics in Aristotle. [S.l.]:Oxford Press, 1949.8083 p.

Algoritmo de Euclides
[8] David Fowler. The Mathematics of Plato's Academy: A New Reconstruction. Oxford:Oxford University Press, 1987.3166 p. ISBN 0-19-853912-6 [9] Becker O. (1933). "Eudoxus-Studien I. Eine voreuklidische Proportionslehre und ihre Spuren bei Aristoteles und Euklid" 2: 311333. [10] Stillwell, p. 31. [11] Tattersall, p. 70. [12] Rosen, pp. 8687. [13] Ore, pp. 247248. [14] Tattersall, pp. 72, 184185. [15] Tattersall, pp. 7276.

Fontes e Editores da Pgina

Fontes e Editores da Pgina

Algoritmo de Euclides Fonte: http://pt.wikipedia.org/w/index.php?oldid=32851986 Contribuidores: 81duz1d0, 999, Alexg, Algbrico, CassiusResendeDuarte, Diego Queiroz, Diego UFCG, FSogumo, Firmo, Helder.wiki, Hfcpereira, Jlousado, JotaCartas, Joucoski, Leandro Drudo, OS2Warp, Osias, Ramalho, Rpxx, Salgueiro, Silveiraneto, Tosqueira, Vitor Basso, 35 edies annimas

Fontes, Licenas e Editores da Imagem

Ficheiro:Euclidean algorithm 252 105 animation flipped.gif Fonte: http://pt.wikipedia.org/w/index.php?title=Ficheiro:Euclidean_algorithm_252_105_animation_flipped.gif Licena: Creative Commons Attribution-Sharealike 3.0 Contribuidores: Proteins Ficheiro:Sanzio 01 Euclid.jpg Fonte: http://pt.wikipedia.org/w/index.php?title=Ficheiro:Sanzio_01_Euclid.jpg Licena: Public Domain Contribuidores: Bibi Saint-Pol, Bukk, GianniG46, Jacobolus, Mattes, Petropoxy (Lithoderm Proxy), Plindenbaum, Sailko, Shakko, Warburg Ficheiro:Euclidean algorithm running time X Y.png Fonte: http://pt.wikipedia.org/w/index.php?title=Ficheiro:Euclidean_algorithm_running_time_X_Y.png Licena: Public Domain Contribuidores: User:Fredrik Ficheiro:Euclides VII-2.svg Fonte: http://pt.wikipedia.org/w/index.php?title=Ficheiro:Euclides_VII-2.svg Licena: Public Domain Contribuidores: Drini

Licena
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/