Cycloidal Curves: Theory, Parametric Equations, and Animation

The purpose of this post is to systematically derive the corresponding parametric equations and implement them in Python for visualization using Manim and Matplotlib. The goal is not only to understand these curves analytically but also to see them come alive through animation.

cardioid_fixed_visible_800px.gif
Cardioid ($r = R$), a special case of the epicycloid.