💡 En bref : La limite fondamentale limx→0 sin(x)/x = 1 est la clé de voûte du calcul différentiel des fonctions trigonométriques. Sa preuve repose principalement sur une ingénieuse comparaison géométrique d’aires sur le cercle unité et l’application du théorème des gendarmes. Il est crucial de se rappeler que ce résultat n’est valable que si l’angle x est exprimé en radians.
Si vous avez déjà tapé « sin(0.001)/0.001 » sur votre calculatrice scientifique, vous avez vu le résultat se rapprocher dangereusement de 1. Ce n’est pas un hasard, mais l’un des résultats les plus élégants et utiles de l’analyse : limx→0 sin(x)/x = 1. Pourquoi est-ce si fondamental ? Parce que c’est ce qui permet de démontrer que la dérivée de la fonction sinus est la fonction cosinus. Aujourd’hui, on ne se contente pas de l’énoncer : on va décortiquer sa preuve la plus visuelle, comprendre pourquoi les radians sont non négociables, et explorer d’autres façons de l’établir.
La preuve géométrique : un coup de génie sur le cercle unité
La démonstration classique, celle que vous rencontrerez le plus souvent, est un chef-d’œuvre de simplicité et d’intuition. Elle repose sur une comparaison d’aires dans un quart de cercle trigonométrique. C’est la méthode dite « des gendarmes » ou « du sandwich » (Squeeze Theorem en anglais).
Pour un angle aigu 0 < x < π/2, considérons le cercle trigonométrique de rayon 1. On y construit trois figures :
- 🔺 Le petit triangle rectangle OAB : Son aire vaut
(1 * sin(x)) / 2 = sin(x)/2. - 🍕 Le secteur circulaire (la « part de pizza ») OAB : Son aire est proportionnelle à l’angle :
x/2. - 🔺 Le grand triangle rectangle OAC : Sa cathète opposée à l’angle x est tan(x), donc son aire vaut
(1 * tan(x)) / 2 = tan(x)/2.
À l’œil nu, et par construction géométrique, on a l’inégalité suivante entre ces aires :
sin(x)/2 ≤ x/2 ≤ tan(x)/2
En multipliant tout par 2, on obtient : sin(x) ≤ x ≤ tan(x). C’est le point de départ. On veut isoler sin(x)/x. En divisant tous les membres par sin(x) (qui est positif sur notre intervalle), on a :
1 ≤ x/sin(x) ≤ 1/cos(x)
Prendre l’inverse de chaque terme (une opération qui inverse aussi le sens des inégalités puisque tout est positif) nous donne la forme clé :
💎 L’inégalité fondamentale :
cos(x) ≤ sin(x)/x ≤ 1
Cette double inégalité est valable pour tout x non nul dans ]-π/2, π/2[ (la fonction étant paire).
Maintenant, appliquons le théorème des gendarmes. Que se passe-t-il lorsque x tend vers 0 ?
- La fonction de gauche,
cos(x), tend verscos(0) = 1. - La fonction de droite, la constante
1, tend évidemment vers1.
La fonction sin(x)/x, coincée entre deux fonctions qui tendent vers 1, est contrainte de tendre elle aussi vers 1.
CQFD : limx→0 sin(x)/x = 1.
Pourquoi les radians sont-ils obligatoires ?
C’est le point qui fait trébucher beaucoup d’étudiants. Cette limite égale à 1 n’est vraie que si l’angle est mesuré en radians. Si vous utilisez des degrés, le résultat est totalement différent. Explication.
Le radian est défini comme le rapport entre la longueur de l’arc et le rayon. Dans notre preuve géométrique, l’aire du secteur était x/2 parce que x était en radians. Si x était en degrés, l’aire du secteur serait (πx/360)/2. Toute la chaîne d’inégalités s’en trouverait modifiée, et on aboutirait à :
⚠️ Avertissement pratique : Avant de lancer un calcul de limite sur votre calculatrice, vérifiez toujours le mode angulaire (RAD vs DEG). Une limite qui diverge ou donne un résultat étrange a souvent pour origine ce paramètre oublié.
D’autres regards sur la même limite
Si la preuve géométrique est la plus courante, d’autres approches permettent d’arriver au même résultat, offrant parfois une perspective complémentaire.
La voie des développements limités (Série de Taylor)
Une fois que l’on connaît le développement en série de Taylor de la fonction sinus, la limite devient presque triviale. Pour x proche de 0 :
En divisant simplement par x, on obtient :
Il est alors évident que lorsque x tend vers 0, tous les termes après le « 1 » s’évanouissent, laissant la limite égale à 1. Cette méthode est très puissante mais suppose d’avoir déjà construit la théorie des séries.
Et à l’infini ? Une limite bien différente
Il ne faut pas confondre la limite en 0 avec la limite en l’infini. La question « Que vaut limx→∞ sin(x)/x ? » est différente. Ici, on utilise un autre argument de confinement :
Puisque -1 ≤ sin(x) ≤ 1 pour tout x réel, on a l’encadrement :
Lorsque x → ∞, les fonctions « gendarmes » -1/|x| et 1/|x| tendent toutes deux vers 0. Par le théorème des gendarmes, on conclut que :
Ce résultat montre que la fonction sin(x)/x est amortie à l’infini, une propriété importante en analyse de Fourier et en traitement du signal.
Tableau récapitulatif des méthodes et résultats
| Méthode d’approche | Principe clé | Avantage | Point de vigilance |
|---|---|---|---|
| Géométrie & Gendarmes | Comparaison d’aires sur le cercle unité. | Intuitive, visuelle, ne nécessite que des bases de géométrie et de trigonométrie. | Doit impérativement utiliser des radians. |
| Développements limités (Taylor) | Approximation polynomiale de sin(x) près de 0. | Rapide, élégante, ouvre la voie à d’autres limites complexes. | Requiert la connaissance de la série entière de sin(x), souvent démontrée… en utilisant la dérivée (cercle vicieux potentiel). |
| Règle de L’Hôpital | Dériver numérateur et dénominateur. | Mécanique, applicable à beaucoup de formes indéterminées 0/0. | Argument circulaire si on l’utilise pour trouver la dérivée de sin(x). À éviter dans une preuve fondamentale. |
Que se passe-t-il si j’utilise des degrés au lieu des radians dans cette limite ?
La limite change radicalement. Si l’angle \( x \) est exprimé en degrés, la fonction à considérer est \( \frac{\sin(x^\circ)}{x} \). Sachant que \( x \) degrés équivaut à \( \frac{\pi x}{180} \) radians, on a \( \sin(x^\circ) = \sin\left(\frac{\pi x}{180}\right) \). En utilisant la limite remarquable avec l’argument en radians, on obtient : \( \lim_{x \to 0} \frac{\sin(x^\circ)}{x} = \lim_{x \to 0} \frac{\sin(\pi x / 180)}{x} = \frac{\pi}{180} \lim_{u \to 0} \frac{\sin(u)}{u} = \frac{\pi}{180} \approx 0.01745 \). Le résultat n’est donc pas 1, mais π/180. C’est pourquoi le mode radians est essentiel en analyse. Source : Khan Academy (FR).
Peut-on démontrer cette limite avec la règle de L’Hôpital ?
Techniquement oui, mais cela constitue un raisonnement circulaire (un « petitio principii ») si l’objectif est de trouver la dérivée de la fonction sinus. La règle de L’Hôpital dit que pour une forme indéterminée 0/0, la limite de f(x)/g(x) est égale à la limite de f'(x)/g'(x). Appliquer cela à sin(x)/x donne : lim sin(x)/x = lim cos(x)/1 = cos(0) = 1. Cependant, pour calculer la dérivée f'(x)=cos(x), on a besoin de connaître la limite de sin(x)/x ! On utilise donc le résultat qu’on cherche à prouver dans la démonstration elle-même. La règle de L’Hôpital est donc une méthode de vérification, pas une preuve fondamentale. Source : The Math Doctors.
Pourquoi cette limite est-elle qualifiée de « remarquable » ou « fondamentale » ?
Cette limite est « remarquable » car elle est à la base de toute la différentiation des fonctions trigonométriques. C’est en utilisant lim sin(x)/x = 1 (et une limite similaire pour cos) que l’on démontre rigoureusement que la dérivée de sin(x) est cos(x). Elle est également très utile pour calculer de nombreuses autres limites contenant des fonctions trigonométriques. Son statut de résultat clé, simple à énoncer mais profond dans ses implications, et sa preuve élégante par la géométrie justifient pleinement l’adjectif « remarquable ». Elle est universellement reconnue comme un pilier du calcul différentiel. Source : Trinity College Dublin (PDF).
Cette limite est-elle utilisée en dehors des mathématiques pures ?
Absolument. La fonction sinc(x) = sin(x)/x est centrale en traitement du signal et en analyse de Fourier. Elle représente la réponse impulsionnelle d’un filtre passe-bas idéal. En physique, notamment en optique et en mécanique quantique, cette fonction apparaît dans des contextes de diffraction (figure de diffraction par une fente) et dans la résolution de problèmes d’ondes. Sa propriété de limite en 1 à l’origine assure la continuité et la « bonne conduite » de ces modèles physiques. La compréhension de son comportement à l’origine et à l’infini est donc cruciale pour les ingénieurs et les physiciens. Source : ProofWiki.
