Coordinates of Point on Circle Rotating on Interior of Larger Circle

Inside a circle or radius    is a circle radius    as shown. P is a fixed point on the circumference of the smaller circle.

The smaller circle starts to roll anticlockwise around the interior of the larger circle. While the small circle rolls anticlockwise, it rotates clockwise about its own centre. In fact if the small circle rolls once about the the large circle, it rolls a length    so will turn about an angle    about its centre. In fact the small circle turns about its own centre through twice the angle that it turns about the centre of the large circle.

The angle OCP is isosceles and taking the centre of the large circle as the origin, the coordinates of P are  .
Hence the    coordinate of P is constant and the point P remains on the    axis.