导数定义式，就是由导数的定义中，用于求导数的最原始的公式：f'(x0)=lim(x->x0)[(f(x)-f(x0))/(x-x0)]。

设函数y=f(x)在点x0的某邻域内有定义，若极限lim(x->x0)[(f(x)-f(x0))/(x-x0)]存在，则称函数f在点x0处可导，并称该极限为函数f在点x0处的导数，记作f'(x0)。若该极限不存在，则称f在点x0处不可导。