简化arctan（x）＆＃x2B;鼠尾草中的arctan（1/x）
在Sagemath中，在某个时候，我最终得到以下表达（带有B＆gt; 0）：
使用 arctan（x） + arctan（1/x）= pi/2等效。
我的问题是：如何简化使用这种不平等？我尝试了simplefify_trig（）和simpleify_fell（），但它们都没有起作用。
我是否应该使用假设（arctan（1/sqrt（b-1）） + arctan（sqrt（b-1）））== pi/2）之类的东西？看起来像一个丑陋的骇客
In Sagemath, at some point I end up with the following expression (with b > 0):
Which would be easy to simplify using thearctan(x) + arctan(1/x) = pi / 2 equality.
My problem is: how do I simplify using that inequality? I tried simplify_trig() and simplify_full() but none of them worked.
Should I use something like assume( arctan(1/sqrt(b-1)) + arctan(sqrt(b-1))) == pi / 2) ? That looks like a ugly hack
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
尝试以下操作：
Try this: