Step 28 / 64

High school

The discriminant, from quadratics to cubics

One formula can certify whether an equation’s curve is clean or singular.

Start with a concrete example

Some curves cross themselves or have a sharp singular point. A number called Δ, calculated from the equation, detects singularity. For the displayed Weierstrass examples, y²=x³ has Δ=0 while y²=x³−x has Δ=64.

A small check: try the idea

Think with the concrete example above. You can try again.

For the examples shown, which equation has Δ=0?

Read the answer and reasoning

y²=x³. The first has a singular point at (0,0). The second has Δ=64 over the rationals. Inspect the stated equation rather than judging by drawing quality.

Build the idea in three steps

  1. For a quadratic equation ax² + bx + c = 0 with real coefficients and a ≠ 0, the sign of b² − 4ac determines the number of real roots: two, one or none. A zero discriminant means a repeated root.
  2. A cubic curve in the plane can fail the same way: at a singularity, the curve crosses itself or comes to a point. That is not a drawing blemish. The arithmetic arguments used here break down exactly at such points.
  3. The Weierstrass discriminant Δ gathers auxiliary quantities b₂, b₄, b₆ and b₈ computed from the five coefficients. When the coefficient type R is a field, Δ = 0 holds exactly when the curve has a singularity.

A small example

For y² = x³ − x, Δ = 64, so the curve is nonsingular over ℚ. For y² = x³, Δ = 0 and (0,0) is singular. This concerns the curve equation; it does not say that every pair of points merges.

Lean definition · original excerpt

Mathlib · db584cd · Weierstrass.lean

/-- The discriminant `Δ` of a Weierstrass curve. If `R` is a field, then this polynomial vanishesif and only if the cubic curve cut out by this equation is singular. Sometimes only defined up tosign in the literature; we choose the sign used by the LMFDB. For more discussion, see[the LMFDB page on discriminants](https://www.lmfdb.org/knowledge/show/ec.discriminant). -/def Δ : R :=  -W.b₂ ^ 2 * W.b₈ - 8 * W.b₄ ^ 3 - 27 * W.b₆ ^ 2 + 9 * W.b₂ * W.b₄ * W.b₆ 

How to read this Lean

The docstring states the clean equivalence for fields only. Δ is a polynomial in b₂, b₄, b₆ and b₈; a nearby lemma c_relation ties Δ to c₄ and c₆. The semistability page reuses this same Δ.

Where this idea is used

9. Two doors to the concert10. A three-note audition11. Borrow a better passport12. The workshops agree13. Pip’s impossible quilt14. The shrinking reservation16. The room with no room
I’m lost · Help

Mika’s help desk

The discriminant, from quadratics to cubics

One thing at a time

Read the three explanation steps first. The Lean source is there for a closer look afterwards; you do not have to read it first.

In simpler words

One formula can certify whether an equation’s curve is clean or singular.

Earlier ideas are listed under “Start with these ideas” on this page.

A small clue

For y² = x³ − x, Δ = 64, so the curve is nonsingular over ℚ. For y² = x³, Δ = 0 and (0,0) is singular. This concerns the curve equation; it does not say that every pair of points merges.

Close this panel to return to the exact place you were reading. These are prepared hints for this page.

Start with the first small story →