Unbounded continued-fraction coefficients exclude quadratic irrationality

ID: unbounded-continued-fraction-coefficients-exclude-quadratic-irrationality

For an irrational with continued fraction convergents , one has . The Liouville approximation theorem for a quadratic irrational gives a positive lower bound instead. Thus unbounded partial quotients preclude quadratic irrationality, and in particular imply is irrational.

New to topics? Read the docs here!