vignette|upright=1.4|Tétraèdre trirectangle en O. En mathématiques, le théorème de de Gua est une extension du théorème de Pythagore à la géométrie dans l'espace. Il a été énoncé par René Descartes et Johann Faulhaber dès 1622. Jean-Paul de Gua de Malves le démontre en 1783 en utilisant les formules de Héron d'Alexandrie..
Énoncé Soit un tétraèdre trirectangle en .
Le carré de l'aire de la face est la somme des carrés des aires des trois autres faces.
Démonstration Notons les longueurs respectives des arêtes .
Soit (etc.) dans le repère avec (etc.) Utilisons alors le produit vectoriel et son interprétation en termes d'aire. Alors d'où la formule.
Extension La formule s'étend aux dimensions supérieures., ce que remarque Descartes pour la dimension 4, dans ses notes. dès 1619-1623.
Références
Gua Catégorie:Polyèdre Catégorie:Aire