Question 1125837

{{{ sin( pi/5)=sqrt(5/8 - sqrt(5)/8)}}}

{{{ sin( pi/20)=(1/2) sqrt((1/2) (4 - sqrt(2 (5 + sqrt(5)))))}}}