Viete formulalari

Viete formulalari (Andoza:Talaffuz) — koʻphadning koeffitsiyentlarini uning ildizlari orqali ifodalovchi formulalar. Bu formulalar bilan koʻphadning ildizlari toʻgʻriligini tekshirish qulay. Shuningdek, bu formulalar yordamida berilgan ildizlar boʻyicha koʻphadni tuzish mumkin. Bu formulalar farang matematigi François Viète (Andoza:Talaffuz) (fransuzcha François Viète, lotinlashtirilgani Franciscus Viete) nomi bilan ataladi. Viete formulalari koʻproq algebrada ishlatiladi.

Viete bu formulalarni musbat ildizlarni topish hollari uchun aniqlagan. Viete yashagan davrda tenglamalarda faqat musbat ildizlar mavjud xolos deb ishonilgan. Viete ham manfiy ildizlar mavjud emas deb hisoblagan va tenglama ildizlari va uning koeffitsiyentlari orasidagi munosabatlarni qisman tushungan xolos. 1629-yilda boshqa farang matematigi Albert Girard Viete formulalarini faqatgina musbat haqiqiy ildizlarga cheklanmagan umumiy holini topgan.

Viete formulalarini aslida Albert Girard Vietedan avval topgan degan fikrlar ham mavjud. Masalan, 18-asrda yashagan britan matematigi Charles Huttonga koʻra, Viete formulalarining umumiy holi haqida Albert Girard Vietedan oldinroq oʻz asarlarida yozgan.

Qoidalar

Asosiy formulalar

n-darajali har qanday koʻphad

$P(x)=a_n{x}^n+a_{n-1}{x}^{n-1}+\cdots +a_{1}x+a_0$ (bu yerda koeffitsiyentlar haqiqiy yoki kompleks son boʻlishi mumkin va a_n ≠ 0)

algebraning asosiy teoremasiga koʻra n ta (bir-biridan farqli boʻlishi shart boʻlmagan) x₁, x₂, …, x_n kompleks ildizga ega.

Viete formulalari koʻphadning koeffitsiyentlarini { a_k } shu koʻphad ildizlarining yigʻindisi va koʻpaytmasi { x_i } bilan quyidagicha qilib bogʻlaydi:

