Tangent to a Cycloid

The cycloid is the locus of a point on a circle rolling along a straight line. This Demonstration illustrates a theorem proved by Descartes: the tangent to the cycloid at a point is perpendicular to , where is the point of contact of the circle and the line.