Polynomial discriminant

For a monic polynomial with roots $r_i$, the discriminant is ${\prod }_{i<j}(r_i-r_j{)}^2$ and vanishes exactly for a repeated root.