展开 两角互余正切值的关系证明