[math-fun] Inverse cycloid problem ?