Over 3600 Years From Ahmes To ... ?

Calculus Level 5

The integral 0 1 tan 1 2 + x 2 ( 1 + x 2 ) 2 + x 2 d x \int_0^1 \frac{\tan^{-1}\sqrt{2+x^2}}{(1+x^2)\sqrt{2+x^2}}\,dx can be shown to be equal to A π B C \frac{A\pi^B}{C} for positive integers A , B , C A,B,C , where A , C A,C are coprime. What is the value of A + B + C A+B+C ?


The answer is 103.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Mark Hennings
Sep 1, 2016

To begin with, note that 0 1 1 ( 1 + x 2 ) 2 + x 2 d x = [ tan 1 ( x 2 + x 2 ) ] 0 1 = tan 1 1 3 = 1 6 π \int_0^1 \frac{1}{(1+x^2)\sqrt{2+x^2}}\,dx \; = \; \left[ \tan^{-1}\left(\frac{x}{\sqrt{2+x^2}}\right) \right]_0^1 \; = \; \tan^{-1}\tfrac{1}{\sqrt{3}} \; = \; \tfrac16\pi If we define f ( y ) = 0 1 tan 1 ( y 2 + x 2 ) ( 1 + x 2 ) 2 + x 2 d x f(y) \; = \; \int_0^1 \frac{\tan^{-1}\big(y\sqrt{2+x^2}\big)}{(1+x^2)\sqrt{2+x^2}}\,dx then we see that lim y f ( y ) = 1 2 π 0 1 1 ( 1 + x 2 ) 2 + x 2 d x = 1 12 π 2 , \lim_{y\to\infty}f(y) \; =\; \tfrac12\pi\int_0^1 \frac{1}{(1+x^2)\sqrt{2+x^2}}\,dx \; = \; \tfrac{1}{12}\pi^2 \;, while, differentiating inside the integral sign, f ( y ) = 0 1 1 ( 1 + x 2 ) ( 1 + 2 y 2 + y 2 x 2 ) d x = 1 1 + y 2 0 1 { 1 1 + x 2 y 2 1 + 2 y 2 + y 2 x 2 } d x = 1 1 + y 2 [ tan 1 x y 1 + 2 y 2 tan 1 ( y x 1 + 2 y 2 ) ] 0 1 = 1 4 π 1 1 + y 2 y ( 1 + y 2 ) 1 + 2 y 2 tan 1 ( y 1 + 2 y 2 ) \begin{array}{rcl} \displaystyle f'(y) & = & \displaystyle \int_0^1 \frac{1}{(1+x^2)(1 + 2y^2 + y^2x^2)}\,dx \\ & = & \displaystyle \frac{1}{1+y^2}\int_0^1\left\{ \frac{1}{1+x^2} - \frac{y^2}{1 + 2y^2 + y^2x^2}\right\}\,dx \\ & = & \displaystyle \frac{1}{1+y^2}\left[ \tan^{-1}x - \frac{y}{\sqrt{1+2y^2}}\tan^{-1}\left(\frac{yx}{\sqrt{1+2y^2}}\right)\right]_0^1 \\ & = & \displaystyle \tfrac14\pi \frac{1}{1+y^2} - \frac{y}{(1+y^2)\sqrt{1+2y^2}}\tan^{-1}\left(\frac{y}{\sqrt{1+2y^2}}\right) \end{array} Integrating this identity over [ 1 , ) [1,\infty) , and using the substitution y = z 1 y = z^{-1} , we see that 1 12 π 2 f ( 1 ) = 1 f ( y ) d y = 1 16 π 2 1 y ( 1 + y 2 ) 1 + 2 y 2 tan 1 ( y 1 + 2 y 2 ) d y = 1 16 π 2 0 1 1 ( 1 + z 2 ) 2 + z 2 tan 1 ( 1 2 + z 2 ) d z = 1 16 π 2 0 1 1 ( 1 + z 2 ) 2 + z 2 { 1 2 π tan 1 2 + z 2 } d z = 1 16 π 2 1 12 π 2 + f ( 1 ) \begin{array}{rcl} \displaystyle \tfrac1{12}\pi^2 - f(1) \; = \; \int_1^\infty f'(y)\,dy & = & \displaystyle \tfrac{1}{16}\pi^2 - \int_1^\infty \frac{y}{(1+y^2)\sqrt{1+2y^2}} \tan^{-1}\left(\frac{y}{\sqrt{1+2y^2}}\right)\,dy \\ & = & \displaystyle \tfrac{1}{16}\pi^2 - \int_0^1 \frac{1}{(1+z^2)\sqrt{2+z^2}} \tan^{-1}\left(\frac{1}{\sqrt{2+z^2}}\right)\,dz \\ & = & \displaystyle \tfrac{1}{16}\pi^2 - \int_0^1 \frac{1}{(1+z^2)\sqrt{2+z^2}}\left\{\tfrac12\pi - \tan^{-1}\sqrt{2+z^2}\right\}\,dz \\ & = & \displaystyle \tfrac{1}{16}\pi^2 - \tfrac{1}{12}\pi^2 + f(1) \end{array} The integral we are interested in is f ( 1 ) = 1 2 [ 1 12 π 2 + 1 12 π 2 1 16 π 2 ] = 5 96 π 2 f(1) \; = \; \tfrac12\left[\tfrac{1}{12}\pi^2 + \tfrac{1}{12}\pi^2 - \tfrac{1}{16}\pi^2\right] \; = \; \tfrac{5}{96}\pi^2 making the answer 5 + 2 + 96 = 103 5+2+96 = \boxed{103} .

Note: The scribe Ahmes wrote the Rhind Mathematical Papyrus, one of the most important examples of Egyptian mathematics, in about 1650 BC. Changing one letter, the Indian physicist Zafar Ahmed proposed this integral near the start of this century.

Generalization . Here is the full proof .

Ishan Singh - 4 years, 9 months ago

Nice solution

Atharva Karaguppi - 4 years, 9 months ago

Sir I've seen that this integral was proposed in the American mathematical monthly as a challenge to mathematicians across the globe. I heard that none had proposed the solution to it.

Aditya Kumar - 4 years, 9 months ago

Log in to reply

This is one of the two solutions eventually published in AMM. It is not the solution that Ahmed offered. All three can be found on jstor or arxiv.org, with effort.

Puzzle competitions like the AMM's generally require the proposer to submit a solution along with a problem, but solutions other than the author's are what normally get published.

Mark Hennings - 4 years, 9 months ago

This might be very silly but didn't newton and leibniz develop the techniques of calculus in the mid 17th century? How are you dating it back to the Egyptians?

Pratyush Pandey - 4 years, 8 months ago

Log in to reply

I was making no comment as to calculus, but a comment of a more general nature about recorded mathematics. For that matter, the formula that the Egyptians used, and described in the Rhind papyrus, for the volume of a pyramid can be argued as containing ideas that are fundamental to those of calculus.

Mark Hennings - 4 years, 8 months ago

Yes Ahmed's integral.....And the Coxeters integral has a value 4 times the Ahmed s integral

Spandan Senapati - 4 years, 2 months ago

hey i did't press the view solution button ! :(

A Former Brilliant Member - 4 years, 6 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...