初级微积分 示例

判断是否为真 cos(45)cos(30)=1/2*(cos(pi/12)+cos((5pi)/12))
解题步骤 1
左边的 等于右边的 ,即给定的命题总为真命题。
True