Annales de mathématiques pures et appliquées/Tome 13/Géométrie élémentaire, article 6
![Séparateur](http://upload.wikimedia.org/wikipedia/commons/thumb/7/74/Sep4.svg/100px-Sep4.svg.png)
Démonstration du théorème de géométrie énoncé
à la page 248 du présent volume ;
THÉORÈME. Le point d’un plan indéfini dont la somme des distances à trois autres points, situés hors de ce plan, est un minimum, est tel que si, par la droite qui va de ce point à l’un quelconque des trois autres, on conduit un plan perpendiculaire à celui dont il s’agit, ce plan divisera en deux parties égales l’angle formé par les droites qui vont du même point aux deux points restans.
Démonstration. Soit représentée la figure en relief (fig. 5), en représentant par des lignes ponctuées tout ce qui est hors du plan indéfini. Soient le point cherché sur ce plan, et les trois points donnés hors du même plan ; de manière que doive être un minimum.
1.o Supposons, en premier lieu, que l’une des distances, par exemple, soit donnée, de telle sorte qu’il ne soit question que de rendre minimum la somme des deux autres ; étant respectivement les projections de sur le plan indéfini. Alors le point sera l’un de ceux d’une circonférence ayant son centre en et, en menant une tangente à cette circonférence par ce point, il faudra, pour que soit un minimum, que les angles et soient égaux ; car, soit substitué à un autre point du cercle ou de sa tangente, infiniment voisin du premier, du côté de il est clair que se trouvera diminuée d’une quantité tandis que se trouvera augmentée d’une quantité Or le caractère du minimum est que la diminution d’une part se trouve exactement composée par l’augmentation de l’autre, ce qui exige que les angles et soient égaux.
2.o La tangente étant perpendiculaire au plan du triangle de l’égalité des angles que font et avec cette tangente on peut conclure l’égalité des angles que font les mêmes droites avec ce plan.
3.o Il suit de là que les distances des points et à ce plan, lesquelles ne sont autre chose que les perpendiculaires abaissées des projections de ces points sur le prolongement du rayon doivent être dans le rapport de à Mais si est le point où le plan rencontre et que soit la projection de ce point, évidemment située sur le prolongement de on aura
donc on doit avoir aussi
ce qui prouve que la droite suivant laquelle le prolongement du plan coupe le triangle divise l’angle en deux parties égales.
![Séparateur](http://upload.wikimedia.org/wikipedia/commons/thumb/7/74/Sep4.svg/100px-Sep4.svg.png)
Autre démonstration du même théorème ;
Observons d’abord que, lorsqu’un cercle et une ellipse, situés à un même plan, n’ont qu’un seul point commun, ils ont nécessairement la même tangente en ce point. Car, si la tangente à l’ellipse n’était pas en même temps tangente au cercle, le centre de celui-ci serait hors de la normale, du point de contact ; de sorte qu’en menant de ce centre une autre normale, elle serait plus courte que le rayon, d’où il suit que l’ellipse aurait un point intérieur au cercle qui, conséquemment, devrait la couper en deux points au moins.
Observons encore que si un cercle et une ellipsoïde engendrée par la résolution d’une ellipse autour de son grand axe n’ont qu’un seul point commun, la tangente au cercle en ce point sera située dans le plan tangent à l’ellipsoïde au même point. En effet, le plan du cercle détermine dans l’ellipsoïde une section elliptique qui n’a qu’un point commun avec ce cercle et qui a pour tangente en ce point l’intersection de ce plan avec le plan tangent à l’ellipsoïde, intersection qui doit être tangente au cercle par ce qui précède.
Cela posé, soient (fig. 6) les trois points dont il s’agit, et le point du plan donné dont la somme des distances à ces trois-là est un minimum. Conduisons par et par la perpendiculaire le plan perpendiculaire à ce plan ; et du pied de la perpendiculaire comme centre et avec pour rayon, décrivons un cercle dans le même plan. Il est clair que ce cercle aura pour tangente en la perpendiculaire au plan Maintenant si l’on décrit, dans le plan une ellipse ayant ses foyers aux points et et dont le grand axe soit et qu’on fasse tourner cette ellipse autour de elle engendrera une ellipsoïde dont la surface ne devra rencontrer notre cercle qu’au seul point car si elle le coupait en un autre point on aurait d’où, à cause de on conclurait ce qui serait contre l’hypothèse. Donc, d’après la dernière des deux observations faites ci-dessus, la tangente au cercle au point est dans le plan tangent en ce point à la surface de l’ellipsoïde ; et, comme cette tangente est perpendiculaire au plan il en résulte que le plan tangente à l’ellipsoïde est aussi perpendiculaire au plan donc réciproquement ce plan lui est perpendiculaire, et par conséquent il passe par la normale à l’ellipsoïde au point mais la normale à l’ellipsoïde de révolution en chacun de ses points se confond avec celle de l’ellipse génératrice, lorsqu’elle passe par ce point ; donc enfin le plan passe par la normale à l’ellipse dont les foyers sont en et et dont et sont deux rayons vecteurs ; donc cette normale n’est autre que la droite suivant laquelle le plan rencontre le plan laquelle doit ainsi diviser en deux parties égales l’angle des rayons vecteurs. Le plan mené perpendiculairement au plan donné, par l’une quelconque des trois droites divise donc l’angle des deux autres en deux parties égales ; le plan mené par chacune d’elles perpendiculairement au plan donné divise donc l’angle des deux autres en deux parties égales[1].
- ↑ M. W. H. T. observe qu’en supposant nulles les trois hauteurs le problème reviendrait à trouver, sur le plan d’un triangle donné, un point dont la somme des distances à ses trois sommets soit la moindre possible ; problème qui a éte traité, ainsi qu’un grand nombre d’autres problèmes analogues, à la page 377 du 1.er volume du présent recueil ; mais que la situation des trois points donnés peut ne pas donner de minimum proprement dit ; circonstance qui doit également se reproduire dans quelques cas particuliers du problème énoncé à la page 380 du XII.e volume du présent recueil.
Nous observerons, à notre tour que, si le théorème qui vient d’être démontré est propre à jeter du jour sur la solution de ce dernier problème, cette solution, toutefois, n’en résulte pas immédiatement et reste encore à trouver.
J. D. G.