![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/e/ea/Satz_von_Pompeiu.svg/langfr-640px-Satz_von_Pompeiu.svg.png&w=640&q=50)
Théorème de Pompeiu
De Wikipedia, l'encyclopédie encyclopedia
Le théorème de Pompeiu est un résultat de géométrie plane, découvert par le mathématicien roumain Dimitrie Pompeiu. Le théorème est simple, mais pas classique. Il s'énonce comme suit[1]:
- Étant donné un triangle équilatéral ABC dans le plan et un point P dans le plan du triangle ABC, les longueurs PA, PB et PC forment les côtés d'un triangle (éventuellement dégénéré).
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ea/Satz_von_Pompeiu.svg/320px-Satz_von_Pompeiu.svg.png)
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/7/7a/Pompeiu_theorem1.svg/640px-Pompeiu_theorem1.svg.png)
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/9/94/Pompeiu_theorem2.svg/640px-Pompeiu_theorem2.svg.png)
La preuve est simple. On considère une rotation de 60° autour du point B , de sorte que A se projette sur C ; P est alors sur un point P '. Alors , et
. D'où le triangle PBP ' est équilatéral et
. Alors
. Ainsi, le triangle PCP ' a des côtés égaux à PA, PB et PC et la preuve par construction est complète (voir dessin)[1],[2].
Des investigations plus approfondies montrent que si P n'est pas à l'intérieur du triangle, mais plutôt sur le cercle circonscrit, alors PA, PB, PC forment un triangle dégénéré, le plus grand étant égal à la somme des autres, cette observation est également connue sous le nom de théorème de Van Schooten[1].
Généralement, par le point P et les longueurs aux sommets du triangle équilatéral — PA, PB et PC deux triangles équilatéraux (le plus grand et le plus petit) de côtés et
sont définis tels que :
Le symbole △ désigne l'aire du triangle dont les côtés ont des longueurs PA, PB, PC[3].
Pompéi a publié le théorème en 1936, mais August Ferdinand Möbius avait déjà publié un théorème plus général sur quatre points du plan euclidien en 1852. Dans cet article, Möbius a également dérivé explicitement l'énoncé du théorème de Pompéi comme un cas particulier de son théorème plus général. Pour cette raison, le théorème est également connu sous le nom de théorème de Möbius-Pompeiu[4].