Posté par
Noflah Noflah
Bonjour Ledino,
Merci de ta réponse.
Qu'appelles tu la double précision ? C'est un phénomène d'erreur d'arrondi de l'ordinateur lorsqu'il travaille avec de gros nombres ?
Personnellement pour les énigmes j'utilise CamL, bloqué à 2^30 de toute façon, à moins d'utiliser #bignum.
Quoiqu'il arrive une résolution informatique je sais plus ou moins faire. Je me posais la question d'une résolution exacte. La raison :
On écrit :
G+M=a²
M+P=b²
P+G=c²
Par une résolution de système 3x3 on obtient P,G et M en fonction a,b,c, notamment
P=(3*b²-a²)/4 si je me souviens bien, quelque chose comme ça (en utilisant la condition G-M=M-P qui donne a²+b²=2*c² ce qui permet de retirer c des expressions).
Arrivé là j'ai pensé à faire tourner un programme informatique (on avait les conditions : b<c<a<b*sqrt(3))
Mais que mettre dans la boucle ?
Par exemple si on fait un
"for b=1 to n" où l'on ferait monter n tant que l'on veut, il faudrait ensuite faire varier a entre b+2 et sqrt(3)*b.
Seulement qu'est ce qui nous garantit dans cette boucle la minimalité de P ?
Comment savoir si (3b²-a²) est minimal ? Peut être que pour une valeur plus grande de b que le n que l'on avait mis, on aurait une valeur de a tel que P soit plus petit.
C'est d'ailleurs ce que j'ai eu : pour n pas assez grand je n'avais accès qu'à la solution P=482 (gripsou) et pour un n plus grand j'ai eu accès à P=386. Je me suis alors dit que pour n encore supérieur il y aurait peut être encore plus grand.
Autre moyen de procéder : faire la boucle sur les valeur de P, au moins la première trouvé représente forcement P minimal.
donc "for P=1 to n do" et une fois une valeur donné à P on obtient une relation entre a et b. Il faut donc supposer une valeur à l'un ou l'autre pour obtenir les valeur de a et b, et vérifier que a²+b² est le double d'un carré. C'est de cette manière ci que j'ai procédé il me semble, mais cela reste une résolution informatique, nous n'avons pas réellement la garantit que P est minimal.
Pour la résolution mathématique, j'aurais aimé résoudre a²+b²=2c², les solutions alors dépendent d'un paramètre k naturel (comme les équations diophantienne) et il suffit de le prendre de façon à rendre P minimal. Seulement je n'ai pas réussit à faire ça, et je me demandais si quelqu'un y était arrivé. C'est le cas dans l'énigme sur Gripsou par Buzard, mais les outils utilisés pour résoudre cette équation me dépassent.