On a h_\phi(g(\phi))=0, or g est impaire, donc g(-\phi)=-g(\phi), ce qui répond au premier point. Ensuite, comme g([0,\pi/2])=[0,\pi/2] on en déduit que si \phi\in[0,\pi/2] alors la solution de h_\phi(\theta)=0 est dans [0,\pi/2]. Les deux dernières égalités viennent directement du fait que g(0)=0 et g(\pi/2)=\pi/2.