
Therefore x + y + x + y = 180, in other words 2(x + y) = 180.Īnd so x + y = 90. Therefore each of the two triangles is isosceles and has a pair of equal angles.īut all of these angles together must add up to 180°, since they are the angles of the original big triangle. We know that each of the lines which is a radius of the circle (the green lines) are the same length. Thank you.We can split the triangle in two by drawing a line from the centre of the circle to the point on the circumference our triangle touches.

Have you seen the geometric mean elsewhere? Let me know. Draw perpendiculars $PQ,\ $ $PR,\ $ and $PS\ $ from $P\ $ to $AB\ $ and the tangents to the circle at $A\ $ and $B.\ $ Then $PQ^.$ Let $AB\ $ be a chord in a circle and $P\ $ a point on the circle. Let their radii be $a\ $, $p,\ $ $b\ $ in the decreasing order, then $p\ $ is the mean proportional of $a\ $ and $b\ $. Inscribe the incircles into three similar and similarly obtained triangles. The process of inscribing a square continues for two more steps with the cut off triangles. In one of the simplest sangaku a square is inscribed into a right triangle. In the framework of the See-Saw Lemma, if a semicircle is inscribed between two perpendiculars to its diameter and a transversal tangent to the semicircle cut segments of lengths $a\ $ and $b\ $ from the two lines, then the radius of the semicircle is the geometric mean of $a\ $ and $b\ $. The geometric mean appeared as a tangent to a circle in John Wallis' very first geometric interpretation of complex numbers: The length of the common tangent of two circles of diameters $a\ $ and $b\ $ that are tangent externally is the geometric mean of the diameters: In fact the geometric mean makes quite frequent appearances in a variety of geometric situations. If we pair the big triangle with any of the smaller ones, we'll find that a leg of a right triangle is the mean proportional between its projection on the hypotenuse and the hypotenuse itself. The corollary to VI.8 is derived from the similarity of two small triangles. For example, in a right triangle with the altitude to the hypotenuse drawn we may observe three similar triangles: the given one, and the smaller ones cut off by the altitude. However this is not the only appearance of the mean proportional in right triangle. The above construction of the mean proportional is based on a Corollary from Euclid VI.8: If in a right-angled triangle a perpendicular is drawn from the right angle to the base, then the straight line so drawn is a mean proportional between the segments of the base. The fourth proportional of the given numbers $a\ $, $b\ $, $c\ $ is number $x\ $ such that $ab = c/x.\ $ The third proportional of two numbers $a\ $ and $b\ $ is number $y\ $ such that $a/b = b/y.\ $ Also, this same construction is used by Euclid II.14 to construct a square of the same area as a given rectangle.) (In passing, the are two more terms in Euclid VI that relate to the proportions like the above.

The length of the perpendicular from the circumference to the diameter is exactly the geometric mean of $a\ $ and $b\ $. It appears in a more algebraic setting as the mean proportional $p\ $ between two numbers $a\ $ and $b\ $:Įuclid VI.13 gives a geometric construction of the mean proportional:ĭraw a semicircle on a diameter of length $a + b\ $ and a perpendicular to the diameter where the two segments join. In all likelihood, this particular problem gave that number its commonly used name: the geometric mean. The geometric mean then answers this question: given a rectangle with sides $a\ $ and $b\ $, find the side of the square whose area equals that of the rectangle. While it is possible to (at least partially) adapt the definition to handle negative numbers, I do not believe this is ever done. The geometric mean of two positive numbers $a\ $ and $b\ $ is the (positive) number g whose square equals the product $ab\ $:
