Intereting Posts

Evaluate $\displaystyle \sum_{n=1}^{\infty }\int_{0}^{\frac{1}{n}}\frac{\sqrt{x}}{1+x^{2}}\mathrm{d}x.$
Setting Up an Integral to Find A Cone's Surface Area
Why can we always take the zero section of a vector bundle?
Review of my T-shirt design
Is there any easy way to understand the definition of Gaussian Curvature?
Closure of the interior of another closure
Find limit of the following sequence?
Does $a_n$ converges if and only if $a_{2n},a_{3n},a_{2n-1}$ converge?
geometric multiplicity= algebraic multiplicity for a symmetric matrix
convergence/or divergence of the series $\sum_{n=1}^{\infty}(a_n+b_n)$ given the convergence/divergence of component series
Heat equation with discontinuous sink and zero flux boundary conditions
How many consecutive composite integers follow k!+1?
There are no maximal $\mathbb{Z}$-submodules in $\mathbb{Q}$
$x^y+y^x>1$ for all $(x, y)\in \mathbb{R_+^2}$
Find all positive integers $n$ such that $\phi(n)=6$.

It seems that $$\int_0^\pi \cot(x/2)\sin(nx)\,dx=\pi$$ for all positive integers $n$.

But I have trouble proving it. Anyone?

- Computing the best constant in classical Hardy's inequality
- How to calculate $\int_0^\pi \ln(1+\sin x)\mathrm dx$
- Why solutions of $y''+(w^2+b(t))y=0$ behave like solutions of $y''+w^2y=0$ at infinity
- Prove $x^n$ is not uniformly convergent
- Putnam and Beyond AM-GM help
- Equivalence of the two cosine definitions

- Closed form for the integral $\int_{0}^{\infty}\frac{\ln^{2}(x)\ln(1+x)}{(1-x)(x^{2}+1)}dx$
- Given $f: \Bbb R\rightarrow\Bbb R$ and a point $a\in\Bbb R$. Prove $lim_{x\rightarrow a} f(x)=\lim_{h\rightarrow 0} f(a+h)$ if 1 of the limits exists.
- The Biharmonic Eigenvalue Problem with Dirichlet Boundary Conditions on a Rectangle
- Double integral and variable change problem
- Nice way of thinking about the Laplace operator… but what's the proof?
- $|f(x)-f(y)|\geq k|x-y|$.Then $f$ is bijective and its inverse is continuous.
- Does there exist a sequence $\{a_n\}_{n\ge1}$ with $a_n < a_{n+1}+a_{n^2}$ such that $\sum_{n=1}^{\infty}a_n$ converges?
- Derivation of Gradshteyn and Ryzhik integral 3.876.1 (in question)
- Integral $\int_0^1 \log \frac{1+ax}{1-ax}\frac{dx}{x\sqrt{1-x^2}}=\pi\arcsin a$
- Proving the equivalence of a sum and a double integral

Use this famous sum:

$$1+2\cos x+2\cos 2x+\cdots+2\cos nx=\frac{\sin (n+\frac{1}{2})x}{\sin \frac{x}{2}}=\sin nx\cot\left(\frac{x}{2}\right)+\cos nx$$

Hence

$$\int_0^{\pi}\cot \left(\frac{x}{2}\right)\sin n x\,dx=\int_0^{\pi}1+2\cos x+2\cos 2x+\cdots +\cos nx\,dx$$

All cosine terms obviously evaluate to zero.

We can prove this via induction. For $n=1$:

$$\int_0^{\pi} dx \: \cot{(x/2)} \sin{x} = 2 \int_0^{\pi} dx \: \cos^2{(x/2)} = \pi$$

Assume this works for $n$. Now show it works for $n+1$:

$$\begin{align}\int_0^{\pi} dx \: \cot{(x/2)} \sin{(n+1) x} &= \int_0^{\pi} dx \: \cot{(x/2)} \sin{(n x)} \cos{x}\\ &+ \int_0^{\pi} dx \: \cot{(x/2)} \cos{(n x)} \sin{x}\\ &=\pi + 2 \int_0^{\pi} dx \: \cos{(x/2)} \cos{(n+1/2) x} \end{align}$$

That last step combined a number of trig identities and should be verified by the reader. Now we need to show that that last integral is zero. We do so by substituting $u=x/2$ and using a trig identity:

$$\begin{align}\int_0^{\pi} dx \: \cos{(x/2)} \cos{(n+1/2) x} &= 2\int_0^{\pi/2} du \: \cos{u} \cos{(2n+1) u}\\ &= \int_0^{\pi/2} du \: [ \cos{(2 n u)} + \cos{2 (n+1) u}]\\ &= \frac{\sin{n \pi}}{2 n} + \frac{\sin{(n+1) \pi}}{2 (n+1)}\end{align}$$

which is zero for $n \in \mathbb{Z}$ and $n \ge 1$. Therefore, the stated identity holds.

- Integration by parts for general measure?
- Unique ultrafilter on $\omega$
- Conjecture $\int_0^1\frac{dx}{\sqrtx\,\sqrt{1-x}\,\sqrt{1-x\left(\sqrt{6}\sqrt{12+7\sqrt3}-3\sqrt3-6\right)^2}}=\frac\pi9(3+\sqrt2\sqrt{27})$
- Properties of Adjoint functors
- Show that a matrix $A$ is singular if and only if $0$ is an eigenvalue.
- The free monoid functor is fully faithful?
- Polynomial $p(x) = 0$ for all $x$ implies coefficients of polynomial are zero
- Irreducible but not prime in $K/(X^2-Y^3)$
- Is there a formula to calculate the sum of all proper divisors of a number?
- Approximation Property: Characterization
- Volterra integral equation of second type
- Alternative definition of the determinant of a square matrix and its advantages?
- Could someone explain conditional independence?
- Number of Unique Sequences with Circular Shifts
- A dynamic dice game