Re: Simplifying Log to ArcCos Expressions

*To*: mathgroup at smc.vnet.net*Subject*: [mg56874] Re: Simplifying Log to ArcCos Expressions*From*: "Scout" <user at domain.com>*Date*: Mon, 9 May 2005 01:45:56 -0400 (EDT)*References*: <d5kapv$299$1@smc.vnet.net>*Sender*: owner-wri-mathgroup at wolfram.com

Hi David, I have just tried to solve the integral you posted and on Math.4 it has given to me: In[1]:= expr1 = (k/r^2)*(1/Sqrt[1 - k^2/r^2]); expr2 = Integrate[expr1, r] Out[1]:= -ArcSin[k / r] I don't know your problem about this on Math.5. ~Scout~ > Dear MathGroup, > > I want to integrate the following expression and get a simple answer. > > expr1 = (k/r^2)*(1/Sqrt[1 - k^2/r^2]) > > The answer is actually quite simple: ArcCos[k/r] + constant. But what a > lot of work for me to get it! Perhaps someone can show a simpler path. > (I'm working with Version 5.0.1.) > > expr2 = Integrate[expr1, r] > -((Sqrt[k^2 - r^2]*Log[(2*(k + Sqrt[k^2 - r^2]))/ > r])/(Sqrt[1 - k^2/r^2]*r)) > > Then I have to do all the following simplification steps... > > expr2[[{2, 3, 4}]] > Numerator[%]/(Denominator[%] /. Sqrt[a_]*(b_) :> > Sqrt[Distribute[a*b^2]]) > % /. (a_)^(1/2)/(b_)^2^(-1) -> (a/b)^(1/2) > Simplify[%, r >= k] > Expand[%*FunctionExpand[expr2[[{1, 5}]]]] > expr3 = %[[2]] > > expr3 > MapAt[Distribute, %, {{2, 1}}] > % /. Sqrt[a_]/(b_) :> Sqrt[Distribute[a/b^2]] > % /. r -> k/z > % /. Log[(z_) + Sqrt[(z_)^2 - 1]] -> I*ArcCos[z] > % /. z -> k/r > > Thanks in advance for a more direct path.