Le forum de XCAS

f(x):=sqrt(25-(x+1)*sqrt(4-(x-11)*sqrt(1+(x-6)*(x-8))))
g(x):=(-x^2+9x-18)/2
L'équation f(x)=g(x) a 2 solutions dont l'une est 5
solve(f(x)=g(x)) renvoie Gen [int] Erreur: Type Argument Incorrect
Pour démontrer que 5 est solution on peut travailler dans l'éditeur d'expressions et factoriser les contenus des racines carrées qui pour x<7 sont tous des carrés

Je pense avoir trouvé.
f(x):=sqrt(25-(x+1)*sqrt(4-(x-11)*sqrt(1+(x-6)*(x-8))))
g(x):=(-x^2+9x-18)/2
solve(g(x)>=0) // pas de solution si x>6
posons(x<=6);E:=simplifier(f(x))
solve(E=g(x))

giac ne sait pas (pour l'instant) resoudre des equations avec des racines imbriquees dans des racines. Je rajoute un check pour avoir un message d'erreur plus explicite
[x,sqrt(1+(x-6)*(x-8)),sqrt(4-(x-11)*sqrt(1+(x-6)*(x-8)))] is not rational w.r.t. x Erreur: Valeur Argument Incorrecte