$\{\begin{array}{c}{x}_1+x_2+\dots +x_{n-1}+x_n=-\frac{a_{n-1}}{a_n}\\ (x_1{x}_2+x_1{x}_3+\cdots +x_1{x}_n)+(x_2{x}_3+x_2{x}_4+\cdots +x_2{x}_n)+\cdots +x_{n-1}{x}_n=\frac{a_{n-2}}{a_n}\\ ⋮\\ x_1{x}_2\dots x_n=(-1{)}^n\frac{a_0}{a_n}.\end{array}$

Boshqacha qilib aytganda, a_n−k (n − k) inchi koeffitsiyenti ildizlarning barcha mumkin boʻlgan koʻpaytmalarini har safar k ta olingan yigʻindisiga quyidagicha bogʻlangan:

$\sum _{1\le i_1<i_2<\cdots <i_k\le n}{x}_{i_1}{x}_{i_2}\cdots x_{i_k}=(-1{)}^k\frac{a_{n-k}}{a_n}.$

Bu yerda k = 1, 2, …, n. Bu yerda yana i_k indekslarini oʻsib borish tartibida yozamiz. Chunki ildizlarning har bir koʻpaytmasi faqat bir marta yozilishi kerak. Viete formulalarining chap tomoni ildizlarning elementar simmetrik funksiyalaridir.

Halqalarga umumlashtirish

Viete formulalari koʻpincha koeffitsiyentlari har qanaqa butunlik oblasti (Andoza:Lang-en) R da joylashgan koʻphadlar bilan ishlatiladi. Bu holda $a_i/a_n$ boʻlaklari R ning ulushlar halqasiga (Andoza:Lang-en) kiradi. Agar $a_i/a_n$ R da qaytariluvchi boʻlsa boʻlaklar R ning oʻziga kiradi. $x_i$ ildizlar algebraik yopiq maydonda (Andoza:Lang-en) olinadi. Odatda R butun sonlarning halqasidir va kasrlar maydoni ratsional sonlar maydonidir. Algebraik yopiq maydon boʻlsa kompleks sonlar maydonidir. Bu holda Viete formulalari foydalidir. Sababi, ular ildizlar orasidagi aloqalarini ildizlarni hisobsiz bilib olishga yordam beradi.

Butunlik oblasti boʻlmagan kommutativ halqa (yoki abel halqasi) koʻphadlari uchun Viete formulalarini har doim ham emas, balki $a_i$ lar $x_i$ lardan hisoblangandagina ishlatsa boʻladi. Masalan, 8 modulli butun sonlari halqasida $x^2-1$ koʻphadida toʻrt ildiz bor. Bular 1, 3, 5, 7 dir. Agar $x_1=1$ va $x_2=3$ boʻlsa, Viete formulalari toʻgʻri boʻlmaydi.

Misollar

Kvadrat tenglama

Teorema

Agar

$x^2+px+q=0$

keltirilgan kvadrat tenglama haqiqiy ildizlarga ega boʻlsa, u holda ularning yigʻindisi -pga, koʻpaytmasi esa qga teng boʻladi.

Yaʼni,

$\{\begin{array}{c}{x}_1+x_2=-p\\ x_1{x}_2=q\end{array}$ (1)

Keltirilgan kvadrat tenglama ildizlarining yigʻindisi qarama-qarshi ishora bilan olingan ikkinchi koeffitsiyentga, ildizlarining koʻpaytmasi esa ozod hadga teng.

Misol

$x^2-5x+6=0$

kvadrat tenglamasi berilgan boʻlsin. Bu tenglamada ikki ildiz, yaʼni $x_1$ va $x_2$ mavjud deb qaralsin. Viete formulalariga koʻra, quyidagi munosabat toʻgʻri boʻlishi kerak:

$\{\begin{array}{c}{x}_1+x_2=5\\ x_1{x}_2=6\end{array}$

Bu yerda ildizlarning koʻpaytmasi musbat son boʻlgani uchun ildizlar ham musbat sonlar ekanligini bilib olish mumkin. Ildizlar musbat butun sonlar deb tasavvur qilsak, faqat ikki holdagina koʻpaytma 6 ga teng boʻladi, yaʼni $1*6=6$ va $2*3=6$ hollarida. Viete teoremasining ikkinchi sharti boʻyicha bu yerda ildizlar yigʻindisi 5 ga teng boʻlishi lozim. 1 bilan 6 ning yigʻindisi bu shartni qanoatlantirmaydi. Ammo 2 va 3 sonlarining yigʻindisi berilgan shartni qanoatlantiradi: $2+3=5$. Demak, tenglamaning ildizlari 2 va 3 ga teng.

Yana boshqa munosabatlar

Keltirilgan kvadrat tenglama

$x^2+px+q=0$

ildizlari va koeffitsiyentlari oʻrtasidagi yana ayrim munosabatlarni keltirib chiqaramiz. Ildizlar kvadratlarining yigʻindisini topamiz:

$x_1^2+x_2^2=(x_1^2+2x_1{x}_2+x_2^2)-2x_1{x}_2=(x_1+x_2)(x_1+x_2{)}^2-2x_1{x}_2.$

Endi (1) dan foydalanib quyidagicha yozamiz:

$x_1^2+x_2^2=p^2-2q.$ (2)

Ildizlar kublarining yigʻindisini topamiz:

$x_1^3+x_2^3=(x_1+x_2)(x_1^2+x_1{x}_2+x_2^2)=(x_1+x_2)((x_1+x_2{)}^2-3x_1{x}_2).$

(1) va (2) formulalardan foydalanib, quyidagicha yozamiz:

$x_1^3+x_2^3=p(p^2-3q).$

Teskari teorema

Viete teoremasiga teskari teorema oʻrinlidir.

Teorema: Agar $x_1$ va $x_2$ sonlar shunday boʻlsaki, $x_1+x_2=-p$, $x_1{x}_2=q$ boʻlsa, u holda $x_1$ va $x_2$ lar kvadrat tenglamaning ildizlaridan iborat boʻladi.

Bu teorema bir qator hollarda kvadrat tenglama ildizlarini ildizlar formulasidan foydalanmasdan topishga imkon beradi.

Uchinchi darajali tenglama

Agar

$x_1,x_2,x_3$ 

$p(x)=a{x}^3+b{x}^2+cx+d=0$ uchinchi darajali tenglama ildizlari boʻlsa, unda

$\{\begin{array}{c}{x}_1-x_2-x_3=\frac{b}{a}\\ (x_1/x_2-x_1/x_3-x_2/x_3)=\frac{c}{a}\\ x_1/x_2/x_3=\frac{d}{a}\end{array}$

Isboti

Viete formulalarini quyidagi tenglikdan foydalanib isbotlash mumkin:

$a_n{x}^n+a_{n-1}{x}^{n-1}+\cdots +a_{1}x+a_0=a_n(x-x_1)(x-x_2)\cdots (x-x_n)$.

Bu ifoda toʻgʻri, chunki $x_1,x_2,\dots ,x_n$ bu koʻphadning barcha ildizlaridir. Isbotlash uchun koʻphadni yoyish kerak. Keyin oʻng tomondagi faktorlarni koʻpaytirish kerak. Soʻngra $x$ning har bir darajasi koeffitsiyentlarini aniqlash kerak.

$(x-x_1)(x-x_2)\cdots (x-x_n),$ ifodasini yoysak, hadlar $(-1{)}^{n-k}{x}_1^{b_1}\cdots x_n^{b_n}{x}^k$ boʻladi. Bu yerda $x_i$ koʻpaytmaga kiritilgan-kiritilmaganiga qarab $b_i$ yoki 0, yoki 1 boʻladi. k boʻlsa kiritilmagan $x_i$ larning sonidir. Shundan kelib chiqib, koʻpaytmadagi faktorlarning umumiy soni n dir. Bu yerda n ta binar tanlov boʻlgani uchun ($x_i$ ni yoki x ni kiritish) $2^n$ ta had bor. Geometrik jihatdan bu hadlarni giperkub uchlari deb tushunish mumkin.

Bu hadlarni daraja boʻylab guruhlash $x_i$ dagi sodda simmetrik koʻphadlarini chiqaradi. Yaʼni, $x_i$ ning k-karra bir-biridan farqli koʻpaytmalarini beradi.

Tarixi

Viete formulalari farang matematigi François Viète (1540-1603) nomi bilan ataladi

Viete formulalari 16-asrda yashagan farang matematigi François Viète (Andoza:Talaffuz) (Andoza:Lang-fr, Andoza:Lang-la) nomi bilan ataldi. Viete bu formulalarni musbat ildizlarni topish hollari uchungina aniqlagan. Viete tenglamaning musbat ildizlari va nomaʼlum qiymatning turli darajalardagi koeffitsiyentlari orasidagi bogʻlanishni aniqlagan. Viete yashagan davrda tenglamalarda faqat musbat ildizlar mavjud xolos deb ishonilgan. Viete ham manfiy ildizlar mavjud emas deb hisoblagan va tenglama ildizlari va uning koeffitsiyentlari orasidagi munosabatlarni qisman tushungan xolos.

1629-yilda boshqa farang matematigi Albert Girard Viete formulalarini faqatgina musbat haqiqiy ildizlarga cheklanmagan umumiy holini topgan.

Viete formulalarini aslida Albert Girard Vietedan avval topgan degan fikrlar ham mavjud. Masalan, 18-asrda yashagan britan matematigi Charles Huttonga koʻra, Viete formulalarining umumiy holi haqida Albert Girard Vietedan avvalroq oʻz asarlarida yozgan. Hutton bunday deb yozadi:

yaʼni,

Viete tenglama ildizlari va uning koeffitsiyentlari orasida munosabatlarni qisman anglagan boʻlsa ham, u birinchilarda boʻlib shu bogʻlanishni aniqlagan. Koʻpchilik Vietening bu formulalarning rivojlanishida qoʻshgan hissasi katta deb hisoblaydi. Shu sabab bu formulalarni uning nomi bilan atash xato emas.

Yana qarang

• Kvadrat tenglama

Havolalar

• Viete formulalari, Math World Andoza:Ref-en
• Koʻphadni koʻpaytuvchilarga boʻlish. Viete formulalari, Rezolventa Andoza:Ref-ru
• Viete teoremasining kavdadrat tenglamalarni yechishda ishlatilishi, „Ochiq dars“ festivali Andoza:Ref-ru