       Missing simplification for ArcSin

• To: mathgroup at smc.vnet.net
• Subject: [mg127945] Missing simplification for ArcSin
• From: Roland Franzius <roland.franzius at uos.de>
• Date: Tue, 4 Sep 2012 05:47:06 -0400 (EDT)
• Delivered-to: l-mathgroup@mail-archive0.wolfram.com
• Delivered-to: l-mathgroup@wolfram.com
• Delivered-to: mathgroup-newout@smc.vnet.net
• Delivered-to: mathgroup-newsend@smc.vnet.net

```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