>>408
sin20゚cos20゚cos40゚cos80゚
=(1/2)sin40゚cos40゚cos80゚
の変形は何を使ってるんですか?