grandes-ecoles 2019 Q23
View
For every integer $n > 1$, we define $P _ { n } \in \mathbb { Z } [ X ]$ by $$P _ { n } = X ^ { 4 } - ( 6 + n ) X ^ { 3 } + ( 10 + n ) X ^ { 2 } - ( 6 + n ) X + 1 .$$ We denote by $\alpha _ { n } , \frac { 1 } { \alpha _ { n } } , \gamma _ { n } , \frac { 1 } { \gamma _ { n } }$ the roots of $P _ { n }$ in $\mathbb { C }$ and we set $$t _ { n } = \alpha _ { n } + \frac { 1 } { \alpha _ { n } } , \quad s _ { n } = \gamma _ { n } + \frac { 1 } { \gamma _ { n } } .$$ We denote by $\mathcal { S }$ the set of real numbers $\alpha \in ] 1 , + \infty [$ which are also algebraic integers of degree at least 2 and which satisfy $\max _ { \gamma \in C ( \alpha ) } | \gamma | = 1$.
(a) Show that $t _ { n }$ and $s _ { n }$ are irrational.
(b) Deduce that $P _ { n }$ is irreducible in $\mathbb { Q } [ X ]$ and that $\alpha _ { n } \in \mathcal { S }$.
(c) Show that $\lim _ { n \rightarrow + \infty } \alpha _ { n } = + \infty$.