İlk olarak şu eşitliği göstermek istiyoruz;
ddx(∫y1y0f(x,y)dy)=∫y1y0fx(x,y)dy
Dolayısıyla ,türevin limit tanımını kullanalım;
ddx(∫y1y0f(x,y)dy)=limh→0∫y1y0f(x+h,y)dy−∫y1y0f(x,y)dyh
=limh→0∫y1y0(f(x+h,y)−f(x,y))dyh
=limh→0∫y1y0f(x+h,y)−f(x,y)hdy
Ama olay burada patlak veriyor, limiti öylece içeri alabilir miyiz?
=limh→0∫y1y0f(x+h,y)−f(x,y)hdy=∫y1y0(limh→0f(x+h,y)−f(x,y)h)dy
İçeri alabilirsek zaten istediğimiz sonucu buluyoruz ama neden ve nasıl?
=∫y1y0fx(x,y)dy
Bu limiti içeri nasıl dağıtırım?
Genelleştirmek gerekirse, aşağıdaki durum için gereklilikleri veriniz.
limx→af(x)=f(limx→ax)