Loi de Morrie — Wikipédia
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1a/RichardFeynman-PaineMansionWoods1984_copyrightTamikoThiel_bw.jpg/170px-RichardFeynman-PaineMansionWoods1984_copyrightTamikoThiel_bw.jpg)
La loi de Morrie est l'identité trigonométrique suivante :
- .
Le nom de cette « curiosité » est dû au physicien Richard Feynman, qui la tient d'un ami d'enfance, Morrie Jacobs.
Cette identité est intrigante parce qu'aucun des facteurs du produit n'est rationnel, mais que le produit l'est[1],[2],[3].
Histoire
[modifier | modifier le code]Dans son enfance, Richard Feynman avait l'habitude d'échanger des anecdotes mathématiques avec ses amis. C'est l'un d'eux, nommé Morrie Jacobs, qui lui a fait connaître cette égalité. Il s'en est ensuite souvenu toute sa vie, de même que les circonstances dans lesquelles il en a appris l'existence (dans le magasin de cuir du père de Morrie). Il y fait référence dans une lettre à Morrie datée du [4].
Après la mort de Feynman en , James Gleick raconte cet épisode en dans Genius, la biographie qu'il a écrite du physicien[5].
En , Beyer et al. appellent cette égalité « Morrie Jacobs's identity »[6] (litt. « identité de Morrie Jacobs »). En , Anderson l'appelle « Morrie's Law » (litt. « loi de Morrie »)[7]. En , Nahin l'appelle « Jacobs-Feynman equality »[8] (litt. « égalité de Jacobs-Feynman »).
Identités similaires
[modifier | modifier le code]En radians, la loi de Morrie s'exprime ainsi :
- .
Elle utilise la fonction cosinus, mais des identités similaires existent pour d'autres fonctions trigonométriques, sans toutefois que le membre de droite soit rationnel comme avec le cosinus :
- l'identité pour la fonction sinus est[9] :
- ;
- l'identité pour la fonction tangente (qu'on obtient en divisant l'identité pour la fonction sinus par la loi de Morrie) est[9] :
- .
Généralisations
[modifier | modifier le code]Première généralisation
[modifier | modifier le code]La loi de Morrie est le cas particulier, où et , de l'identité plus générale[6] :
- avec et [10].
La curiosité tient au fait que si on choisit , le membre de droite vaut ±1 (on le montre en remplaçant le dénominateur par ou ), et l'égalité devient alors[11] :
- .
On en tire les identités suivantes :
[12] | ||
(loi de Morrie) | ||
[14] | [12] |
Deuxième généralisation
[modifier | modifier le code]La première généralisation est elle-même le cas particulier, où , de l'identité plus générale[11] :
- avec .
En effet, en choisissant le membre de gauche devient , ce qui permet de retrouver la première généralisation.
Autres généralisations
[modifier | modifier le code]Il existe diverses autres généralisations de la loi de Morrie, citées notamment dans un livre d'exercices de trigonométrie de [15],[16], telles que :
dont la loi de Morrie est le cas particulier où .
Démonstrations
[modifier | modifier le code]Preuve algébrique
[modifier | modifier le code]La preuve de la loi de Morrie s'appuie sur la formule de l'angle double pour la fonction sinus :
qui permet de trouver l'expression de et, par suite, de , ... [6],[15] :
En multipliant toutes ces expressions les unes avec les autres, on obtient :
- .
Dans la partie droite de l'expression, les numérateurs et dénominateurs intermédiaires s'éliminent deux à deux, ne laissant que le premier dénominateur et le numérateur final (on dit qu'il s'agit d'un produit télescopique[12]), ainsi qu'une puissance de 2 au dénominateur ( car il y a termes) ; il vient alors :
- ,
ce qui est équivalent à la première généralisation de l'identité.
Preuves géométriques
[modifier | modifier le code]![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/5a/Morries_law_geometric_proof.svg/220px-Morries_law_geometric_proof.svg.png)
Pour démontrer les identités de la forme avec , une preuve géométrique utilisant un polygone régulier à côtés peut être utilisée.
Ainsi, pour démontrer la loi de Morrie ( et ), une telle preuve utilisant un ennéagone régulier (9 côtés) a été publiée en [17], puis une autre en [18].
Cette dernière s'appuie sur l'ennéagone ci-contre, de côté 1. Soient , , et les milieux de , , et , respectivement.
On montre que , , et .
est rectangle en , donc . Or car est milieu de , donc :
- .
est rectangle en , donc . Or car est milieu de , donc :
- .
est rectangle en , donc . Or car est milieu de , donc :
- .
Or car ce sont des côtés de l'ennéagone, et en remplaçant et par les expressions ci-dessus, on obtient :
- , d'où la loi de Morrie.
Les auteurs de cette preuve ont par la suite publié, en , une preuve géométrique de l'identité où et , en utilisant un heptagone régulier (7 côtés)[19].
De même, l'identité où et peut être prouvée en utilisant un pentagone régulier (5 côtés)[20].
Références
[modifier | modifier le code]- Anderson 1998, p. 85.
- Brouwer 2017.
- Van Brummelen 2020, p. 79 [lire en ligne].
- Gleick 1992, p. 450 [lire en ligne] : « [p. ]47 IF A BOY NAMED MORRIE JACOBS: Feynman to Morris Jacobs, 27 January 1987, CIT ». Le sigle CIT signifie que la lettre est conservée dans les archives du California Institute of Technology à Pasadena (cf. « Acknowledgments », p. 441 [lire en ligne], et « Notes - Abbreviations », p. 445 [lire en ligne]), où Feynman a été chercheur et enseignant.
- Gleick 1992, p. 47 [lire en ligne] : « He and his friends traded mathematical tidbits like baseball cards. If a boy named Morrie Jacobs told him that the cosine of 20 degrees multiplied by the cosine of 40 degrees multiplied by the cosine of 80 degrees equaled exactly one-eighth, he would remember that curiosity for the rest of his life, and he would remember that he was standing in Morrie's father's leather shop when he learned it. »
- Beyer, Louck et Zeilberger 1996.
- Anderson 1998, p. 86.
- (en) Paul J. Nahin, Number-Crunching : Taming Unruly Computational Problems from Mathematical Physics to Science Fiction, Princeton et Oxford, Princeton University Press, , 376 p. (ISBN 978-0-691-14425-2, DOI 10.1515/9781400839582), p. 12, Challenge Problem 1.2 [lire en ligne].
- (en) Eric W. Weisstein, CRC Concise Encyclopedia of Mathematics (en), Chapman & Hall / CRC, , 2e éd., 3242 p. (ISBN 1-58488-347-2), « Trigonometry Values Pi/9 », p. 3057–3058 [lire en ligne], et éditions suivantes, notamment en ligne : (en) Eric W. Weisstein, « Trigonometry Angles--Pi/9 », sur MathWorld.
- (en) Dennis S. Bernstein, Scalar, Vector, and Matrix Mathematics : Theory, Facts, and Formulas, Princeton et Oxford, Princeton University Press, , 1547 p. (ISBN 978-0-691-15120-5 et 978-0-691-17653-6), p. 244–245, fact 2.16.17 [lire en ligne].
- (en) Philip Feinsilver (Southern Illinois University Carbondale), « Numeration, Trigometric Identities, and Cantor-Type Distributions », 28th Annual Mathematics Symposium, Bowling Green (Kentucky), Western Kentucky University, – , p. 4–6.
- Van Brummelen 2020, p. 80 [lire en ligne].
- Moreno et García-Caballero 2016, p. 214.
- Van Brummelen 2020, p. 81 [lire en ligne].
- Tee 1999.
- (en) Clement V. Durell et Alan Robson, Advanced Trigonometry, George Bell & Sons, (lire en ligne), exercice XII.b, 24, 25, 29, 30 et 31, p. 225–226, et réponses p. 322.
- Miles et Pritchard 2008.
- Moreno et García-Caballero 2015.
- Moreno et García-Caballero 2016.
- Van Brummelen 2020, p. 81 [lire en ligne] et fig. 49, p. 82 [lire en ligne].
Bibliographie
[modifier | modifier le code]Source primaire :
- (en) James Gleick, Genius : The Life and Science of Richard Feynman, New York, Pantheon Books, , 532 p. (ISBN 0-679-40836-3, lire en ligne).
Sources secondaires centrées :
- (en) Ernest C. Anderson, « Morrie's Law and Experimental Mathematics », Journal of Recreational Mathematics, vol. 29, no 2, , p. 85–88.
- (en) Eric W. Weisstein, « Morrie's Law », sur MathWorld.
- (en) Glen Van Brummelen, « Morrie's Law and friends », dans Trigonometry : A Very Short Introduction, Oxford, Oxford University Press, coll. « Very Short Introductions Series » (no 626), , 163 p. (ISBN 978-0-19-881431-3, DOI 10.1093/actrade/9780198814313.001.0001), p. 79–83 [lire en ligne].
Généralisations :
- (en) William A. Beyer, James D. Louck et Doron Zeilberger, « Math Bite : A Generalization of a Curiosity that Feynman Remembered All His Life », Mathematics Magazine, vol. 69, no 1, , p. 43–44 (DOI 10.2307/2691393, JSTOR 2691393, MR 1573132, lire en ligne).
- (en) Garry J. Tee, « Math Bite : Further Generalizations of a Curiosity that Feynman Remembered All His Life », Mathematics Magazine, vol. 72, no 1, , p. 44 (DOI 10.1080/0025570X.1999.11996697, JSTOR 2691313, MR 1573369, lire en ligne).
- (en) Gaston Brouwer, « A Generalization of the Angle Doubling Formulas for Trigonometric Functions », Mathematics Magazine, vol. 90, no 1, , p. 12–18 (DOI 10.4169/math.mag.90.1.12, JSTOR 10.4169/math.mag.90.1.12, MR 3608695).
Preuves géométriques :
- (en) David Miles et Chris Pritchard, « Three Trigonometric Results from a Regular Nonagon », Mathematics in School, vol. 37, no 5, , p. 12–13 (JSTOR 30212315).
- (en) Samuel G. Moreno et Esther M. García-Caballero, « A Geometric Proof of Morrie's Law », The American Mathematical Monthly, vol. 122, no 2, , p. 168 (DOI 10.4169/amer.math.monthly.122.02.168, JSTOR 10.4169/amer.math.monthly.122.02.168, MR 3324692).
- (en) Samuel G. Moreno et Esther M. García-Caballero, « A Geometric Proof of Morrie's Law », The American Mathematical Monthly, vol. 122, no 3, , p. 233 (DOI 10.4169/amer.math.monthly.122.03.233, JSTOR 10.4169/amer.math.monthly.122.03.233, MR 3327712).
- (en) Samuel G. Moreno et Esther M. García-Caballero, « A Geometric Proof of a Morrie-Type Formula », Mathematics Magazine, vol. 89, no 3, , p. 214–215 (DOI 10.4169/math.mag.89.3.214, MR 3519084).