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