Bonjour à tous.
Déterminer tous les couples d'entiers naturels tels que soit entier.
NB: il est conseillé de commencer par étudier équation diophantienne (I), qui est plus simple.
Bonjour,
je ne suis pas sur qu'elle soit plus simple
en tout cas elle donne bien plus de solutions !
équation 1 : 6 solutions (plus leur symétriques) < 100 (cf dpi)
équation 2 : 207 solutions (plus leur symétriques) < 100
(dont 99 "triviales" (m =1) et 108 "autres")
"tous les autres étaient des arrondissements donc éliminés"
hum ... non
ou plutot que sans doute tu calcules avec des valeurs arrondies de m/n etc
ce qu'il faut : on ne travaille que exclusivement avec partout que des nombres entiers dans tous les calculs
(c'est à dire on ne "calcule" même jamais m/n, ni aucune racine carrée d'ailleurs)
et donc ceux que tu avais éliminé ne sont pas à éliminer
>mathafou
Après les avoir trouvés mon bidule de vérification avait un bug....
et pour aggraver mon cas ma souris depuis trois jours me fait des clics
intempestifs
Je les valide donc et un petit rajout pour la route :
j'ai trouvé une méthode pour extrapoler
On voit une progression régulière de raison 2 de l'écart des n et de raison 6 pour l'écart des n.
Donc le prochain qui donnera l'entier 22 sera 483
et n 10604
Je liste jusqu'à l'entier 100
tout appeler "n" ne rend pas l'explication claire ...
d'autre part comme je le signalais calculer des approximations de m/n, n/m et 1/mn n'est pas la bonne méthode pour éviter des erreurs d'arrondi.
il vaut bien mieux mettre au même dénominateur et calculer m² + n² 1 = kmn ( selon que c'est l'exo I ou l'exo II)
c'est à dire de tester si l'entier m²+n²1 est divisible ou non par mn
résoudre une telle équation "par force brute" donne une base de un bon paquet d'exemples permettant "d'extrapoler" comme tu dis
c'est à dire de trouver expérimentalement des formules de récurrence que l'on peut facilement démontrer ensuite de façon, littérale :
"si (m, n, k) est une solution alors m' = f(m,n,k), n'=g(m,n,k) k' = h(m,n,k)
est elle une solution ou pas"
(démonstrations classiques par récurrence)
on peut aussi chercher des formules pour un k fixé ou pour un m fixé ou un n fixé
l'équation devient alors une équation quadratique en les deux inconnues restantes
de la forme ax² + bxy + cy² +dx + ey + f = 0
il existe une (des) méthodes générale(s) de résolution de telles équations en nombres entiers (dans )
dont une application est l'excellent "alpertron"
ainsi pour k = 22 il donne l'ensemble de toutes les valeurs de m, n
(appelés x et y)
Bonjour mathafou,
trouver les solutions dans de l'équation est un exercice que l'on traite comme un célèbre problème des olympiades (c'est devenu relativement classique).
On montre d'abord que et que pour on a nécessairement .
On vérifie aussi que c'est le seul cas où .
On prend maintenant . Si on trouve d'où la solution fondamentale .
Pour montrer que toutes les autres solutions s'en déduisent on suppose qu'il existe une solution avec . On en déduit l'existence d'une autre solution avec .
Cela permet de conclure que toutes les solutions pour cette valeur sont données par les paires :
Bonjour,
Si je comprends bien ,mon tableau ne donne que les troisièmes*
solutions pour k
*en sachant que m=n+1 et n=(m+1) (et symétriquement ) le sont
toujours
Tout à fait.
Ton analyse avec les différences est une méthode classique pour étudier une suite Uk dont on connait à priori les valeurs et dont on cherche une formule générale.
si Uk -Uk-1 = constante , la suite est arithmétique (de la forme Uk = ak+b)
si Vk = Uk-Uk-1 est une suite arithmétique ( c'est à dire si Vk-Vk-1 = constante)
alors Uk suit un polynome du second degré
si Wk =Vk-Vk-1 a Wk - Wk-1 = constante
alors Uk suit un polynome de degré 3
etc ...
exemple (que je recopie servilement)
on forme les différences, puis les différences des différences etc
on aboutit à une différence constante pour la suite Tk
donc Sk est arithmétique (!) et on peut remonter ainsi à Uk de proche en proche, connaissant les 1er termes de chaque suite (entourés)
on aboutit à la "petite formule de Newton" :
Uk = 1*C(k - 1, 0) + 1*C(k-1, 1) + 1*C(k-1, 2) + 1*C(k-1, 3) + 1*C(k-1, 4) = (k4 -6k3 + 23k2 -18k+24)/24
où les C(m,n) sont les coefficients binomiaux = m!/(n!(m-n)!) avec la convention 0! = 1
on peut faire pareil avec les différences successives que tu as obtenues. pour retomber "expérimentalement" sur la formule de
jandri (k2-1, k3 - 2k) pour les 3ème solutions.
(3,4) (8,21) (15, 56) (24, 115) ... (à partir de k = 2)
Un tableau excel construit avec des formules "en colonne" (solutions successives pour un k donné) et indiquant les formules de jandri "en lignes"
en filtrant les solutions > 10000
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :