Let K/Q be a finite extension. We prove that the minimal height of polynomials of degree n of which all roots are in K^ increases exponentially in n. We determine the implied constant exactly for totally real K and K equal to Q (-1) or Q (-3).
Thian Tromp (Mon,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: