在 sage 中简化 arctan(x) + arctan(1/x)
simplify arctan(x) + arctan(1/x) in sage
在 Sagemath 中，有时我会得到以下表达式（b > 0）：
使用
arctan(x) + arctan(1/x) = pi / 2 平等。
我的问题是：如何简化使用不等式？我尝试了 simplify_trig() 和 simplify_full()，但其中 none 成功了。
我应该使用 assume( arctan(1/sqrt(b-1)) + arctan(sqrt(b-1))) == pi / 2) 之类的东西吗？这看起来像一个丑陋的 hack
试试这个：
sage: expr.subs({arctan(1/sqrt(b - 1)): pi/2 - arctan(sqrt(b - 1))})
在 Sagemath 中，有时我会得到以下表达式（b > 0）：
使用
arctan(x) + arctan(1/x) = pi / 2 平等。
我的问题是：如何简化使用不等式？我尝试了 simplify_trig() 和 simplify_full()，但其中 none 成功了。
我应该使用 assume( arctan(1/sqrt(b-1)) + arctan(sqrt(b-1))) == pi / 2) 之类的东西吗？这看起来像一个丑陋的 hack
试试这个：
sage: expr.subs({arctan(1/sqrt(b - 1)): pi/2 - arctan(sqrt(b - 1))})