       Re: principle root? problem

• To: mathgroup at smc.vnet.net
• Subject: [mg32554] Re: [mg32532] principle root? problem
• From: Daniel Lichtblau <danl at wolfram.com>
• Date: Sat, 26 Jan 2002 04:08:28 -0500 (EST)
• References: <200201250758.CAA09888@smc.vnet.net>
• Sender: owner-wri-mathgroup at wolfram.com

```RDownes wrote:
>
> The other day, I was explaining something to a student regarding solving a
> simple algebra problem.
>
> (x^2-5)^(2/3)=16
>
> The solution to which is easily found. All four that is!  However my version of
> Mathematica only gave the two real.  Is there a simple explanation for this?
>
> Also, Mathematica gives the solution to x^(1/2)= -16 as 256. Now, is this a
> "principle root" problem and are the two possibly related? Any insights would
> be appreciated for this little enigma.
>
> Thanks,
>
> Rob

Mathematica interprets radicals using principal roots for
Power[whatever, 1/integer]. This is documented in The Mathematica Book
(p. 754 in version 4).

For your example, Mathematica actually gives an empty solution set;
x->256 is the solution for right-hand-side set to +16.

In:= Solve[x^(1/2)==16]
Out= {{x -> 256}}

In:= Solve[x^(1/2)==-16]
Out= {}

To see the solution obtained by clearing radicals (which was later found
to be wrong, and thus discarded), inhibit verification.

In:= Solve[x^(1/2)==-16, VerifySolutions->False]
Out= {{x -> 256}}

This use of principal roots is in fact at the root of the discrepancy
between what you get for your first system and what you may have
expected. Again this shows up by inhibiting verification.

In:= Solve[(x^2-5)^(2/3)==16]
Out= {{x -> -Sqrt}, {x -> Sqrt}}

In:= Solve[(x^2-5)^(2/3)==16, VerifySolutions->False]
Out= {{x -> -I Sqrt}, {x -> I Sqrt}, {x -> -Sqrt},
{x -> Sqrt}}

Note that this tactic of stopping the verifier is quite dependent on
exactly what internal transformations took place in the solving process.
It could well happen that different approach might not generate the
parasite solutions. So this is not a guaranteed method if your interest
is in finding all possible parasites.

Daniel Lichtblau
Wolfram Research

```

• Prev by Date: Re: principle root? problem