1-) ∫f(x)dx=F(x)+c ise F′(x)=f(x) olduğunu biliyoruz. Ayrıc u(t),v(t) olmak üzere ∫v(t)u(t)f(x)dx=F(v(t))−F(u(t)) olduğundan
dF(t)dt=v′(t).F′(v(t))−u′(t)F′(u(t))=v′(t).f(v(t))−u′(t)f(u(t))...................(1) dir.
Burada Dogan hocama çok teşekkür etmeliyim. O uyarmasaydı yorgunluk ve dalgınlıkla ∫1√1+x2dx=arcsinx+c olarak yazdığımı fark etmeyecektim. Tabii ki bu önemli hatayı düzelttim.
f(t)=∫t2tantdu√1+u2 Bu integral u=tanθ dönüşümü ile bulunur. Sonuç (1) de kullanılır ve biraz sabır ve uğraşla f″(π4) hesaplanır.