Construct the geometric mean √(ab) on a right-semicircle (mean proportional)

Original label: Construct the geometric mean √(ab) on a right-semicircle (mean proportional)