Question
For any a, b, x, y > 0, prove that:
$\frac{2}{3}\tan^{-1}\Big(\frac{3\text{a}\text{b}^2-\text{a}^3}{\text{b}^3-3\text{a}^2\text{b}}\Big)+\frac{2}{3}\tan^{-1}\Big(\frac{3\text{x}\text{y}^2-\text{x}^3}{\text{y}^3-3\text{x}^2\text{y}}\Big)=\tan^{-1}\frac{2\alpha\beta}{\alpha^2-\beta^2}$
where $\alpha=-\text{ax}+\text{by},\beta=\text{bx}+\text{ay}$
$\frac{2}{3}\tan^{-1}\Big(\frac{3\text{a}\text{b}^2-\text{a}^3}{\text{b}^3-3\text{a}^2\text{b}}\Big)+\frac{2}{3}\tan^{-1}\Big(\frac{3\text{x}\text{y}^2-\text{x}^3}{\text{y}^3-3\text{x}^2\text{y}}\Big)=\tan^{-1}\frac{2\alpha\beta}{\alpha^2-\beta^2}$
where $\alpha=-\text{ax}+\text{by},\beta=\text{bx}+\text{ay}$