prove: sin pi/10 + sin13pi/10 = -1/8.

  • 3
What are you looking for?