Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Topic: Conjugate
Replies: 3   Last Post: Mar 3, 2013 2:21 AM

 Messages: [ Previous | Next ]
 Bob Hanlon Posts: 906 Registered: 10/29/11
Re: Conjugate
Posted: Mar 3, 2013 2:21 AM

To have an Element statement applied it would have to be used as an
assumption along with a command that can use assumptions (e.g.,
Simplify, FullSimplify).

Assuming[Element[{A, B}, Complexes],
FullSimplify[Conjugate[A + B] == Conjugate[A] + Conjugate[B]]]

True

FullSimplify[Conjugate[A + B] == Conjugate[A] + Conjugate[B],
Element[{A, B}, Complexes]]

True

However, this Assumption is unnecessary.

FullSimplify[Conjugate[A + B] == Conjugate[A] + Conjugate[B]]

True

Bob Hanlon

On Sat, Mar 2, 2013 at 3:46 AM, \$B1s;3Ao0l(B <st.merl.ebina@gmail.com> wrote:
> I executed following inputs:
> Exit[]
> Element[{A, B}, Complexes];
> Conjugate[A + B] == Conjugate[A] + Conjugate[B]
> I expected "True" on the last input, but Mathematica's output was:
> Conjugate[A + B] == Conjugate[A] + Conjugate[B]
> Why didnt Mathematica answer "True"?
> Thanks.
>

Date Subject Author
3/3/13 Murray Eisenberg
3/3/13 Bob Hanlon
3/3/13 Andrzej Kozlowski