Ребят подскажите пожалуйста,как вывести эту формулу :

"arctg(x) + arctg(y) = arctg((x+у)/(1-x*y))",как она выводится,перерыл интернет не нашел