Triangle inequality is an exterior angle of a right triangle and therefore larger than , meaning the other base angle of the isosceles triangle also is greater than and their sum exceeds in violation of the triangle postulate). This theorem establishing inequalities is sharpened by Pythagoras' theorem to the equality that the square of the length of the hypotenuse equals the sum of the squares of the other two sides. Consider a triangle whose sides are in an arithmetic progression and let the sides be , , . Then the triangle inequality requires that The first of these quadratic inequalities requires to
Van Aubel's theorem Van Aubel's theorem In plane geometry, Van Aubel's theorem describes a relationship between squares constructed on the sides of a quadrilateral. Starting with a given quadrilateral (a polygon having four sides), construct a square on each side. Van Aubel's theorem states that the two line segments between the centers of opposite squares are of equal lengths and are at right angles to one another. Another way of saying the same thing is that the center points of the four squares form the vertices of an equidiagonal orthodiagonal quadrilateral. The theorem is named after H. H. van Aubel, who published it