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
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')
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