En géométrie, les hypotrochoïdes sont des courbes planes décrites par un point lié à un cercle mobile roulant sans glisser sur et intérieurement à un cercle de base fixe, de rayon plus grand que le cercle mobile. Ces courbes ont été étudiées par Albrecht Dürer en 1525, Ole Christensen Rømer en 1674 et Jean Bernoulli en 1725 :
Le mot se compose des racines grecques hupo (au-dessous) et trokhos (la roue). Lorsque le cercle roule à l'extérieur, on a affaire à une épitrochoïde.
On pose (donc ) et , avec a le rayon du cercle fixe, b celui du cercle roulant (mobile) et d la distance du point au centre du cercle mobile. Un paramétrage (donné en affixe) de l'hypotrochoïde est alors :
soit
Par identification des parties réelle et imaginaire, on obtient :
avec et .
Si on pose , et , on obtient les formules ci-dessous :
où θ est l'angle formé par l'horizontale et le centre du cercle roulant (ce ne sont pas des équations polaires, car θ n'est pas l'angle polaire). En radian, les valeurs de θ varient de 0 à où PPCM est le plus petit commun multiple.