Note on a simple trigonometric equality (Q6536863)

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.