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 the bound from question II.E.2, show that $\varphi _ { 0 } ( 3 ) < 0$. Deduce that $\varphi _ { 0 }$ has a zero $\left. \alpha _ { 0 } \in \right] 0,3 [$.
We admit that this is the first zero of $\varphi _ { 0 }$, that is, $\varphi _ { 0 }$ does not vanish on $] 0 , \alpha _ { 0 } [$.