A regular dodecagon \(P_1 P_2 P_3 \dotsb P_{12}\) is inscribed in a circle with radius \(1\). Compute \((P_1 P_2)^2 + (P_1 P_3)^2 + \dots + (P_{11} P_{12})^2.\)
(The sum includes all terms of the form \((P_i P_j)^2 \) where \(1 \le i < j \le 12. \))
There are 12 digaonals that have a length of P_1 P_2, which from the Sine Law, is sin (15 degrees). There are 12 diagonals that have a legnth of P_1 P_3, which from the Sine Law, is sin (30 degrees). We can appy the same reasoning to the other diagonals, which gives us a total sum of
(12 sin 15)^2 + (12 sin 30)^2 + (12 sin 45)^2 + (12 sin 60)^2 + (12 sin 75)^2 + (12 sin 90)^2 + (12 sin 105)^2 + (12 sin 120)^2 + (12 sin 135)^2 + (12 sin 150)^2 + (12 sin 175)^2 = 864.
