Re: Mathematica erkennt simple Äquivalenzen nicht

[Jens-Peer Kuska <kuska@XXXXXXX.de>]

Hallo,

vielleicht weil Mathematica nicht ahnt, das x und y
Real sein sollen, mit

x*Conjugate[y] + Conjugate[x]*y == 2 Re[x*y] // 
  FullSimplify[#, Element[{x, y}, Reals]] &

klappts prima.

Allerdings sehen

Plot3D[Abs[a*Cos[x/2] + Sin[x/2]], {x, -Pi, Pi}, {a, -2, 2}]

und

Plot3D[Cos[x/2]^2 + 2Re[a] Cos[x/2] Sin[x/2] +
    Sin[x/2]^2, {x, -Pi, Pi}, {a, -2, 2}]

nicht besonders "ahnlich aus und ich nehme
mal an, das 

Abs[a Cos[x/2]+Sin[x/2]] == Cos[x/2]^2 + 2Re[a] Cos[x/2] Sin[x/2] +
Sin[x/2]^2

wohl eher nicht True ergeben sollte.

Gruss
  Jens

"Felix E. Klee" wrote:
> 
> Hallo,
> 
> Mathematica 4.0 und 4.1 ist nicht in der Lage die folgenden Gleichungen zu
> verifizieren:
>   x*Conjugate[y] + Conjugate[x]*y == 2 Re[x*y] // FullSimplify
> und
>   Abs[a Cos[x/2]+Sin[x/2]] == Cos[x/2]^2 + 2Re[a] Cos[x/2] Sin[x/2] +
>     Sin[x/2]^2 // FullSimplify
> ergeben beide nicht (wie ich erwarte) true.
> 
> Bei der zweiten Gleichung kann ich Mathematica dazu bringen die Identität der
> linken und rechten Seite zu erkennen, indem ich "x/2" durch "y" ersetze. Wie
> aber kann ich Mathematica dazu bringen die Identität der rechten und linken
> Seite der ersten Gleichung zu erkennen?
> 
> BTW, sind diese Problemchen eigentlich in MMA 4.2 gelöst?
> 
> Felix