根据教材编了一道三角恒等式子证明，结果deepseek也怕麻烦，直接用反例验证法