Math 2.0

statement theorem

Classification of conics by the discriminant

Statement

Let Q={ (x,y)∈R2:Ax2+Bxy+Cy2+Dx+Ey+F=0 }Q = \{\, (x, y) \in \mathbb{R}^2 : A x^2 + B x y + C y^2 + D x + E y + F = 0 \,\} be a non-degenerate conic section. Let Δ=B2−4AC\Delta = B^2 - 4AC be the discriminant. Then QQ is

  • an ellipse if and only if Δ<0\Delta < 0,
  • a parabola if and only if Δ=0\Delta = 0,
  • a hyperbola if and only if Δ>0\Delta > 0.

Moreover, QQ is a circle if and only if A=CA = C and B=0B = 0.

Remarks

The discriminant is −4-4 times the determinant of (AB/2B/2C)\begin{pmatrix} A & B/2 \\ B/2 & C \end{pmatrix}, the matrix of the quadratic part. A rotation or a translation of the coordinates does not change Δ\Delta or A+CA + C. So the type of a conic does not depend on the choice of Cartesian coordinates. A hyperbola with A+C=0A + C = 0 is rectangular: its asymptotes are perpendicular.

Explanations

L1 human

The terms of degree 22 decide the shape of a conic. For x2+y2=1x^2 + y^2 = 1, Δ=−4<0\Delta = -4 < 0 and we get a circle, a special ellipse. For y=x2y = x^2, Δ=0\Delta = 0 and we get a parabola. For xy=1x y = 1, Δ=1>0\Delta = 1 > 0 and we get a hyperbola.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 6 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Circle concept
  2. Conic section concept
  3. Ellipse concept
  4. Hyperbola concept
  5. Parabola concept
  6. Classification of conics by the discriminant statement

Sources

  1. Web https://en.wikipedia.org/wiki/Matrix_representation_of_conic_sections, Classification
  2. Web https://en.wikipedia.org/wiki/Conic_section, Discriminant
  3. Web https://en.wikipedia.org/wiki/Conic_section, Invariants