sin∨4a-cos∨4a=sin²a-cos²a 求证