Category Archive

You are currently browsing the category archive for the 'Análise Complexa' category.

Verificação de identidades trigonométricas através dos complexos

Julho 31, 2009 in Análise Complexa, Cálculo, Exercício, Identidade matemática, Matemática, Matemática Gerais, Problema, Trigonometria | Tags: , , | Leave a comment

Actualização de 1.08.09: incluída figura

| cos α + i sin α | = 1, Re(α) = cos α, Im(α) = sin α

| cos α + i sin α | = 1, Re(α) = cos α, Im(α) = sin α

De

z=e^{i\alpha }=\cos \alpha +i\sin \alpha

e

z^{-1}=e^{-i\alpha }=\cos \alpha -i\sin \alpha

obtemos, por soma

\cos \alpha =\dfrac{e^{i\alpha }+e^{-i\alpha }}{2}

e, por subtracção

\sin \alpha =\dfrac{e^{i\alpha }-e^{-i\alpha }}{2i}

Em vez dos métodos usuais da trigonometria é  possível verificar uma identidade trigonométrica que seja uma fracção racional em \cos \alpha e \sin \alpha utilizando estas substituições. Este é  um dos métodos indicados neste post de Annoying Precision.

Exemplo: Demonstrar a seguinte identidade

\dfrac{1+\sin \alpha }{\cos \alpha }=\dfrac{\cos \alpha }{1-\sin \alpha }\qquad \alpha \neq \left( 2k+1\right) \dfrac{\pi }{2};\;k\in\mathbb{N}_{0}

Então fazendo as substituiçoes no primeiro membro, teremos

\dfrac{1+\sin \alpha }{\cos \alpha }=\dfrac{1+\dfrac{e^{i\alpha }-e^{-i\alpha }}{2i}}{\dfrac{e^{i\alpha }+e^{-i\alpha }}{2}}

e, no segundo

\dfrac{\cos \alpha }{1-\sin \alpha }=\dfrac{\dfrac{e^{i\alpha }+e^{-i\alpha }}{2}}{1-\dfrac{e^{i\alpha }-e^{-i\alpha }}{2i}}

Assim, para que a identidade seja verdadeira é  condição suficiente que seja verdadeira a seguinte

\dfrac{1+\dfrac{e^{i\alpha }-e^{-i\alpha }}{2i}}{\dfrac{e^{i\alpha}+e^{-i\alpha }}{2}}=\dfrac{\dfrac{e^{i\alpha }+e^{-i\alpha }}{2}}{1-\dfrac{e^{i\alpha }-e^{-i\alpha }}{2i}}

ou, visto que z=e^{i\alpha } e z^{-1}=e^{-i\alpha },  as identidades sucessivas

\left( 1+\dfrac{z-z^{-1}}{2i}\right) \left( 1-\dfrac{z-z^{-1}}{2i}\right) =\left( \dfrac{z+z^{-1}}{2}\right) \left( \dfrac{z+z^{-1}}{2}\right)

1-\left( \dfrac{z-z^{-1}}{2i}\right) ^{2}=\dfrac{\left( z+z^{-1}\right) ^{2}}{4}

1+\dfrac{\left( z-z^{-1}\right) ^{2}}{4}=\dfrac{\left( z+z^{-1}\right) ^{2}}{4}

4+\left( z-z^{-1}\right) ^{2}=\left( z+z^{-1}\right) ^{2}

4+z^{2}+z^{-2}-2z^{-1}z=z^{2}+z^{-2}+2z^{-1}z

4-2=2

Como esta identidade é verdadeira, conclui-se que as anteriores, incluindo a do exemplo são igualmente verdadeiras.

\bigskip

Exercício: Verifique a seguinte identidade trigonométrica

3+4\cos \alpha +\cos 2\alpha =2\left( 1+\cos \alpha \right) ^{2}

usada, na forma da desigualdade 

3+4\cos \alpha +\cos 2\alpha \geq 0,

