See also ebooksgratis.com: no banners, no cookies, totally FREE.

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Make a donation: IBAN: IT36M0708677020000000008016 - BIC/SWIFT:  ICRAITRRU60 - VALERIO DI STEFANO or
Privacy Policy Cookie Policy Terms and Conditions
Równanie czwartego stopnia - Wikipedia, wolna encyklopedia

Równanie czwartego stopnia

Z Wikipedii

Równanie czwartego stopniarównanie algebraiczne postaci ax^{4}+bx^{3}+cx^{2}+dx+e=0\quad gdzie a\neq0.

Spis treści

[edytuj] Rys historyczny

W 1540 Lodovico Ferrari odkrył ogólną metodę redukcji równań czwartego stopnia do równań sześciennych. Razem z metodą rozwiązywania tych ostatnich opracowaną wcześniej przez Scipione del Ferro i Niccolo Tartaglię pozwało to rozwiązać wszystkie typy równań stopnia 4. Wyniki te zostały opublikowane przez Girolamo Cardano w Ars Magna w 1545.

[edytuj] Najprostsze typy równań

W pewnych przypadkach równanie

(\circledast)\qquad ax^{4}+bx^{3}+cx^{2}+dx+e=0\quad

może być rozwiązane przy użyciu bardzo elementarnych metod.

[edytuj] Równanie dwukwadratowe

Jeśli b=d=0\quad, czyli gdy (\circledast) jest postaci

(\circledast)_1\qquad ax^{4}+cx^{2}+e=0\quad

to równanie to nazywamy równaniem dwukwadratowym. Aby je rozwiązać, wystarczy podstawić t = x2. Wówczas otrzymujemy równanie kwadratowe at2 + ct + e = 0 które rozwiązujemy używając formuły kwadratowej.

[edytuj] Równanie zwrotne

Jeśli b=d\quad oraz a=e\quad, czyli gdy (\circledast) jest postaci

(\circledast)_2\qquad ax^{4}+bx^{3}+cx^{2}+bx+a=0\quad

to równanie jest równaniem zwrotnym. Rozwiązujemy je dzieląc obie strony równania przez x2 i otrzymując

a(x2 + x − 2) + b(x + x − 1) + c = 0

Podstawiając y = x + x − 1 mamy x2 + x − 2 = y2 − 2 i otrzymujemy równanie kwadratowe

a(y2 − 2) + by + c = 0

z którego możemy obliczyć y a potem możemy wyznaczyć x .

[edytuj] Pierwszy etap: redukcja przypadku ogólnego

Wykażemy teraz, że równanie (\circledast) może być zredukowane do równania postaci

(\heartsuit)\qquad u^4+pu^2+qu+r=0.

Wychodząc z równania (\circledast) dzielimy obie strony przez a, otrzymując:

(i)  x^{4}+\frac{b}{a}x^{3}+\frac{c}{a}x^{2}+\frac{d}{a}x+\frac{e}{a}=0\quad

Następnie stosujemy podstawienie x=u-\frac{b}{4a} prowadzące do:

(ii)  \left(u-\frac{b}{4a}\right)^{4}+\frac{b}{a}\left(u-\frac{b}{4a}\right)^{3}+\frac{c}{a}\left(u-\frac{b}{4a}\right)^{2}+\frac{d}{a}\left(u-\frac{b}{4a}\right)+\frac{e}{a}=0\quad.

Po wymnożeniu dostajemy:

(iii)  \left(u^4-\frac{b}{a}u^3+\frac{6b^2}{16a^2}u^2-\frac{4b^3}{64a^3}u+\frac{b^4}{256a^4}\right)+
\frac{b}{a}\left(u^3-\frac{3b}{4a}u^2+\frac{3b^2}{16a^2}u-\frac{b^3}{64a^3}\right)+\frac{c}{a}\left(u^2-\frac{b}{2a}u+\frac{b^2}{16a^2}\right)+\frac{d}{a}\left(u-\frac{b}{4a}\right)+\frac{e}{a}=0\cdot

a po poszeregowaniu zmiennych, wedle wykładników potęgowych równanie przybiera postać:

