MathGroup Archive 2009

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Bug in Solve?

  • To: mathgroup at smc.vnet.net
  • Subject: [mg102975] Re: Bug in Solve?
  • From: Szabolcs Horvát <szhorvat at gmail.com>
  • Date: Thu, 3 Sep 2009 05:42:09 -0400 (EDT)
  • References: <h7l8rh$35s$1@smc.vnet.net>

On 2009.09.02. 10:02, tonysin wrote:
> I am just trying to learn Mathematica. What am I doing wrong here?
>
> I have a very simple equation:
>
> x^3 - 15 x + 2 = 0
>
> When I plot it in Mathematica 7,
>
> ClearAll[*]
> f[x_] := x^3 - 15 x + 2
> Plot[f[x], {x, -5, 5}]
>
>
> it gives the expected graph of a cubic, with three real roots near -4,
> 0, and 4.
>
>
> When I NSolve it,
>
> NSolve[f[x] == 0, x]
>
> it gives
>
> {{x ->  -3.938}, {x ->  0.133492}, {x ->  3.80451}}
>
> which is exactly what you would expect from the graph.
>
> But when I Solve it
>
> Solve[f[x] == 0, x]
>
> it gives this mess
>
> {{x ->  5/(-1 + 2 I Sqrt[31])^(1/3) + (-1 + 2 I Sqrt[31])^(
>      1/3)}, {x ->  -((5 (1 + I Sqrt[3]))/(
>       2 (-1 + 2 I Sqrt[31])^(1/3))) -
>      1/2 (1 - I Sqrt[3]) (-1 + 2 I Sqrt[31])^(1/3)}, {x ->  -((
>       5 (1 - I Sqrt[3]))/(2 (-1 + 2 I Sqrt[31])^(1/3))) -
>      1/2 (1 + I Sqrt[3]) (-1 + 2 I Sqrt[31])^(1/3)}}
>
>
> I don't know how it looks in your font, but that "I" in each solution
> is the imaginary i.  Solve is saying this equation has no real roots,
> even though the graph clearly shows that all three roots are real.
>

You should have at least checked the numerical value of those 
expressions before crying "bug!".  Of course all three roots are real, 
and both NSolve and Solve give a correct solution.

Google for "casus irreducibilis" to find out why those Is are necessary.


  • Prev by Date: Re: contourplot in xy plane of Graphics3D
  • Next by Date: Re: Re: Size of numerical slider value in Manipulate
  • Previous by thread: Re: Bug in Solve?
  • Next by thread: Re: Bug in Solve?