Note on a simple trigonometric equality
From MaRDI portal
Publication:6536863
For an odd prime number \(p\) let\N\[\N P_p=\frac{\prod \sin n\pi/p}{\prod \sin r\pi/p},\tag{1}\N\]\Nwhere \(n\) resp. \(r\) runs through quadratic non-residues resp. residues in \([1,(p-1)/2]\). The equality in question is\N\[\N P_{13}^2=\frac{3L\sqrt{13}}{2}.\tag{2}\N\]\NThe author gives an elementary proof of (2). For \(p\equiv 5\bmod 8\), (1) is part of the class number formula. The author also indicates ``automated computation to deal with the product of the form \(P_p\) through the class number formula.
Recommendations
Cites work
- An introduction to the theory of infinite series.
- Finite trigonometric sums arising from Ramanujan's theta functions
- scientific article; zbMATH DE number 7546728 (Why is no real title available?)
- scientific article; zbMATH DE number 3233758 (Why is no real title available?)
- Human and automated approaches for finite trigonometric sums
- Identities in elementary geometry.
- Nothing lucky about 13
- On the class number formula of certain real quadratic fields
- On the class-number of real quadratic fields.
Cited in
(4)
This page was built for publication: Note on a simple trigonometric equality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536863)
