Professional Documents
Culture Documents
Pero también, 1(a, b) = (1a, 1b) = (a, b) y, de hecho, para cualquier escalar λ, (λ, 0) ∗ (a, b) = (λa −
0b, 0a + λb) = (λa, λb) = λ(a, b) luego pueden identificarse los elementos (λ, 0) con los números
reales λ, es decir, en C (λ, 0) = λ a todos los efectos.
Como (a, b) = (a, 0) + (0, b) = a + (0, b) = a + b (0, 1), haciendo (0, 1) = i el número complejo se
escribe (a, b) = a + ib, que se denomina forma binominal del número complejo.
Del elemento i se dice que es la unidad imaginaria. En la forma bin´omica, el producto se efectúa
como un producto de binomios habitual: (a + ib)(c + id) = ac + iad + icb + i 2 bd = (ac − bd) + i(ad +
cb) = (ac − bd, ad + cb) = (a, b) ∗ (c, d) sin más que tener en cuenta que i 2 = ii = (0, 1) ∗ (0, 1) = (−1,
0) = −1.
Con esta nueva notación, suele escribirse C = {a + ib : a, b ∈ IR} (a veces C = IR + iIR) y los
elementos de C se denotan por z = a + ib. Los elementos de C se representan en el plano IR2 que
suele denominarse plano complejo, al eje se abscisas se le denomina eje real y al de ordenadas eje
imaginario
Módulo de un número complejo
Sea z = a + ib ∈ C un número complejo. Se denomina modulo (o norma) de z al valor real |z| = +√ a
2 + b 2. Nota: Si z es real, z = a + i0 = a, se tiene que |z| = +√ a 2 + 02 = +√ a 2 = |a|, es decir, el
modulo complejo coincide con el valor absoluto real.
Al argumento que se encuentra dentro del intervalo de tamaño 2π elegido como preferente suele
denominarse argumento principal y denotarse por Arg(z). Con este concepto, todos los
argumentos de z se pueden describir mediante: arg(z) = Arg(z) + 2kπ, ∀ k ∈ ZZ.
Raíces complejas
Un complejo w es la raíz n-´esima de z , si se verifica que w n = z ; es decir, si |w| n = |z| y n arg(w)
= arg(z) = θ + 2kπ (alguno de los argumentos de z ). Luego |w| = |z| 1 n y arg(w) = θ+2kπ n , con k
∈ ZZ; pero con todos estos argumentos solo se obtienen n números complejos distintos, los
mismos que se obtienen tomando los n valores de k = 0, 1, . . . , n − 1. Es decir, existen n, y solo n,
complejos distintos que son raíces n-´esimas de z.