Teoría de números

[miniatura|dereita|200px|Cando dispoñemos os [números naturais nunha espiral e destacamos os números primos, observamos un intrigante e non totalmente explicado patrón, chamado espiral de Ulam]]
A **teoría de números** é a rama da matemática pura que se ocupaba inicialmente do estudo dos números enteiros e dos problemas aritméticos relacionados coa multiplicación e a división de enteiros. É chamada ás veces "A Raíña das Matemáticas" debido ó seu papel fundacional da disciplina. 

Os teóricos dos números estudan os números primos así como as propiedades de obxectos construídos a partir dos enteiros (como os números racionais) ou definidos como xeneralización destes (como os números enteiros alxébricos).

A simplicidade dos enunciados e a fácil accesibilidade á maioría dos problemas da teoría de números fan que sexa moi atractiva. En contraposición, outra peculiaridade é a dificultade na resolución dos problemas. Por exemplo, hai máis de 2.300 anos Euclides conxecturou que hai infinitos números primos xemelgos, conxectura que aínda está sen demostrar.

A xente común usa a palabra "aritmética" para referirse ás "operacións elementais". Tamén adquiriu outros significados en lóxica matemática (e.g. aritmética de Peano), e na ciencia da computación (e.g. punto decimal flotante, que en inglés dise *floating point arithmetic).*

O uso do termo "aritmética" para referirse á "teoría de números" volveu gañar terreo na segunda metade do século XX, en gran parte debido á influencia dos matemáticos franceses..

Entre tanto, ese termo aínda aparece nos nomes de obxectos matemáticos relacionados como as funcións aritméticas, a aritmética de curvas elípticas ou o teorema fundamental da aritmética. En particular, prefírese o adxectivo "aritmético" a "teórico dos números".

## Historia 
### Orixes 
#### Albores da aritmética 
[dereita|miniatura|A táboa [Plimpton 322.]]
O primeiro descubrimento histórico de natureza aritmética é un fragmento dunha táboa de arxila, a coñecida como Plimpton 322, achada en Larsa (Mesopotamia) e datada no arredor do 1800 a.C. Contén unha listaxe de ternas pitagóricas, ou sexa, enteiros *a, b, c* tales que *a2+b2=c2*. A táboa ten moitas ternas e con números bastante elevados, o que fai pensar que non foron obtidos pola forza bruta. Na parte superior da primeira columna pódese ler: O *takiltum* da diagonal que foi subtraído tal que a largura...

A disposición da táboa suxire que foi construída por medio do que equivale, na linguaxe moderna, á identidade:

\left(\frac{1}{2} \left(x - \frac{1}{x}\right)\right)^2 + 1 =
\left(\frac{1}{2} \left(x + \frac{1}{x}\right)\right)^2,

que está implícita nos exercicios rutineiros dos antigos babilonios. Se foi utilizado algún outro método, as ternas foran inicialmente construídas e despois reordenadas por \scriptstyle c/a, presumibelmente para un uso real como unha táboa de consulta con vistas á súa aplicación práctica.

Non sabemos cales poden ter sido esas aplicacións, ou se podería ter habido algunha pois se, por exemplo, fose para a astronomía, esta floreceu entre os babilonios máis tarde. Tense suxerido, pola contra, que a táboa fose unha fonte de exemplos numéricos para problemas escolares.

Mentres que a teoría de números babilonia, ou o que sobreviviu da súa matemática que se pode chamar así, consiste neste simple e notable fragmento, a álxebra deste pobo (no sentido que a palabra "álxebra" ten no ensino secundario) estaba excepcionalmente desenvolvida. As últimas fontes neoplatónicas sosteñen que Pitágoras aprendeu matemáticas dos babilonios. Fontes máis temperás sosteñen que Tales e Pitágoras estudaron en Exipto.

Euclides IX 21—34 é moi probabelmente pitagórico; é un material moi simple ("impar por par é par", "se un número impar divide a un número par entón tamén divide á metade deste"), pero é todo o que se necesita para probar que \scriptstyle \sqrt{2} é irracional. Os místicos pitagóricos dábanlle moita importancia aos pares e impares. O descubrimento de que \scriptstyle \sqrt{2} é irracional atribúese aos pitagóricos temperás (anteriores a Teodoro). A revelación (en termos modernos) de que hai números irracionais, semella ter provocada a primeira crise fundacional na historia das matemáticas; a súa proba ou a súa divulgación atribúese ás veces a Hipaso, quen foi expulsado ou apartado da seita pitagórica. É só aquí onde podemos comezar a falar dunha división clara e concisa entre *números* (enteiros e racionais, os suxeitos da aritmética) e *lonxitudes* (números reais, sexan racionais ou non).

A tradición pitagórica fala tamén dos chamados números poligonais ou dos números figurados. Mentres que os números cadrados, cúbicos etc., son vistos agora coma máis naturais cós triangulares, pentagonais etc., o estudo das sumas dos números triangulares e pentagonais acreditou unha morea de froitos durante os inicios da idade moderna (do século XVII ao XIX).

Coñecemos material aritmético impreciso do antigo Exipto ou as fontes védicas, aínda que hai algunha álxebra en ambas. O teorema chinés do resto aparece como un exercicio na obra de Sun Zi, *Suan Ching*, tamén coñecida como *A matemática clásica de Sun Zi*, escrita en data descoñecida entre os anos 220 e 473. Hai un importante paso glosado na solución de Sun Zi: é o problema que foi resolto posteriormente por Aryabhata mediante o método que el chamou *kuttaka* (véxase embaixo).

Hai tamén algún misticismo numérico nas matemáticas chinesas, pero, a diferenza dos pitagóricos, semella que non levan a ningures. Ao igual cos números perfectos dos pitagóricos,os cadrados máxicos chineses pasaron da superstición ao entretemento.

#### Grecia clásica e o inicio do período helenístico 
Á parte duns poucos fragmentos, as matemáticas da Grecia clásica son coñecidas a través dos relatos de contemporáneos non matemáticos ou polos traballos dos inicios do período helenístico. No caso da teoría de números isto significa, na maior parte, *Platón* e *Euclides*, respectivamente.

Platón tiña un grande interese polas matemáticas, e distinguía claramente entre aritmética e cálculo (por *aritmética* entendía, en parte, teorizar sobre os números, máis cos significados que *aritmética* e *teoría de números* chegaron a ter posteriormente). Grazas a un dos diálogos de Platón, *Teeteto*, sabemos que Teodoro probou que \scriptstyle \sqrt{3}, \sqrt{5}, \dots, \sqrt{17} son irracionais. Teeteto foi, coma Platón, un discípulo de Teodoro; traballou na diferenciación das diferentes clases de inconmensurábeis, e deste xeito pode dicirse que foi un dos pioneiros no estudo dos sistemas numéricos (Pappus describe o Libro X dos Elementos de Euclides como amplamente baseado na obra de Teeteto).

Euclides adicou parte dos seus *Elementos* aos números primos e á divisibilidade, tópicos que pertenzen sen ningunha dúbida á teoría de números e son básicos dentro dela (Libros VII ao IX dos *Elementos*). En particular deu un algoritmo para o cálculo do máximo común divisor de dous números (algoritmo de Euclides; prop. VII.2 dos *Elementos*) e a primeira demostración da infinitude dos primos (prop. IX.20 dos *Elementos*).

No 1773, Lessing publicou un epigrama que achara nun manuscrito durante o seu traballo como libreiro; afirmaba ser unha carta enviada por Arquímedes a Eratóstenes. O problema propuña o que chegou a ser coñecido como o problema bovino de Arquímedes. A súa solución, que non aparece no manuscrito, require resolver unha ecuación cadrática indeterminada, a cal se reduce á que máis tarde sería nomeada erroneamente ecuación de Pell. Ata onde sabemos, este tipo de ecuacións foron resoltas con éxito pola matemática india. Descoñécese se Arquímedes tiña un método de resolución.

#### Diofanto 
[dereita|miniatura|150px|Tradución do grego ao latín da *Arithmetica* de [Diofanto de Alexandría|Diofanto, feita en 1621 por Bachet.]]
Coñécese pouco da vida de Diofanto; probabelmente viviu no século III a.C, isto é, arredor de cincocentos anos antes que Euclides. Dos trece libros da *Arithmetica de Diofanto*, sobreviven seis no grego orixinal e catro máis na tradución ao árabe. A *Arithmetica* é unha colección de problemas resoltos onde a tarefa é invariabelmente achar as solucións racionais dun sistema de ecuacións polinómicas, xeralmente da forma \scriptstyle f(x,y)=z^2 ou \scriptstyle f(x,y,z)=w^2. De aí ven que, hoxe en día, se lle chamen *ecuacións diofantianas* a aquelas ecuacións polinómicas nas que se buscan as solucións racionais ou enteiras.

Hai que dicir que Diofanto estudou puntos racionais (isto é, puntos cuxas coordenadas son racionais) en curvas e variedades alxébricas; porén, a diferenza dos gregos do período clásico, quen fixeron o que agora chamariamos álxebra básica en termos xeométricos, Diofanto fixo o que agora chamariamos xeometría alxébrica básica en termos puramente alxébricos. Na linguaxe moderna, o que Diofanto fixo foi achar parametrizacións racionais de variedades; é dicir, dada unha ecuación da forma, digamos, \scriptstyle f(x_1,x_2,x_3)=0, o seu propósito era atopar, en esencia, tres funcións racionais \scriptstyle g_1, g_2, g_3 tal que, para tódolos valores de \scriptstyle r e \scriptstyle s, tomando \scriptstyle x_i = g_i(r,s) para \scriptstyle i=1,2,3 dá unha solución de \scriptstyle f(x_1,x_2,x_3)=0.

Diofanto tamén estudou as ecuacións dalgunhas curvas non racionais, para as que é posíbel unha parametrización racional. Amañouse para achar algúns puntos racionais nesas curvas (curvas elípticas, como sucede, no que parece que é a súa primeira aparición coñecida) mediante o que equivale a unha construción de tanxente: trasladado á xeometría coordenada (que non existía en tempos de Diofanto), este método visualizariase como o trazado da tanxente a unha curva nun punto racional coñecido, e despois atopando o outro punto de intersección da tanxente coa curva; este outro punto é un novo punto racional (Diofanto tamén recorreu ao que podería ser chamado un caso especial da construción da secante).

Aínda que Diofanto tiña grande interese nas solucións racionais, asumiu algúns resultados sobre números enteiros, en particular que cada enteiro é a suma de dous cadrados (se ben el nunca detallaba moito o seu traballo).

#### India 
Mentres que a astronomía grega probabelmente influenciou o coñecemento indio, ata o punto de introducir a trigonometría, semella que as matemáticas indias son, á parte diso, unha tradición autóctona. En particular, non hai evidencias de que os *Elementos* de Euclides chegaran á India antes do século XVIII

Âryabhata (476–550) amosou que pares de congruencias simultáneas \scriptstyle n\equiv a_1 \pmod m_1, \scriptstyle n\equiv a_2 \pmod m_2 podían resolverse por un método que chamou *kuṭṭaka*, ou *pulverizador*; este é un procedemento próximo a unha xeneralización do *Algoritmo de Euclides*, que probabelmente se descubriu independentemente na India. Semella que Âryabhata tiña en mente aplicacións para os cálculos astronómicos

Desgraciadamente, as matemáticas indias non foron coñecidas no mundo occidental ata finais do século XVIII. As obras de Brahmagupta e Bhaskara non foron traducidas ao inglés ata 1817 por Henry Colebrooke.

#### Idade de ouro islámica 
[esquerda|miniatura|150px|[Alhazen|Al-Haytham, xunto con Galileo, no frontispicio de *Selenographia*.]]
Nos primeiros anos do século IX o califa Al-Ma'mun ordenou traducir moitas obras matemáticas gregas e polo menos unha sánscrita, o *Sindhind* que pode ou non pode ser o Brāhmasphuţasiddhānta de Brahmagupta. A obra principal de Diofanto, a *Arithmetica*, foi traducida ao árabe por Qusta ibn Luqa (820-912); parte do tratado *al-Fakhri*, de al-Karajī (953-ca.1029), baséase nela. Segundo Roshdi Rashed, Ibn al-Haytham, contemporáneo de al-Karajī, coñecía o que máis tarde sería chamado teorema de Wilson.

#### Idade Media 
Á parte dun tratado sobre cadrados en progresións aritméticas de Fibonacci, quen viviu e estudou en África do Norte e Constantinopla nos seus anos de formación (ca.1175-1200), non se pode falar de traballos sobre teoría de números durante a Idade Media en Europa. O panorama cambiou a finais do Renacemento grazas a un renovado estudo das obras da antigüidade grega. Un catalizador foi a corrección e tradución textual ao latín da *Arithemtica* de Diofanto, feita por Bachet en 1621, seguindo un primeiro intento de Xylander en 1575.

### Os inicios da moderna teoría de números 
#### Fermat 
[dereita|miniatura|150px|[Pierre de Fermat, un dos máis famosos teóricos dos números.]]

Pierre de Fermat (1601–1665) non publicou nunca os seus escritos. A súa obra e, en particular, o seu traballo en teoría de números está contido case enteiramente nas cartas que enviou a outros matemáticos e nas notas privadas escritas na marxe dos libros. Non anotaba as demostracións de teoría de números e non tiña modelos nesa área. Fixo un uso reiterado da indución matemática, introducindo o método do descenso infinito.

Uns dos primeiros temas de interese para Fermat foron os números perfectos (que aparecen nos Elementos IX, de Euclides) e os números amigos. Isto levouno a traballar sobre os divisores enteiros, os cales estiveron desde o principio entre os temas da súa correspondencia (a partir de 1636) que lle permitiu establecer contacto coa comunidade matemática da época. En 1643 xa tiña estudado cuidadosamente a edición de Bachet da obra de Diofanto, que agrandou en gran medida o seu interese polos problemas diofantianos e das sumas de cadrados, tamén tratados por Diofanto.

Os logros de Fermat en aritmética inclúen:
* O pequeno teorema de Fermat (1640), establecendo que se *a* non é divisíbel por un primo *p*, entón \scriptstyle a^{p-1} \equiv 1 \pmod p..
* Se *a* e *b* son coprimos, entón \scriptstyle a^2 + b^2 non é divisíbel por ningún primo congruente con &minus;1 módulo 4; *e* Todo primo congruente con 1 módulo 4 pode escribirse da forma \scriptstyle a^2 + b^2. Estes dous resultados tamén son de 1640; en 1659, Fermat informou a Huygens de que probara o último resultado polo método do descenso infinito. Fermat e Frenicle tamén fixeron traballos (algús deles erróneos ou non rigorosos) sobre as formas cadráticas.
* Fermat formulou o problema de resolver \scriptstyle x^2 - N y^2 = 1 como un reto aos matemáticos ingleses (1657). O problema foi resolto en poucos meses por Wallis e Brouncker. Fermat considerou válida a solución que deron, mais sinalou que usaran un algoritmo sen telo probado (como fixeran Jayadeva e Bhaskara, aínda que Fermat non coñecería este feito). El establecera que unha demostración podía acharse polo método do descenso.
* Fermat desenvolveu métodos para (facendo o que nos nosos termos equivale a) achar puntos en curvas de xénero 0 e 1. Como en Diofanto, hai moitos procedementos especiais e que equivalen á construción da tanxente, pero non fai uso da construción da secante.
* Fermat estableceu e probou (por descenso) no apéndice das *Observacións sobre Diofanto* (Obs. XLV), que \scriptstyle x^{4} + y^{4} = z^{4} non ten solucións enteiras non triviais. Fermat tamén mencionou na súa correspondencia que \scriptstyle x^3 + y^3 = z^3 non ten solucións non triviais, e que isto podía probarse por descenso. A primeira demostración coñecida débese a Euler en 1753, por certo usando o método do descenso.

Fermat afirmou ter probado o que hoxe coñecemos como o último teorema de Fermat. O teorema afima que \scriptstyle x^n + y^n = z^n non ten solucións para todo \scriptstyle n\geq 3. A demostración de Fermat estaría na marxe do seu exemplar perdido da aritmética de Diofanto. El nunca o comunicou a outros na súa correspondencia e así non tería que retractarse se aqueles achaban algún erro na súa suposta proba (é un feito que as únicas probas coñecidas fixéronse con métodos completamente alleos aos seus métodos).

#### Euler 
miniatura|150px|Leonhard Euler
O interese de Leonhard Euler (1707–1783) na teoría de números foi estimulado por primeira vez en 1729 cando o seu amigo, o afeccionado Christian Goldbach indicoulle algúns dos resultados de Fermat na materia. Este instante foi chamado o "renacemento" da teoría de números, logo da relativa falla de éxito que tivo Fermat en espertar o interese dos seus contemporáneos pola materia. Algúns dos traballos de Euler na teoría de números son:

* *Demostracións de resultados establecidos por Fermat*, como o pequeno teorema de Fermat (xeneralizado por Euler a módulos non primos), o feito de que \scriptstyle p = x^2 + y^2 se e só se \scriptstyle p\equiv 1\; mod\; 4, o traballo inicial cara a unha demostración de que todo enteiro positivo pode expresarse como a suma de catro cadrados (a primeira demostración completa débese a Joseph-Louis Lagrange en 1770, e foi mellorada moi pronto polo propio Euler; ou a ausencia de solucións enteiras non nulas da ecuación \scriptstyle x^4 + y^4 = z^2 (que implica o último teorema de Fermat para *n=4*, o cal demostrou Euler para *n=3* mediante un método semellante).
* *Ecuación de Pell*, mal nomeada por Euler nun primeiro momento. Escribiu acerca da relación entre as fraccións continuas e a ecuación de Pell.
* *Primeiros pasos cara á teoría analítica dos números*. Nos seus traballos sobre as sumas de catro cadrados, as particións, os números pentagonais e a distribución dos números primos, Euler foi un pioneiro no uso do que se pode considerar como análise (en particular, as series infinitas) en teoría de números. Xa que logo viviu antes do desenvolvemento da análise complexa, a maioría do seu traballo restrínsexe á manipulación formal das series de potencias. Porén fixo algún traballo temperá notábel (aínda que non completamente rigoroso) sobre o que máis tarde deuse en chamar a función zeta de Riemann.
* *Formas cadráticas*. Continuando o camiño iniciado por Fermat, Euler profundou na cuestión de cales primos poden expresarse da forma \scriptstyle x^2 + N y^2, algúns dos cales prefigurando reciprocidade cadrática.
* *Ecuacións diofantianas*. Euler traballou nalgunhas ecuacións diofantianas de xénero 0 e 1. En particular, estudou o traballo de Diofanto, tratando de sistematizalo, mais non chegara o tempo para tal empresa, a xeometría alxébrica estaba aínda na súa infancia. Decatouse de que había unha conexión entre os problemas diofantianos e as integrais elípticas e traballou nas formas cadráticas seguindo as liñas que máis tarde foron desenvolvidas completamente por Gauss. Sendo xa un ancián foi o primeiro en probar o "último teorema de Fermat" para n=5 (completando o traballo de Peter Gustav Lejeune Dirichlet, sendo atribuída a proba tanto a el coma a Sophie Germain).

Nas súas *Disquisitiones Arithmeticae* (1798), Carl Friedrich Gauss (1777–1855) probou a lei da reciprocidade cadrática e desenvolveu a teoría das formas cadráticas (en particular, definindo a súa composición). Tamén introduciu algunha notación básica das congruencias e adicou unha sección a asuntos computacionais, incluíndo tests de primalidade. A derradeira sección das *Disquisitiones* establece unha relación entre as raíces das unidade e a teoría de números:

Deste xeito, probabelmente Gauss fixo a primeira incursión cara ao traballo de Évariste Galois e á teoría alxébrica dos números.

### Madureza e división en subcampos 
[miniatura|[Peter Gustav Lejeune Dirichlet.]]

A comezos do século XIX foron producíndose dun xeito gradual os seguintes avances:
* O aumento da autoconsciencia da teoría de números (ou "aritmética superior") como un campo de estudo.
* O desenvolvemento de moitas das matemáticas modernas necesarias para a teoría básica dos números: análise complexa, teoría de grupos, teoría de Galois, acompañado dun maior rigor en análise e dunha abstracción crecente en álxebra.
* A subdivisión aproximada da teoría de números nos modernos subcampos desta, en particular, na analítica e na alxébrica.

Pode considerarse que a teoría alxébrica dos números comeza co estudo da reciprocidade e da ciclotomía, mais chegou realmente a ser o que é co desenvolvemento da álxebra abstracta, a temperá teoría de ideais e a teoría da valoración. Un punto de inicio convencional da teoría analítica dos números é o teorema das progresións aritméticas de Dirichlet (1837) cuxa demostración introducía as funcións L e implicaba algunha análise asintótica e un proceso de límite sobre unha variable real. O primeiro en usar realmente as ideas análiticas na teoría de números foi Euler na década dos 1730 quen usou series de potencias formais e argumentos non rigorosos (ou implícitos) dos límites. O uso da análise *complexa* na teoría de números veu máis tarde: o traballo de Bernhard Riemann (1859) sobre a función zeta é o punto canónico de partida. O teorema dos catro cadrados de Jacobi, que o precede, pertence a un fío inicialmente diferente que xa tivo un papel principal na teoría analítica dos números (formas modulares).

Moitas das cuestións máis interesantes de cada área permanecen abertas e estase a traballar activamente nelas.

## Subdivisións 
A teoría de números pódese subdividir en varios campos, de acordo cos métodos que son usados e das cuestións que son investigadas, a saber:

* Teoría elemental dos números: utiliza soamente os métodos elementais da aritmética para a verificación e comprobación das propiedades esenciais do conxunto dos números enteiros, e en particular as propiedades dos números primos;
* Teoría Analítica dos Números: utiliza a análise real e a análise complexa, especialmente para estudar as propiedades dos números primos;
* Teoría Alxébrica dos Números: utiliza álxebra abstracta avanzada (álxebra moderna) e estuda os números alxébricos;
* Teoría Xeométrica dos Números: utiliza métodos xeométricos, alxébricos e analíticos;

## Sobre a Teoría Elemental dos Números 
Normalmente, o primeiro contacto coa Teoría de números é a través da Teoría Elementar dos Números. A través desta disciplina pódense introducir propiedades bastante interesantes e notábeis dos números enteiros, mais, que ao seren propostas como cuestións a seren resolvidas, ou teoremas a seren probados, son xeralmente de difícil solución ou comprobación. Estas cuestións están ligadas basicamente a tres tipos de investigacións, a saber:

# Estudos específicos sobre as propiedades dos números primos; 
# Estudos envolvendo a investigación de algoritmos eficientes para a Aritmética Básica;
# Estudos sobre a resolución de Ecuacións Diofantianas;

Estas cuestións directamente ligadas ao estudo do Conxunto dos números enteiros e 
o seu subconxunto: o Conxunto dos números naturais.

A título de ilustración, algúns dos moitos problemas que se poden focalizar nestas tres áreas da Teoría Elemental dos Números son comentados a continuación:

## Propiedades dos números primos 
### Teorema de Euclides 
:"*Existe unha cantidade infinita de números primos*"

### Conxectura de Goldbach 
:"*Pódense expresar os números pares, maiores que 2, como a suma de dous números primos?*" Esta é a denominada conxectura de Goldbach, formulada en 1746 e ata hoxe non probada, a pesar de ser verificada para números da orde de ata 4*10^14.

: Cantos números primos terminan co díxito 7? Serían infinitos? 
Son 664.579 os números primos menores que 10 millóns, sendo que os números primos que terminan en 1, 3, 7 e 9 respectivamente son 166.104, 166.230, 166.211 e 166.032, o que corresponde a 24,99%, 25,01%, 25,01% e 24,98% deste total de números. Que suxere isto?

: Hai infinitos pares de números denominados primos xemelgos?
Son números primos que difiren un do outro en apenas dúas unidades, como (3 ; 5), (71 ; 73) ou (1000000007; 1000000009)

## Algoritmos eficientes para a aritmética básica 
Moitas das modernas aplicacións que se están levando a efecto no campo da criptografía (codificación destinada a xerar, almacenar ou ata mesmo transmitir — por exemplo, por telefonía ou máis especificamente pola Internet) — informacións secretas ou confidenciais de forma segura, dependen dalgunhas das propiedades dos números enteiros e dos números primos. Porén as aplicacións aritméticas envolvendo as propiedades dos números enteiros están directamente relacionadas á capacidade de se resolver dous problemas fundamentais: 
# o problema do test para verificar se o número é primo;
# o problema da decomposición en factores primos;

Aparentemente son problemas de simple solución, ata que pasen a envolver numerais con decenas e ata centenas de díxitos.

## Ecuacións diofantianas 
Cando se procuran solucións enteiras (e ás veces racionais) para ecuacións alxébricas dos seguintes tipos: 
* x^2 + y^2 = z^2, por exemplo, que posúe infinitas solucións representadas polas ternas ordenadas (x,y,z) coñecidas como Ternos ou Ternas pitagóricos, onde z é o lado maior dun triángulo rectángulo – a hipotenusa, e x e y os seus catetos: (3,4,5), (4,3,5), (12,5,13), (5,12,13), (24,7,25), (7,24,25), soamente para citar algúns exemplos. Un conxunto de fórmulas poden facilitar a obtención das Ternas Pitagóricas: z = p^2 + q^2, x = p^2 - q^2, y = 2*p*q, onde p e q son combinacións de números enteiros positivos distintos, con p > q, como por exemplo: 2 e 1; 3 e 1; 3 e 2; 4 e 1; 4 e 2; 4 e 3. Verifique se este tipo de raciocinio continúa valendo para: 5 e 1; 5 e 2; ...; 5 e 4; para 6 e 1; 6 e 2; etc. Hai unha xustificativa alxébrica para tal feito? Este proceso funcionará sempre?
* x^n + y^n = z^n, que non posúe solucións non nulas para n maior ou igual a 3 (ou sexa para n > 2) que é xustamente denominado o Último Teorema de Fermat - sobre o cal o matemático francés Pierre de Fermat (1601-1665) afirmou nunha pequena nota escrita na marxe dunha páxina do un libro, exactamente ao lado daquela ecuación, posuír unha proba bastante simple para a mesma, mais que non se podería escribir alí, por absoluta falta de espazo. O matemático inglés Andrew Wiles finalmente en 1993, despois de ter usado unha vasta colectánea de novas técnicas e de moitas técnicas antigas da Teoría de números *ben como tendo dispendido moito tempo de estudo e moitas e moitas follas de papel* para resolver este misterio, anunciou a proba deste Teorema, que permanecera, por máis de 300 anos, como un desafío para os máis habilidosos matemáticos.
* y^2 = x^3 + 17, que posúe exactamente 8 solucións (x,y) onde x e y son números enteiros sendo os valores de x os seguintes: - 2;-1; 2; 4; 8; 43; 52. Os valores de y poden atoparse facilmente a partir destes. Aquí o difícil será mostrar que as únicas solucións posíbeis son estas.
* Ecuacións alxébricas que posibiliten calcular todos os números enteiros positivos que poidan escribirse como suma de catro cadrados perfectos, como por exemplo: 47 = 36 + 9 + 1 + 1. Para "facilitar", poden ser repetidos os cadrados perfectos, como no exemplo dado; aínda se pode, adoptar o 0 como un cadrado perfecto, como en: 10 = 9 + 1 + 0 + 0 no canto de 10 = 4 + 4 + 1 + 1.

Sábese que moitos números enteiros positivos non se poden escribir desta forma, e isto torna a solución deste problema bastante máis complexa. Este feito podería levar á seguinte pregunta: cantos son os números enteiros positivos menores de 10.000, que non se poden ser escribir como a suma de catro cadrados perfectos? Este problema pode ser aínda presentado como exixindo a utilización de apenas dous cadrados perfectos ou utilizando tres cadrados perfectos. Agora a solución aínda se tornaría máis difícil.

## Notas 
## Véxase tamén 
### Bibliografía 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
### Outros artigos 
* Aritmética
### Ligazóns externas 
* 
* 
* O presente artigo incorpora material traducido de Citizendium con licenza CC-by-sa 3.0: 
* 
*