Discriminant of General Quadratic Equation

[DJ24]

I understand how the discriminant, b^{2}-4ac, comes from in the quadratic equation ax^{2}+bx+c=0, but how does it come from the general quadratic equation ax^{2}+bxy+cy^{2}+dx+ey+f=0 ?

 

[HallsofIvy]

You just asked this!
https://www.physicsforums.com/showthread.php?t=324167&highlight=discriminant+conic

Didn't you like those answers?

 

[DJ24]

I still do not see the connection between b^{2}-4ac and the classification of a conic.

 

[symbolipoint]

I still do not see the connection between b^{2}-4ac and the classification of a conic.

The discriminant expression occurs in the completion of the square and solution process for a quadratic equation. One of the requirements is that one accepts the connection between conic sections and the use of the distance formula definitions for parabola, ellipse, circle, and hyperbola.

 

[DJ24]

I know where the discriminant comes from in the quadratic formula of which involves only x, but I don't see how it comes from the irreducible general quadratic equation of which involves x and y.

 

[symbolipoint]

I know where the discriminant comes from in the quadratic formula of which involves only x, but I don't see how it comes from the irreducible general quadratic equation of which involves x and y.

A student or other interested person could take the equation for an unrotated conic section for which the xy term would be zero, and solve for x in terms of y. A discriminant expression would occur; actually, I should try this just to be sure, although I feel that by doing so I would find what I expect.

 

[HallsofIvy]

Yes, that, together with a number of different ways of looking at it, was explained to DJ24 the first time he posted this question. Since he says he did not understand them, I see no reason to think he will understand this time around.

 

[DJ24]

I narrowed down my previous question and reposted it because I felt like the last one died. Also, my previous question was not a request of an explanation of the determinant's derivation, but rather the connection between it and conic classification.

I feel like there may be a simple proof of how b²-4ac can be derived from the general quadratic equation just as it is derived from the quadratic equation with only x, and was hoping someone could show it to me. I am not satisfied until I, if possible, have an intuitive and thorough understanding of the matter; I do not just accept plain facts of which I do not understand.

 

[symbolipoint]

Are you asking for a geometric interpretation for the discriminant? The symbolism occurs in the derivation for solution of x or y. This then may have meaning regarding restrictions on Real values for x or y, since b² - 4ac being negative indicates an imaginary number. I am about at my limit for what I can tell you about this (and the b²-4ac is for solution of x for a parabola; I have not yet tried to perform the derivation on the general quadratic equation for x and for y). This would be for someone else to explain.

 

[DJ24]

I am looking for more of an algebraic proof.

 

[trambolin]

What kind of algebraic proof are you looking for?

HallsofIvy had a very nice answer already with the matrix/eigenvalue representation.

 

[DJ24]

Is the eigenvalue/vector explanation the only one, though? Isn't there a simple algebraic rearrangement of the general quadratic equation that results in displaying the discriminant?-such as in the quadratic formula of which only involves the variable x?

 

[trambolin]

You mean something like this?

<br /> \begin{align*}<br /> ax^2+bx+c &amp;= 0, a\neq 0\\<br /> x^2+\frac{b}{a}x+\frac{c}{a} &amp;= 0\\<br /> x^2+\frac{b}{a}x+ (\frac{b}{2a})^2 &amp;= (\frac{b}{2a})^2-\frac{c}{a}\\<br /> \left( x+ \frac{b}{2a} \right) &amp;= \pm\frac{\sqrt{b^2-4ac}}{2a}\\<br /> x &amp;= \frac{-b \pm \sqrt{b^2-4ac}}{2a}<br /> \end{align*}<br />

Edit : This trick is completion of squares as suggested before. You can complete the square for the general one which is not so fun to type in latex if that is what you mean...Please be specific about what you ask for. Saying "no that is not what I want" does not lead to fruitful posts.

Addition to HallsofIvy's representation the full general quadratic form can also be written as
<br /> \begin{bmatrix} x &amp; y &amp; 1\end{bmatrix}\begin{bmatrix} A &amp; \frac{B}{2} &amp;\frac{D}{2}\\ \frac{B}{2} &amp; C &amp;\frac{E}{2}\\ \frac{D}{2} &amp;\frac{E}{2} &amp;F\end{bmatrix}\begin{bmatrix} x \\ y\\ 1\end{bmatrix} = 0<br />

You can go for the determinant of this... If there are no eigenvalues at zero, can this be possible for some (x,y)?

 

[HallsofIvy]

Start with Ax^2+ Bxy+ Cy^2 and complete the square just like with the single variable problem:
A(x^2+ (B/A)xy+ (By/2A)^2- (By/2A)^2+ Cy^2= A(x- By/2A)^2+ y^2(C- (B/2A)^2
Assuming A is positive (which you could guarantee by multiplying the entire equation by -1 if necessary), that will be a "sum of squares", and so the graph is an ellipse or circle, if and only if C- B^2/4A^2&gt; 0 or B^2- 4AC&lt; 0.

It will be a "difference of squares", and so the graph is a hyperbola, if and only if B^2- 4AC&gt; 0 and will have only one square, and so the graph is a parabola if and only B^2- 4AC= 0.

 

[DJ24]

I see how the discriminant arises by completing the square: (2ax+by)^{2}=(b^{2}-4ac)y^{2}

But how does it relate to a parabola when b^{2}-4ac=0?