Qurbonov Shamsiddin

2-teorema. (Simmetrik ko’phadlar to’g’risidagi asosiy teorema). maydon ustidagi har qanday simmetrik ko’phad shu maydon ustida elementar simmetrik ko’phadlar orqali yagona ifodalanadi.
Isboti. Faraz qilaylik, simmetrik ko’phad va uning eng yuqori hadi
(7)
bo’lsin. (7) hadning daraja ko’rsatkichlari tengsizlikni qanoatlantiradi. Haqiqatan simmetrik ko’phadda va ning o’rinlarini almashtirsak, ma’lumki, funksiya o’zgarmaydi. Bu almashtirish natijasida (7) had shu simmetrik ko’phadning hadiga o’tadi. Ammo (7) eng yuqori had bo’lgani uchun, . Shuningdek simmetrik ko’phadda va ni o’zaro almashtirsak, (7) ko’phadning hadiga o’tadi va bundan hosil boladi va h.k.
noma’lumlarning asosiy simmetrik ko’phadlarni olib, shu noma’lumlarning simmetrik ko’phadi bo’lgan ushbu
(8)
ko’paytmani tuzamiz. ning eng yuqori hadlari, mos ravishda bo’lgani sababli (8) ko’paytmaning eng yuqori hadi

bo’ladi. Bunda ko’phadning eng yuqori hadi kelib chiqqanini ko’ramiz. Shu sababli, ikkita simmetrik ko’phadning ayirmasi bo’lgan

simmetrik ko’phadda (8) had bo’lmaydi. Shu mulohazani ga nisbatan takrorlab,

simmetrik ko’phadni tuzamiz. Uning hadlari ning eng yuqori hadidan kichikdir va h.k. Bu jarayon chekli ravishda davom etadi. Haqiqatan, simmetrik ko’phadlardan istalganining yuqori hadini
(9)
orqali belgilasak, tengsizliklarga ega bo’lamiz. Ammo bu tengsizliklarni chekli manfiymas butun sonlar qanoatlantirishi mumkin. Demak, (9) ko’rinishdagi yuqori hadlarning, shuningdek, ko’phadlarning soni faqat chekli bo’la oladi.
Shunday qilib, chekli sondagi qadamlardan keyin simmetrik ko’phad ning o’sha maydon ustidagi ko;phadi sifatida ifodalanadi, ya’ni
(10)
tenglik o’rinli.
Endi (10) ifodalanishning yagona ekanini isbotlaymiz. Faraz qilaylik, simmetrik ko’phad (10) dan boshqa yana ning ikkinchi ko’phadi bilan ham ushbu
(11)
ko’rinishda ifodalansin. (10) va (11) ning chap tomonlari bir xil ekanligidan tenglikni hosil qilamiz. Bu tenglik esa va ko’phadlardan har birining hadlari aynan teng, ya’ni bu ko’phadlar aslida bitta ko’phad ekanini ko’rsatadi, Demak, (10) ifodalanish yagona ekan.