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 :
La courbe rouge est une hypotrochoïde dessinée grâce à un cercle noir roulant à l'intérieur d'un cercle bleu d'un diamètre plus important (les paramètres sont R = 5, r = 3 et d = 5)
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.
Paramétrage
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 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.
Les hypocycloïdes représentent le cas particulier (le point fixe est sur le cercle) et les ellipses le cas (voir le théorème de La Hire).