cot67.5°怎么求?..半角公式还没学