(iv)  u^{4}+\left(\frac{-3b^2}{8a^2}+\frac{c}{a}\right) u^{2}+\left(\frac{b^3}{8a^3}-\frac{bc}{2a^2}+\frac{d}{a}\right)u+\left(\frac{-3b^4}{256a^4}+\frac{cb^2}{16a^3}-\frac{bd}{4a^2}+\frac{e}{a}\right)=0

Oznaczamy teraz

p=\frac{-3b^2}{8a^2}+\frac{c}{a}
q=\frac{b^3}{8a^3}-\frac{bc}{2a^2}+\frac{d}{a}
r=\frac{-3b^4}{256a^4}+\frac{cb^2}{16a^3}-\frac{bd}{4a^2}+\frac{e}{a}

i równanie (\circledast) zostało sprowadzone do postaci:

(\heartsuit)\qquad u^4+pu^2+qu+r=0.

[edytuj] Rozwiązywanie równania zredukowanego

Omówimy teraz metodę rozwiązywania równań postaci

(\heartsuit)\qquad u^4+pu^2+qu+r=0.

Jeśli q=0\quad wtedy równanie jest równaniem dwukwadratowym omawianym wcześniej. Jeśli nie, to stosujemy procedurę opisaną w tej sekcji.

Zwróćmy uwagę, że jeśli znajdziemy jeden pierwiastek u0 równania (\heartsuit), to możemy na mocy tzw twierdzenia Bézout możemy podzielić wielomian u4 + pu2 + qu + r przez uu0, redukując nasze równanie do równania trzeciego stopnia. Rozwiązując to równanie możemy znaleźć wszystkie rozwiązania równania (\heartsuit). Poniżej najpierw przedstawimy metodę znajdywania jednego pierwiastka naszego równania, a pózniej bardziej szczegółowo opiszemy sposób na znajdywanie wszystkich rozwiązań tego równania.

[edytuj] Jak znaleźć jeden pierwiastek

Wprowadźmy na jakiś czas trzy dodatkowe zmienne t,v,w wymagając że spełniają one równanie

t + v + w = 2u

Wówczas

t2 + v2 + w2 + 2(tv + tw + vw) = 4u2,   a stąd
\left(t^2+v^2+w^2\right)^2+4\left(t^2+v^2+w^2\right)\left(tv+tw+vw\right)+4\left(t^2v^2+t^2w^2+v^2w^2\right)+8tvw\left(t+v+w\right)=16u^4.

Mnożąc obie strony (\heartsuit) przez 16 i podstawiając wyrażenia na u,u2,u4 dane przez powyższe równania otrzymujemy następujące równanie:

(\clubsuit)\qquad \left(t^2+v^2+w^2\right)^2+4p\left(t^2+v^2+w^2\right)+4\left(tv+tw+vw\right)\left(t^2+v^2+w^2+2p\right)+
+4\left(t^2v^2+t^2w^2+v^2w^2\right)+8\left(t+v+w\right)\left(tvw+q\right)+16r=0

Zwróćmy uwagę, że każda trójka liczb t,v,w spełniająca równanie (\clubsuit) da nam rozwiązanie u równania (\heartsuit). Nietrudno jest spostrzec, że jeśli liczby t,v,w spełniają równania

(a) tvw = − q,
(b) t2 + v2 + w2 = − 2p,
(c) t2v2 + t2w2 + v2w2 = p2 − 4r,

to spełniają one również równanie (\clubsuit). Jeśli równanie (a) przekształcimy do

(d) t2v2w2 = q2,

to układ równań (b)-(d) może być interpretowany jako wzory Viète'a dla pewnego równania sześciennego. Używając metod na rozwiązywanie równań trzeciego stopnia znajdujemy pierwiastki z1,z2,z3 tak zwanego równania rozwiązującego:

(\otimes)\qquad z^3+2pz^2+(p^2-4r)z-q^2=0.

Niech

  • t będzie jednym z dwóch pierwiastków kwadratowych z liczby z1,
  • v będzie jednym z dwóch pierwiastków kwadratowych z liczby z2, a
  • w będzie tym z dwóch pierwiastków kwadratowych z liczby z_3\quad, przy którym będzie spełnione równanie (a) powyżej.

