Re: Mathematica erkennt simple Äquivalenzen nicht

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

Hallo,

> > wohl eher nicht True ergeben sollte.
> 
> Schon wieder ein Tippfehler; Ich meinte
>   Abs[a Cos[x/2] + Sin[x/2]]^2 ==
>   Abs[a]^2 Cos[x/2]^2 + 2Re[a]Cos[x/2]Sin[x/2] + Sin[x/2]^2
>   // FullSimplify[#, Elem[x, Reals]]&

Tja und die Tippfehler enden nicht, das ganze heisst
Element[x,Reals] und *nicht* Elem -- [Esc]elem[Esc] ist
der FontEnd alias ..

Allerdings macht Mathematica erst etwas draus, wenn man
Abs[q_]:> Sqrt[Conjugate[q]*q] ersetzt also

Abs[a Cos[x/2] + Sin[x/2]]^2 == 
      Abs[a]^2 Cos[x/2]^2 + 2Re[a]Cos[x/2]Sin[x/2] + Sin[x/2]^2 /. 
    Abs[q_] :> Sqrt[Conjugate[q]*q] // 
    FullSimplify[#, Element[x, Reals] ] &

Gruss
  Jens