Forum de mathématiques - Bibm@th.net

Bonjour tout le monde
J'ai besoin d'aide pour comprendre deux propositions qui se trouvent dans mon cours d'Analyse, dans le chapitre des ED, et portant sur les ED à variables séparables. Et d'après ce que j'ai compris, elles sont censées garantir l'unicité de la solution pour un problème de Cauchy d'ED à variables séparables (je crois).

Je vais l'énoncer ci :

Soit le problème de Cauchy suivant :
$y'=f(x)g(y)\wedge y(x_0)=y_0$ où $x_0\in f, y_0 \in \text{dom} g$
Alors :
1) Si $g(y_0)\neq 0$, alors il existe un voisinnage de $(x_0, y_0)$ tel que ce problème de Cauchy admet une et une seule solution dont le graphe est inclus dans ce voisinnage
2) Si $J$ est un intervalle inclus dans $\text{dom} g$ et que $g$ ne s'annule pas dans $J$, alors ce problème de Cauchy, admet une et une seule solution $\phi$ maximale (dont le graphe ne peut être prolongé sans sortir de $\text{dom} f \times J$

Donc, il faut savoir que dans mon cours ces deux propositions ne sont pas démontrées, si quelqu'un sait, pour peu que la démonstration soit à la portée d'un élève de L1, où peut-on trouver une démonstration des deux propositions.

Ce que je voudrais d'abord comprendre (on verra plus tard pour la suite), c'est en quoi l'annulation de $g$ met en défaut ces deux propositions ?

Merci d'avance pour toute aide :)