How do you show that #sin(pi/5)+cos(pi/5)=sin((3pi)/10)+cos((3pi)/10)#?