Nuqtada differensiallanuvchi funksiya ta'rifiga ko'ra, agar y=f(x) funksiya x0 nuqtada differensiallanuvchi bo'lsa, u holda uning shu nuqtadagi orttirmasini f(x0)=f'(x0)x+o(x), ya'ni f(x)=f(x0)+f'(x0)(x-x0)+o(x-x0) ko'rinishda yozish mumkin.
ko'phad mavjud bo'lib, xx0 da f(x)=P1(x)+o(x-x0) bo'ladi. Shuningdek, bu ko'phad P1(x0)=f(x0), P1'(x0)=b=f'(x0) shartlarni ham qanoatlantiradi.
Endi umumiyroq masalani qaraylik. Agar x=x0 nuqtaning biror atrofida aniqlangan y=f(x) funksiya shu nuqtada f'(x), f''(x), ..., f(n)(x) hosilalarga ega bo'lsa, u holda
f(x)=Pn(x)+ o((x-x0)n) (2)
shartni qanoatlantiradigan darajasi n dan katta bo'lmagan Pn(x) ko'phad mavjudmi?
Yuqorida olingan tengliklar va (3) tenglikning har ikkala tomoniga x o'rniga x0 ni qo'yib barcha b0, b1, b2, ..., bn koeffitsientlar qiymatlarini topamiz: