If in a right-angled triangle a perpendicular is drawn from the right angle to the base, the triangles adjoining the perpendicular are similar both to the whole and to one another.