三角函数和差倍半及性质