09.05.2013 Views

Apuntes de Variable Compleja - Carlos Lizama homepage ...

Apuntes de Variable Compleja - Carlos Lizama homepage ...

Apuntes de Variable Compleja - Carlos Lizama homepage ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

4.4. TEOREMAS FUNDAMENTALES 33<br />

Teorema 62 (Fundamental <strong>de</strong>l Algebra) Todo polinomio no constante p(z) =<br />

anz n + an−1z n−1 + ... + a0 con an = 0 tiene n raíces en C.<br />

Demostración. Basta <strong>de</strong>mostrar que tiene una raíz (luego se divi<strong>de</strong> por ella y<br />

se obtiene un polinomio <strong>de</strong> grado menor don<strong>de</strong> se aplica <strong>de</strong>nuevo el resultado ).<br />

Supongamos, por absurdo, que p(z) no tiene ninguna raíz.Entonces h(z) = 1<br />

p(z)<br />

es analítica en C (entera). Vamos a <strong>de</strong>mostrar que h(z) (y luego p(z)) es constante,<br />

por lo cual probamos que h(z) es acotada en C y usaremos el teorema <strong>de</strong> Liuville.<br />

En efecto:<br />

1<br />

lím<br />

z→∞ p(z)<br />

= lím<br />

t→∞<br />

= lím<br />

z→∞<br />

1<br />

anz n + ... + a0<br />

tn = 0<br />

an + an−1t + ...a0tn Luego, dado ɛ > 0 existe R > 0 tal que |z| ≥ R luego |h(z) = 1<br />

| ≤ ɛ.<br />

p(z)<br />

Por otra parte, si |z| ≤ R entonces |h(z)| ≤ M, pues h es continua y {z : |z| ≤ R}<br />

es compacto . Por lo tanto |h(z)| ≤ ɛ + M. Luego h es acotada, entonces h(z) es<br />

constante y así p(z) es constante. Contradicción.<br />

Teorema 63 (Del Valor Medio) Si f es Analítica en un abierto Ω y {z : |z−z0| ≤<br />

r} ⊆ Ω entonces<br />

f(z0) = 1<br />

2π<br />

f(z0 + re<br />

2π 0<br />

iθ )dθ<br />

Demostración. Usamos la fórmula <strong>de</strong> Cauchy<br />

f(z0) = 1<br />

<br />

2πi<br />

f(z)<br />

z − z0<br />

don<strong>de</strong> C es el círculo z = z0 + reiθ con 0 ≤ θ ≤ 2π.<br />

Entonces<br />

f(z0) = 1<br />

2π<br />

2πi<br />

= 1<br />

2π<br />

0<br />

2π<br />

0<br />

C<br />

f(z0 + reiθ )<br />

reiθ rie iθ dθ<br />

f(z0 + re iθ )dθ

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!