20度、40度、80度三个角的余弦值的乘积的式子怎么化简?