Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2007

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

Search the Archive

Re: Logical evaluation

  • To: mathgroup at smc.vnet.net
  • Subject: [mg82297] Re: Logical evaluation
  • From: Jean-Marc Gulliet <jeanmarc.gulliet at gmail.com>
  • Date: Wed, 17 Oct 2007 03:59:37 -0400 (EDT)
  • Organization: The Open University, Milton Keynes, UK
  • References: <ff1pq1$91j$1@smc.vnet.net>

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