The root separation (or zero separation) of a polynomial 
with roots 
, 
, ... is defined by
 |
There are lower bounds on how close two distinct roots of a polynomial can be. In particular, if 
is a squarefree polynomial of degree 
with discriminant 
, then the Mahler bound gives the minimum separation distance
between any pair of roots as
 |
