Fermat's right triangle theorem is, by the Pythagorean theorem, they would form two integer-sided right triangles in which the pair formula_10 gives one leg and the hypotenuse of the smaller triangle and the same pair also forms the two legs of the larger triangle. But if (as Fibonacci asserted) no square congruum can exist, then there can be no two integer right triangles that share two sides in this way. Because the congrua are exactly the numbers that are four times the area of a Pythagorean triangle, and multiplication by four does not change whether a number is square, the existence of a square
Altitude (triangle) The orthocenter lies inside the triangle if and only if the triangle is acute (i.e. does not have an angle greater than or equal to a right angle). If one angle is a right angle, the orthocenter coincides with the vertex at the right angle. Let denote the vertices and also the angles of the triangle, and let be the side lengths. The orthocenter has trilinear coordinates formula_2 and barycentric coordinates Since barycentric coordinates are all positive for a point in a triangle's interior but at least one is negative for a point in the exterior, and two of the