normal(sqrt(3+sqrt(5)))

Bugs

Modérateur : xcasadmin

PpHd
Messages : 6
Inscription : mer. juil. 11, 2007 7:56 pm

normal(sqrt(3+sqrt(5)))

Message par PpHd » ven. déc. 28, 2007 11:03 am

normal(sqrt(3+sqrt(5))) retourne rootof([[2,-1,-27,-22],[1,0,-16,-20,-1]])/9
Ce résultat est un peu déconcertant, non ? Est-ce normal ?

("giac 0.7.2")

parisse
Messages : 5734
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

Message par parisse » sam. déc. 29, 2007 3:42 pm

C'est de cette manière que giac calcule en interne, il se ramene a une unique extension algébrique sur Q au lieu de 2 extensions emboitées de degré 2. En faisant evalf on peut vérifier que les 2 expressions ont la même valeur.
Je crains qu'il soit difficile de "revenir en arrière", car l'élément primitif de l'extension algébrique n'a probablement pas d'expression simple (sauf à résoudre le polynome minimal avec Ferrari et Cardan).

PpHd
Messages : 6
Inscription : mer. juil. 11, 2007 7:56 pm

>

Message par PpHd » sam. déc. 29, 2007 6:42 pm

Pourtant c'est égal à
sqrt(10)/2+sqrt(2)/2

GIAC pourrait-il répondre cette réponse qui me parait plus simple et correspondre à une forme normale ?

parisse
Messages : 5734
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

Message par parisse » dim. déc. 30, 2007 10:54 am

je ne pense pas qu'il puisse la trouver pour les raisons expliquées ci-dessus, par contre
normal(sqrt(3+sqrt(5))-(sqrt(10)/2+sqrt(2)/2 ))
renvoie bien 0

Répondre