Придётся, наверное, ещё раз.
Итак, есть уравнение эллипсоида:

.
Т.е.

. Нас интересует его проекция на плоскость

. Это -- объединение всех сечений эллипсоида плоскостями

. Т.е. не самих сечений, конечно, а их проекций на горизонтальную плоскость. Каждая из таких проекций -- это эллипс, уравнение которого совпадает с (1), только

в нём интерпретируется как параметр, в то время как

-- это переменные.
Если мысленно поднимать секущую плоскость, то сначала пересечений не будет, потом появится точка, которая начнёт раздуваться в расширяющиеся эллипсы, вложенные друг в друга. Когда левый край эллипса достигнет крайнего левого для самого эллипсоида положения -- эллипсы начнут смещаться, перекрывая друг друга уже лишь частично. Вверху поведение будет симметричным.
Объединение всех эллипсов -- это объединение множества их по центральному отрезку значений параметра

, на котором разные эллипсы не вкладываются друг в друга. Т.е. край объединения -- это огибающая этого семейства эллипсов.
А огибающая всегда получается так. Составляется система из уравнения самого семейства

, к которому добавляется уравнение, полученное приравниванием к нулю производной по параметру:

. В нашем случае -- это уравнение

(т.е. уравнение некоторой плоскости). Выражаем отсюда

, подставляем в (1) -- и получаем уравнение границы проекции эллипсоида.