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

Re: Logical evaluation

• To: mathgroup at smc.vnet.net
• Subject: [mg82283] Re: Logical evaluation
• From: "David Park" <djmpark at comcast.net>
• Date: Wed, 17 Oct 2007 03:52:26 -0400 (EDT)
• References: <ff1pq1$91j$1@smc.vnet.net>

\[ExponentialE]^(-\[ImaginaryI] x) + \[ExponentialE]^(\[ImaginaryI] \
x) == 2 TrigToExp[Cos[x]] // ExpandAll
True

\[ExponentialE]^(-\[ImaginaryI] x) + \[ExponentialE]^(\[ImaginaryI] \
x) == 2 TrigToExp[Cos[x]] // Simplify
True


-- 
David Park
djmpark at comcast.net
http://home.comcast.net/~djmpark/


"Michael Mandelberg" <mmandelberg at comcast.net> wrote in message 
news:ff1pq1$91j$1 at smc.vnet.net...
>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
>
>