(Ponieważ q\neq 0, to z_3\neq 0 i liczba ta ma dwa różne pierwiastki różniące się znakiem). Wówczas liczby t,v,w\quad spełniają równania (a)-(c), a zatem również równanie (\clubsuit). Otrzymujemy więc rozwiązanie równania (\heartsuit):

u_0=\frac{t+v+w}{2}.

[edytuj] Jak znaleźć wszystkie pierwiastki

Rozważmy równanie rozwiązujące

(\otimes)\qquad z^3+2pz^2+(p^2-4r)z-q^2=0

i oznaczmy jego pierwiastki jako z1,z2,z3. Następnie wyznaczamy liczby t1,v1,w1 tak że t2 = z1, v2 = z2,, w2 = z3 oraz tvw = − q. Wówczas liczby t1,v1,w1 spełniają równania (a)-(c), a zatem również równanie (\clubsuit). Mamy więc

t_1^2+v_1^2+w_1^2=-2p oraz t^2_1v^2_1+t^2_1w^2_1+v^2_1w^2_1=p^2-4r

a stąd

(\boxplus)\qquad t_1^4+v_1^4+w_1^4-2\left(t_1^2w_1^2+t_1^2w_1^2+v_1^2w_1^2\right)=\left(t_1^2+v_1^2+w_1^2\right)^2-4\left(t_1^2w_1^2+t_1^2w_1^2+v_1^2w_1^2\right)=4p^2-4\left(p^2-4r\right)=16r.

Teraz zauważmy, że

\left(2u-t_1-v_1-w_1\right)\left(2u-t_1+v_1+w_1\right)\left(2u+t_1-v_1+w_1\right)\left(2u+t_1+v_1-w_1\right)=\quad
=\left[\left(2u-t_1\right)^2-\left(v_1+w_1\right)^2\right]\left[\left(2u+t_1\right)^2-\left(v_1-w_1\right)^2\right]=\quad
=\left(4u^2-t_1^2\right)^2-\left(2u-t_1\right)^2\left(v_1-w_1\right)^2-\left(2u+t_1\right)^2\left(v_1+w_1\right)^2+\left(v_1^2-w_1^2\right)^2=
=16u^4-8u^2\left(t_1^2+v_1^2+w_1^2\right)-16ut_1v_1w_1+t_1^4+v_1^4+w_1^4-2\left(t_1^2w_1^2+t_1^2v_1^2+v_1^2w_1^2\right)=
= 16(u4 + pu2 + qu + r).

(Dla ostatniej równości używamy równań (\boxplus) oraz t1v1w1 = − q.) Otrzymaliśmy więc równanie

16 (u^4+pu^2+qu+r)=\left(2u-t_1-v_1-w_1\right)\left(2u-t_1+v_1+w_1\right)\left(2u+t_1-v_1+w_1\right)\left(2u+t_1+v_1-w_1\right)

z którego natychmiast widzimy, że liczby

u_1=\frac{t_1+v_1+w_1}{2},   u_2=\frac{t_1-v_1-w_1}{2}
u_3=\frac{-t_1+v_1-w_1}{2},    u_4=\frac{-t_1-v_1+w_1}{2}

spełniają równanie (\heartsuit). Są to wszystkie pierwiastki tego równania.

[edytuj] Obserwacja

Równanie (\heartsuit) ma 4 różne pierwiastki rzeczywiste, wtedy i tylko wtedy gdy równanie (\otimes) ma 3 różne pierwiastki rzeczywiste.

Dowód
Zauważmy, że na mocy naszych równań mamy
\left(u_1-u_2\right)\left(u_1-u_3\right)\left(u_1-u_4\right)\left(u_2-u_3\right)\left(u_2-u_4\right)\left(u_3-u_4\right)=\left(t_1^2-v_1^2\right)\left(t_1^2-w_1^2\right)\left(v_1^2-w_1^2\right)\quad

(gdzie, pamiętajmy,  t_1,v_1,w_1\quad są pierwiastkami równania (\otimes)).

[edytuj] Źródła

[edytuj] Zobacz też


aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -