Es sei
eine differenzierbare Funktion mit f ′ ( x ) = 0 {\displaystyle {}f'(x)=0} für alle x ∈ ] a , b [ {\displaystyle {}x\in {]a,b[}} .
Dann ist f {\displaystyle {}f} konstant.
![{\displaystyle f\colon {]a,b[}\longrightarrow \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7bcaf3655764f40916a38f2b7b57dd1653da0509)
für alle
![{\displaystyle {}x\in {]a,b[}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50d5258fad15c7c5b7180a8778c8e887d86864ef)
.
konstant.
