定義 設函數\(y=f(x)\)在某區間內有定義，\(x_0\) 及 \(x_0+\Delta x\) 在這區間內，如果增量
\[\Delta y=f(x_0+\Delta x)-f(x_0) \]
可表示為
\[\Delta y = A\Delta x+\omicron(\Delta x) \]
其中 \(A\) 是不依賴於\(\Delta x\)的常數，那么稱函數 \(y=f(x)\) 在點\(x_0\)是可微的，而\(A\Delta x\)叫做函數\(y=f(x)\) 在點 \(x_0\)相應於自變量增量\(\Delta x\)的微分，記做\(d_y\)，即
\[d_y=A\Delta x \]
參考： 《高等數學》同濟六版 -> P113