trigonometry - 简化 atan(tan(a+b))

Question

我想知道为什么这不能按预期工作：

assume(x+y < %pi/2);
assume(x+y > -%pi/2);
atan(tan(x+y));

它减少到：

atan(tan(x+y))

即根本没有。我本来希望它减少到：

x+y

Answer 1

试试triginverses。

(%i9) atan (tan (x + y));
(%o9)                          atan(tan(y + x))
(%i10) %, triginverses=all;
(%o10)                               y + x