例 已知
证明略
已知条件中含角,待求结论只含,故考虑消元法
证:由题设: ①
②
①/②: ③
①+③:
等式中出现正弦、余弦和正切函数,一般采用“切化弦”的方法进行证明.若已知条件中的角多于待求结论中的角可考虑消元法.