题目内容：

要证明一个反三角函数的等式是成立的,就是要先证明对应的这个三角函数的等式是成立的嘛?
我有一个题目是要证明arctanx + arctany = arctan (x+ y)/(1-xy)
那是不是就证明出tanx+tany=tan((x+y)/(1-xy))成立就好?