Teorem: (a<b ve) f, [a,b] aralığında integrallenebiliyor ve a<c<b ise f nin [a,c] ve [c,b] aralıklarında da integrallenebilirdir ve ∫baf(x)dx=∫caf(x)dx+∫bcf(x)dx (*) olur.
Bu durumun, herhangi a,b,c sayıları için de doğru olmasını istiyorsak öyle tanımlamak zorundayız.
Önce niçin ∫aaf(x)dx=0 olarak tanımlamamız gerektiğini görelim.
(İntegrallenebilme ile ilgili koşulları yazmayacağım, onlar daha kolay)
(a<b olmak üzere) a,a,b üçlüsünü düşünelim.
∫baf(x)dx=∫aaf(x)dx+∫baf(x)dx olması için gerek ve yeter koşul ∫aaf(x)dx=0 olmasıdır.
Şimdi a>b durumunda ∫baf(x)dx yi nasıl tanımlarsak (a,b,a üçlüsü için) (*) eşitliğinin doğru olacağını düşün.
Veya Diferansiyel-İntegral Hesabın (analizin) temel teoremini düşünelim:
a>b iken de (F′=f ve f sürekli ise) ∫baf(x)dx=F(b)−F(a) olması için ∫baf(x)dx=−∫abf(x)dx olarak tanımlamamız gerekiyor.