Orthogonal Trajectories/Examples/Circles Tangent to Y Axis/Proof 1

Proof
Differentiating $(1)$ $x$ gives:
 * $2 x + 2 y \dfrac {\mathrm d y} {\mathrm d x} = 2 c$

from which:
 * $\dfrac {\mathrm d y} {\mathrm d x} = \dfrac {y^2 - x^2} {2 x y}$

Thus from Orthogonal Trajectories of One-Parameter Family of Curves, the family of orthogonal trajectories is given by:
 * $\dfrac {\mathrm d y} {\mathrm d x} = \dfrac {2 x y} {x^2 - y^2}$

Let:
 * $M \left({x, y}\right) = 2 x y$
 * $N \left({x, y}\right) = x^2 - y^2$

Put $t x, t y$ for $x, y$:

Thus both $M$ and $N$ are homogeneous functions of degree $2$.

Thus, by definition, $(1)$ is a homogeneous differential equation.

By Solution to Homogeneous Differential Equation, its solution is:
 * $\displaystyle \ln x = \int \frac {\mathrm d z} {f \left({1, z}\right) - z} + C$

where:
 * $f \left({x, y}\right) = \dfrac {2 x y} {x^2 - y^2}$

Thus: