Ask Your Question
3

Solving radical inequalities

asked 2011-06-10 04:15:16 +0100

Eviatar Bach gravatar image

Can this be solved in Sage?

x-4>sqrt(x-2)

The standard solve method does not work, and neither does solve_ineq.

edit retag flag offensive close merge delete

Comments

I've been playing around with this question for a while now. I tried maxima's fourier elimination package with no success. I can't find a solution in Sage. Embarrassingly, WolframAlpha has no trouble: http://www.wolframalpha.com/input/?i=x-4+%3E+sqrt%28x-2%29

benjaminfjones gravatar imagebenjaminfjones ( 2011-06-10 14:45:55 +0100 )edit

Yes, I noticed WA could solve it.

Eviatar Bach gravatar imageEviatar Bach ( 2011-06-10 19:46:41 +0100 )edit

solve_ineq even fires an error here

Juanlu001 gravatar imageJuanlu001 ( 2011-06-16 03:15:27 +0100 )edit

If you read the documentation for `solve_ineq` you'll see that if you simply call `solve_ineq` with an inequality as the argument, it passed it to Maxima assuming that it's a rational inequality (which this is certainly not). If you pass the inequality and variable as lists then it passes them to Maxima using the fourier elimination procedure which can solve some general non-linear inequalities, but not this one unfortunately. See "Case 1" and "Case 2" in the documentation for `solve_ineq`.

benjaminfjones gravatar imagebenjaminfjones ( 2011-06-16 17:46:20 +0100 )edit

Can you post your answer as an "answer" to "Can this be solved in Sage"?

Jason Grout gravatar imageJason Grout ( 2011-07-04 21:18:48 +0100 )edit

1 Answer

Sort by ยป oldest newest most voted
0

answered 2011-07-04 21:26:40 +0100

benjaminfjones gravatar image

If you read the documentation for solve_ineq you'll see that if you call solve_ineq with an inequality as the argument, it's passed to Maxima assuming that it's a rational inequality (which this is certainly not). If you pass the inequality and variable as lists, Maxima is instructed to use the "Fourier elimination procedure" which can solve some general non-linear inequalities, but not this one unfortunately.

See "Case 1" and "Case 2" in the documentation for solve_ineq.

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 2011-06-10 04:15:16 +0100

Seen: 1,025 times

Last updated: Jul 04 '11