We introduce the differential equation
$$z _ { 1 } ^ { \prime \prime } ( x ) + c ^ { 2 } z _ { 1 } ( x ) = 0 \quad \text { with } \quad c > 0 \tag{IV.1}$$
Using question II.D, show by induction that for all integer $n \geqslant 1$ the function $\varphi _ { n }$ is strictly positive on $] 0 , \alpha _ { 0 } [$.