Abstract:In this paper we obtain a new curious identity involving trigonometric functions. Namely, for any positive odd integer $n$ we prove that $$\sum_{k=1}^n(-1)^k(\cot kx)\sin k(n-k)x=\frac{1-n}2,$$ which is equivalent to the identity $$\sum_{k=1}^n(-1)^kU_{n-k}(\cos kx)=-\frac{n+1}2,$$ where $U_m(z)$ stands for the $m$th Chebyshev polynomial of the second kind. As a consequence, for any positive odd integer $n$ and positive integer $m$ we obtain $$\sum_{k=1}^n(-1)^kk^{2m}B_{2m+1}\left(\frac{n-k}2\right)=0,$$ where $B_j(x)$ denotes the Bernoulli polynomial of degree $j$.
What problem does this paper attempt to address?
The problem this paper attempts to address is the discovery of a new trigonometric identity and the exploration of its applications in mathematics. Specifically, the author proves that for any positive odd number \( n \), the following new trigonometric identity exists:
\[
\sum_{k=1}^{n} (-1)^k (\cot kx) \sin k(n-k)x = 1 - \frac{n}{2}
\]
This identity is equivalent to:
\[
\sum_{k=1}^{n} (-1)^k U_{n-k}(\cos kx) = -\frac{n+1}{2}
\]
where \( U_m(z) \) denotes the Chebyshev polynomial of the second kind. As a corollary of this result, the author also obtained an identity involving Bernoulli polynomials:
\[
\sum_{k=1}^{n} (-1)^k k^{2m} B_{2m+1}\left(\frac{n-k}{2}\right) = 0
\]
In addition, the author further derived some related theorems and corollaries through this new identity, such as:
- Theorem 1.2: For any positive integers \( l, m, n \), with \( l \equiv m \pmod{2} \) and \( n \equiv 1 \pmod{2} \), if \( \zeta \) is a primitive \( (mn + l) \)-th root of unity, then:
\[
\Re \left( \sum_{k=1}^{n} \frac{\zeta^{k(km+l)/2}}{1 - \zeta^{km}} \right) = -\frac{n+1}{4}
\]
These results not only enrich the theory of trigonometric identities but also provide new tools and methods for research in related fields.