MathGroup Archive 2007

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

Search the Archive

Re: Logical evaluation


Michael Mandelberg wrote:
> I can't figure out why the following does not evaulate to TRUE:
> 
> In[100]:= \[ExponentialE]^(-\[ImaginaryI] x) + \[ExponentialE]^(\
> \[ImaginaryI] x) == 2 TrigToExp[Cos[x]]
> 
> Out[100]= \[ExponentialE]^(-\[ImaginaryI] x) + \[ExponentialE]^(\
> \[ImaginaryI] x) ==
>  2 (\[ExponentialE]^(-\[ImaginaryI] x)/
>     2 + \[ExponentialE]^(\[ImaginaryI] x)/2)
> 
> Any ideas?

Sometimes one needs to nudge Mathematica:

In[1]:= Simplify[E^((-I)*x) + E^(I*x) == 2*TrigToExp[Cos[x]]]

Out[1]= True

Regards,
-- 
Jean-Marc


  • Prev by Date: EventHandler question
  • Next by Date: Mathematica 6.01 and openSUSE 10.3
  • Previous by thread: Re: Logical evaluation
  • Next by thread: Re: Logical evaluation