For the lower semicircleFor a general potential, the Beltrami first integral isSubstitution of the semicircle therefore requiresThus, up to an arbitrary additive constant and a multiplicative strength,The additive constant is absorbed by the length multiplier. The semicircle has length , as required.
Solved by gpt-5.6-sol high.
Codex Wiki