(related to Proposition: 6.08: Perpendicular in Right-Angled Triangle makes two Similar Triangles)
So (it is) clear, from this, that if, in a right-angled triangle, a (straight line) is drawn from the right angle perpendicular to the base then the (straight line so) drawn is in mean proportion to the pieces of the base. (Which is) the very thing it was required to show.
In any right-angled triangle with the sides \(a\), \(b\) with a right angle between the sides \(a\) and \(b\), the (segment) \(h\) drawn from the right angle perpendicular to the base \(c\) will cut it into pieces \(p\) and \(q\) and is equal the geometric mean of these pieces, formally
\[h=\sqrt{pq}.\]
Euclid calls in the “Elements” such a segment \(h\) as being the mean proportional to the pieces \(p\) and \(q\) of the base \(c\).
Proofs: 1
Lemmas: 1
Proofs: 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
Propositions: 22 23 24 25 26 27