简化 atan(tan(a+b))

【问题标题】：Simplifying atan(tan(a+b))简化 atan(tan(a+b))
【发布时间】：2014-02-17 10:54:31
【问题描述】：

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

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

它简化为：

atan(tan(x+y))

即一点也不。我本来预计它会减少到：

x+y

【问题讨论】：

【解决方案1】：

试试triginverses。

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

【讨论】：