[sage-support] Re: arcsinh(1) == ln(1+sqrt(2)) ?

2008-10-31 Thread Jason Grout
William Stein wrote: On Fri, Oct 31, 2008 at 12:57 PM, Jim Clark [EMAIL PROTECTED] wrote: Hello sage gurus, Using sage to check a manually calculated integral : sage: var('r,h') (r, h) sage: integrate(r/sqrt(r^2 - sqrt(2)*h*r + h^2), r, 0, sqrt(2) *h).factor() sqrt(2)*arcsinh(1)*h My

[sage-support] Re: arcsinh(1) == ln(1+sqrt(2)) ?

2008-10-31 Thread John Cremona
arcsinh(x) = log(1+sqrt(1+x^2)), I seem to remember. [Proof: exercise] John Cremona 2008/10/31 William Stein [EMAIL PROTECTED]: On Fri, Oct 31, 2008 at 12:57 PM, Jim Clark [EMAIL PROTECTED] wrote: Hello sage gurus, Using sage to check a manually calculated integral : sage: var('r,h')

[sage-support] Re: arcsinh(1) == ln(1+sqrt(2)) ?

2008-10-31 Thread Jim Clark
Thanks to all. Your responses have been helpful. Jim On Oct 31, 2008, at 1:51 PM, John Cremona wrote: arcsinh(x) = log(1+sqrt(1+x^2)), I seem to remember. [Proof: exercise] John Cremona 2008/10/31 William Stein [EMAIL PROTECTED]: On Fri, Oct 31, 2008 at 12:57 PM, Jim Clark [EMAIL