Evaluate the integral $$\int_0^{\pi/2} \frac{1}{1+\tan^\alpha{x}}\,\mathrm{d}x$$
-
No restrictions on $\alpha$? – John Dec 13 '13 at 17:37
-
Not as far as I know, but positive integers will probably suffice. – user85798 Dec 13 '13 at 17:38
-
Playing around with Wolfram Alpha may help. I can't do the general case with the free version but it looks like there are separate forms for the solutions for even $\alpha$ and odd $\alpha$. – John Dec 13 '13 at 17:46
-
4In fact, unlike @RonGordon, mathematica spends a long time and returns the integral unevaluated. Yay! for humans. – Igor Rivin Dec 13 '13 at 18:11
-
3I'm actually surprised that this hasn't (AFAICT) shown up on the site before! This is a long-time contest problem; I've most often seen it with $\alpha=\sqrt{2}$. – Steven Stadnicki Dec 13 '13 at 18:12
-
Related : http://math.stackexchange.com/questions/439851/evaluate-the-integral-int-frac-pi2-0-frac-sin3x-sin3x-cos3xdx – lab bhattacharjee Dec 13 '13 at 19:01
-
@StevenStadnicki Yes, it's an old Putnam problem, if I remember correctly. – Potato Dec 13 '13 at 20:16
5 Answers
Use the fact that
$$\tan{\left (\frac{\pi}{2}-x\right)} = \frac{1}{\tan{x}}$$
i.e.,
$$\frac1{1+\tan^{\alpha}{x}} = 1-\frac{\tan^{\alpha}{x}}{1+\tan^{\alpha}{x}} = 1-\frac1{1+\frac1{\tan^{\alpha}{x}}} = 1-\frac1{1+\tan^{\alpha}{\left (\frac{\pi}{2}-x\right)}}$$
Therefore, if the sought-after integral is $I$, then
$$I = \frac{\pi}{2}-I$$
and...

- 138,521
-
-
-
6
-
This only works if $\alpha$ is a positive integer, very nice solution though. For other values all the answers to the integral are different. – Jeff Faraci Dec 13 '13 at 19:01
-
-
-
-
-
Beautiful beyond words! Ron, I would appreciate if you put up this integral to your blog :) – Prism Dec 16 '13 at 12:03
-
The answer given by Gordon is very good for computing the integral. But it does not provide much why it works. The following figure might help with that
This is the integral for $\alpha=\sqrt{2}$. It looks as if the area under the function is exactly half of the dashed rectangle... A good guess is therefore $$ \int_0^{\pi/2} \frac{\mathrm{d}x}{1 + \tan(x)^\sqrt{2}} = \frac{1}{2}\left(\frac{\pi}{2}\right) $$ This striking symmetry can be shown true for any choice of $\alpha$, play around in geogebra or any ploting tool you fancy =)
The symmetry of such integrals is studied further in the paper Symmetri and Integration by Roger Nielsen Where it is shown that if $f(x) + f(a+b-x)$ is constant for all $x\in[a,b]$ - meaning it has this nice symmetric property.
Then the area can calculated as $$ \int_a^b f(x) \mathrm{d}x = \frac{f(a)+f(b)}{2}(b-a) = f\left(\frac{a+b}{2}\right)(b-a)\,. $$ I will leave it to you to check that $f(x)+f(a+b-x)$ is constant.
Alternatively the integral can also be computed as follows \begin{align*} \int_0^{\pi/2} \frac{\mathrm{d}\theta}{(1 + (\tan \theta)^b} = \int_0^\infty \frac{\mathrm{d}x}{(1+x^2)(1+x^b)} = \frac{1}{2} \int_0^\infty \frac{\mathrm{d}x}{1 + x^2} = \frac{\pi}{4} \end{align*} Where the substitution $u \mapsto \tan \theta$ was used and that $$ \int_0^\infty \frac{R(x)}{x^b+1}\mathrm{d}x = \frac{1}{2} \int_0^\infty R(x)\,\mathrm{d}x $$ Given that $R(x) = R(1/x)/x^2$, again check that this holds for $1/(1+x^2)$. A proof of the latter can be found on page $27$ here, section 1.9. More directly one has by the same methods \begin{align*} \int_0^\infty \frac{\mathrm{d}x}{(1+x^2)(1+x^b)} & = \int_0^1 \frac{\mathrm{d}x}{(1+x^2)(1+x^b)} + \int_1^\infty \frac{\mathrm{d}x}{(1+x^2)(1+x^b)} \\ & = \int_0^1 \frac{1}{(1+x^2)(1+x^b)} + \frac{x^b}{(1+x^2)(1+x^b)} \mathrm{d}x \\ & = \int_0^1 \frac{\mathrm{d}x}{1+x^2} = \frac{1}{2} \int_0^\infty \frac{\mathrm{d}x}{1+x^2} = \frac{\pi}{4} \end{align*} Where the substitution $x \mapsto 1/x$ was used in the last integral. These theorems and ideas are not the simplest way to attack the problem. But it might give you some broader insight further down the road.

- 10,896
-
7I'm not entirely sure what you mean by "it does not provide much why it works." My derivation, I think, could not be any more clear about why it works: the first line I wrote says it all. – Ron Gordon Dec 13 '13 at 20:22
-
8You use a "magical" substitution that in the end "happens" to work out. I try to justify the usage of $x \mapsto a+b-x$.
Saying use this substitution here, does not give much explanation to as why you used it. Since $$ \int_a^b f(x) \mathrm{d}x = \int_a^b f(a+b-x) \mathrm{d}x $$ Then the integral must me constant if $f(x)+f(a+b-x)$ is constant. If the latter is constant, it means that $f$ is symmetric about the point $(c,f(x))$, where $c=(a+b)/2$.
– N3buchadnezzar Dec 13 '13 at 20:32 -
The link you provide is quite interesting, together with other classroom capsules. Thanks! – Petite Etincelle Dec 13 '13 at 20:46
-
3Of course it "happens" to work out - that's why it's the tangent (or cotangent) function in the integrand and not, say, a log. Really, the plots are nice and numerical examples always help, but you really are making too much of this. The integral is beautiful because it is so simple...because of this unique property of the tangent. That's it. Nothing magical about it at all. – Ron Gordon Dec 13 '13 at 21:08
-
3It is simple because a first grader can look at the figure and say, oh it must be $\pi/4$ =) The substitution exploits symmetry which I showcased in my answer.There hundreds upon hundreds of integrals that have this intrinsic property – N3buchadnezzar Dec 13 '13 at 21:17
-
5
The integral can be solved by using the fact that $\tan\left(\dfrac{\pi}{2}-x\right)=\dfrac{1}{\tan x}$ and $$ \int_a^b f(x)\;dx=\int_a^b f(a+b-x)\;dx. $$ Let $$ I(\alpha)=\int_0^{\frac{\Large\pi}{2}} \frac{dx}{1+\tan^\alpha x}, $$ then $$ \begin{align} I(\alpha)&=\int_0^{\frac{\Large\pi}{2}} \frac{dx}{1+\tan^\alpha\left(\frac{\pi}{2}+0-x\right)}\\ &=\int_0^{\frac{\Large\pi}{2}} \frac{dx}{1+\dfrac{1}{\tan^\alpha x}}\\ &=\int_0^{\frac{\Large\pi}{2}} \frac{\tan^\alpha x}{1+\tan^\alpha x}dx. \end{align} $$ Adding the two $I(\alpha)$'s yields $$ \begin{align} 2I(\alpha)&=\int_0^{\frac{\Large\pi}{2}} \frac{1}{1+\tan^\alpha x}dx+\int_0^{\frac{\Large\pi}{2}} \frac{\tan^\alpha x} {1+\tan^\alpha x}dx\\ &=\int_0^{\frac{\Large\pi}{2}}\;dx\\ &=\frac{\pi}{2}\\ I(\alpha)&=\large\color{blue}{\frac{\pi}{4}}. \end{align} $$
P.S.
I did NOT copy Ron Gordon's answer since this answer is taken from the similar problem that I posted on Brilliant.org - Trigonometric Integral of The Year. A similar problem can also be found on Mathworld Wolfram - Definite Integral.

