Numerically Solve a Symbolic Equation

edit

Hello!

You can try the option to_poly_solve which gives you:

sage: eqn = sqrt(16-x^2) - (1/4)*x^2-1.28==0;
sage: sol = solve(eqn, x, to_poly_solve=true); sol 
[x == -2/5*sqrt(2)*sqrt(5*sqrt(157) - 41),  x == 2/5*sqrt(2)*sqrt(5*sqrt(157) - 41)] 
sage: n(sol[0].rhs())
-2.63209850458274 
sage: n(sol[1].rhs())
2.63209850458274

Another possiblity would be to plot the function for getting the number and estimate values for the solutions. Then you can try to find those solutions using find_roots:

sage: eqn.find_root(-3,-2)
-2.632098504582708
sage: eqn.find_root(2,3)
2.632098504582708

Kind regards

Philipp

Hello,

I tried a different way of doing the same. In the code below, eq1 is the circle and eq2 is the parabola. You'll find the solution you are looking for.

x, y = var('x, y');
eq1 =  x^2 + y^2 == 16; show(eq1);
eq2 = y == 1/4*x^2-1.28; show(eq2);
eqs = [eq1, eq2];
sol = solve(eqs, x, y); show(sol);

Hope this helped.

Alternatively, we can solve the corresponding polynomial equation over an explicitly declared numeric field:

sage: ( (16-x^2) - (1/4*x^2 + 1.28)^2 ).roots( ring=RR )
[(-2.63209850458273, 1), (2.63209850458273, 1)]

sage: ( (16-x^2) - (1/4*x^2 + 1.28)^2 ).roots( ring=RealField(300), multiplicities=False )
[-2.63209850458273472222645327989825104599024721420142212754062239578568429138110784195156834,
 2.63209850458273472222645327989825104599024721420142212754062239578568429138110784195156834]

Let us compare with the values obtained in the spirit of the answer of philipp7...

sage: [ sol[x].n() 
....:   for sol in solve( sqrt(16-x^2) - 1/4*x^2-1.28 == 0, x
....:                     , solution_dict=True
....:                     , to_poly_solve=True ) ]
[-2.63209850458273, 2.63209850458273]