Loi de Morrie
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.

Histoire 

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 .

Après la mort de Feynman en 1988, James Gleick raconte cet épisode en 1992 dans , la biographie qu'il a écrite du physicien.

En 1996, Beyer  appellent cette égalité  ( ). En 1998, Anderson l'appelle  ( ). En 2011, Nahin l'appelle  ( ).

Identités similaires 

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 :

 ;

 l'identité pour la fonction tangente (qu'on obtient en divisant l'identité pour la fonction sinus par la loi de Morrie) est :

.

Généralisations

Première généralisation 
La loi de Morrie est le cas particulier, où  et , de l'identité plus générale :

avec  et .

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 :
. 

On en tire les identités suivantes :

Deuxième généralisation 

La première généralisation est elle-même le cas particulier, où , de l'identité plus générale :

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 
Il existe diverses autres généralisations de la loi de Morrie, citées notamment dans un livre d'exercices de trigonométrie de 1930, telles que :

dont la loi de Morrie est le cas particulier où .

Démonstrations

Preuve algébrique 
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 ,  ...  :

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), 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 

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 () a été publiée en 2008, puis une autre en 2015.

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 2016, une preuve géométrique de l'identité où  et , en utilisant un heptagone régulier ().

De même, l'identité où  et  peut être prouvée en utilisant un pentagone régulier ().

Références

Bibliographie 
Source primaire :
 .

Sources secondaires centrées :
 .
 .
 .

Généralisations :
 .
 .
 .

Preuves géométriques :
 .
 .
 .
 .

Identité mathématique
Trigonométrie
Mathématiques récréatives
Richard Feynman
Loi scientifique découverte au XXe siècle