Es sei \(f\) eine differenzierbare Funktion mit der Eigenschaft, dass \(f+f^\prime\) identisch mit der Nullfunktion ist.
Definiere eine Funktion \(h\) durch \(h(x)=f(x)\cdot\mathrm e^x\). Offenbar ist \(h\) differenzierbar und nach der Produktregel ist$$h^\prime(x)=f(x)\cdot\mathrm e^x+f^\prime(x)\cdot\mathrm e^x=\big(f(x)+f^\prime(x)\big)\cdot\mathrm e^x=0$$für alle \(x\). Daher existiert eine Konstante \(c\in\mathbb R\) mit \(h(x)=c\). Es ist also \(c=f(x)\cdot\mathrm e^x\) und damit \(f(x)=c\cdot\mathrm e^{-x}\).