Orthogonal Trajectories/Examples/Circles Tangent to Y Axis

Theorem
Consider the one-parameter family of curves:
 * $(1): \quad x^2 + y^2 = 2 c x$

Its family of orthogonal trajectories is given by the equation:
 * $x^2 + y^2 = 2 c y$