微分積分学には、「微分積分学の基本公式」と呼ばれる微分と積分を結ぶ関係式がある。 歴史的には、微分法と区分求積法という独立に発展した2つの分野を結ぶ超重要公式である。 また、ベクトル解析で習う多くの積分公式*1*2*3がこの基本公式の延長線上にある。
ところが、図形と密接に繋がっているにも関わらず、この基本公式を図で直観的に説明する例は見ない。 一般に、微分は被微分関数の傾き、積分は被積分関数の面積として教えられるが、 基本公式では微分の結果を積分するため、傾きで微分、面積で積分を同時に表せないのが原因かと思う。
これに対し、凌宮数学では、微分積分学の基本公式の図による直感的説明を考えた。 3大積分公式への繋ぎを考慮し、面積での積分の図示を諦め、 微分と積分のもう一つの図示方法を用いる。
問題を簡単にするため、まず1つの変数だけについて考える。 軸上に2点とがあれば、区間ができる。 区間〜の長さは2点の差分と呼ぶ、と定義できる。
次に、区間〜の等分を考える。 各区間の端点をととすると、その差分はと定義できる。 単純に分割しているため、を繋ぎあわせると必ずになる。
式1: *4
ここで、無限に分割すると、分割数をに、はに近づく。 に近づけたをと書くと、このが全微分と呼ばれるもう一つの微分となる。 式1は分割数に無関係に成り立つため、無限に分割した場合でも同様の式が成り立つ:
式2:
要点を簡潔に纏めると、
File not found: "差.png" at page "微分積分学の基本公式"[添付]