Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Átírás

1 Diszkrét matematika 1. estis képzés ősz 1. Diszkrét matematika 1. estis képzés 2. előadás Nagy Gábor compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra Tanszék ősz

2 Diszkrét matematika 1. estis képzés ősz 2. Harmadfokú egyenlet Harmadfokú egyenlet megoldása Keressük meg az ax 3 + bx 2 + cx + d = 0 egyenlet megoldásait (a 0)! Végigosztva a-val kapjuk az x 3 + b x 2 + c x + d = 0 egyszerűbb egyenletet. Emlékeztető: másodfokú egyenlet megoldása: x 2 + px + q = 0. Az x = y p 2 helyettesítéssel eltűnik az x-es tag: y 2 + q = 0. Innen átrendezéssel és gyökvonással megkapjuk a lehetséges megoldásokat y-ra, ahonnan kiszámolhatóak az x 1, x 2 megoldások. Hasonló helyettesítéssel a harmadfokú egyenlet y 3 + py + q = 0 alakra hozható.

3 Harmadfokú egyenlet Diszkrét matematika 1. estis képzés ősz 3. Keressük meg az y 3 + py + q = 0 egyenlet megoldásait! Ötlet: keressük a megoldásokat y = u + v alakban! Most (u + v) 3 = u 3 + 3u 2 v + 3uv 2 + v 3. A harmadfokú egyenlet: (u + v) 3 3uv(u + v) (u 3 + v 3 ) = 0 y 3 +py +q = 0 Célunk olyan u, v találása, melyekre 3uv = p, (u 3 + v 3 ) = q. Ekkor u + v megoldás lesz! u, v megtalálása: u 3 v 3 = ( p 3 )3, u 3 + v 3 = q, u 3, v 3 gyökei lesznek a z 2 + qz + ( p 3 )3 = 0 másodfokú egyenletnek. A gyökökből u, v köbgyökvonással kijön: y = 3 q (q ) 2 ( p ) q (q ) 2 ( p )

4 Harmadfokú egyenlet Diszkrét matematika 1. estis képzés ősz 4. Keressük meg az x 3 21x + 20 = 0 egyenlet megoldásait! (Most x = y, és rögtön látszik, hogy az x = 1 gyök lesz.) p = 21, q = 20 helyettesítéssel a x = 3 q (q ) 2 ( p ) q (q ) 2 ( p ) képletbe azt kapjuk, hogy x = A négyzetgyök alatt negatív! Meg lehet-e menteni a megoldóképletet?

5 Diszkrét matematika 1. estis képzés ősz 5. Harmadfokú egyenlet x = Formálisan számolva, a ( 3) 2 = 3 feltétellel: = = ( 3) 2 + ( 3) 3 = (2 + 3) 3. Hasonlóan = (2 3) 3. Ezzel a megoldás: x = (2 + 3) + (2 3) = 4. Felmerülő kérdések Számolhatunk-e 3-mal formálisan? Miért épp így kell számolni a értékét? Hova tűnt az x = 1 megoldás? Mi a harmadik gyöke az egyenletnek?

6 Számfogalom bővítése Diszkrét matematika 1. estis képzés ősz 6. Természetes számok: N = {0, 1, 2,... } Nincs olyan x N természetes szám, melyre x + 2 = 1! N halmazon a kivonás nem értelmezett! Egész számok: Z = {..., 2, 1, 0, 1, 2,... } A kivonás elvégezhető: x = 1. Nincs olyan x Z egész szám, melyre x 2 = 1! Z halmazon az osztás nem értelmezett! { } Racionális számok: Q = p q : p, q Z, q 0 Az osztás elvégezhető : x = 1 2. Nincs olyan x Q racionális szám, melyre x 2 = 2! Q halmazon a négyzetgyökvonás nem (mindig) elvégezhető! Valós számok: R. Nincs olyan x R valós szám, melyre x 2 = 1! U.i.: Ha x 0, akkor x 2 0. Ha x < 0, akkor x 2 = ( x) 2 > 0.

