Re: Logical evaluation
- To: mathgroup at smc.vnet.net
- Subject: [mg82315] Re: Logical evaluation
- From: Jens-Peer Kuska <kuska at informatik.uni-leipzig.de>
- Date: Wed, 17 Oct 2007 04:08:56 -0400 (EDT)
- References: <ff1pq1$91j$1@smc.vnet.net>
Hi, because \[ExponentialE]^(-\[ImaginaryI] x) + \[ExponentialE]^(\[ImaginaryI] \ x) == 2 TrigToExp[Cos[x]] // FullSimplify does it. Regards Jens 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? > > Michael Mandelberg > >