简化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