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!