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