Why does partial differentiation give centre of a conic?

Definition of centre of conics states that, "The point which bisects every chord of the conic passing through it is called centre of the conic"

General equation of second degree is $S:ax^2+2hxy+by^2+2gx+2fy+c=0$ If we partially differentiate $S$ with respect to $x$ and $y$, and then set both partial derivatives to $0$ . Solving two equations give centre of conics. Could someone explain simple logic behind this approach i.e. why we get centre using above methodology?


Solution 1:

Notice first that not every conic section has a center: another way of stating the given definition is that the center is the unique intersection of all axes of symmetry of the conic section. For an ellipse, this means that this center (if it exists at all) must be at the intersection of the major and minor axes, i.e., what we normally think of as the center of the ellipse. Similarly, for a hyperbola, the only candidate is the midpoint of the vertices of the two branches, which is also the intersection point of the asymptotes. I’ll leave it to you to prove that these points indeed satisfy the definition in your question. For a degenerate hyperbola, that is, a pair of intersecting lines, the center is clearly going to be at the point of intersection. For the degenerate ellipse—a single point—we can define the center to be the point itself.

No other conics have a center. For a parabola, there is no point that can serve as a center of symmetry. If there were one, it must clearly be somewhere on the axis of the parabola, but it’s not hard to show that such a point bisects only the chord that’s perpendicular to this axis. For the other degenerate conics—a pair of parallel lines and a single line—there are an infinite number of points that satisfy the definition, so there’s no distinguished center.

We can write the equation $$Q(x,y)=ax^2+2hxy+by^2+2gx+2fy+c=0\tag{1}$$ in matrix form as $$\mathbf x^TA_Q\mathbf x=\pmatrix{x&y&1}\pmatrix{a&h&g\\h&b&f\\g&f&c}\pmatrix{x\\y\\1}=0.\tag{2}$$ Suppose the origin is the center of the conic. Then if a point $(x,y)$ satisfies (1), so does $(-x,-y)$. Plugging these points into (1) and subtracting the resulting equations gives $4gx+4fy=0$. For this to hold for all points that satisfy (1), we must have $f=g=0$. In other words, if the center of the conic is at the origin, the linear terms in equation (1) vanish. Translating the origin to a point $\mathbf p_0=(x_0,y_0)$ amounts to replacing $\mathbf x$ by $\mathbf x'+\mathbf p_0$ in (2), so, the center (if it exists, of course), is a point ${\mathbf p}_c=(x_c,y_c)$ such that the linear terms of $(\mathbf x'+{\mathbf p}_c)^TA_Q(\mathbf x'+{\mathbf p}_c)$ vanish. This gives the system of linear equations $$\begin{align}2ax_c+2hy_c+2g&=0 \\ 2by_c+2hx_c+2f&=0,\end{align}$$ but this is exactly $\nabla Q(x_c,y_c)=(Q_x(x_c,y_c),Q_y(x_c,y_c))=0$. Note that if $ab-h^2=0$, i.e., if the principal minor of $A_Q$—the determinant of the quadratic part of $Q$—vanishes, then this system either has no solution or an infinite number of them. In the non-degenerate case, this corresponds to $Q(x,y)=0$ being the equation of a parabola.

The above derivation certainly works, but I find it somewhat unsatisfactory because the partial derivatives appear out of nowhere at the end. Here’s a somewhat informal geometric argument in which they enter naturally. In the non-degenerate cases we care about, the equation $z=Q(x,y)$ represents an elliptic or hyperbolic paraboloid (depending on the sign of the principal minor of $A_Q$).

enter image description here

In the first case, consider a paraboloid of revolution. If we fix $z$, the resulting level curve is a circle, and varying $z$ generates a family of concentric circles. The center $(x_c,y_c)$ will be at the vertex of the paraboloid, which is a local extremum of $z=Q(x,y)$, hence $\nabla Q(x_c,y_c)=0$. We can obtain any elliptic hyperboloid from this surface by applying an affine transformation, which preserves ratios of distances along the same line and intersections of lines, so the resulting family of ellipses will also be concentric.

enter image description here For the second case, the level curves form a family of hyperbolas with common asymptotes, so their center is at the intersection of these lines as we noted above. When the plane $z=k$ passes through the saddle point of the surface, we get the degenerate hyperbola consisting of the two asymptotes, and they intersect at the saddle point. So, the center of this family of hyperbolas is also at the point $(x_c,y_c)$ where $\nabla Q(x_c,y_c)=0$.

Solution 2:

Let $Q(x,y)=ax^2+bxy+cy^2+dx+ey+f$ be a polynomial in $x$ and $y$. The conic is, of course, the set of its zeros. By studying the symmetries of the figure, we find that the center, if it exists is a point $(P_x,P_y)$ such that $Q(x+P_x,y+P_y)=a'x^2+b'xy+c'y^2+f'$; i.e. it does not have any terms of degree 1.

For a polynomial in one variable, $P(x)=a_0+a_1x+\cdots+ a_nx^n$, and a constant $a$, we can find the coefficients of $P(x+a)$ using Taylor's theorem: $P(x+a)=P(a)+P'(a)x+P''\frac{x^2}{2!}+\cdots+ P^{(n)}(a)\frac{x^n}{n!}$. Analogously, using the generalization of Taylor's theorem to more than one variable, we find that $$Q(x+P_x,y+P_y)=Q(P_x,P_y)+\frac{\partial Q}{\partial x}(P_x,P_y)x+\frac{\partial Q}{\partial y}(P_x,P_y)y+\frac{\partial^2 Q}{\partial x^2}(P_x,P_y)\frac{x^2}{2}+\frac{\partial^2 Q}{\partial y^2}(P_x,P_y)\frac{y^2}{2}+\frac{\partial^2 Q}{\partial x \partial y}(P_x,P_y)xy.$$ But we want the coefficients of the terms of degree 1 to be zero; so, if such a point exists, then $\frac{\partial Q}{\partial x}(P_x,P_y)=\frac{\partial Q}{\partial y}(P_x,P_y)=0$.