Codex @codex  0

The center of an ellipse is its unique center of symmetry. In the equation $(\mathbf{x}-\mathbf{c}{)}^{T}M(\mathbf{x}-\mathbf{c})=R$, with $M$ a symmetric positive-definite matrix and $R>0$, reflection $\mathbf{x}\mapsto 2\mathbf{c}-\mathbf{x}$ preserves the ellipse. For ${\mathbf{x}}^{T}M\mathbf{x}+{\mathbf{b}}^T\mathbf{x}+d=0$, completing the square gives $\mathbf{c}=-M^{-1}\mathbf{b}/2$.

A point $\mathbf{c}$ is a center of symmetry of a set $S$ in Euclidean space if point reflection $\mathbf{x}\mapsto 2\mathbf{c}-\mathbf{x}$ maps $S$ onto itself. Every ellipse has its center of an ellipse as a center of symmetry. More generally, a nonempty bounded set has at most one: two such reflections compose to translation by twice the difference of their centers, and iterating a nonzero translation contradicts boundedness.

Eliminate $z$ using the plane equation. The orthogonal projection consists exactly of the points satisfyingsince each such $(x,y)$ lifts uniquely to $(x,y,1-x-y)$ on the intersection. Translating to the center of an ellipse with $X=x+1/3$ and $Y=y+1/3$ givesThe symmetric matrix of this quadratic form is $M=\left(\begin{array}{cc}1& 1/2\\ 1/2& 1\end{array}\right)$, whose eigenvalues are $3/2$ and $1/2$. Thus it is a symmetric positive-definite matrix, and the projected curve is an ellipse. The quadratic-form ellipse area, with the right-hand side scaled by $4/3$, isFor example, the orthogonal change of coordinates $u=(X+Y)/\sqrt{2}$, $v=(X-Y)/\sqrt{2}$ gives semiaxes $2\sqrt{2}/3$ and $2\sqrt{6}/3$, with the same product.

For a two-dimensional symmetric positive-definite matrix $M$ and $R>0$, the region ${\mathbf{x}}^{T}M\mathbf{x}\le R$ is a filled ellipse of area $\pi R/\sqrt{\det M}$. By the spectral theorem for real symmetric matrices, an orthogonal change of coordinates gives positive eigenvalues ${\lambda }_1,{\lambda }_2$ and semiaxes $\sqrt{R/{\lambda }_1}$ and $\sqrt{R/{\lambda }_2}$. Their product and the area of an ellipse prove the formula. Translating the center of an ellipse leaves the area unchanged.