Abstract:Finite trigonometric sums appear in various branches of Physics, Mathematics and their applications. For p; q to coprime positive integers and r we consider the finite trigonometric sums involving the product of three trigonometric functions.
What problem does this paper attempt to address?
This paper attempts to solve the problems related to the calculation of finite trigonometric sums associated with Dedekind sums and their reciprocity laws. Specifically, the author focuses on the finite trigonometric sums of the form \(S(p, q, r)\):
\[
S(p, q, r)=\sum_{k = 1}^{p - 1}\cos\left(\frac{\pi kr}{p}\right)\csc\left(\frac{\pi kq}{p}\right)\csc\left(\frac{\pi k}{p}\right)
\]
where \(p\) and \(q\) are relatively prime positive integers, and \(r\in\mathbb{Z}\).
### Main problems
1. **Establishing the reciprocity law**:
- The author aims to establish the reciprocity law (reciprocity law) for \(S(p, q, r)\) in some special cases. The reciprocity law refers to the relationship between two sums in different forms under certain specific conditions. For example, for \(S(p, q, q\pm1)\) and \(S(p, p - q, p - q\pm1)\), the author derives the reciprocal relationship between them.
2. **Explicit calculation of specific sums**:
- The author pays special attention to and calculates the values of the following specific sums:
\[
S(p, 1, 0)=\sum_{k = 1}^{p - 1}\csc^{2}\left(\frac{\pi k}{p}\right)
\]
Through derivation, the author gives the explicit expression of this sum:
\[
S(p, 1, 0)=\frac{p^{2}-1}{3}
\]
### Research background
Finite trigonometric sums appear widely in physics, mathematics and their applications. The Dedekind sum is a classic example, which can be represented by a finite trigonometric sum and satisfies some important reciprocity laws. The research in this paper is a further exploration in this field, especially for sums involving the product of three trigonometric functions.
### Main results
1. **Reciprocity law**:
- For relatively prime positive integers \(p\) and \(q\), the author proves the following reciprocity laws:
\[
q[S(p, q, q + 1)+S(p, q, q - 1)]+p[S(q, p, p + 1)+S(q, p, p - 1)]=-\frac{2pq}{3}(p^{2}+q^{2}+1)
\]
- If \(q < p\), then:
\[
p[S(q, p, p + 1)+S(q, p, p - 1)]-q[S(p, p - q, p - q + 1)+S(p, p - q, p - q - 1)]=\frac{2pq - 4p^{2}q+2}{3}(p^{2}+q^{2}+1)
\]
2. **Explicit calculation**:
- When \(q\equiv1\ (\text{mod}\ p)\), the author gives another reciprocity law and calculates the sum of the squares of the cosecants of the highest order:
\[
S(q, p, p + 1)+S(q, p, p - 1)=\frac{2}{3}\left(q+\frac{p^{2}}{q}+\frac{1}{q}-p^{2}-2\right)
\]
\[
\sum_{k = 1}^{p - 1}\csc^{2}\left(\frac{\pi k}{p}\right)=\frac{p^{2}-1}{3}
\]
Through these results, the author not only solves the problem of calculating specific trigonometric sums, but also reveals the profound reciprocal relationships between them.