Normal to Cycloid passes through Bottom of Generating Circle/Proof 1

Proof
From Normal to Cycloid, the equation for the normal to $C$ at a point $P = \tuple {x, y}$ is given by: