偏微分計算機:ステップごとの解き方ガイドと例題集
偏微分計算機は、多変数関数について、ほかのすべての変数を定数として固定したまま、1つの変数に関する変化率を求めるツールです。関数が2つ以上の入力に依存した瞬間から、偏微分が登場します。位置と時刻の両方で変わる温度、価格と数量に依存する利益、あるいは曲面 z = f(x, y) で x 方向の傾きと y 方向の傾きを別々に求めたい場合などです。本ガイドでは、記号の読み方、多変数関数に適用する基本の微分ルール、二階偏微分と混合偏微分、学習者が最もつまずきやすい間違い、そして答え合わせつきの練習問題一式までを順に解説します。
目次
偏微分計算機とは何か、どんなときに必要になるのか?
偏微分計算機は、多変数関数に対して ∂f/∂x、∂f/∂y、∂f/∂z を計算するツールで、微分の対象となる変数以外はすべて固定された定数として扱います。記号 ∂(丸みを帯びた「d」)は、1変数関数にしか意味を持たない通常の微分 d/dx と偏微分を区別するためのものです。 z = f(x, y) = x²y + 3y² を考えてみましょう。この曲面は、どの向きに動くかによって傾きが変わります。∂f/∂x は、y を固定したまま x 方向に動いたときの傾きを表します。∂f/∂y は、x を固定したまま y 方向に動いたときの傾きを表します。ある点の近くで曲面がどのようにふるまうかを完全に記述するには両方が必要で、どちらか一方だけでは足りません。 量が2つ以上の独立変数に依存するときには、必ず偏微分が必要になります。金属板上の熱分布(x、y、そして時刻 t に依存)、企業の利益(価格と広告費に依存)、機械学習の損失関数(すべてのモデルパラメータに同時に依存)などです。ステップ表示の偏微分計算機は、各段階でどの変数を定数として固定したのかを正確に示してくれます。これは手計算のときに学習者が最も飛ばしがちな部分です。
∂f/∂x の意味は、「f を x について微分し、ほかの変数はすべてただの数のように扱う」ということです。微分のやり方そのものは何も変わりません。
偏微分計算機はステップごとにどう計算するのか?
手計算で求める場合でも、ステップ表示の偏微分計算機を使う場合でも、以下の手順はあらゆる多変数関数に当てはまります。次の例題を各ステップと並べて解いてみましょう。f(x, y) = x³y² + 4xy − y³ について ∂f/∂x と ∂f/∂y を求め、点 (2, 1) で両方の値を評価します。
1. ステップ1 — どの変数について微分するかを決める
1つの変数を「動かす変数」として選びます。この計算のあいだ、式の中のほかの文字はすべて、5 や −3 といった数とまったく同じ定数になります。∂f/∂x では y を固定し、∂f/∂y では x を固定します。
2. ステップ2 — 動かす変数に通常の微分ルールを適用する
べき乗の微分公式(Power Rule)、積の微分公式(Product Rule)、合成関数の微分公式(Chain Rule)をいつもどおり項ごとに適用しますが、固定した変数は書かれたままの形で残します。x³y² + 4xy − y³ の ∂f/∂x では、x³y² は 3x²y² になり(y² は定数の係数にすぎません)、4xy は 4y になり(x を微分すると 1 なので 4·1·y = 4y)、−y³ は 0 になります(x を含まないので、x については定数だからです)。結果は ∂f/∂x = 3x²y² + 4y です。
3. ステップ3 — 残りの変数についても同じことを繰り返す
次に x を定数として扱い、∂f/∂y を求めます。x³y² は x³·2y = 2x³y に、4xy は 4x に(y を微分すると 1 なので 4x·1 = 4x)、−y³ は −3y² になります。結果は ∂f/∂y = 2x³y + 4x − 3y² です。
4. ステップ4 — 指定された点で値を求める
それぞれの偏導関数に x = 2、y = 1 を代入します。∂f/∂x(2,1) = 3(2)²(1)² + 4(1) = 3·4·1 + 4 = 12 + 4 = 16。∂f/∂y(2,1) = 2(2)³(1) + 4(2) − 3(1)² = 2·8·1 + 8 − 3 = 16 + 8 − 3 = 21。
5. ステップ5 — 数値で検算する
f(2,1) = (2)³(1)² + 4(2)(1) − (1)³ = 8 + 8 − 1 = 15。x だけをわずかに動かすと、f(2.001, 1) = (2.001)³ + 4(2.001) − 1 ≈ 8.012006 + 8.004 − 1 = 15.016006。[f(2.001,1) − f(2,1)] / 0.001 = 0.016006 / 0.001 ≈ 16.0 となり、∂f/∂x = 16 と一致します ✓。y だけをわずかに動かすと、f(2, 1.001) = 8(1.002001) + 4(2)(1.001) − (1.001)³ ≈ 8.016008 + 8.008 − 1.003003 = 15.021005。[f(2,1.001) − f(2,1)] / 0.001 = 0.021005 / 0.001 ≈ 21.0 となり、∂f/∂y = 21 と一致します ✓。
多変数関数を微分するための基本ルール
1変数の微積分ですでに学んだルール(べき乗の微分公式、積の微分公式、合成関数の微分公式)は、そのまま偏微分にも当てはまります。新しく身につけるべき習慣は、その回の計算でどの文字を固定しているかを覚えておくことだけです。 べき乗の微分公式の例:h(x, y) = x⁴y³。∂h/∂x = 4x³y³(y³ は定数の係数)。∂h/∂y = 3x⁴y²(x⁴ は定数の係数)。 積の微分公式の例:g(x, y) = x²·eʸ。ここには x を含む項どうしの積がないので、∂g/∂x = 2x·eʸ とそのまま求まります。一方、k(x, y) = x²·ln(x) + y² の ∂k/∂x を求めるには、x²·ln(x) に積の微分公式が必要です。f = x²、f' = 2x、g = ln(x)、g' = 1/x とすると、2x·ln(x) + x²·(1/x) = 2x·ln(x) + x となります。したがって ∂k/∂x = 2x·ln(x) + x です(y² の項は x を含まないので消えます)。∂k/∂y については、x²·ln(x) は y に関して完全な定数なので、∂k/∂y = 2y となります。 合成関数の微分公式の例:p(x, y) = (3x + 2y)⁵。y を定数として扱うと、外側の関数は u⁵、内側は u = 3x + 2y です。∂p/∂x = 5(3x + 2y)⁴ · 3 = 15(3x + 2y)⁴。逆に x を定数として扱うと、y に関する内側の導関数は 2 なので、∂p/∂y = 5(3x + 2y)⁴ · 2 = 10(3x + 2y)⁴ となります。 対数の例:m(x, y) = ln(xy)。対数の積の法則から ln(xy) = ln(x) + ln(y) なので、∂m/∂x = 1/x、∂m/∂y = 1/y となり、ln(xy) に直接合成関数の微分公式を使うよりずっと速く求まります。
ルールは変わりません。べき乗の微分公式、積の微分公式、合成関数の微分公式はすべてそのまま使えます。変わるのは管理の仕方だけです。微分する変数以外はすべて固定してください。
二階偏微分はどうやって求めるのか?
二階偏微分とは、すでに1度微分した関数をもう1度微分したものです。一階の偏導関数は2つ(∂f/∂x と ∂f/∂y)あるため、二階偏微分は4つあります。∂²f/∂x²(∂f/∂x をもう一度 x について微分)、∂²f/∂y²(∂f/∂y をもう一度 y について微分)、そして微分の順序が逆になる2つの混合偏微分 ∂²f/∂x∂y と ∂²f/∂y∂x です。
1. 例題 — f(x, y) = x³y² + 2xy
一階の偏導関数:∂f/∂x = 3x²y² + 2y、∂f/∂y = 2x³y + 2x。 純粋な二階偏微分:∂²f/∂x² = ∂/∂x(3x²y² + 2y) = 6xy²。∂²f/∂y² = ∂/∂y(2x³y + 2x) = 2x³。 混合偏微分(x に関する偏導関数を y について微分):∂²f/∂x∂y = ∂/∂y(3x²y² + 2y) = 6x²y + 2。 混合偏微分(y に関する偏導関数を x について微分):∂²f/∂y∂x = ∂/∂x(2x³y + 2x) = 6x²y + 2。
2. クレローの定理 — 2つの混合偏微分が一致した理由
どちらの混合偏微分も 6x²y + 2 になりましたが、これは偶然ではありません。クレローの定理は、∂²f/∂x∂y と ∂²f/∂y∂x がある点の近くでともに連続であれば、その点で両者は等しいと述べています。標準的な微積分の授業で出会う多項式・指数関数・三角関数のすべてについて、混合偏微分は必ず一致します。つまり、両方を計算することがそのまま検算になるのです。2つの混合偏微分が食い違ったら、どちらかで計算ミスをしています。戻って確認しましょう。✓ 6x²y + 2 = 6x²y + 2 なので、どちらの計算も正しいと確認できます。
クレローの定理:二階偏導関数が連続な関数であれば、∂²f/∂x∂y = ∂²f/∂y∂x が成り立ちます。混合偏微分を計算するたびに、これを無料の精度チェックとして活用しましょう。
偏微分を計算するときによくある間違い
多変数微積分の試験で失点する原因の大半は、以下の間違いです。ステップ表示の偏微分計算機はこれらを自動的に見つけてくれますが、自分で気づけるようになることこそが本当の理解につながります。
1. ほかの変数を定数として扱うのを忘れる
最も多い間違いです。x²y を x について微分するときに、y も消すべき変数であるかのように扱ってしまい、正しい 2xy ではなく 2x としてしまうケースです。動かす変数でない文字はすべて書かれたままの形で残り、ほかの定数と同じようにそのまま掛かります。
2. 動かす変数を含まない項を、0 にせず「なかったこと」にしてしまう
f(x, y) = x²y + y³ の ∂f/∂x を求めるとき、y³ の項には x が含まれないので、x に関する導関数は 0 です。答えからは消えますが、それは導関数が本当に 0 だからであって、うっかり飛ばしてよいからではありません。∂f/∂x = 2xy + 3y²(y³ を 0 にし忘れた形)と書いてしまうのはよくあるミスです。
3. 途中でどの変数が「動かす変数」なのか混同する
長い式の途中で、x について微分していたはずが、うっかり y を動かす変数として扱ってしまうと、どちらの偏微分としても正しくない答えになります。作業内容をはっきり書き残しましょう。計算を始める前に、行の上に「∂/∂x、y は定数」と書いておくのが効果的です。
4. 必要のない場面で積の微分公式を使ってしまう
x²y³ では、両方の因子が「動かす変数」に依存するのは、その変数が両方に含まれている場合だけです。x について微分するなら y³ は定数の係数なので、∂/∂x(x²y³) = 2xy³ と直接求まります(積の微分公式ではなく、べき乗の微分公式です)。偏微分で積の微分公式が必要になるのは、x²·sin(x) のように、動かす変数の関数どうしが掛け合わされているときだけで、一方の因子が完全に固定された定数であるときには不要です。
5. 混合二階偏微分での符号ミス
−3xy² のように項に負の符号が含まれる場合、その符号を2回の微分にわたって正しく持ち越すところで、混合偏微分のミスの大半が起きます。∂²f/∂x∂y と ∂²f/∂y∂x を別々に計算して比べてみましょう。クレローの定理により両者は必ず一致するはずなので、食い違えばどこかで符号を落としたか、逆にしてしまったということです。
練習問題:詳しい解答つきの偏微分
解答を見る前に、まず自分で各問題に取り組んでください。問題は基本的なべき乗の偏微分から、3変数関数、さらに指数関数と対数関数を組み合わせた応用問題へと進みます。自分で解いたあと、偏微分計算機で答えを確認しましょう。 問題1 — べき乗の微分公式: f(x, y) = 5x²y³ について ∂f/∂x と ∂f/∂y を求めなさい。 ∂f/∂x = 10xy³(x² を微分し、y³ は定数倍として残す) ∂f/∂y = 15x²y²(y³ を微分し、5x² は定数倍として残す)✓ 問題2 — 三角関数と合成関数の微分公式: f(x, y) = sin(xy) について ∂f/∂x と ∂f/∂y を求めなさい。 xy を内側の関数 u として扱います。∂u/∂x = y なので、∂f/∂x = y·cos(xy)。 ∂u/∂y = x なので、∂f/∂y = x·cos(xy) ✓ 問題3 — 3変数: f(x, y, z) = x²y + yz³ − 3xz について ∂f/∂x、∂f/∂y、∂f/∂z を求めなさい。 ∂f/∂x = 2xy − 3z(y の項では y がそのまま残り、z の項は消え、−3xz は −3z になる) ∂f/∂y = x² + z³(x²y は x² に、yz³ は z³ になり、−3xz は消える) ∂f/∂z = 3yz² − 3x(x²y は消え、yz³ は 3yz² に、−3xz は −3x になる)✓ 問題4 — 分数をべき乗として書き直す: f(x, y) = x²/y = x²·y⁻¹ について ∂f/∂x と ∂f/∂y を求めなさい。 ∂f/∂x = 2x/y(x² にべき乗の微分公式を使い、y⁻¹ は定数倍) ∂f/∂y = x²·(−1)y⁻² = −x²/y² ✓ 問題5 — 応用問題、指数関数と対数関数: f(x, y) = e^(xy) + x·ln(y) について ∂f/∂x と ∂f/∂y を求め、両方を (1, 1) で評価しなさい。 ∂f/∂x = y·e^(xy) + ln(y)(e^(xy) に合成関数の微分公式を使うと y·e^(xy)、x·ln(y) を x について微分すると ln(y)) ∂f/∂y = x·e^(xy) + x/y(e^(xy) に合成関数の微分公式を使うと x·e^(xy)、x·ln(y) を y について微分すると x·(1/y)) (1, 1) では:∂f/∂x = 1·e¹ + ln(1) = e + 0 ≈ 2.718 ∂f/∂y = 1·e¹ + 1/1 = e + 1 ≈ 3.718 ✓
偏微分は実際の応用でなぜ重要なのか?
偏微分は試験のためだけの話題ではなく、いくつもの分野を支える実務の道具です。物理学では、熱方程式も波動方程式も、位置と時刻に関する二階偏微分を使って書かれます。∂T/∂t はある点の温度が時間とともにどう変化するかを表し、∂²T/∂x² は温度が空間の中でどのように曲がっているかを表します。経済学では、利益 π が価格 p と広告費 a に依存するとき、∂π/∂p(価格変化による限界利益)と ∂π/∂a(広告による限界利益)が、企業がどのレバーを先に動かすべきかを教えてくれます。 勾配(すべての一階偏導関数を並べたベクトル ∇f = (∂f/∂x, ∂f/∂y))は、関数が最も急に増加する向きを指し、その大きさは最も急な傾きに等しくなります。これはまさに、機械学習の勾配降下法で使われているものです。数千個のパラメータを持つモデルは、損失関数のすべてのパラメータに関する偏微分を計算し、それぞれを勾配とは逆向きにわずかに調整して誤差を減らします。ニューラルネットワークが「学習する」たびに、実際には膨大な数の偏微分を一度にまとめて、何度も何度も計算しているのです。 複数の制約がある最適化問題(周の長さが決まっているときに面積を最大化する、生産目標があるときにコストを最小化するなど)では、すべての偏導関数を同時に 0 とおいて臨界点を求めます。これは1変数の最適化とまったく同じ考え方を、2つ以上の方向に同時に拡張したものです。
勾配 ∇f = (∂f/∂x, ∂f/∂y) は、すべて偏導関数だけで組み立てられたベクトルで、f が最も速く増加する向きを指します。これが機械学習における勾配降下法の数学的な土台です。
偏微分計算機についてよくある質問は?
1. 偏微分は通常の微分とどう違うのですか?
通常の微分 d/dx は、1変数関数 f(x) に対して使います。偏微分 ∂f/∂x は、2つ以上の変数を持つ関数 f(x, y, ...) に対して使い、微分のあいだ x 以外のすべての変数を固定する必要があります。微分の計算手順そのものはまったく同じで、新しいのは変数の個数と「ほかはすべて定数として扱う」というルールだけです。
2. すべての偏導関数を計算する必要がありますか、それとも1つだけでよいですか?
問題によります。勾配を求めたり臨界点を調べたりする場合は、一階の偏導関数がすべて必要です。「y を固定したまま x が増えるとき温度はどれだけ速く変化するか」のように、特定の1方向の変化率を求めるだけなら、その1つの偏導関数だけで足ります。どの変数について問われているのか、問題文を丁寧に読み取りましょう。
3. 2つの混合偏微分はなぜいつも同じ値になるのですか?
これがクレローの定理です。二階偏導関数が連続な関数であれば、微分の順序にかかわらず ∂²f/∂x∂y と ∂²f/∂y∂x は等しくなります。入門レベルの微積分の授業で扱うほぼすべての関数がこの連続性の条件を満たすので、2つの混合偏微分が食い違ったら、計算を見直すべきサインだと考えてください。
4. ある点で偏微分が存在しても、全体としては微分可能でないことはありますか?
あります。ある点で ∂f/∂x と ∂f/∂y がきちんと定義されていても、そこで(全微分の意味で)完全に微分可能とは限りません。完全な微分可能性は、x 軸方向と y 軸方向だけでなく、あらゆる方向で関数が1つの線形な平面によってよく近似されることを要求するからです。この区別はより進んだ多変数解析の授業では重要になりますが、多項式・指数関数・三角関数で作られた標準的な宿題の問題ではほとんど影響しません。
5. ステップ表示の偏微分計算機は、答えだけの計算機と何が違うのですか?
優れたステップ表示の偏微分計算機は、各段階でどの変数を定数として固定したのか、各項にどの微分ルールを適用したのか、そして各項がどう整理されたのかを示してくれます。これは採点される解答で講師が求める筋道とまったく同じものです。自分の答案をその内訳と1行ずつ見比べることが、単に「最終的な答えが間違っていた」と知るだけでなく、どこで間違えたのかを正確に突き止める最短の方法です。
関連記事
関連する数学ソルバー
ステップごとの解答
最終的な答えだけでなく、すべてのステップについて詳しい解説が得られます。
AI 数学チューター
追加の質問をして、24時間365日いつでも自分に合った解説が受けられます。
スマートスキャン解答
どんな数学の問題も写真を撮るだけで、すぐにステップごとの解答が手に入ります。
