Algorithm: construct the geometric mean √(ab) on a right-semicircle (mean proportional)

Class:
Algorithm