Real Solution of x^3+8 == 0?

i like this post (click again to cancel)
3
i dont like this post (click again to cancel)

I do not understand the following:

sage: assume(x,'real')
sage: solve(x^3+8==0,x)
[]

Why does this equation have no solution? But -2 is a solution!

Thanks for help!

asked Oct 18 '11

amalea gravatar image amalea
71 5 8

updated Oct 18 '11

Jason Grout gravatar image Jason Grout
3185 7 27 71
i like this answer (click again to cancel)
3
i dont like this answer (click again to cancel)

I think this is because (-1)^(1/3) is not considered to be real.

sage: solve(x^3+1==0,x)
[x == 1/2*I*(-1)^(1/3)*sqrt(3) - 1/2*(-1)^(1/3), x == -1/2*I*(-1)^(1/3)*sqrt(3) - 1/2*(-1)^(1/3), x == (-1)^(1/3)]
sage: assume(x,'real')
sage: solve(x^3+1==0,x)
[]

Note that Maxima (which does our solving) doesn't actually care about x being real, since it's a dummy variable.

(%i1) declare(x,real);
(%o1)                                done
(%i2) solve(x^3+1=0,x);
                     sqrt(3) %i - 1      sqrt(3) %i + 1
(%o2)         [x = - --------------, x = --------------, x = - 1]
                           2                   2

But when it's returned to Sage, somehow it doesn't keeps the x=-1 syntax and gets the cube root again, and it falls prey to

sage: (-1)^(1/3).n()
0.500000000000000 + 0.866025403784439*I
link

posted Oct 18 '11

kcrisman gravatar image kcrisman
6639 13 66 150

Your answer

Please start posting your answer anonymously - your answer will be saved within the current session and published after you log in or create a new account. Please try to give a substantial answer, for discussions, please use comments and please do remember to vote (after you log in)!
[hide preview]

Question tools

1 follower

Tags:

Stats:

Asked: Oct 18 '11

Seen: 305 times

Last updated: Oct 18 '11

powered by ASKBOT version 0.7.22
Copyright Sage, 2010. Some rights reserved under creative commons license.