Идея была в том, чтобы сначала найти

-- площадь треугольника (сферического), образованного центром отверстия и точками пересечения границ отверстия и плавающего "внутра". Угол

этого треугольника при центре отверстия позволит вычислить

-- площадь соответствующего сферически-кругового сектора отверстия (при известной площади самого отверстия --

) Результат -- площадь луночки -- равен, очевидно,

.
Проблема заключается в нахождении точек пересечения окружностей на сфере... Я попробовал несколько способов, но они слишком бредовые, и, наверняка неправильные.
P.S.: Верно ли, что

?