Intereting Posts

Subgroups and quotient groups of finite abelian $p$-groups
Proof that there is no closed form solution
In how many ways can a group element in a finite group be written as a commutator?
Galois group over $p$-adic numbers
Facts about induced representations
How do we take second order of total differential?
Sets $f_n\in A_f$ where $f_{n+1}=f_n \circ S \circ f^{\circ (-1)}_n$ and operator $\alpha(f_n)=f_{n+1}$
Why exactly can you take the absolute value of one side of this inequality and assume it is still true?
How to distinguish between walking on a sphere and walking on a torus?
Is there a geometric meaning of the Frobenius norm?
“Counterexample” for a weaker version of Riemann–Lebesgue lemma
Question about long proofs?
What am I doing wrong in these quartic formula calculations?
n+1 vectors in $\mathbb{R}^n$ cannot be linearly independent
subtraction of two irrational numbers to get a rational

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?

- Need Help: Any good textbook in undergrad multi-variable analysis/calculus?
- The set of integers is not open or is open
- Evaluate $\int_0^\infty \frac{\log(1+x^3)}{(1+x^2)^2}dx$ and $\int_0^\infty \frac{\log(1+x^4)}{(1+x^2)^2}dx$
- Mathematical analysis - text book recommendation sought
- Understanding a Proof for Why $\ell^2$ is Complete
- How to construct this Laurent series?

- Closed form for $\int_0^{\infty}\frac{\arctan x\ln(1+x^2)}{1+x^2}\sqrt{x}\,dx$
- Prove $_2F_1\left(\frac13,\frac13;\frac56;-27\right)\stackrel{\color{#808080}?}=\frac47$
- Testing the series $\sum\limits_{n=1}^{\infty} \frac{1}{n^{k + \cos{n}}}$
- If $x\mapsto \| x\|^2$ is uniformly continuous on $E$, the union of all open balls of radius $r$ contained in $E$ is bounded $\forall r > 0$
- A Challenging Logarithmic Integral $\int_0^1 \frac{\log(x)\log(1-x)\log^2(1+x)}{x}dx$
- Is $$ a union of family of disjoint closed intervals?
- Characterization of smallest $\sigma$-Algebra on $\Omega=[0,1)$ that contains disjoint intervals of the form $[a,b)$ where $0<a<b<1$
- Proof explanation of Stone-Weierstrass theorem
- What's the connection between the indefinite integral and the definite integral?
- Solving a challenging differential equation

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.

- Is $1992! – 1$ prime?
- Proof that the tensor product is the coproduct in the category of R-algebras
- Use implicit function theorem to show $O(n)$ is a manifold
- Center of Lie group and Lie algebra
- For sets $A,B$, $A \cap (B \setminus A) \subseteq \varnothing$
- A question regarding the Continuum Hypothesis (Revised)
- Why does this “miracle method” for matrix inversion work?
- If we know the eigenvalues of a matrix $A$, and the minimal polynom $m_t(a)$, how do we find the Jordan form of $A$?
- Sum of $\cos(k x)$
- How to prove a function is the Fourier transform of another $L^{1}$ function?
- Proving an entire function which misses a ball is constant
- Geometric construction of hyperbolic trigonometric functions
- Calculating the median in the St. Petersburg paradox
- Evaluate $ \int_{0}^{1} \ln(x)\ln(1-x)\,dx $
- A finite field cannot be an ordered field.