I NUMERI COMPLESSI C
in ℝ le eq. di II grado con ∆ < 0 non hanno soluzione ⇒ necessità di ampliare ℝ ⇒ C
det. si definisce numero complesso (z) una coppia ordinata di numeri reali z = (a,b) a,b ∈ ℝ
oss. z1 = (a,b) z2 = (c,d) → z1 = z2 se e solo se a = c ∧ b = d
det. sono z1 = (a,b) e z2 = (c,d) due numeri complessi.
- somma → z1 + z2 = (a,b) + (c,d) := (a+c, b+d)
- prodotto → z1 · z2 = (a,b)·(c,d) := (ac - bd , ad + bc)
Soddisfano le proprietà commutative, associative e distributive.Inoltre:
- z0 = (0,0) è elemento neutro per la somma;
- z0 = (1,0) “ “ il prodotto;
- z1 = (-a, -b) è l’opposto di z1 = (a,b)[ z1 + z1 = (0,0) ]
- se (a,b) ≠ (0,0) esiste l’inverso z1 = (a⁄a2+b2, -b⁄a2+b2)di z1 = (a,b)[ z1 · z1 = (1,0) ]
teo. ℂ è un CAMPO numerico come ℝ e ℚ [proprietà R1 e R2]
oss. insiemisticamente parlando, ℂ ≡ ℝ2 = ℝ × ℝ
possibile rappresentazione su un piano cartesiano
I NUMERI COMPLESSI ℂ
in ℝ le eq. di II grado con Δ < 0 non hanno soluzione⇒ necessità di ampliare ℝ ⇒ ℂ
det.
Si definisce numero complesso (z) una coppia ordinata di numeri realiz = (a,b) a,b ∈ ℝ
oss.
z1 = (a,b) z2 = (c,d) → z1 = z2 se e solo se a = c ∧ b = d
det.
Sono z1 = (a,b) e z2 = (c,d) due numeri complessi.
- Somma z1 + z2 = (a,b) + (c,d) := (a+c, b+d)
- Prodotto z1 · z2 = (a,b) · (c,d) := (ac - bd , ad + bc)
Soddisfano le proprietà commutative, associative e distributive.Inoltre:
- z0 = (0,0) è elemento neutro per la somma;
- z0 = (1,0) " " " il prodotto;
- zi = (-a,-b) è l’opposto di zi = (a,b) [ zi + zi = (0,0) ]
- Se (a,b) ≠ (0,0) esiste l’inverso zi = ( a/a2+b2 , -b/a2+b2 ) di zi = (a,b)[ zi · zi = (1,0) ]
teo.
ℂ è un CAMPO numerico come ℝ e ℚ [ proprietà R1 e R2 ]
oss.
Insiemisticamente parlando, ℂ = ℝ2 = ℝ × ℝpossibile rappresentazione su un piano cartesiano
la somma può anche essere interpretata coi vettori
ℝ ⊂ ℂ ⇨ i numeri immaginari de tipo (a,0) sono i numeri reali
in ℝ x {0ℝ}
ℝ è un SOTTOCAMPO di ℂ
UNITÀ IMMAGINARIA
(0,1)2 = (0,1) ⋅ (0,1) =(0⋅0 - 1 ⋅ 1 , 0 ⋅ 1 + 1 ⋅ 0) = (-1,0)
abbiamo provato che ∃ un numero complesso il cui quadrato è -1. ciò è impossibile in ℝ. Abbiamo ampliato ℝ.
Indiciamo i = (0,1) t.c. i2 = -1
ℂ NON è un campo ordinato
DIMOSTRAZIONE
per assurdo pongo i > 0 (quindi condizione di ordinamento tra i e 0)
allora -1 = i2 > 0 e quindi i3 = i2 ⋅ i = -1 ⋅ i = -i > 0
quindi: 0 = i + (-i) , ma i + (-i) > 0 ⟹ 0 > 0 ASSURDO!
FORMA ALGEBRICA dei n. comp.
(0,1)⦁(b,0) = (0⦁0, 0⦁b) = (0,b)
quindi z = (a,b) = (a,0) + (0,1)(b,0) = a + ib
a = Re z → parte realeb = Im z → parte immaginaria
quindi dati z1 = a + ib e z2 = c + id
- somma z1 + z2 = (a + c) + i(b + d)
- prodotto z1⦁z2 = (a + ib)⦁(c + id) = ac + iad + ibc + i2bd = (ac - bd) + i(ad + bc)
confermano le regole precedentemente poste
det.
dato z = a + ib si ha z̅ detto CONIUGATO con parte reale uguale e parte immaginaria opposta→ z̅ = a - ib
oss
1) z̅̅ = z2) z̅ = z se b = 0 (quindi z ∈ ℝ)
det.
z = a + ib si ha |z| = √(a2 + b2)
( NO i )
oss
|z| = lunghezza che congiunge O con la punta del vettore. È sempre ≥ 0
PROPRIETÀ dei numeri complessi
- z + z̅ = 2⦁Rez
- z - z̅ = 2i⦁Imz
- z⦁z̅ = |z|2
- se z ≠ 0, allora 1/z = z̅ / |z|2
RECIPROCO
| dimostrazioni sulle slide
5) |Re z| ≤ |z| e |Im z| ≤ |z|
6) z1 ± z2 = z̅1 ± z̅2
7) z1·z2 = z̅1·z̅2
8) (1/z)̅ = 1/z̅ V z ≠ 0
teo se z = a·i·b, allora:
- |z| ≥ 0 e |z| = 0 ⇔ z = 0
- |z| = |z̅|
- |z1·z2| = |z1|·|z2|
- |z1 ± z2| ≤ |z1| ± |z2|
FORMA TRIGONOMETRICA dei num. complessi
- ρ = raggio polare è uguale a |z|.
- θ = angolo rispetto ad x. è chiamato anche arg(z).
es. z = √3 + i
oss 1) z̅ = ρ (cosθ - i·sinθ)
2) z1 = ρ1(cosθ1 + isinθ1) z2 = ρ2(cosθ2 + isinθ2)
z1 = z2 ⇔ ρ1 = ρ2 e ∃ k ∈ ℤ | θ1 = θ2 + 2kπ
PRODOTTO (e potenza) e QUOZIENTE
La forma trigonometrica funziona bene per qst operazioni
teo z1, z2 ∈ ℂ e non sono nulli | dimostrazione sulle slide
Ip. z1 = ρ1(cosθ1 + isinθ1) e z2 = ρ2(cosθ2 + isinθ2)
Ts.: a) z1·z2 = ρ1·ρ2[ cos (θ1 + θ2) + i sin (θ1 + θ2) ]
b) z1/z2 = ρ1/ρ2[ cos (θ1 - θ2) + i sin (θ1 - θ2) ]
det. z numero complesso. Dato n ∈ ℤ
- 1 se n = 0
- z, z2, ..., zn se n > 0
- 1/z, 1/z2, 1/zn se n < 0
TEOREMA di de MOURVE
teo Ip: z = ρ (cosθ + isinθ) | dimostrazione sulle slide
Ts: zn = ρn[ cos(nθ) + i sin(nθ) ]
Fissato |z| = 1 = ρ , si ha z = cosθ + isinθ
Moltiplicare un numero complesso per z comporta solo aggiungere θ al suo argomento.
Questa, geometricamente, è una rotazione. Se ρ ≠ 1, si ha anche una dilatazione.
o contrazione
rotazione
rotazione e dilatazione
FORMA ESPONENZIALE
ρ eiθ := ρ (cosθ + i sinθ)
soddisfa le proprietà delle potenze
- θ = 0 ρei0 = ρe0 = ρ
- ρei(-θ) = ρ(cosθ - i sinθ) = ρ/cosθ + i sinθ = ρ(eiθ)-1 z → z̅
inoltre
- ρ1eiθ1 ρ2eiθ2 ρ1ρ2ei(θ1+θ2)
- (ρeiθ)n = ρneinθ ∀n ∈ ℤ Teorema di de Moivre
RADICI nel PIANO COMPLESSO
- z numero complesso. n ∈ ℕ. w numero complesso si dice radice n-esima
- di z se wn = z
z = ρ (cosθ + i sinθ)
∃ n radici n-esime distintre di z:
ρ1/n (cos (θ + 2kπ/n) + i sin (θ + 2kπ/n))
se , è facile rappresentare sul piano le radici n-esime. Esse sono i vertici di un poligono regolare con n lati, di lato
teorema fondamentale dell’algebra
un’equazione polinomiale della forma
an.zn + an-1.zn-1+ … + a1.z + a0 = 0
ha esattamente n radici in C
z2 = 1 → z1=1
→ z2 = -1
z2 = -1
=
|z2| = -1 , = π k=0,1