1. Soient C un réel et y la fonction définie sur R par y(x)=Ceax. Alors y est dérivable sur R (produit d'une constante par la composée d'une fonction affine et de la fonction exponentielle) et, pour tout x∈R, y′(x)=Caeax=ay(x).
Ainsi, y est solution de (E0).
Réciproquement, soient y une solution de (E0) et la fonction g définie sur R par g(x)=y(x)e−ax.
Alors g est dérivable sur R (produit et composée de fonctions dérivables sur R) et, pour tout x∈R, g′(x)=y′(x)e−ax−ay(x)e−ax=ay(x)e−ax−ay(x)e−ax=0.
Donc g est une fonction constante, c'est‑à‑dire qu'il existe un réel C tel que, pour tout x∈R, g(x)=C soit y(x)e−ax=C c'est‑à‑dire y(x)=Ceax.
2. Soit y une solution de (E0). D'après 1., il existe un réel C tel que, pour tout 2., y(x)=Ceax.
Par hypothèse, y(x0)=y0⇔Ceax0=y0⇔C=y0e−ax0.
Donc, pour tout x∈R, y(x)=y0e−ax0×eax=y0ea(x−x0) et cette solution est unique.