f(x) = 1 + \( \int\limits_{0}^{x} \) f(t)dt (x ∈ ℝ)
==> f(0) = 1 + \( \int\limits_{0}^{0} \) f(t)dt = 1
Wenn f stetig ist, besitzt f eine Stammfunktion F, also eine
mit F'(x)=f(x) . Dann folgt
f(x) = 1 + \( \int\limits_{0}^{x} \) f(t)dt = 1 + F(x) - F(0)
und wegen F(0)=1 also f(x)=F(x) und mit F'(x)=f(x)
folgt F(x)=F'(x) und das erfüllt nur F(x)=e^x
Also gilt f(x) = 1 + \( \int\limits_{0}^{x} \) f(t)dt=1+e^x - e^0 = e^x.