MathGroup Archive 2012

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

Search the Archive

Missing simplification for ArcSin

While working on the solution of the free motion on a sphere one 
encounters the energy integral

{d\[Tau]->(2 du^2/4)/Sqrt[(1+\[Mu])u^2- (1+u^2/4)^2]}   ,   \[Mu]>0

in the plane of the stereographic map

u = 2 ArcTan[theta/2]

Of course one expects a solution in ArcSin form, since its only a tilted 
motion with constant speed on the equator, but Mathematica delivers a 
complex ArcTan wich is very difficult to Reduce to Reals.

At this I found the all time not detected trig flaw in Mathematica:

In: FullSimplify[{ArcTan[x] - ArcSin[x/Sqrt[1 + x^2]] == 0}, Trig -> True,
   Assumptions -> x > 0]

Out: {ArcSin[x/Sqrt[1 + x^2]] == ArcTan[x]}

does not work. This may be traced to the incapability to work on complex 
Logs of Reals

In: Assuming[0 < x < 1,
  FullSimplify[TrigToExp[{ArcTan[x] - ArcSin[x/Sqrt[1 + x^2]] }]]]

Out: {1/2 \[ImaginaryI] (Log[1 + \[ImaginaryI] x] +
     Log[-(\[ImaginaryI]/(-\[ImaginaryI] + x))])}

So, while waiting for an improvement in this 
trig-simplification-desert, I am using the standard formula set generated by

ArcFunctionsReplacements =
  Outer[FullSimplify[#2[x] -> InverseFunction[#1][#1[#2[x]]]] &, {Sin,
    Cos, Tan}, {ArcSin, ArcCos, ArcTan}]

{{ArcSin[x] -> ArcSin[x], ArcCos[x] -> ArcSin[Sqrt[1 - x^2]],
   ArcTan[x] -> ArcSin[x/Sqrt[1 + x^2]]},
{ArcSin[x] ->  ArcCos[Sqrt[1 - x^2]], ArcCos[x] -> ArcCos[x],
   ArcTan[x] -> ArcSec[Sqrt[1 + x^2]]},
{ArcSin[x] ->  ArcTan[x/Sqrt[1 - x^2]],
  ArcCos[x] -> ArcCot[x/Sqrt[1 - x^2]], ArcTan[x] -> ArcTan[x]}}


Roland Franzius

  • Prev by Date: Re: A new FrontEnd
  • Next by Date: Re: DSolve for a real function
  • Previous by thread: Re: How can I use FindMaximum to get a result better than MachinePrecision?
  • Next by thread: Eigensystem bug in Mathematica 7.0.1 on Windows 7 (64 bit) for