Intereting Posts

Prove that $\|T\|=\sup_{\|x\|=1}|\langle x,T(x)\rangle|$.
Are all the finite dimensional vector spaces with a metric isometric to $\mathbb R^n$
Maximal Ideals in the Ring of Complex Entire Functions
Is this a function and does F have an inverse?
What does the term “undefined” actually mean?
Is every $T_4$ topological space divisible?
Show that an infinite number of triangles can be inscribed in either of the parabolas $y^2=4ax$ and $x^2=4by$ whose sides touch the other parabola.
$G$ finite group, $H\leq G$ such that $C_G(x)\subseteq H\quad\forall x\in H$ such that $p\mid o(x)$
True or false or not-defined statements
$\{S\} \not\in S$ in ZFC?
Number of bases of an n-dimensional vector space over q-element field.
The multiplication formula for the Hurwitz zeta function
“Compositional roots” of functions, how to define them and how many are there?
Splitting $\Phi_{15}$ in irreducible factors over $\mathbb{F}_7$
How are Blackjack Basic Strategy tables calculated (What is the maths behind them)

Evaluate the integral:

$$\displaystyle \int_{0}^{\frac{\pi}{4}}\tan^{-1}\left(\frac{\sqrt{2}\cos3 \phi}{\left(2\cos 2 \phi+ 3\right)\sqrt{\cos 2 \phi}}\right)d\phi$$

I have no clue on how to attack it.

The only thing I noticed is that there exists a symmetry around $\pi/8$, meaning that from $\pi/8$ to $\pi/4$ is the negative of zero to $\pi/4$. But, there exists a root of the integrand at $\pi/6$ and the limit of the integrand at $\pi/4$ is $-\infty$.

- Need help with the integral $\int_{0}^\infty e^{-x^{2}}x^{2n+1}dx $
- How to find the point on the sphere that is closest to a plane?
- Prove that $\int\limits_0^1 x^a(1-x)^{-1}\ln x \,dx = -\sum\limits_{n=1}^\infty \frac{1}{(n+a)^2}$
- What is a pullback in simple calculus context?
- Infinite Product computation
- Why can you mix Partial Derivatives with Ordinary Derivatives in the Chain Rule?

**Conjecture:** The integral is $0$ for the reason of symmetry I mentioned above.

*However I cannot prove that. I would appreciate your help.*

- Solving $\lim_{n\to\infty}(n\int_0^{\pi/4}(\tan x)^ndx)$?
- Evaluating Integrals using Lebesgue Integration
- $x_{n+m}\le \frac{x_n+x_{n+1}+\cdots+x_{n+m-1}}{m}$. Prove that this sequence has a limit.
- Does the limit $\lim_{(x,y)\to (0,0)} \frac {x^3y^2}{x^4+y^6}$ exist
- Evaluating the sum of geometric series
- Proving that $e$ is irrational using these results
- limit of $\sqrt{\frac{1\cdot 3\cdots (2n-1)}{2\cdot 4\cdots (2n)}}$ using geometric mean
- On the integral $\int_{-\infty}^\infty e^{-(x-ti)^2} dx$
- >Prove that $\frac d {dx} x^n=nx^{n-1}$ for all $n \in \mathbb R$.
- Closed form for ${\large\int}_0^1\frac{\ln(1-x)\,\ln(1+x)\,\ln(1+2x)}{1+2x}dx$

By replacing $\phi$ with $\arctan(t)$, then using integration by parts, we have:

$$ I = \int_{0}^{1}\frac{1}{1+t^2}\,\arctan\left(\frac{\sqrt{2}(1-3t^2)}{(5+t^2)\sqrt{1-t^2}}\right)\,dt =\frac{\pi^2}{8}-\int_{0}^{1}\frac{3\sqrt{2}\, t \arctan(t)}{(3-t^2)\sqrt{1-t^2}}\,dt.$$

Now comes the magic. Since:

$$\int \frac{3\sqrt{2}\,t}{(3-t^2)\sqrt{1-t^2}}\,dt = -3\arctan\sqrt{\frac{1-t^2}{2}}\tag{1}$$

integrating by parts once again we get:

$$ I = \frac{\pi^2}{8}-3\int_{0}^{1}\frac{1}{1+t^2}\arctan\sqrt{\frac{1-t^2}{2}}\,dt \tag{2}$$

hence we just need to prove that:

$$ \int_{0}^{1}\frac{dt}{1+t^2}\,\arctan\sqrt{\frac{1-t^2}{2}}=\int_{0}^{\frac{1}{\sqrt{2}}}\frac{\arctan\sqrt{1-2t^2}}{1+t^2}\,dt=\color{red}{\frac{\pi^2}{24}}\tag{3}$$

and this is not difficult since both

$$\int_{0}^{1}\frac{dt}{1+t^2}(1-t^2)^{\frac{2m+1}{2}},\qquad \int_{0}^{\frac{1}{\sqrt{2}}}\frac{(1-2t^2)^{\frac{2m+1}{2}}}{1+t^2}\,dt $$

can be computed through the residue theorem or other techniques. For instance:

$$\int_{0}^{1}\frac{(1-t)^{\frac{2m+1}{2}}}{t^{\frac{1}{2}}(1+t)}\,dt = \sum_{n\geq 0}(-1)^n \int_{0}^{1}(1-t)^{\frac{2m+1}{2}} t^{n-\frac{1}{2}}\,dt=\sum_{n\geq 0}(-1)^n\frac{\Gamma\left(m+\frac{3}{2}\right)\Gamma\left(n+\frac{1}{2}\right)}{\Gamma(m+n+2)}$$

or just:

$$\int_{0}^{1}\frac{\sqrt{\frac{1-t^2}{2}}}{(1+t^2)\left(1+\frac{1-t^2}{2}u^2\right)}\,dt = \frac{\pi}{2(1+u^2)}\left(1-\frac{1}{\sqrt{2+u^2}}\right)\tag{4}$$

from which:

$$\int_{0}^{1}\frac{dt}{1+t^2}\,\arctan\sqrt{\frac{1-t^2}{2}}=\frac{\pi}{2}\int_{0}^{1}\frac{du}{1+u^2}\left(1-\frac{1}{\sqrt{2+u^2}}\right) =\color{red}{\frac{\pi^2}{24}} $$

as wanted, since:

$$ \int \frac{du}{(1+u^2)\sqrt{2+u^2}}=\arctan\frac{u}{\sqrt{2+u^2}}.$$

- Cesaro summable implies Abel summable
- Number of relations that are both symmetric and reflexive
- How prove this $(abc)^4+abc(a^3c^2+b^3a^2+c^3b^2)\le 4$
- Prove that if a sequence $\{a_{n}\}$ converges then $\{\sqrt a_{n}\}$ converges to the square root of the limit.
- Distribution of Max(X_i) | Min(X_i), X_i are iid uniform random variables
- Show bijection from (0,1) to R
- Find the closest point on one line to another line in 3D
- Is any type of geometry $not$ “infinitesimally Euclidean”?
- Show that each number $n$ whose divisors $d$ $=$ $0, 1$ $\pmod 5$ has the form $P(x)$
- Existence of a local geodesic frame
- Proof that every number has at least one prime factor
- Closed form for $f(z)^2 + f ' (z)^2 + f ' ' (z) ^2 = 1 $?
- Does mathematics become circular at the bottom? What is at the bottom of mathematics?
- Does algorithmic unsolvability imply unsolvability in general?
- Prove that there is no element of order $8$ in $SL(2,3)$