- 24,849
-
3What exactly was the point of bumping a 6 month year old question with an answer that is identical to the accepted answer then? – user85798 Jun 01 '14 at 19:20
-
9@Oliver And what is exactly the reason that I cannot answer this question? Is there a rule that restricts it? – Tunk-Fey Jun 01 '14 at 19:22
-
2@Tunk-Fey , if everybody is going to given exactly the same answer to a question then this is going to get very boring and ridiculous, evne more hwn you bump up a question 6 months old. This adds nothing to the asker nor to any other member. Furthermore, your claim that you didn't copy tRon's answer cannot be checked, and it indeed looks like you did copy his answer. – Timbuc Oct 28 '14 at 04:34
-
1This is not identical to the crowned answer, but it is not but a formalised formulation of it. – awllower Oct 28 '14 at 04:36
Set $I(\alpha):=\int_0^{\pi/2} f(\alpha,x)dx$ where $f(\alpha,x):\mathbb{R}\times (0,\pi/2)\to \mathbb{R}$ is defined as $f(\alpha,x):=\frac{1}{1+\tan^\alpha(x)}$.
Since both $\frac{d}{d\alpha}f(\alpha,x)=-\frac{\tan^\alpha(x)\log(\tan(x))}{(1+\tan^\alpha(x))^2}$ and $f(\alpha,x)$ are continuous on $(0,\pi/2)\to \mathbb{R}$ we can apply the Leibniz integral rule obtaining
$$I'(\alpha)=\frac{d}{d\alpha}\int_0^{\pi/2}f(\alpha,x)\,dx=\int_0^{\pi/2}\frac{d}{d\alpha}f(\alpha,x)\,dx=0$$ since $\frac{d}{d\alpha}f(\alpha,\frac{\pi}{4}+x)=\frac{d}{d\alpha}f(\alpha,\frac{\pi}{4}-x)$ for $x\in[0,\frac{\pi}{4})$.
Hence $I(\alpha)$ is constant on $\mathbb{R}$ and $$I(\alpha)=I(0)=\int_0^{\pi/2}\frac{dx}{1+1}=\color{red}{\frac{\pi}{4}}.$$
Well, this problem has a nice symmetry. The integral can be rewritten as, $$ I=\int_{0}^{\pi/2}\frac{\cos^{\alpha}(x)}{\sin^{\alpha}(x)+\cos^{\alpha}(x)} dx \tag{1}$$ By the property of definite integrals this Integral is same as, $$\int_{0}^{\pi/2}\frac{\cos^{\alpha}(\frac{\pi}{2}-x)}{\sin^{\alpha}(\frac{\pi}{2}-x)+\cos^{\alpha}(\frac{\pi}{2}-x)} dx$$ $$\int_{0}^{\pi/2}\frac{\sin^{\alpha}(x)}{\sin^{\alpha}(x)+\cos^{\alpha}(x)} dx \tag{2}$$ Adding $1,2$ gives $$ 2I=\int_{0}^{\frac{\pi}{2}} dx$$ $$ 2I=\frac{\pi}{2}$$ $$\boxed{I=\frac{\pi}{4}}$$

- 139
- 9