Enunciado
Demostrar que para $a,b,c$ reales positivos con $a^2 > b^2 + c^2$ se verifica $$\int_0^{2\pi}\frac{d\theta}{a+b\cos \theta+c\sin\theta}=\frac{2\pi}{\sqrt{a^2-b^2-c^2}}.$$
Solución
Efectuando el cambio $z=e^{i\theta}$ obtenemos $$dz=ie^{i\theta}d\theta=izd\theta,$$ $$\cos \theta=\frac{e^{i\theta}+e^{-i\theta}}{2}=\frac{z+1/z}{2}=\frac{z^2+1}{2z},$$ $$\sin \theta=\frac{e^{i\theta}-e^{-i\theta}}{2i}=\frac{z-1/z}{2i}=\frac{z^2-1}{2iz}.$$ Cuando $\theta$ recorre $[0,2\pi],$ $z$ recorre la circunferencia $\left|z\right|=1$ en sentido antihorario, por tanto $$I=\int_0^{2\pi}\frac{d\theta}{a+b\cos \theta+c\sin\theta}=\int_{\left|z\right|=1}\frac{dz/iz}{a+b\dfrac{z^2+1}{2z}+c \dfrac{z^2-1}{2iz}}$$ $$=\frac{1}{i}\int_{\left|z\right|=1}\frac{dz/z}{\dfrac{2aiz+bi(z^2+1)+c(z^2+1)}{2iz}}=2\int_{\left|z\right|=1}\frac{dz}{(c+bi)z^2+2aiz+bi-c}.$$ Los puntos singulares de la función integrando $f$ son los que anulan al denominador: $$(c+bi)z^2+2aiz+bi-c=0\Leftrightarrow z=\frac{-2ai\pm\sqrt{-4a^2-4(c+bi)(bi-c)}}{2(c+bi)}$$ $$\Leftrightarrow z=\frac{-2ai\pm\sqrt{-4a^2+4(b^2+c^2)}}{2(c+bi)}\Leftrightarrow z=\frac{-2ai\pm\sqrt{4(b^2+c^2-a^2)}}{2(c+bi)}$$ $$\Leftrightarrow z=\frac{-2ai\pm 2i\sqrt{a^2-b^2-c^2}}{2(c+bi)}\Leftrightarrow z=\frac{(-a\pm \sqrt{a^2-b^2-c^2})i}{c+bi}$$ $$\Leftrightarrow z=\frac{-a\pm \sqrt{a^2-b^2-c^2}}{b-ci}.$$ Los puntos singulares (polos simples) son por tanto: $$z_1=\frac{-a+ \sqrt{a^2-b^2-c^2}}{b-ci},\quad z_2=\frac{-a- \sqrt{a^2-b^2-c^2}}{b-ci}.$$ Veamos si pertenecen al interior geométrico de $\left|z\right| = 1:$ $$\left|z_1\right| < 1\Leftrightarrow \dfrac{\left|-a +\sqrt{a^2 -b^2 -c^2}\right|}{\left|b-ci\right|} < 1 \Leftrightarrow \dfrac{a -\sqrt{a^2 -b^2 -c^2}}{\sqrt{b^2+c^2}} < 1 $$ $$\Leftrightarrow a < \sqrt{a^2 -b^2 -c^2}+\sqrt{b^2+c^2}$$ $$\Leftrightarrow a^2 < a^2-b^2-c^2+b^2+c^2+2\sqrt{a^2 -b^2 -c^2}\sqrt{b^2+c^2}$$ $$\Leftrightarrow 0< 2\sqrt{a^2 -b^2 -c^2}\sqrt{b^2+c^2},$$ y la última desigualdad es trivial. Por otra parte, $$\left|z_2\right| >1 \Leftrightarrow \dfrac{\left|-a -\sqrt{a^2 -b^2 -c^2}\right|}{\left|b-ci\right|} > 1 \Leftrightarrow \dfrac{a +\sqrt{a^2 -b^2 -c^2}}{\sqrt{b^2+c^2}} > 1 $$ $$\Leftrightarrow a > \sqrt{b^2+c^2}-\sqrt{a^2 -b^2 -c^2} $$ $$\Leftrightarrow a^2 > b^2+c^2+ a^2-b^2-c^2-2\sqrt{a^2 -b^2 -c^2}\sqrt{b^2+c^2}$$ $$\Leftrightarrow 0 > -2\sqrt{b^2+c^2}\sqrt{a^2 -b^2 -c^2},$$ y la última desigualdad es trivial. El único polo en el interior geométrico de $\left|z\right|=1$ es por tanto $z_1$ con lo cual $$I=2\int_{\left|z\right|=1}\frac{dz}{(c+bi)z^2+2aiz+bi-c}=4\pi i \text{Res }[f,z=z_1].$$ Ahora bien, $$\text{Res }[f,z=z_1]=\lim_{z\to z_1}\frac{z-z_1}{(c+bi)(z-z_1)(z-z_2)}=\frac{1}{(c+bi)}\lim_{z\to z_1}\frac{1}{z_1-z_2}$$ $$=\frac{1}{(c+bi)}\cdot \frac{1}{\dfrac{2\sqrt{a^2-b^2-c^2}}{b-ci}}=\frac{1}{2i\sqrt{a^2-b^2-c^2}}.$$ Entonces, $$I=\int_0^{2\pi}\frac{d\theta}{a+b\cos \theta+c\sin\theta}=\frac{2\pi}{\sqrt{a^2-b^2-c^2}}.$$
Menú
-
Entradas recientes
- Separación de puntos y espacios de Hausdorff
- Límites en dos variables
- Conjunto cerrado como intersección contable de abiertos
- Norma en el espacio de las funciones de clase 1
- Límite por cambio de variable
- Distribución binomial
- Convergencia de la serie $\sum_{n=1}^{\infty}\frac{\sin nz}{n}$
- Módulo del seno complejo y del coseno complejo
- Partes del producto y producto de las partes
- Sucesos dependientes e independientes
- Probabilidad condicionada
- Función zeta de Riemann
- Acotación de una suma de logaritmos de números primos
- Teorema de representación de Euler
- Infinitud de los números primos. Demostración analítica
- Infinitud de los números primos. Demostración elemental
- Problema de las coincidencias de Montmort
- $\displaystyle\lim_{n \to{+}\infty}{\frac{1}{n}\sqrt[n]{(n+1)(n+2)\cdots(n+n)}}.$
- Edo $y^{\prime\prime}=x(y^\prime)^3$
- Isomorfismo entre dos anillos
- Plano osculador y curva plana
- Factorización canónica de una aplicación
- Teorema fundamental del Álgebra
- Parte principal de la serie de Laurent de $1/\sin^2z$ en $\pi < |z| < 2\pi$
- Plano de fases de $x^\prime=x,y^\prime=y^2$
- Ceros complejos de las funciones seno y coseno
- Conmutatividad de la suma en los anillos
- Polinomios de Chebyshev y número algebraico
- Dos números algebraicos
- Serie de Taylor por división en potencias crecientes
-
Las dudas o comentarios acerca de los contenidos de ésta web se pueden plantear en rinconmatematico.