On the product of heights of algebraic numbers summing to real numbers
We display several infinite products with interesting continued fraction expansions. Specifically, for various small values of necessarily excluding since that case cannot occur, we display infinite products in the field of formal power series whose truncations yield their every -th convergent.
Let be a zero of a polynomial of degree with odd coefficients, with not a root of unity. We show that the height of satisfies More generally, we obtain bounds when the coefficients are all congruent to modulo for some .
Page 1