Le forum de XCAS

Bonjour
Je veux essayer de montrer que CD2^(1/2)==2^(1/3)
m:=rootof([1,0],[11,-sqrt(3),3,-sqrt(3)])
evalf(m)
CD2:=(4*m^2+4)/(3*m^2+2*m*sqrt(3)+1)
evalf(CD2^(1/2));evalf(2^(1/3))
simplifier(CD2^(1/2)-2^(1/3))
Xcas quitte sur la dernière instruction après quelques secondes (erreur de segmentation)

Il faudra que je rajoute un check dans rootof, en effet, il ne doit pas y avoir d'extension algébrique en coefficients de rootof. Ou mieux il faudrait convertir automatiquement le rootof initial.

Dans mon exercice j'avais une longueur L dépendant d'un paramètre m:
L:=(m^4-2*m^3*sqrt(3)+4*m^2-2*m*sqrt(3)+3)/(12*m^4+8*m^3*sqrt(3)+4*m^2)
Je devais récupérer la racine réelle positive de L-1
j'avais essayé les racines dans le rootof en me doutant bien que ce n'était pas possible mais comme sur cet essai:
a:=rootof([1,0],[1,sqrt(3)]);simplifier(a^2)
c'était concluant alors j'ai insisté ...