Придётся, наверное, ещё раз.
Итак, есть уравнение эллипсоида:
.
Т.е.
. Нас интересует его проекция на плоскость
. Это -- объединение всех сечений эллипсоида плоскостями
. Т.е. не самих сечений, конечно, а их проекций на горизонтальную плоскость. Каждая из таких проекций -- это эллипс, уравнение которого совпадает с (1), только
в нём интерпретируется как параметр, в то время как
-- это переменные.
Если мысленно поднимать секущую плоскость, то сначала пересечений не будет, потом появится точка, которая начнёт раздуваться в расширяющиеся эллипсы, вложенные друг в друга. Когда левый край эллипса достигнет крайнего левого для самого эллипсоида положения -- эллипсы начнут смещаться, перекрывая друг друга уже лишь частично. Вверху поведение будет симметричным.
Объединение всех эллипсов -- это объединение множества их по центральному отрезку значений параметра
, на котором разные эллипсы не вкладываются друг в друга. Т.е. край объединения -- это огибающая этого семейства эллипсов.
А огибающая всегда получается так. Составляется система из уравнения самого семейства
, к которому добавляется уравнение, полученное приравниванием к нулю производной по параметру:
. В нашем случае -- это уравнение
(т.е. уравнение некоторой плоскости). Выражаем отсюда
, подставляем в (1) -- и получаем уравнение границы проекции эллипсоида.