grandes-ecoles 2021 Q2.15

grandes-ecoles · France · x-ens-maths__pc Proof Existence Proof
Using the result of question 2.14, show that, for all $z \in \partial\mathbb{D}$, the Mahler measure of $X - z$ is 1.
To do this, one may be interested in the function: $$\begin{aligned} g : [0,1[ &\rightarrow \mathbb{R} \\ r &\mapsto M(X - rz) \end{aligned}$$ and note that, for all $r \in [0,1[$ and $\theta, \psi \in \mathbb{R}$, we have the inequality $\left|e^{i\theta} - re^{i\psi}\right| \geq |\sin(\theta - \psi)|$.
Using the result of question 2.14, show that, for all $z \in \partial\mathbb{D}$, the Mahler measure of $X - z$ is 1.

To do this, one may be interested in the function:
$$\begin{aligned} g : [0,1[ &\rightarrow \mathbb{R} \\ r &\mapsto M(X - rz) \end{aligned}$$
and note that, for all $r \in [0,1[$ and $\theta, \psi \in \mathbb{R}$, we have the inequality $\left|e^{i\theta} - re^{i\psi}\right| \geq |\sin(\theta - \psi)|$.