MathGroup Archive 1995

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Q: ArcTan[ Tan[ x ] ] = x

In article <DDuMDu.Joy at>, elsner at (Ron Elsner) writes:

|>Suppose I really want Mma to set ArcTan[ Tan[ x ] ] = x, or 
|>ArcSin[ Sin[ x ] ] = x.  How do I do this?

Hmm.  Mathematica appears particularly stubborn over this one.  I guess
the mathematicians amongst us would argue that, strictly speaking,
ArcSin[Sin[x]] =!= x, but rather ArcSin[Sin[x]] === x + (2 n Pi), due
to the periodicity of the trig functions.  However, it does seem that
in certain circumstances it would be nice to be able to ignore this
mathematical niceity.

Anyway, the two obvious approaches are
	Simplify[expr, Trig->True]

but neither of these work, so I guess the only approach is to teach
Mathematica some not-strictly-correct mathematics:

In[1]  := BadTrigRules = {ArcSin[Sin[a_]]->a, ArcTan[Tan[a_]]->a};
In[2]  := ArcSin[Sin[x]] /. BadTrigRules
Out[2] := x

which forces the answer for you.  You could write your own Simplify function
that did this sort of thing first, and then applied Mathematica's built
in Simplify fuction.

It might be nice, however, for Mathematica's trig functions to have an
option like "IgnorePeriodicity->True", or something, to force the above

Paul Howland
Defence Research Agency

  • Prev by Date: Question about diff. operators
  • Next by Date: Re: question about nest
  • Previous by thread: Re: Q: ArcTan[ Tan[ x ] ] = x
  • Next by thread: Re: Q: ArcTan[ Tan[ x ] ] = x