1.2 Algebraik ko’pxad nollari mavjudligini matematik analiz metodlaridan foydalanib aniqlash. Bu mavzuda biz ko’pxadning ildizlari borligini isbotlash bilan shuhullanamiz. Buning uchun matematik analizning ba’zi tushunchalaridan foydalanamiz.
o’zgaruvchi qiymatni qabul qilganda ko’pxadning qabul qilgan mos qiymatini olib, so’ngra va ifodalar va ayirmalarning modullari ekanini nazarda tutib, quyidagi ta’rifni beramiz.
Ta’rif: Ixtiyoriy musbat sonni har qancha kichik qilib olganimizda ham yana shunday yetarlicha kichik musbat son topilsaki,
tengsizlik bajarilishi bilan
shu tengsizlik ham bajarilsa, ko’pxad qiymatda uzluksiz deyiladi.
1-teorema: Kompleks sonlar maydonida har qanday ko’phad ning istalgan qiymatida uzluksizdir.
Isbot: ko’phadni, Teylor formulasiga asosan, ning darajalari bo’yicha yoyamiz:
bundan
Yig’indining moduli – qo’shiluvchilar modullarining yig’indisidan katta emasligini va ko’paytmaning moduli – ko’paytuvchilar modullarining ko’paytmasiga tengligini e’tiborga olib, ushbuni hosil qilamiz:
Endi
sonlarning eng kattasini bilan belgilab, quyidagi tengsizlikka kelamiz:
o’zgaruvchini shart bajariladigan darajada qiymatga yaqin qilib olaylik. Bu vaqtda
tengsizlik ham bajariladi.
Natija: ko’phadning moduli ning istalgan qiymatida uzluksizdir.
Isbot:
(1.2.1)
ushbu tengsizlikka binoan isbotlanadi.
Ma’lumki, istalgan uchun topiladi va bajarilganda,
bajariladi. Demak, (1.2.1) ga muvofiq,
tengsizlik ham albatta bajariladi.
2-teorema: ning moduli yetarlicha kichik bo’lganda, darajasi va ozod hadi nolga teng bo’lgan ko’phadning modulini istalgancha kichik qilish mumkin.
Isbot: Ko’phad ko’rinishga ega bo’lgani uchun, . ning qiymati sifatida nolni olib, quyidagini hosil qilamiz:
Istalgan uchun shunday mavjudki,
bajarilganda
ham bajariladi. Demak, ning moduli dan kichik bo’lsa, ning moduli har qancha kichik musbat sondan ham kichik bo’ladi.
3-teorema: ning moduli yetarlicha katta bo’lganda, nolinchidan yuqori darajali har qanday ko’phadning modulini istalgancha katta qilish mumkin.
Isbot: yig’indi uchun:
yoki
tengsizlikka ega bo’lamiz. Bunda
ifoda ga nisbatan ko’phad bo’lib, uning ozod hadi nolga teng va darajasi . Shu sababli, 2 – teoremaga asosan, uchun shunday mavjudki, bajarilganda quyidagi tengsizlik o’rinli bo’ladi.
Tengsizlik o’rinli bo’ladi. Boshqacha aytganda, (1.2.2) tengsizlik
shartda bajariladi. Demak, faraz etib, (1.2.2) dan ushbuni hosil qilamiz:
yoki
Endi ixtiyoriy musbat sonni olaylik:
bo’lsa, (1.2.4) ning o’ng tomoni dan katta bo’ladi. Shunday qilib,
bo’lsa, bo’ladi. Demak, ning yetarlicha katta qiymatlarida har qancha katta musbat sondan ham katta bo’ladi.
Dalamber lemmasi: Agar qiymatda nolinchidan yuqori darajali ko’phad nolga teng bo’lmasa, moduli istalgancha kichik bo’lgan shunday kompleks son mavjud bo’ladiki,
tengsizlik o’rinli bo’ladi.
Isbot: Teylor formulasiga binoan, ni ning darajalari bo’yicha yoyamiz:
Shart bo’yicha . Lekin (1.2.5) yoyilmaning keyingi koeffitsientlaridan ba’zilari nolga teng bo’lishi mumkin. Faraz qilaylik, chapdan o’ngga tomon xisoblaganda
koeffitsientlarning eng birinchi noldan farqlisi bo’lsin. Bunday koeffitsientlar albatta mavjud, u xech bo’lmaganda dir.
Avval deb faraz qilib, aytilganga muvofiq, (1.2.5) tenglikni
ko’rinishda yozamiz. Agar so’nggi tenglikni ga bo’lib,
tengsizlikni xosil qilamiz. Lemma to’liq isbotlandi. Biz yana funktsiyalar nazariyasidan kompleks argumentli haqiqiy funktsiyaga doir quyidagi teoremani isbotsiz keltiramiz:
Veyershtrass teoremasi: kompleks argumentning yopiq sohadagi uzluksiz haqiqiy funktsiyasi bu sohada eng kichik qiymatga erishadi, ya’ni sohada shunday aqalli bitta nuqta mavjudki, funktsiyaning shu nuqtadagi qiymati va sohaning istalgan nuqtasidagi qiymati ushbu
tengsizlikni qanoatlantiradi.
Bunday nuqtani sohaning minimum nuqtasi deyiladi. Demak, soha eng kamida bitta minimum nuqtasiga ega.