cos 20°为什么等于sin40°/(2sin20°)