Hinreichend für einen Tiefpunkt von \(f\) bei \(x_0\) ist, dass \(f\) in einem Intervall \([a,x_0)\) mit \(a < 0\) fällt und in einem Intervall \((x_0,b)\) mit \(b > 0\) steigt.
Hinreichen dafür, dass \(f\) in dem Intervall \([a,x_0)\) fällt, ist, dass dort die Steigung negativ ist. Hinreichen dafür, dass \(f\) in dem Intervall \((x_0,b)\) steigt, ist, dass dort die Steigung positiv ist.
Weil \(f\) stetig differenzierbar ist, gilt: wenn die Steigung von \(f\) im Intervall \([a,x_0)\) negativ ist und im Intervall \((x_0,b]\) positiv ist, dann muss sie \(0\) an der Stelle \(x_0\) sein.