por De la Vallée Poussin num passo da demonstração  do teorema dos números primos

\blacktriangleright Seguindo o mesmo procedimento

\cos \alpha =\dfrac{e^{i\alpha }+e^{-i\alpha }}{2}\qquad ,

 ou

\cos 2\alpha =\dfrac{e^{i2\alpha }+e^{-i2\alpha }}{2}\qquad ,

e

z=e^{i\alpha }=\cos \alpha +i\sin \alpha

z^{-1}=e^{-i\alpha }=\cos \alpha -i\sin \alpha

tem-se agora

3+4\dfrac{z+z^{-1}}{2}+\dfrac{z^{2}+z^{-2}}{2}=2\left( 1+\dfrac{z+z^{-1}}{2}\right) ^{2}

ou, após simplificação

\dfrac{1}{2}z^{2}+2z+3+2z^{-1}+\dfrac{1}{2}z^{-2}=\dfrac{1}{2}z^{2}+2z+3+2z^{-1}+\dfrac{1}{2}z^{-2}

0=0\qquad \blacktriangleleft

Adenda de 2.08.09:

Problema: utilize  este método para demonstrar que

\dfrac{1-2\cos ^{2}\alpha }{\sin \alpha \cos \alpha }=\tan \alpha -\cot \alpha

isto é

\dfrac{1-2\cos ^{2}\alpha }{\sin \alpha \cos \alpha }=\dfrac{\sin \alpha }{\cos \alpha }-\dfrac{\cos \alpha }{\sin \alpha }.

Por este processo também é fácil verificar se certas  igualdades trigonométricas são  identidades ou equações. Por exemplo, veja se a igualdade seguinte é ou não uma identidade:

3\cos^2x+5\sin^2x=7\sin x

Propriedades da função especial gama

Julho 25, 2008 in Análise Complexa, Função Gama, Funções Especiais, Matemática | Tags: | Leave a comment

A função 

\Gamma (z)=\displaystyle\int_{0}^{+\infty} t^{z-1}e^{-t}\;dt

goza das seguintes propriedades:

  1. Equação Funcional: \Gamma(z+1)=z\Gamma(z)
  2. \Gamma(1)=1
  3. Convexidade logarítmica: Se \alpha +\alpha ^{\prime }=1, então

 \Gamma \left( \alpha z+\alpha^{\prime }z^{\prime }\right) \leq \lbrack \Gamma (z)]^{\alpha }\Gamma(z^{\prime })]^{\alpha ^{\prime }}

Só existe uma função com estas três propriedades, que é precisamente a função Gama, como demonstrado na página 5 do livro de John Stalker, Complex Analysis –  Fundamentals of the Classical Theory of Functions, Birkaeuser, Boston, Basel, Berlin, 1998.

Duas questões de Análise Complexa

Maio 5, 2008 in Análise, Análise Complexa, Exercício, Matemática, Problema | Tags: , | Leave a comment

Nota de 27-5-2009: o blogue echoone deixou de estar disponível.

Passagem do blogue

 http://echoone.wordpress.com/,

 entrada

 Introductory Complex Analysis Final

 (tradução e adaptação do inglês).

« (…) Demonstre que as equações de  Cauchy-Riemann se escrevem em coordenadas polares

u_r=\dfrac{v_\theta}{r}

e

v_r=-\dfrac{u_\theta}{r}

(…) Determine o valor de

\displaystyle\int_{0}^{\infty}\dfrac{\sin^{2}x}{x^2}dx  (…) »

Américo Tavares

1951, eng. electrotécnico, IST, 1974, reformado;
membro da Ordem dos Engenheiros e sócio da Sociedade Portuguesa de Matemática.

Bem-vindo(a)!

Arquivos

Categorias (Temas)

Acompanhamento via RSS de Blogues com Matemática

… em português

… não portugueses

Ligações (Links)

N.º de Visualizações (início: Out. 2007)

  • 236,550
mais »
WordPress link