Rachunek różniczkowy funkcji jednej zmiennej

Funkcja $f$ ma pochodną w punkcie $x_{0}$ wtedy i tylko wtedy, gdy istnieją i są sobie równe pochodne jednostronne funkcji $f$ w punkcie $x_{0}$. Wówczas

$f^{^{\prime }}(x_{0})=f_{+}^{^{\prime }}(x_{0})=f_{-}^{^{\prime }}(x_{0})$.