All Questions

The following problem started out with a formulation in terms of complex numbers: let $\epsilon=e^{\frac{\pi i}3}$ and $z=e^{\frac{2\pi i}{3(2n-1)}}$. It's rather amusing that the following appears to ...

Cross-post from MSE. The Jacobi-Anger expansion gives expressions for functional iterates of trigonometric functions in terms of Bessel functions. For instance, we have $$\sin(z \sin(\theta)) = 2 \...

On the Wolfram Research Reference page for the cotangent function (https://functions.wolfram.com/ElementaryFunctions/Cot/23/01/), I saw the following partial sum formula $$\sum_{k=0}^{n-1}(-1)^k\cot\...

Let $x_{1},x_{2},\cdots,x_{n}>0$, show that $$\left(\sum_{k=1}^{n}x_{k}\cos{k}\right)^2+\left(\sum_{k=1}^{n}x_{k}\sin{k}\right)^2\le \left(2+\dfrac{n}{4}\right)\sum_{k=1}^{n}x^2_{k}$$ This ...

A question was recently asked about a generalization of the Fejer-Jackson inequality $$\sum_{k=1}^n \frac{\sin kx}{k}\gt 0 \quad \forall\: n\in\mathbb{Z}^+\: \text{and}\: 0\lt x\lt\pi$$ to ...

While calculating an integral in a quantum mechanical problem by two different methods, I came across the following identity $$\sum_{k=0}^n\sum_{m=0}^{2k}(-2)^m\binom{2(n-k)}{n-k}\binom{2k}{k}\binom{...