三角学 示例

判断是否为真 1-cos(80)cos(20)-sin(80)sin(20)=2sin(30)^2
解题步骤 1
左边的 等于右边的 ,即给定的命题总为真命题。