MathGroup Archive 2001

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

Search the Archive

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.\"\>"}], 
\
TraditionalForm]\)

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 \
found.\"\>"}], TraditionalForm]\)

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