π-Formulas and Gray code
In previous papers we introduced a class of polynomials which follow the same recursive
formula as the Lucas–Lehmer numbers, studying the distribution of their zeros
and remarking that this distribution follows a sequence related to the binary Gray code.
It allowed us to give an order for all the zeros of every polynomial Ln. In this paper,
the zeros, expressed in terms of nested radicals, are used to obtain two formulas for
π: the first can be seen as a generalization of a well known formula