ライプニッツの記法（ライプニッツのきほう, 英: Leibniz's notation）とは, 数学における微分の記法のひとつである. Δ x {\displaystyle \Delta x} と Δ y {\displaystyle \Delta y} がそれぞれ x {\displaystyle x} と y {\displaystyle y} の有限微小変化量を表すように, x {\displaystyle x} と y {\displaystyle y} の微小変化量すなわち無限小変化量を表す記号として d x {\displaystyle {\rm {d}}x} と d y {\displaystyle {\rm {d}}y} を用いる. 17世紀のドイツの哲学者・数学者であるゴットフリート・ライプニッツにより提唱された. x {\displaystyle x} の関数 y {\displaystyle y} すなわち: y = f ( x ) , {\displaystyle y=f(x),}
において, x {\displaystyle x} に関する y {\displaystyle y} の微分が, lim Δ x → 0 Δ y Δ x = lim Δ x → 0 f ( x + Δ x ) − f ( x ) Δ x , {\displaystyle \lim _{\Delta x\to 0}{\frac {\Delta y}{\Delta x}}=\lim _{\Delta x\to 0}{\frac {f(x+\Delta x)-f(x)}{\Delta x}},}
で表されるとき, それはライプニッツによると, x {\displaystyle x} の微小変化量と y {\displaystyle y} の微小変化量の比, すなわち: d y d x = f ′ ( x ) , {\displaystyle {\frac {{\rm {d}}y}{{\rm {d}}x}}=f'(x),}
で表される. ここに, 右辺は x {\displaystyle x} における微分 f {\displaystyle f} のラグランジュの記法である. 同様に, 現代の数学者はしばしば不定積分: ∫ f ( x ) d x , {\displaystyle \int f(x)\,{\rm {d}}x,}
を次の極限で表す. lim Δ x → 0 ∑ i f ( x i ) Δ x . {\displaystyle \lim _{\Delta x\to 0}\sum _{i}f(x_{i})\,\Delta x.}
ここに, Δ x {\displaystyle \Delta x} は x i {\displaystyle x_{i}} の間隔であり, ライプニッツは無限小 f ( x ) d x {\displaystyle f(x)\,{\rm {d}}x} の総和（積分記号は総和を意味する）として表現した.
このライプニッツによる考え方の長所は, その次元解析との整合性である. 例えば, ライプニッツの記法では二階導関数は, d 2 y d x 2 = f ″ ( x ) , {\displaystyle {\frac {{\rm {d}}^{2}y}{{\rm {d}}x^{2}}}=f''(x),}
であり, y x 2 {\displaystyle {\tfrac {y}{x^{2}}}} と同じ次元を持つ[a]. また, 多くの微積分に関する公式の表現との整合性があることも特筆できる（#微分に関するライプニッツの記法）. 微分積分学に対するアイザック・ニュートンとゴットフリート・ライプニッツのアプローチは17世紀にさかのぼる. 19世紀には, 数学者たちは微分と積分に対してライプニッツの記法を表現上のものとして採用したことにより決着した. それは, 無限小の考え方にはその開発過程で論理的な矛盾があることを見いだしていた. 19世紀の多くの数学者（オーギュスタン＝ルイ・コーシー, カール・ワイエルシュトラスら）は, 前項で示したように微分と積分を無限小ではなく極限を用いて厳密に扱う論理的な方法を発見した. それにも関わらず, ライプニッツの記法が現代でも一般的に用いられている. ライプニッツの記法が記法として扱われることが必須ではないが, 微分方程式の解法における変数分離の技術的方法の使用の際には他の記法よりも簡単に利用できるのである. 物理学的な応用では例えば, 時間あたりの距離（速度）である関数 f ( x ) {\displaystyle f(x)} においては d x {\displaystyle {\rm {d}}x} は時間であるので, f ( x ) d x {\displaystyle f(x)\,{\rm {d}}x} は距離, すなわち積分である. このようにライプニッツの記法は次元解析との調和性がある. しかし, 1950?1960年代ではアブラハム・ロビンソンは微小量を記法的にも厳密に扱う方法を導入し, その観点から微分積分学を見直した. しかしロビンソンの方法はほとんどの数学者には採用されなかった. 一人の数学者ハワード・ジェローム・キースラー
歴史
微分に対するライプニッツの記法では関数 f ( x ) {\displaystyle f(x)} の導関数は次のように表現される. d ( f ( x ) ) d x . {\displaystyle {\frac {{\rm {d}}{\bigl (}f(x){\bigr )}}{{\rm {d}}x}}.}