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 situés sur une droite munie d'un repère d'origine , on appelle moyenne harmonique de l'ensemble des points relativement à , le point 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 , et si l'on prend pour chacune de ces transversales, la moyenne harmonique relativement à 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é 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 donné et une courbe algébrique de degré ne passant pas par , on considère l'équation de la courbe dans un repère d'origine , . On considère des droites passant par de vecteurs directeurs et rencontrant la courbe en points. Si la droite est munie du repère , les abscisses des points d'intersections sont les racines du polynôme en , . Son coefficient constant est et son coefficient de degré 1 est une combinaison linéaire des fonctions cosinus et sinus. On a donc
où et sont des constantes indépendantes de .
Le point a donc pour coordonnées . Il est donc situé sur la droite passant par le point et perpendiculaire à Voir Coordonnées polaires#Droite.
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 MaclaurinMaximilien Marie, Histoire des sciences mathématiques et physiques, Paris : Gauthier-Villars, 1883-1888, T.7, p.223, (lire en ligne). Ce dernier en propose deux démonstrations, une géométrique et une algébriqueColin Maclaurin, « De linearum géometricarum proprietatibus generalibus tractatus» en appendice de A Treatrise of Algebra, § 23 à 32, (lire en ligne dans son de 1748Sa contribution est analysée par Olivier Bruneau dans «Le De linearum de MacLaurin : entre Newton et Poncelet», in Revue d'histoire des mathématiques, T. 17, Fascule 1, Société mathématique de France, 2011, p.24 et suivantes
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 Michel Chasles, Aperçu historique sur l'origine et le développement des méthodes en géométrie, Mémoires de l'Académie Royales des sciences et belles-lettres de Bruxelles, T. XI, 1837, p. 147 (lire en ligne). 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 part vers l'infini la moyenne harmonique des points d'intersection relativement à a pour limite l'isobarycentre de ces points. Le faisceau de droites concourantes en tend alors vers un faisceau de droites parallèles.
Notes et références
Catégorie:Théorie des transversales