Es sei a < b {\displaystyle {}a<b} und sei
eine stetige, auf ] a , b [ {\displaystyle {}]a,b[} differenzierbare Funktion mit f ( a ) = f ( b ) {\displaystyle {}f(a)=f(b)} .
Dann gibt es ein c ∈ ] a , b [ {\displaystyle {}c\in {]a,b[}} mit