Théorème de Cotes (moyenne harmonique)

Illustration du théorème de Cotes pour un point extérieur de la conique. Pour chaque droite du faisceau, la moyenne harmonique relativement à P des points d'intersection avec la courbe reste sur la droite en bleu continu

En géométrie algébrique, le théorème de Cotes sur les moyennes harmoniques est une propriété remarquée par Roger Cotes concernant les courbes algébriques et leurs intersections par des faisceaux de droites concourantes.

Pour des points Modèle:Mvar situés sur une droite Modèle:Math munie d'un repère d'origine Modèle:Mvar, on appelle moyenne harmonique de l'ensemble des points relativement à Modèle:Mvar, le point Modèle:Math dont l'abscisse est la moyenne harmonique de leurs abscisses.

Cotes a remarqué que, si l'on mène dans le plan d'une courbe algébrique plane une série de droites passant par un point fixe Modèle:Mvar, et si l'on prend pour chacune de ces transversales, la moyenne harmonique relativement à Modèle:Mvar des points d'intersection avec la courbe, tous ces points moyens seront sur une même droite.

Principe de démonstration

Une démonstration possible s'appuie sur fait que, pour un polynôme de degré Modèle:Mvar sans racine nulle, la somme des inverses des racines est égale à l'opposé du quotient du coefficient du terme de degré 1 par le coefficient constant.

Pour un point Modèle:Mvar donné et une courbe algébrique de degré Modèle:Mvar ne passant pas par Modèle:Mvar, on considère l'équation de la courbe dans un repère d'origine Modèle:Mvar, Modèle:Math. On considère des droites passant par Modèle:Mvar de vecteurs directeurs $\overrightarrow{u}=(\cos \theta ,\sin \theta )$ et rencontrant la courbe en Modèle:Mvar points. Si la droite est munie du repère $(P,\overrightarrow{u})$, les abscisses des points d'intersections sont les racines du polynôme en Modèle:Math, $F(\lambda \cos \theta ,\lambda \sin \theta )$. Son coefficient constant est Modèle:Math et son coefficient de degré 1 est une combinaison linéaire des fonctions cosinus et sinus. On a donc

$\frac{1}{n}({\lambda }_1+{\lambda }_2+\cdots +{\lambda }_n)=-\frac{a}{nF(0,0)}\cos (\theta )-\frac{b}{nF(0,0)}\sin (\theta )=r\cos (\theta -\phi )$

où Modèle:Mvar et Modèle:Mvar sont des constantes indépendantes de Modèle:Mvar.

Illustration du théorème de Cotes pour un point intérieur de la conique. Pour chaque droite du faisceau, la moyenne harmonique relativement à Modèle:Mvar des points d'intersection avec la courbe reste sur la droite en bleu continu

Le point Modèle:Math a donc pour coordonnées

$(\frac{1}{r\cos (\theta -\phi )}\cos \theta ,\frac{1}{r\cos (\theta -\phi )}\sin \theta )$.

Il est donc situé sur la droite passant par le point $H(\frac{\cos \phi }{r},\frac{\sin \phi }{r})$ et perpendiculaire à Modèle:Math.

La propriété est valable tant pour des moyennes harmoniques de nombres positifs que pour des moyennes harmoniques comportant des termes négatifs à condition que la somme des termes ne soit pas nulle.

Contexte historique

Ce théorème est énoncé par Roger Cotes. Il est trouvé dans les papiers du savant, après sa mort en 1716, par son cousin mathématicien Robert Smith, qui le transmet, sans démonstration, à Colin Maclaurin. Ce dernier en propose deux démonstrations, une géométrique et une algébrique dans son Modèle:Lang de 1748

Ce théorème généralise le théorème de Newton sur les diamètres qui traite de la moyenne arithmétique des points d'intersection pour un faisceau de droites parallèles. Il suffit pour passer de ce théorème à celui de Newton de faire glisser le point P sur la droite directrice du futur faisceau de parallèles. Quand le point Modèle:Mvar part vers l'infini la moyenne harmonique des points d'intersection relativement à Modèle:Mvar a pour limite l'isobarycentre de ces points. Le faisceau de droites concourantes en Modèle:Mvar tend alors vers un faisceau de droites parallèles.