Re: Mathematica erkennt simple Äquivalenzen nicht

["Felix E. Klee" <felix.klee@XXXXXXX.de>]

On Monday 03 March 2003 22:45, Jens-Peer Kuska wrote:
> > > 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 ..

Oha!

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

Danke, das funktioniert. Mich wundert nur, dass FullSimplify das nicht selber 
ausprobiert.

Felix