Geometric mean theorem
   HOME

TheInfoList



OR:

In
Euclidean geometry Euclidean geometry is a mathematical system attributed to ancient Greek mathematics, Greek mathematician Euclid, which he described in his textbook on geometry, ''Euclid's Elements, Elements''. Euclid's approach consists in assuming a small set ...
, the right triangle altitude theorem or geometric mean theorem is a relation between the
altitude Altitude is a distance measurement, usually in the vertical or "up" direction, between a reference datum (geodesy), datum and a point or object. The exact definition and reference datum varies according to the context (e.g., aviation, geometr ...
on the
hypotenuse In geometry, a hypotenuse is the side of a right triangle opposite to the right angle. It is the longest side of any such triangle; the two other shorter sides of such a triangle are called '' catheti'' or ''legs''. Every rectangle can be divided ...
in a
right triangle A right triangle or right-angled triangle, sometimes called an orthogonal triangle or rectangular triangle, is a triangle in which two sides are perpendicular, forming a right angle ( turn or 90 degrees). The side opposite to the right angle i ...
and the two line segments it creates on the hypotenuse. It states that the
geometric mean In mathematics, the geometric mean is a mean or average which indicates a central tendency of a finite collection of positive real numbers by using the product of their values (as opposed to the arithmetic mean which uses their sum). The geometri ...
of those two segments equals the altitude.


Theorem and its converse

If denotes the altitude in a right triangle and and the segments on the hypotenuse then the theorem can be stated as: :h=\sqrt or in term of areas: :h^2=pq. The converse statement is true as well. Any triangle, in which the altitude equals the geometric mean of the two line segments created by it, is a right triangle. The theorem can also be thought of as a special case of the intersecting chords theorem for a circle, since the converse of
Thales' theorem In geometry, Thales's theorem states that if , , and are distinct points on a circle where the line is a diameter, the angle is a right angle. Thales's theorem is a special case of the inscribed angle theorem and is mentioned and proved as pa ...
ensures that the hypotenuse of the right angled triangle is the diameter of its
circumcircle In geometry, the circumscribed circle or circumcircle of a triangle is a circle that passes through all three vertex (geometry), vertices. The center of this circle is called the circumcenter of the triangle, and its radius is called the circumrad ...
.


Applications

The formulation in terms of areas yields a method to square a rectangle with ruler and compass, that is to construct a square of equal area to a given rectangle. For such a rectangle with sides and we denote its top left vertex with (see the ''Proof > Based on similarity'' section for a graphic of the construction). Now we extend the segment to its left by (using arc centered on ) and draw a half circle with endpoints and with the new segment as its diameter. Then we erect a perpendicular line to the diameter in that intersects the half circle in . Due to
Thales' theorem In geometry, Thales's theorem states that if , , and are distinct points on a circle where the line is a diameter, the angle is a right angle. Thales's theorem is a special case of the inscribed angle theorem and is mentioned and proved as pa ...
and the diameter form a
right triangle A right triangle or right-angled triangle, sometimes called an orthogonal triangle or rectangular triangle, is a triangle in which two sides are perpendicular, forming a right angle ( turn or 90 degrees). The side opposite to the right angle i ...
with the line segment as its altitude, hence is the side of a square with the area of the rectangle. The method also allows for the construction of square roots (see constructible number), since starting with a rectangle that has a width of 1 the constructed square will have a side length that equals the square root of the rectangle's length.*Hartmut Wellstein, Peter Kirsche: ''Elementargeometrie''. Springer, 2009, , pp. 76-77 (German, ) Another application of this theorem provides a geometrical proof of the
AM–GM inequality In mathematics, the inequality of arithmetic and geometric means, or more briefly the AM–GM inequality, states that the arithmetic mean of a list of non-negative real numbers is greater than or equal to the geometric mean of the same list; and ...
in the case of two numbers. For the numbers and one constructs a half circle with diameter . Now the altitude represents the geometric mean and the radius the arithmetic mean of the two numbers. Since the altitude is always smaller or equal to the radius, this yields the inequality.


History

The theorem is usually attributed to
Euclid Euclid (; ; BC) was an ancient Greek mathematician active as a geometer and logician. Considered the "father of geometry", he is chiefly known for the '' Elements'' treatise, which established the foundations of geometry that largely domina ...
(ca. 360–280 BC), who stated it as a corollary to proposition 8 in book VI of his Elements. In proposition 14 of book II Euclid gives a method for squaring a rectangle, which essentially matches the method given here. Euclid however provides a different slightly more complicated proof for the correctness of the construction rather than relying on the geometric mean theorem.


Proof


Based on similarity

Proof of theorem: The triangles are similar, since: * consider triangles ; here we have \angle ACB=\angle ADC=90^\circ, \quad \angle BAC=\angle CAD; therefore by the AA postulate \triangle ABC \sim \triangle ACD . * further, consider triangles ; here we have \angle ACB=\angle BDC= 90^\circ, \quad \angle ABC=\angle CBD; therefore by the AA postulate \triangle ABC \sim \triangle BCD. Therefore, both triangles are similar to and themselves, i.e. \triangle ACD \sim \triangle ABC \sim \triangle BCD. Because of the similarity we get the following equality of ratios and its algebraic rearrangement yields the theorem: : \frac=\frac\,\Leftrightarrow\,h^2=pq\,\Leftrightarrow\,h=\sqrt\qquad (h,p,q> 0) Proof of converse: For the converse we have a triangle in which h^2=pq holds and need to show that the angle at is a right angle. Now because of h^2=pq we also have \tfrac=\tfrac. Together with \angle ADC=\angle CDB the triangles have an angle of equal size and have corresponding pairs of legs with the same ratio. This means the triangles are similar, which yields: :\begin \angle ACB &= \angle ACD +\angle DCB \\ &= \angle ACD+(90^\circ-\angle DBC) \\ &= \angle ACD+(90^\circ-\angle ACD) \\ &= 90^\circ \end


Based on the Pythagorean theorem

In the setting of the geometric mean theorem there are three right triangles , and in which the Pythagorean theorem yields: :\begin h^2 &= a^2-q^2 \\ h^2 &= b^2-p^2 \\ c^2 &= a^2+b^2 \end Adding the first 2 two equations and then using the third then leads to: :\begin 2h^2 &= a^2+b^2-p^2-q^2 \\ &= c^2-p^2-q^2 \\ &= (p+q)^2-p^2-q^2 \\ &= 2pq \\ \therefore \ h^2 &= pq. \end which finally yields the formula of the geometric mean theorem.
Ilka Agricola Ilka Agricola (born 8 August 1973 in The Hague)Curriculum vitae
retrieved 1 January 2017.
, Thomas Friedrich: ''Elementary Geometry''. AMS 2008, , p. 25 ()


Based on dissection and rearrangement

Dissecting the right triangle along its altitude yields two similar triangles, which can be augmented and arranged in two alternative ways into a larger right triangle with perpendicular sides of lengths and . One such arrangement requires a square of area to complete it, the other a rectangle of area . Since both arrangements yield the same triangle, the areas of the square and the rectangle must be identical.


Based on shear mappings

A square constructed on the altitude can be transformed into a rectangle of equal area with sides and with the help of three
shear mapping In plane geometry, a shear mapping is an affine transformation that displaces each point in a fixed direction by an amount proportional to its signed distance function, signed distance from a given straight line, line parallel (geometry), paral ...
s (shear mappings preserve the area):


References


External links


''Geometric Mean''
at
Cut-the-Knot Alexander Bogomolny (January 4, 1948 July 7, 2018) was a Soviet Union, Soviet-born Israeli Americans, Israeli-American mathematician. He was Professor Emeritus of Mathematics at the University of Iowa, and formerly research fellow at the Moscow ...
{{commonscat, Geometric mean theorem Area Articles containing proofs Euclidean plane geometry Greek mathematics History of geometry Theorems about right triangles