grandes-ecoles 2022 Q8

grandes-ecoles · France · mines-ponts-maths1__mp Trig Proofs Norm or Modulus Computation Involving Trig/Complex Exponentials
Let $x \in [ 0,1 [$ and $\theta \in \mathbf { R }$. Using the function $L$, show that
$$\left| \frac { 1 - x } { 1 - x e ^ { i \theta } } \right| \leq \exp ( - ( 1 - \cos \theta ) x )$$
Deduce that for all $x \in [ 0,1 [$ and all real $\theta$,
$$\left| \frac { P \left( x e ^ { i \theta } \right) } { P ( x ) } \right| \leq \exp \left( - \frac { 1 } { 1 - x } + \operatorname { Re } \left( \frac { 1 } { 1 - x e ^ { i \theta } } \right) \right)$$
Let $x \in [ 0,1 [$ and $\theta \in \mathbf { R }$. Using the function $L$, show that

$$\left| \frac { 1 - x } { 1 - x e ^ { i \theta } } \right| \leq \exp ( - ( 1 - \cos \theta ) x )$$

Deduce that for all $x \in [ 0,1 [$ and all real $\theta$,

$$\left| \frac { P \left( x e ^ { i \theta } \right) } { P ( x ) } \right| \leq \exp \left( - \frac { 1 } { 1 - x } + \operatorname { Re } \left( \frac { 1 } { 1 - x e ^ { i \theta } } \right) \right)$$