Theorie de galois
Olympiades mathématiques, énigmes et défis
-
alphax
- Membre Naturel
- Messages: 26
- Enregistré le: 07 Jan 2020, 03:10
-
par alphax » 18 Jan 2020, 00:09
j ai lu dans un livre sur la theorie de galois que l'equation x^5-10*x+5=0 n'avait pas de solution qu'on puisse ecrire avec des radicaux.or une des solutions de cette equation est une des solutions de l'equation x^4-531939*x^3/276044+3170255*x^2/828132-1476733*x/207033+1159979/414066=0 qui peut s ecrire par radicaux.
alors la theorie de galois est t elle fausse? ou est l'erreur?
-
GaBuZoMeu
- Habitué(e)
- Messages: 6016
- Enregistré le: 05 Mai 2019, 09:07
-
par GaBuZoMeu » 18 Jan 2020, 06:59
Bonjour,
Évariste
Galois mérite le respect de son patronyme, avec le G majuscule !
Où est l'erreur ? Chez toi, bien entendu. Les deux polynômes sont premiers entre eux, ils n'ont aucune racine commune.
Faisons calculer leur pgcd par un esclave :
- Code: Tout sélectionner
x=var('x')
P=x^5-10*x+5
Q=x^4-531939*x^3/276044+3170255*x^2/828132\
-1476733*x/207033+1159979/414066
P.gcd(Q)
La réponse :
- Code: Tout sélectionner
1
Bon, maintenant, d'où sors-tu ce polynôme ? Si tu veux vraiment comprendre ton erreur, il faut le dire.
Connaîtrais-tu un certain Pablo_de_retour, par hasard ?
-
alphax
- Membre Naturel
- Messages: 26
- Enregistré le: 07 Jan 2020, 03:10
-
par alphax » 18 Jan 2020, 23:16
je ne connais pas de pablo!
-
alphax
- Membre Naturel
- Messages: 26
- Enregistré le: 07 Jan 2020, 03:10
-
par alphax » 18 Jan 2020, 23:28
d,ou je sort le polynome, d'un calcul long que je ne peux pas mettre ici.
-
GaBuZoMeu
- Habitué(e)
- Messages: 6016
- Enregistré le: 05 Mai 2019, 09:07
-
par GaBuZoMeu » 19 Jan 2020, 10:11
Puisque tu ne veux pas en dire plus sur ton "secret de fabrication", on peut faire un peu de retro-ingénierie. Appelons P le polynôme de degré 5 et Q le polynôme de degré 4 dont tu affirmes qu'il a une racine en commun avec Q (ce qui est faux, bien sûr).
On peut trouver des valeurs approchées des racines de P (trois réelles, deux complexes) :
-1.88596079598409
0.503227158966587
1.62172535785064
-0.119495860416570 - 1.79842116245329*I
-0.119495860416570 + 1.79842116245329*I
et on peut de même trouver des valeurs approchées des racines de Q (deux réelles, deux complexes)
0.503227158966587
1.62172530039064
-0.0989722230709699 - 1.85011645981297*I
-0.0989722230709699 + 1.85011645981297*I
On constate que la première racine de Q est si proche de la deuxième racine de P que les 15 décimales données n'arrivent pas à le distinguer. La deuxième racine de Q est aussi très proche de la troisième racine de P, mais là on voit tout de même la différence.
Voyons de plus près cette première racine de Q. Elle a comme il se doit pour un polynôme de degré 4 une expression avec des radicaux, qu'on peut faire calculer par un logiciel de calcul formel (j'utilise pour ma part SageMath). Elle est si horrible que je ne l'affiche pas ici, disons seulement qu'on y voit apparaître la racine carrée de
10755179336367729809003150272017476399
On peut rentrer cette expression exacte de la racine de Q dans P, et ... on ne trouve pas 0, mais environ 2.30926389122033e-14 : tout tout petit certes, mais pas nul. Ce n'est pas une racine de P.
On peut donc imaginer les grandes lignes de ta recette de fabrication de Q : fabriquer un polynôme de degré 4 à coefficients rationnels qui s'annule très très près de deux des racines de P. Bravo pour l'effort ! Mais aucune des racines de Q n'est racine de P !
Je peux te proposer un polynôme de degré 2 dont les deux racines réelles sont pratiquement indistinguables de deux des racines de P :
43145066915765420*x^2 - 91681216051787737*x + 35210525829168255
-
alphax
- Membre Naturel
- Messages: 26
- Enregistré le: 07 Jan 2020, 03:10
-
par alphax » 20 Jan 2020, 04:18
ok j ai vu l'erreur mais j'ai obtenu ce polynome en calculant (je sais plus comment) a partir du polynome de degre 5
-
GaBuZoMeu
- Habitué(e)
- Messages: 6016
- Enregistré le: 05 Mai 2019, 09:07
-
par GaBuZoMeu » 20 Jan 2020, 09:07
alphax a écrit:j'ai obtenu ce polynome en calculant (je sais plus comment) a partir du polynome de degre 5
Eh bien, nous voila bien avancés !
-
alphax
- Membre Naturel
- Messages: 26
- Enregistré le: 07 Jan 2020, 03:10
-
par alphax » 21 Jan 2020, 02:18
je peux peut etre retrouver la fabrication du polynome avec mes notes
est ce que ca t'interreses?
-
GaBuZoMeu
- Habitué(e)
- Messages: 6016
- Enregistré le: 05 Mai 2019, 09:07
-
par GaBuZoMeu » 21 Jan 2020, 07:34
Ce qui m'intéresserait, c'est que tu puisses en donner l'idée. Mais, s'il te plaît, pas une suite interminable de calculs.
Par exemple, pour la fabrication du polynôme du second degré que j'ai donné, j'ai simplement fabriqué des approximations rationnelles de deux des racines du polynôme de départ et écrit le polynôme à coefficient rationnels qui a pour racines ces approximations rationnelles. Vraiment basique.
-
alphax
- Membre Naturel
- Messages: 26
- Enregistré le: 07 Jan 2020, 03:10
-
par alphax » 21 Jan 2020, 23:15
moi je n'ai pas fait d'approximations. c'est pour ca que je croyais qu'elle etait egale
-
GaBuZoMeu
- Habitué(e)
- Messages: 6016
- Enregistré le: 05 Mai 2019, 09:07
-
par GaBuZoMeu » 22 Jan 2020, 07:26
alphax a écrit:moi je n'ai pas fait d'approximations
Je ne te crois pas.
-
alphax
- Membre Naturel
- Messages: 26
- Enregistré le: 07 Jan 2020, 03:10
-
par alphax » 22 Jan 2020, 18:54
si si j'ai pas fait d'approximatios
-
GaBuZoMeu
- Habitué(e)
- Messages: 6016
- Enregistré le: 05 Mai 2019, 09:07
-
par GaBuZoMeu » 22 Jan 2020, 19:30
Non non, je ne te crois pas.
Si tu veux prouver tes dires, un moyen simple : dire exactement ce que tu as fait.
Mais j'en suis sûr : le fait que les racines réelles du polynôme de degré 4 soient très proches, mais différentes, de celles du polynôme de degré 5 montre qu'il y a eu approximation. Tu as peut-être pris une expression décimale tronquée pour une valeur exacte, ou quelque chose de ce genre.
-
alphax
- Membre Naturel
- Messages: 26
- Enregistré le: 07 Jan 2020, 03:10
-
par alphax » 23 Jan 2020, 00:22
je n'ai pas encore trouver la fabrication; mais je n'ai pas pris de valeur approchee, c'est pour ca que j'etais persuade que c'etait egal. par contre ma calculatrice (ti 200 voyage) etait sur le mode auto au lieu de exact, pour le mode exact/approchree, c'est peut etre elle qui a pris une valeur approchee!!??
-
alphax
- Membre Naturel
- Messages: 26
- Enregistré le: 07 Jan 2020, 03:10
-
par alphax » 23 Jan 2020, 00:31
comment veux tu trouver des polynomes avec des quotients qui fasse une approximation en e-14 , c'est pas possible, c'est forcement une formule. je vais regarder mes notes pour essayer de trouver l'erreur
-
alphax
- Membre Naturel
- Messages: 26
- Enregistré le: 07 Jan 2020, 03:10
-
par alphax » 23 Jan 2020, 02:41
je vais essayer de refaire le calcul en mode exact et si ma calculatrice peut le faire, le cas plus general x^5+p*x+q=0 .on va bien voir
-
alphax
- Membre Naturel
- Messages: 26
- Enregistré le: 07 Jan 2020, 03:10
-
par alphax » 23 Jan 2020, 03:33
ma calculatrice ne peut pas calculer le cas avec p et q. dommage
par contre ca peut mettre du temps parce que ma calculatrice est lente quand ca devient complique ,c est comme un ordinateur des annees 80, j'etais passe par une puissance x^24 si je me souviens bien
-
alphax
- Membre Naturel
- Messages: 26
- Enregistré le: 07 Jan 2020, 03:10
-
par alphax » 23 Jan 2020, 03:48
j'avais essaye xcas mais lorsque le resultat est trop long, il n'affiche pas le resultat.
je vais regarder sagemath
-
alphax
- Membre Naturel
- Messages: 26
- Enregistré le: 07 Jan 2020, 03:10
-
par alphax » 23 Jan 2020, 04:05
j'aurais certainement pas fini de la nuit, ma calculatrice rame et j'ai 10h de telechargement pour sagemath
-
alphax
- Membre Naturel
- Messages: 26
- Enregistré le: 07 Jan 2020, 03:10
-
par alphax » 23 Jan 2020, 05:40
en mode exact, ma calculatrice n'y arrive pas.
je vais essayer sagemath
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 18 invités