Da f Nullstellenfrei ist und differenzierbar, kann man den reellen logarithmus auf f anwenden und erhält eine differenzierbare Funktion g=log(f) : [0,1]→ℝ.
Es gilt:
g(0) = log(f(0))=log(1)=0
g(1)= log(f(1)) = log(e) =1
Nach dem Mittelwertsatz ex. nun ein c ∈ (0,1) mit g´(c) = 1= log(f(c))´= f´(c)/f(c) ⇔ f´(c) = f(c)
Ich hoffe das hat geholfen. LG :)