On appelle hypotrochoïde toute courbe admettant un paramétrage du type
où a, b et c sont des nombres réels strictement positifs. Cette courbe est tracée par un point P appartenant à un disque de rayon b roulant sur l'extérieur d'un cercle de rayon a. Le point P est à la distance c du centre du disque de rayon b.