吧务
level 15
如题。自编规则当然也不难，不过这里我想知道的是，能不能用Simplify，TrigExpand一类的化简型指令来得到这个结果。试了半天没试出来……是正好不支持这个化简呢，还是我没有找到？是我漏了什么重要假设吗？（我试验过的假设只有d属于Reals……）
2013年11月07日 12点11分
1
吧务
level 9
Reduce[ArcTan[Cos[x], -Sin[x]] == -x, x, Reals]
Plot[{ArcTan[Cos[x], -Sin[x]], -x}, {x, -10, 10}]
2013年11月07日 13点11分
2
嗯……看样子我太累了……
2013年11月07日 13点11分