定义。对于formula_19内一点formula_21，当formula_21变动到附近的formula_23（也在此区间内）时，如果函数的增量formula_24可表示为formula_25（其中formula_26是不依赖于formula_27的常数），而formula_28是比formula_27高阶的无穷小，那么称函数formula_30在点formula_21是可微的，且formula_32称作函数在点formula_21相应于自变量增量formula_27的微分，记作formula_35，即