First Order ODE/x dy = (y + x^2 + 9 y^2) dx/Proof 2

Proof
Let $z = \map \arctan {3y / x}$.

Then:
 * $\dfrac {\partial z} {\partial x} = \dfrac 1 {1 + \paren {3 y / x}^2} \dfrac {-3 y} {x^2} = \dfrac {-3 y} {x^2 + 9 y^2}$


 * $\dfrac {\partial z} {\partial y} = \dfrac 1 {1 + \paren {3 y / x}^2} \dfrac 3 x = \dfrac 3 {x^2 + 9 y^2}$

So:
 * $\d z = \dfrac {3 x \rd y - 3 y \rd x} {x^2 + 9 y^2}$

Multiplying $(1)$ by $3$ and manipulating:
 * $\dfrac {3 x \rd y - 3 y \rd x} {x^2 + 9 y^2} = 3 \rd x$

From Differential of Arctangent of Quotient:
 * $\map \d {\map \arctan {\dfrac {3 y} x} } = 3 \rd x$

and so
 * $\map \arctan {\dfrac {3 y} x} = 3 x + C$