関数 solve は、新しい補助変数を使用し新たに方程式を追加することにより根号を含む方程式を解きます。

結果として得られる問題は連立方程式になる場合もありますが、多くの単純な例では変換と後処理で対応可能な方程式になります。たとえば、方程式  は、 を代入すると  に変換されます。

solve(sqrt(x+1)-sqrt(x-1)=a, x);

solve(x+sqrt(x)-2, x);

solve(x+sqrt(x)+x^(1/3)=3,x);

solve(sqrt(x)+sqrt(x+1)=3);

solve({sqrt(x)+sqrt(y)-2, x-y+1},{x,y});