A quadratic irrational is an α\alpha satisfying

aα2+bα+c=0a\alpha^2+b\alpha+c=0

for some integers a,b,ca,b,c with a≠0a\ne0. Because α\alpha is irrational, the polynomial cannot factor into linear polynomials over Q\mathbb Q. Its discriminant b2−4acb^2-4ac is positive and is not an integer square.

Examples

The numbers 2\sqrt2 and 2−1\sqrt2-1 satisfy x2−2=0x^2-2=0 and x2+2x−1=0x^2+2x-1=0, respectively. Each has a second real root, its . The two roots together provide arithmetic lower bounds on nonzero integer linear forms.

References