1 グリーンの定理の概要
1.1 定理の主張
1.1.1 線積分と面積分の対応
グリーンの定理は、平面内の単純閉曲線に沿って行う線積分を、その曲線が囲む領域の面積分に置き換える対応関係を与える。これにより、境界上の情報を領域全体の積分へ変換でき、計算や理解が容易になる場合が多い。数学的には、回転（渦）に関する量を境界の循環として読み替える形で現れる。
1.1.2 成分表示（典型的な形）
通常、ベクトル場を成分で表して平面上の曲線積分と面積分を結びつける形が用いられる。典型的には、ベクトル場の成分を \(P(x,y)\)、\(Q(x,y)\) とし、閉曲線 \(C\) と領域 \(D\)（\(C\) が境界）を用いて、曲線積分の値が領域積分に等しくなるという主張を行う。導出後に、右辺の被積分関数には偏導関数の差（回転の量に対応）が現れる。
1.2 適用の前提条件
1.2.1 曲線の滑らかさと向き
定理を適切に適用するには、曲線が区分的に滑らかであることが重要である。さらに、曲線の向き（正の向き）が必要であり、これは通常「領域を左側に見る向き」として定める。向きを逆にすると、曲線積分の符号が反転し、それに合わせて面積分側も対応する向きの約束により結果が変わる。
1.2.2 囲む領域の条件
曲線が囲む領域 \(D\) は、積分を定義できる程度にまとまっている必要がある。典型的には、領域が単純で、境界は上記のように扱えるものとする。領域が複雑すぎる場合や境界が条件を満たさない場合、グリーンの定理の直接適用ができないことがある。
1.2.3 偏微分可能性と連続性
関係式の右辺に現れる偏導関数が、領域上で存在し、さらに必要な意味で連続（少なくとも積分可能）であることが求められる。特に、被積分関数の偏導関数を用いるため、微分と積分を扱う過程で正当化が必要になる。そのため、\(P\) と \(Q\) に対する滑らかさの条件が重要になる。
1.3 直観的な意味
1.3.1 回転と循環の関係
グリーンの定理の核となる直観は、平面内の回転の強さが、境界に沿った循環（周回）として観測されるという点にある。曲線が囲む領域の中で、どれだけ「渦を巻く傾向」があるかが積分で集約され、その合計が境界上での循環積分として現れる。したがって、境界だけを見ていても内部の回転情報を引き出せる。
1.3.2 対象とする「向き」の役割
循環は方向に依存するため、向きの設定が結果に直結する。曲線を逆向きに辿れば、境界上の周回は符号反転する。面積分側は回転量の積分なので、領域に対する曲線の向きの選び方と一貫した対応が保たれるよう、定理の主張が構成される。
2 証明と背景
2.1 基本となる準備
2.1.1 面積分への分解
2.1.1.1 矩形分割と極限
証明では、領域 \(D\) を多数の小さな長方形に分割し、それぞれの境界に沿った線積分を考える。各小領域での曲線積分は端点間の差として扱いやすく、分割の大きさを極限へ送ることで、全体としての面積分が導かれる。寄与の整理は、分割線が互いに打ち消し合うことを利用して行う。
2.1.2 境界の符号（上側・下側）
長方形を分割していくと、境界上の向きが上辺と下辺で逆向きになる。したがって、同じ成分を積分しても符号が異なる形で現れる。証明では、どの辺を時計回り／反時計回りで辿っているかを明確にし、符号が一致するように式を組み立てる。
2.2 関数の積分操作による証明
2.2.1 偏微分と積分の交換
証明の途中では、偏導関数を積分の中で扱い、計算の都合で積分順序の入れ替えや微分と積分の交換を行う。これは、偏微分が存在し、適切な連続性や積分可能性がある場合に正当化される。条件が満たされないと、交換ができず関係式が崩れるため、前提条件が重要になる。
2.2.2 主要等式の導出
小領域ごとの寄与を積み上げ、符号調整を行うことで、最終的に曲線積分が偏導関数の組み合わせの面積分に一致する。具体的には、領域の中での回転に対応する量（偏微分の差）が積分され、その値が境界の循環として現れる。これがグリーンの定理の形式的な証明結果である。
2.3 よく使われる補助定理との関係
2.3.1 基本定理（微分積分）との連結
グリーンの定理は、1変数の基本定理（微分積分の関係）を多変数へ拡張した見方とも一致する。たとえば、辺ごとの寄与が最終的に差分として整理され、局所的な微分が極限で積分へ移る流れは、単変数の対応関係に似た構造を持つ。結果として「微小な変化を集めると全体が得られる」という原理が多変数で実現される。
2.3.2 反復積分の整理
領域積分は、状況に応じて反復積分として表される。証明では、積分範囲を適切に記述し、積分順序や変数分解の手順を通じて、被積分関数が偏導関数の形に整理される。これにより、境界側に現れる線積分が内部側の面積分へ吸収される。
3 応用例
3.1 線積分の計算
3.1.1 周回積分を面積分に変換
閉曲線に沿う線積分が直接計算しにくい場合でも、グリーンの定理により領域上の面積分へ移すと容易になることがある。境界が複雑であっても、領域が単純な形として表せるなら、面積分側は対称性や既知の積分公式を使って評価できる。結果として、周回積分が「内部の回転量の総和」に置き換わる。
3.1.2 パラメータ表示を避けた計算
曲線をパラメータ表示しようとすると、計算が冗長になりがちである。グリーンの定理は、境界を成分関数と領域の幾何情報の組として扱えるため、パラメータ化を回避したり最小化したりできる。特に、領域が \(x\) や \(y\) の範囲で素直に記述できるとき、手続きが簡潔になる。
3.2 面積や幾何量への応用
3.2.1 面積の導出（座標変換を含む）
適切なベクトル場を選ぶことで、領域面積がグリーンの定理の形として導かれる場合がある。たとえば、面積を表す積分が領域上のある量として書けるように調整すると、境界に沿った積分から面積が読み取れる。座標変換を行うときは、領域の形や境界の記述が変わるため、対応する積分の変数変更も含めて整合性を保つ。
3.2.2 重心・モーメント計算への発展
同様の発想で、重心位置や二次モーメントなどの幾何学的量が、境界積分の形で表せることがある。これらは通常、領域積分として定義されるため、グリーンの定理を経由して境界上の計算に変換できると、計算効率が上がることがある。ベクトル場の選び方が要点となる。
3.3 ベクトル解析としての見方
3.3.1 平面の回転（渦）に対応
グリーンの定理は、平面ベクトル解析の言語で「回転の情報」を扱う枠組みとして理解できる。境界の循環は、内部にある回転傾向の総量を測るものとして解釈されるため、物理的な言い換えが可能になる。たとえば、速度場の渦度がある場合、境界周りの周回がそれと対応づけられる。
3.3.2 等式の設計（積分を作る）
実践では、求めたい量に対応する形が右辺（領域積分側）に現れるよう、ベクトル場 \( (P,Q) \) を設計することが多い。すなわち、特定の偏導関数の組み合わせが希望の被積分関数になるように設定する。設計がうまくいけば、境界条件から目的の量を引き出せる。
4 連続体としての発展と関連定理
4.1 発展：ストークスの定理との関係
4.1.1 次元拡張の考え方
グリーンの定理は、より高次元の一般化へつながる考え方の一部として位置づけられる。平面（2次元）での曲線と領域の関係を、立体（3次元）での曲面と体積の関係へ拡張する流れがあり、その中でストークスの定理が役割を担う。次元が上がると、境界が点から曲線、さらに曲面へと段階的に変化する。
4.1.2 3次元への一般化
3次元では、境界に沿った線積分が、面積上の積分へ置き換わるだけでなく、さらに体積側の量との関係にも発展する。ストークスの定理は、その拡張の中心にあり、ベクトル場の回転に対応する量が境界積分へ現れるという骨格は保たれる。平面版であるグリーンの定理は、この枠組みの低次元の具体例として整理できる。
4.2 発展：発散定理との対比
4.2.1 回転系と発散系の整理
関連する概念として、発散定理（ガウスの定理）がある。これは回転ではなく、湧き出しや吸い込みに相当する「発散」の情報が境界フラックスとして現れるという考え方である。したがって、グリーンの定理が境界の循環（回転の痕跡）を結びつけるのに対し、発散定理は境界を通過する量（流量の総和）を結びつける点が対比される。
4.2.2 似た形の見分け方
見分けのポイントは、右辺の被積分関数が何を表しているかである。回転に関係する偏導関数の組み合わせが出てくる場合はグリーンの型であり、発散に相当する総和（次元に応じた成分の和）に対応する場合は発散定理の型である。さらに、境界の向きに関する取り決め（向きの符号）は、どの定理でも結果の符号へ影響するため、前提の確認が必要になる。
4.3 関連するよくある誤り
4.3.1 向きの取り違え
曲線の正の向き（領域を左側に見るなど）を誤ると、計算結果が符号違いになる。特に、手計算では向きの図示が省略されがちなため、適用前に矢印で方向を固定することが推奨される。
4.3.2 成分の符号ミス
\(P\) と \(Q\) の割り当て、あるいは偏導関数の差の形を誤ると、回転に相当する部分が別の量になってしまう。成分の並び（どちらが \(x\) で偏微分されるか）に注意し、導出された式の形と一致しているかを確認する必要がある。
4.3.3 前提条件の確認不足
滑らかさや連続性、閉曲線であること、領域が適切に定義できることなどの条件を満たさないと、定理の適用が妥当でなくなる。複雑な境界や特異点が含まれる場合は、積分可能性や条件の意味を再点検し、必要なら別手法を検討することがある。