Soit c un réel strictement positif qui n’est pas l’inverse d’un entier naturel
non nul. On considère la fonction f définie sur [0, 1]
par f(t) = t −sin²(pi*t /c)/sin²(pi/c)
==> la fonction f est continue, et elle vérifie f(0) = f(1)=0.
l’équation f(t + c) = f(t) n’a aucune solution dans [0, 1 − c].