7 Diszkrét matematika 1. estis képzés ősz 7. Számfogalom bővítése Komplex számok körében az x 2 = 1 egyenlet megoldható! Komplex számok alkalmazása: egyenletek megoldása; geometria; fizika (áramlástan, kvantummechanika, relativitáselmélet); grafika, kvantumszámítógépek. Komplex számok bevezetése Legyen i az x 2 = 1 egyenlet megoldása. A szokásos számolási szabályok szerint számoljunk az i szimbólummal formálisan, i 2 = 1 helyettesítéssel: Általában: (1 + i) 2 = 1 + 2i + i 2 = 1 + 2i + ( 1) = 2i. (a + bi)(c + di) = ac bd + (ad + bc)i.

8 Diszkrét matematika 1. estis képzés ősz 8. A komplex számok definíciója Definíció Az a + bi alakú kifejezéseket, ahol a, b R, komplex számoknak (C) hívjuk, az ilyen formában való feĺırásukat algebrai alaknak nevezzük. Összeadás: (a + bi) + (c + di) = a + c + (b + d)i. Szorzás: (a + bi)(c + di) = ac bd + (ad + bc)i. A z = a + bi C (a, b R) komplex szám valós része: Re(z) = a R. A z = a + bi C (a, b R) komplex szám képzetes része: Im(z) = b R. Figyelem! Im(z) bi Az a + 0 i alakú komplex számok a valós számok. A 0 + bi alakú komplex számok a tisztán képzetes számok. Az a + bi és a c + di algebrai alakban megadott komplex számok pontosan akkor egyenlőek: a + bi = c + di, ha a = c és b = d.

9 Diszkrét matematika 1. estis képzés ősz 9. A komplex számok definíciója Megjegyzés A komplex számok alternatív definíciója: (a, b) R R párok halmaza, ahol az összeadás: (a, b) + (c, d) = (a + c, d + b); a szorzás: (a, b) (c, d) = (ac bd, ad + bc). A két definíció ekvivalens: i (0, 1). Az a + bi formátum kényelmesebb számoláshoz. Az (a, b) formátum kényelmesebb ábrázoláshoz (grafikusan, számítógépen). További formális számokra nincs szükség: Tétel(Algebra alaptétele, NB) Ha n > 0, a 0,..., a n C, a n 0, akkor minden a 0 + a 1 x + a 2 x a n x n kifejezés esetén létezik olyan z C komplex szám, hogy a 0 + a 1 z + a 2 z a n z n = 0.

10 Diszkrét matematika 1. estis képzés ősz 10. Számolás komplex számokkal Definíció Egy x szám ellentettje az az ˆx szám, melyre x + ˆx = 0. Egy r R szám ellentettje: r. Álĺıtás (HF) Egy z = a + bi C algebrai alakban megadott komplex szám ellentettje a z = a bi algebrai alakban megadott komplex szám. Definíció Egy z = a + bi C algebrai alakban megadott komplex szám abszolút értéke: z = a + bi = a 2 + b 2. Valós számok esetében ez a hagyományos abszolút érték: a = a 2. Álĺıtás(HF) z = a + bi 0, z = a + bi = 0 z = a + bi = 0.

11 Számolás komplex számokkal Diszkrét matematika 1. estis képzés ősz 11. Definíció Egy x szám reciproka az az ˆx szám, melyre x ˆx = 1. 1 Egy r R \ {0} szám reciproka: r. Mi lesz 1 1+i? Ötlet: gyöktelenítés, konjugálttal való bővítés: = = 1 2 (1 + 2)(1 2) = ( 2) 2 Hasonlóan: = = i = 1 1 i 1 + i 1 i = 1 i (1 + i)(1 i) = 1 i 1 2 i 2 = 1 i 1 ( 1) = 1 i 2 = i.

12 Diszkrét matematika 1. estis képzés ősz 12. Számolás komplex számokkal Definíció Egy z = a + bi algebrai alakban megadott komplex szám konjugáltja a z = a + bi = a bi szám. Álĺıtás(HF) Egy z 0 komplex szám reciproka 1 z = z z z. A definíció értelmes, hiszen a nevező: z z = (a + bi)(a bi) = a 2 (bi) 2 = a 2 + b 2 = z 2. Nullosztómentesség: z w = 0 z = 0 vagy w = 0. Két komplex szám hányadosa: z w = z 1 w.

