Mètode del descens infinit: diferència entre les revisions
Contingut suprimit Contingut afegit
m Corregit: verdadera -> verdadera, ja que la |
|||
Línia 24:
== Història ==
Aquest mètode apareix en els [[Elements d'Euclides]], però és sobretot [[Pierre de Fermat]] que el formula explícitament i és de fet un instrument important en el seu programa per a la teoria dels nombres naturals;<ref>Carta a [[Pierre de Carcavi]], 1659</ref> apareix en particular en la seva prova del teorema que la superfície d'un triangle rectangle del qual els costats són enters no pot ser el quadrat d'un enter, prova que constitueix la seva Observació 45 sobre les Aritmètiques de [[Diofantnt]] i que va ser publicada per primera vegada el 1670, a l'edició pòstuma d'aquestes observacions que va fer Samuel de Fermat. Aquest teorema porta a la [[demostració de l'últim teorema de Fermat]] per a n=4. Frenicle de Bessy se serveix també del mètode de descens infinit, segons Fermat, al seu Tractat dels triangles rectangles en nombres, editat el 1676. També va ser utilitzada per [[Leonhard Euler|Euler]] per establir la demostració del [[teorema dels dos quadrats de Fermat]], i en nombroses investigacions de teoria de nombres. Una variant ha estat posada a la pràctica per demostrar el [[teorema de Faltings]] segons el qual l'estructura dels punts amb coordenades racionals (o més generalment amb coordenades en un cos de nombres) sobre una [[corba el·líptica]] és un [[grup abelià finit]].
==Nota==
|