证明两角和的余玄公式不要用向量