MathGroup Archive 2000

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

Search the Archive

RE: A trig identity that Mathematica doesn't know?


Gianluca,

To show that

expr = ArcTan[ y/Sqrt[R^2-y^2] ] - ArcSin[ y/R ]

equals 0 for 0<y<R, you might compute the sine of the expression and show
that it zero:

Simplify[ TrigExpand[ Sin[expr]], R>0]

The condition R>0 is necessary!

Fred Simons
Eindhoven University of Technology



  • Prev by Date: PentadiagonalSolve?
  • Next by Date: Database Access Kit
  • Previous by thread: A trig identity that Mathematica doesn't know?
  • Next by thread: Re: A Dead Thread? Re. Coloring ExtendGraphics ListContourPlot s...