関数 x ↦ y を,
関数 x ↦ y の 逆関数とみる。
x を \(\varDelta x\) だけ少し増加させたとき,
y は \(\varDelta y\) だけ少し増加するとする。
これは,y を \(\varDelta y\) だけ少し増加させたとき,
x が \(\varDelta x\) だけ少し増加するとみることができる。
このとき,\(\dfrac{\varDelta y}{\varDelta x}=\dfrac{1}{\dfrac{\varDelta x}{\varDelta y}}\) … ① が成り立つ。
関数 f(x) の 導関数 f'(x) は
\(\displaystyle{f^\prime(x)=\lim_{h\rightarrow 0}\dfrac{f(x+h)-f(x)}{h}}\) で
定義される。
x の増分 \(\varDelta x\) は,\(\varDelta x=h\)
y の増分 \(\varDelta y\) は,\(\varDelta y=f(x+h)-f(x)\)
したがって,導関数の定義は
\(\displaystyle{f^\prime(x)=\lim_{\varDelta x\rightarrow 0}\dfrac{\varDelta y}{\varDelta x}}\)
と表すことができる。
すなわち,
\(\displaystyle{\dfrac{dy}{dx}=\lim_{\varDelta x\rightarrow 0}\dfrac{\varDelta y}{\varDelta x}}\)
① は,
\(\dfrac{dy}{dx}=\dfrac{1}{\dfrac{dx}{dy}}\)
これは,
y を x で微分したものは,
x を y で微分したものの逆数である。
とみる。