13 Számolás komplex számokkal Diszkrét matematika 1. estis képzés ősz 13. Tétel (HF) 1 z = z; 2 z + w = z + w; 3 z w = z w; 4 z + z = 2 Re(z); 5 z z = 2 Im(z) i; 6 z z = z 2 ; 7 z 0 esetén z 1 = z z 2 ; 8 0 = 0 és z 0 esetén z > 0; 9 z = z ; 10 z w = z w ; 11 z + w z + w (háromszög egyenlőtlenség).

14 Számolás komplex számokkal Diszkrét matematika 1. estis képzés ősz 14. Tétel(HF). z w = z w ;. Bizonyítás z w 2 = z w z w = z w z w = z z w w = z 2 w 2 = ( z w ) 2.

15 Komplex számok ábrázolása Diszkrét matematika 1. estis képzés ősz 15. A komplex számok a komplex számsíkon: Im(z) z = a + bi= r(cos ϕ + i sin ϕ) r ϕ Re(z) Ha z = a + bi C, ahol a, b R, akkor Re(z) = a, Im(z) = b. A (Re(z), Im(z)) vektor hossza: r = a 2 + b 2 = z 2. A z nemnulla szám argumentuma ϕ = arg(z) [0, 2π) A koordináták trigonometrikus függvényekkel kifejezve: Re(z) = a = r cos ϕ, Im(z) = b = r sin ϕ

16 Diszkrét matematika 1. estis képzés ősz 16. Komplex számok trigonometrikus alakja Definíció z C nemnulla szám trigonometrikus alakja a z = r(cos ϕ + i sin ϕ), ahol r > 0 a szám abszolút értéke. Figyelem! A 0-nak nem használjuk a trigonometrikus alakját. A trigonometrikus alak nem egyértelmű: r(cos ϕ + i sin ϕ) = r(cos(ϕ + 2π) + i sin(ϕ + 2π)). Definíció Egy nemnulla z C argumentuma az a ϕ = arg(z) [0, 2π), melyre z = z (cos ϕ + i sin ϕ). z = a + bi algebrai alak; z = r(cos ϕ + i sin ϕ) trigonometrikus alak. Itt a = r cos ϕ, b = r sin ϕ.

17 Diszkrét matematika 1. estis képzés ősz 17. Áttérés algebrai alakról trigonometrikus alakra a + bi = r(cos ϕ + i sin ϕ) a = r cos ϕ b = r sin ϕ Ha a 0, akkor tgϕ = b a, és így arctg b a, ha a > 0; ϕ = arctg b a + π, ha a < 0. }

18 Diszkrét matematika 1. estis képzés ősz 18. Számolás trigonometrikus alakkal Legyenek z, w C nemnulla komplex számok: z = z (cos ϕ + i sin ϕ), w = w (cos ψ + i sin ψ) A szorzatuk: zw = z (cos ϕ + i sin ϕ) w (cos ψ + i sin ψ) = = z w (cos ϕ cos ψ sin ϕ sin ψ + i(cos ϕ sin ψ + sin ϕ cos ψ)) = addíciós képletek: cos(ϕ + ψ) = cos ϕ cos ψ sin ϕ sin ψ sin(ϕ + ψ) = cos ϕ sin ψ + sin ϕ cos ψ = z w (cos(ϕ + ψ) + i sin(ϕ + ψ)) A szorzat abszolút értéke: zw = z w. A szorzat argumentuma: ha 0 arg(z) + arg(w) < 2π, akkor arg(zw) = arg(z) + arg(w); ha 2π arg(z) + arg(w) < 4π, akkor arg(zw) = arg(z) + arg(w) 2π. A sin, cos függvények 2π szerint periodikusak, az argumentum meghatározásánál redukálni kell az argumentumok összegét.

19 Diszkrét matematika 1. estis képzés ősz 19. Moivre-azonosságok Tétel HF Legyenek z, w C nemnulla komplex számok: z = z (cos ϕ + i sin ϕ), w = w (cos ψ + i sin ψ), és legyen n N. Ekkor zw = z w (cos(ϕ + ψ) + i sin(ϕ + ψ)); z w = z w (cos(ϕ ψ) + i sin(ϕ ψ)), ha w 0; z n = z n (cos nϕ + i sin nϕ). A szögek összeadódnak, kivonódnak, szorzódnak. Az argumentumot ezek után redukcióval kapjuk! Geometriai jelentés Egy z C komplex számmal való szorzás a komplex számsíkon mint nyújtva-forgatás hat. z -vel nyújt, arg(z) szöggel forgat.