The Calkin–Wilf Tree of a Quadratic Surd

Abstract

By using the Calkin–Wilf tree, we prove the irrationality of numbers of the form where N is a positive integer that is not a perfect square, p is a rational integer such that , and q is a positive integer that divides . For this, we consider an analogue of the Calkin–Wilf tree with root α and we define a special path in this tree that satisfies remarkable properties of periodicity and symmetry. This path is closely related to the continued fraction expansion of α and allows us to give new proofs of theorems due to Legendre and to Galois about the form of such an expansion in special cases of square roots and reduced quadratic surds.