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

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