公告：本站正式转型为非交互式静态网站！ 转型：本站将通过笔记和博客的形式继续为大家服务，关于 Mathematica 问答服务请移步至QQ群：365716997。 联系：如有问题请联系QQ群管理员，或发送邮件至：lixuan.xyz@qq.com。 感谢：最后非常感谢大家多年来的支持与帮助！ 参考：《互联网跟帖评论服务管理规定》《中华人民共和国网络安全法》《网络信息内容生态治理规定》《互联网用户账号信息管理规定》
—— 2022-11-27
欢迎来到 Mathematica 问答社区
● 提问时请贴上文本代码
● 语法高亮：在编辑器中点击
● 被禁止的话题：广告，破解
● 请阅读：《提问的智慧》
● 备用域名：mma.ooo
● 支持LaTex数学公式： 行内公式标识符：\$ 或“$\backslash ($”+“$\backslash )$”， 行间公式标识符：\$\$ 或 “$\backslash [$”+“$\backslash ]$”
● 社区建议QQ群：365716997
538 问题
531 回答
1.5k 留言
229 用户
已经知道正确的化简结果需要分x>0和x<0讨论，为什么MMA无法有效化简或者给出分类化简结果
FullSimplify[ArcTan[x] + ArcTan[1/x], x > 0]
加个TrigToExp：
FullSimplify[ArcTan[x] + ArcTan[1/x] // TrigToExp, #] & /@ {x < 0, x > 0}
对于这个问题，Mma貌似有点Low了。
f[x_] := ArcTan[x] + ArcTan[1/x] f'[x] // Simplify(*导数为0，所以函数f是常数*) f[1](*所以函数等于这个常数值*)
