La fonction réelle qui va de $\R$ dans $\R$, définie par $\forall x\in\R, f(x) = \cos x$ est $2\pi$-périodique.
Pour des raisons pratiques, vous allez construire une fonction $g$ qui soit $1-$périodique, c’est-à-dire une fonction qui vérifie $\forall x\in\R, g(x+1)=g(x).$
Il suffit de poser $\forall x\in\R, g(x) = \cos (2\pi x).$
Vérifiez que cette fonction convient.
Soit $x\in \R.$
\begin{align*}
g(x+1) &= \cos (2\pi(x+1))\\
&= \cos (2\pi x + 2\pi)\\
&=\cos (2\pi x)\\
&= g(x).
\end{align*}De la même façon, vous construisez la fonction $x\mapsto \sin(2\pi x)$ qui est elle aussi $1$-périodique.
La somme $x\mapsto \cos(2\pi x) + \sin(2\pi x)$ sera aussi $1$-périodique.
Comment contruire une fonction non-périodique qui soit somme de deux fonctions périodiques ?
L’idée est d’ajouter une fonction paire de type cosinus avec une fonction impaire de type sinus, de façon à ce que les périodes respectives ne puissent pas être multiples l’une de l’autre.
Le nombre $\sqrt{2}$ apparaît comme un candidat potentiel, étant donné qu’il n’est pas rationnel. Autrement dit, quels que soient les entiers $a\in\Z$ et $b\in\Z^{*}$, vous avez toujours $\sqrt{2}\neq \frac{a}{b}.$ Cela suffit-il ? Vous allez constater que oui.
Vous allez donc définir la fonction $h$ suivante par $\boxed{\forall x\in\R, h(x)=\cos (2\pi x) + \sin(\pi \sqrt{2} x).}$
Montrez que la fonction $h$ n’est pas périodique
Raisonnez par l’absurde en supposant qu’il existe un nombre réel $T$ non nul, tel que $\forall x\in\R, h(x)=h(x+T).$
En prenant $x=0$ vous avez $h(0)=h(T)$ d’où $1 = \cos (2\pi T) + \sin (\pi \sqrt{2} T).$
En prenant $x=-T$ vous avez $h(-T)=h(0)$ d’où $\cos (2\pi T)-\sin(\pi \sqrt{2}T) = 1$, compte tenu de la parité de la fonction $x\mapsto \cos (2\pi x)$ et de l’imparité de la fonction $x\mapsto \sin(\pi \sqrt{2} x).$
Vous avez obtenu les deux relations :
\begin{aligned}
\cos (2\pi T) + \sin (\pi \sqrt{2} T) &= 1 \\
\cos (2\pi T)-\sin(\pi \sqrt{2}T) &= 1.
\end{aligned}
Par somme, il vient $2\cos (2\pi T)= 2$ donc $\cos (2\pi T) = 1.$
Du coup, il existe $k\in\Z$ tel que $2\pi T = \frac{\pi}{2}+2k\pi$ donc $2T = \frac{1}{2}+2k$ donc $4T = 1 + 4k.$
Par soustraction, vous avez $2\sin(\pi \sqrt{2} T) = 0$ donc $\sin(\pi \sqrt{2} T) = 0$ donc il existe $\ell\in\Z$ tel que $\pi \sqrt{2} T = \ell \pi$, du coup $\sqrt{2} T = \ell$ et par suite $2T = \ell \sqrt{2}$ et $4T = 2\ell \sqrt{2}.$
De ce qui précède vous déduisez $1+4k = 2\ell\sqrt{2}.$
Si $\ell = 0$, vous obtenez $1+4k = 0$ donc $4k = -1$. Or $4 \mid 4k$ donc $4 \mid 1$, contradiction.
Donc $\ell \neq 0.$ Mais alors $\sqrt{2} = \frac{1+4k}{2\ell}$ ce qui prouve que $\sqrt{2}$ est rationnel. Contradiction.
Terminez l’exposé
Il reste à montrer que les fonctions $x\mapsto \cos (2\pi x)$ et $x\mapsto \sin(\pi \sqrt{2} x)$ sont périodiques.
Il a déjà été montré plus haut que la fonction $x\mapsto \cos (2\pi x)$ est $1$-périodique.
Passez à la deuxième fonction.
Soit $x\in \R.$
\begin{aligned}
\sin (\pi \sqrt{2} (x+\sqrt{2})) &= \sin(\pi \sqrt{2} x + 2\pi)\\
&= \sin(\pi \sqrt{2} x).
\end{aligned}
Cette égalité montre que $x\mapsto \sin(\pi \sqrt{2} x)$ est $\sqrt{2}$-périodique.
Visualisez la fonction $h$
Un tracé de la fonction $h$ est représenté ci-dessous, vous observez l’impossibilité de repérer un motif qui se répète.
Partagez !
Diffusez cet article auprès de vos connaissances susceptibles d'être concernées en utilisant les boutons de partage ci-dessous.
Aidez-moi sur Facebook !
Vous appréciez cet article et souhaitez témoigner du temps que j'y ai passé pour le mettre en œuvre. C'est rapide à faire pour vous et c'est important pour moi, déposez un j'aime sur ma page Facebook. Je vous en remercie par avance.
Lisez d'autres articles !
Parcourez tous les articles qui ont été rédigés. Vous en trouverez sûrement un qui vous plaira !