Teorema-2.Agar (1) differensial tenglama umumiy integralga ega bo’lsa, u holda (1) differensial tenglama uchun integrallovchi ko’paytuvchi mavjud bo’ladi.
Isbot. Teorema shartiga ko’ra , (1) differensial tenglamaning umumiy integrali bo’lgani uchun
(9)
ya’ni
(10)
tenglik o’rinli bo’ladi. Bu yerda
desak, (10) tenglamadan
(11)
kelib chiqadi. Ikkinchi tomondan, (1) differensial tenglamaga asosan
(12)
munosabatni hosil qilamiz. (11) va (12) tengliklarni o’zaro tenglashtirib
munosabatlardan funksiya (1) differensial tenglama uchun integrallovchi ko’paytuvchi ekanligi kelib chiqadi.
Endi integrallovchi ko’paytuvchini topish bilan shug’ullanamiz. Yuqoridagi mulohazalardan ko’rinadiki, funksiyani topish uchun (8) xususiy hosilali differensial tenglamani xususiy yechimini topish kerak bo’ladi. Bu masala o`z navbatida qo’yilgan masalaga nisbatan ham ancha murakkab masaladir. Ayrim hollarda integrallovchi ko’paytuvchini topish uchun (7) yoki (8) tenglamalardan foydalansa bo’ladi.
Teorema-3. Agar funksiya mavjud bo’lib,
(13)
tenglik o’rinli bo’lsa, u holda integrallovchi ko’paytuvchi
(14)
formula orqali topiladi.
Isbot. Yuqoridagi (7) differensial tenglamaning yechimini ko’rinishda izlaymiz. U holda
hosil bo’ladi. Bundan
(15)
ekanligini topamiz. Bu holda (7) tenglama quydagi ko’rinishni oladi:
integrallovchi ko’paytuvchini topamiz. Bizga birorta integrallovchi ko’paytuvchi kerak. Shuning uchun deb tanlash biz uchun yetarlidir:
.
Teorema isbotlandi. ■