cos(π 4-a)等于公式