All Questions
2 questions
4
votes
1
answer
1k
views
The cotangent sum $\sum_{k=0}^{n-1}(-1)^k\cot\Big(\frac{\pi}{4n}(2k+1)\Big)=n$
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\...
- 128k
1
vote
0
answers
156
views
Fejer-Jackson-like inequality with divisor sum
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 ...
- 105