       Re: Solve bug !!

• To: mathgroup at smc.vnet.net
• Subject: [mg31204] Re: [mg31196] Solve bug !!
• From: BobHanlon at aol.com
• Date: Fri, 19 Oct 2001 03:11:53 -0400 (EDT)
• Sender: owner-wri-mathgroup at wolfram.com

```In a message dated 2001/10/17 6:18:19 AM, arzo at exp.uji.es writes:

>Where is the minus sign whe must obtain in the second case??
>
>> Solve[(E^c)^2 - A*E^c + 1 == 0, c]
>
>{{c -> Log[(1/2)*(A - Sqrt[-4 + A^2])]},
>  {c -> Log[(1/2)*(A + Sqrt[-4 + A^2])]}}
>
>> Solve[(E^(-c))^2 - A*E^(-c) + 1 == 0, c]
>
>{{c -> Log[(1/2)*(A - Sqrt[-4 + A^2])]},
>  {c -> Log[(1/2)*(A + Sqrt[-4 + A^2])]}}
>
>
>Mathematica 4.1, Windows 2000 SP2, PII400.

eqn1 = (E^c)^2-A*E^c+1==0;

eqn2 = (E^(-c))^2-A*E^(-c)+1==0;

soln1 = Solve[eqn1,c];

\!\(\*FormBox[
RowBox[{\(Solve::"ifun"\),
":", "\<\"Inverse functions are being used by \
\\!\\(TraditionalForm\\`Solve\\), so some solutions may not be found.\"\>"}],
\

Verifying the results

(eqn1 /. soln1) // Simplify

{True, True}

soln2 = Solve[eqn2,c];

\!\(\*FormBox[
RowBox[{\(Solve::"ifun"\), \(\(:\)\(\ \)\), "\<\"Inverse functions are \
being used by \\!\\(TraditionalForm\\`Solve\\), so some solutions may not be \

Again, verifying the results

(eqn2 /. soln2) // Simplify

{True, True}

In both cases there was an explicit warning that inverse functions were being
used
and that some solutions might not be found. Since,

soln1 == soln2

True

then, the negatives are also a solution to both equations

soln3 = (soln1 /. (x_ -> y_) :> (x -> -y));

{eqn1, eqn2} /. soln3 // Simplify

{{True, True}, {True, True}}

Bob Hanlon
Chantilly, VA  USA

```

• Prev by Date: Re: Limit and Abs
• Next by Date: Re: Solve bug !!
• Previous by thread: Re: Solve bug !!
• Next by thread: Re: Solve bug !!