# Evaluate $int_0^{pi/2} frac{arctan{left(frac{2sin{x}}{2cos{x}-1}right)}sin{left(frac{x}{2}right)}}{sqrt{cos{x}}} , mathrm{d}x$

Mathematics Asked by user801111 on September 23, 2020

Evaluate: $$int_0^{frac{pi}{2}} frac{arctan{left(frac{2sin{x}}{2cos{x}-1}right)}sin{left(frac{x}{2}right)}}{sqrt{cos{x}}} , mathrm{d}x$$

I believe there is a "nice" closed form solution but Wolfram is too weak. These arctan integrals are so tricky! I sense a substitution like $$sin{frac{x}{2}}$$ because of arctan argument and $$sqrt{cos{x}}$$ but I just cant get it. Any ideas or tips please.

Source: https://tieba.baidu.com/p/4794735082 (Exercise 3.1.22).

$$boxed{I=int_0^frac{pi}{2}arctanleft(frac{2sin x}{2cos x -1}right)frac{sinleft(frac{x}{2}right)}{sqrt{cos x}}dx=sqrt 2 pi lnvarphi-frac{pi}{sqrt 2}ln(2+sqrt 3), varphi =frac{1+sqrt 5}{2}}$$ To show this result, we'll do some substitutions until it's clear how to simplify that $$arctan$$ term. $$I ,overset{cos x=t}=frac1{sqrt 2}int_0^1 arctan left(frac{2sqrt{1-t^2}}{2t-1}right)frac{dt}{sqrt tsqrt{1+t}}overset{large t=frac{1-x}{1+x}}=int_0^1 frac{arctanleft(frac{4sqrt x}{1-3x}right)}{sqrt{1-x}(1+x)}dx$$ $$=int_0^1frac{arctan (sqrt x)+arctan(3sqrt x)}{sqrt{1-x}(1+x)}dx-int_frac13^1frac{pi}{sqrt{1-x}(1+x)}dx=mathcal J-frac{pi}{sqrt2}ln(2+sqrt 3)$$ The second integral appears since for $$x>frac13$$ we have $$sqrt x cdot 3sqrt x>1$$.
Now in order to show $$mathcal J=sqrt 2piln varphi$$ we can differentiate under the integral sign, considering: $$mathcal J(a)=int_0^1frac{arctan(asqrt x)+arctan(3sqrt x)}{sqrt{1-x}(1+x)}dx$$ $$Rightarrow mathcal J'(a)=int_0^1 frac{sqrt x}{sqrt{1-x}(1+x)(1+a^2 x)}dxoverset{frac{1-x}{x}=t}=int_0^infty frac{dt}{sqrt t(2+t)(1+a^2+t)}$$ $$overset{t=x^2}=frac{2}{1-a^2}int_0^infty left(frac{1}{1+a^2+x^2}-frac{1}{2+x^2}right)dx=frac{pi}{1-a^2}left(frac{1}{sqrt{1+a^2}}-frac{1}{sqrt 2}right)$$ We are looking to find $$mathcal J(1)=mathcal J$$, but $$mathcal J(-3)=0$$ therefore our integral is: $$mathcal J=int_{-3}^1 frac{pi}{1-a^2}left(frac{1}{sqrt{1+a^2}}-frac{1}{sqrt 2}right)daoverset{-a=frac{1-x}{1+x}}=frac{pi}{2sqrt 2}int_0^2frac{1}{x}left(1-frac{1-x}{sqrt{1+x^2}}right)dx$$ $$=frac{pi}{2sqrt 2}left(lnleft(x+sqrt{1+x^2}right)+lnleft(1+sqrt{1+x^2}right)right)bigg|_0^2=sqrt 2 pi ln varphi$$

Correct answer by Zacky on September 23, 2020

## Related Questions

### Question about the definition of tensor product of homomorphisms

1  Asked on November 24, 2021 by zest

### Probability of gaining a game series

0  Asked on November 24, 2021 by silkking

### Prove that $xg(x)<int_{0}^xg(x)dx$

1  Asked on November 24, 2021

### Integration on the punctured plane

1  Asked on November 24, 2021 by mathnewbie

### Show that if the matrix of $T$ with respect to all bases of $V$ is same, then $T = alpha I$ where $T$ is a linear operator on $V$

4  Asked on November 24, 2021

### Is $(B_t,B_t)$ a Brownian motion on the line ${(x,x)mid xinmathbb R}$?

1  Asked on November 21, 2021

### What is the kernel of $h$ where $h:S_3 to mathbb{R}^*$

2  Asked on November 21, 2021 by user686123

### Critical Points of $dy/dx=0.2x^2left(1-x/3right)$

2  Asked on November 21, 2021

### What’s the difference between a Proof System and a Theory?

1  Asked on November 21, 2021 by threnody

### Bessel functions in terms of the confluent hypergeometric function

1  Asked on November 21, 2021 by user785957

### Prove that $text{tr} (phi otimes psi) = text {tr} phi text {tr} psi$.

2  Asked on November 21, 2021

### Why do we consider the zeroes of the expression when solving rational inequalities?

2  Asked on November 21, 2021 by shaheer-ziya

### Is the theory of sheaves a first order theory?

0  Asked on November 21, 2021 by user297564

### Finding $P[X+Y > 1, X > 1]$

1  Asked on November 21, 2021 by damianodamiano

### What is a 2-fraction?

0  Asked on November 21, 2021

### Need some help with solving this integral…..

0  Asked on November 21, 2021 by physicslab1

### How to evaluate/simplify integration with 4 parts?

0  Asked on November 21, 2021

### Laplacian coupled with another equation over a two-dimensional rectangular region

0  Asked on November 21, 2021

### Some Combinatorics and Some Prime Numbers

3  Asked on November 21, 2021 by shubhrajit-bhattacharya

### An interesting property of nested radicals

1  Asked on November 21, 2021 by isato