Re: Simplification question

• To: mathgroup at smc.vnet.net
• Subject: [mg59085] Re: Simplification question
• From: Jean-Marc Gulliet <jeanmarc.gulliet at gmail.com>
• Date: Thu, 28 Jul 2005 02:27:33 -0400 (EDT)
• Organization: The Open University, Milton Keynes, U.K.
• References: <dc76pp\$jvg\$1@smc.vnet.net>
• Sender: owner-wri-mathgroup at wolfram.com

```snoofly wrote:
> Can someone explain this to me please.
>
> Clear[m]
>
> Simplify[Sin[3 m Pi], Assumptions -> m \[Element] Integers]
> 0
>
> Simplify[Cos[3 m Pi], Assumptions -> m \[Element] Integers]
>
> Cos[3 m \[Pi]]
>
> I'm not sure why Mathematica cannot deduce that the second simplification
> should be (1)^m.
>
Because it is a wrong answer!

In[1]:=
Simplify[Cos[m*Pi], Assumptions -> m \[Element] Integers]

Out[1]=
(-1)^m

In[2]:=
Simplify[Cos[m*Pi], Assumptions -> m \[Element] Integers] /. m -> 3*m

Out[2]=
(-1)^(3*m)

If m is even then

In[3]:=
Simplify[Cos[2*k*Pi], Assumptions -> k \[Element] Integers]

Out[3]=
1

If m is odd then

In[4]:=
Simplify[Cos[(2*k + 1)*Pi], Assumptions -> k \[Element] Integers]

Out[4]=
-1

Regards,
/J.M.

```

• Prev by Date: Re: Why won't Horner[] work?
• Next by Date: Re: "Substract one and add one" algorithm
• Previous by thread: Re: Simplification question
• Next by thread: Re: Simplification question