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

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!

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

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!

add a comment

3

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
```

This is now http://trac.sagemath.org/sage_trac/ticket/11941.

0

An alternative approach is not to use the symbolic ring but a polynomial ring:

sage: x = polygen(RR)

sage: (x^3+8).roots()

[(-2.00000000000000, 1)]

This returns a list of roots in RR with multiplcities.

Asked: **
2011-10-18 08:07:48 -0500
**

Seen: **1,964 times**

Last updated: **Dec 11 '13**

Using solve() to find positive real solutions to a complex equation

What is the best way to return only real solutions?

Solving polynomial equations with arbitrary coefficients

How to get all (numerical) solutions of an equation?

Numerical real solution of derivative

Sage says equation isn't true while Mathematica says it is

About roots of a certain polynomial equation

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.