De Gua's theorem
In mathematics, De Gua's theorem is a three-dimensional analog of the Pythagorean theorem named after Jean Paul de Gua de Malves. It states that if a tetrahedron has a right-angle corner (like the corner of a cube), then the square of the area of the face opposite the right-angle corner is the sum of the squares of the areas of the other three faces: De Gua's theorem can be applied for proving a special case of Heron's formula. Generalizations The Pythagorean theorem and de Gua's theorem are special cases () of a general theorem about n-simplices with a right-angle corner, proved by P. S. Donchian and H. S. M. Coxeter in 1935. This, in turn, is a special case of a yet more general theorem by Donald R. Conant and William A. Beyer (1974), which can be stated as follows. Let U be a measurable subset of a k-dimensional affine subspace of (so ). For any subset with exactly k elements, let be the orthogonal projection of U onto the linear span of , where and is the standard basis for . Then where is the k-dimensional volume of U and the sum is over all subsets with exactly k