AI 三角恒等式深度解析

本工具是一款专业的 AI三角恒等式研究助手， 专注于 IMO竞赛 CMO数学奥赛 高考压轴题 等场景下的三角函数问题。 通过智能算法分析题目结构，自动推导并验证复杂的 三角恒等式， 帮助您深入理解 三角变换逻辑。