\( \newcommand{\nPr}[2]{{}^{#1}A_{#2} } \newcommand{\combin}[2]{{}^{#1}C_{#2} } \newcommand{\cmod}[3]{#1 \equiv #2\left(\bmod {}{#3}\right)} \newcommand{\frc}[2]{\displaystyle\frac{#1}{#2}} \newcommand{\mdc}[2]{\left( {#1},{#2}\right)} \newcommand{\mmc}[2]{\left[ {#1},{#2}\right]} \newcommand{\cis}{\mathop{\rm cis}} \newcommand{\ImP}{\mathop{\rm Im}} \newcommand{\ReP}{\mathop{\rm Re}} \newcommand{\sen}{\mathop{\rm sen}} \newcommand{\tg}{\mathop{\rm tg}} \newcommand{\cotg}{\mathop{\rm cotg}} \newcommand{\cosec}{\mathop{\rm cosec}} \newcommand{\cotgh}{\mathop{\rm cotgh}} \newcommand{\cosech}{\mathop{\rm cosech}} \newcommand{\sech}{\mathop{\rm sech}} \newcommand{\sh}{\mathop{\rm sh}} \newcommand{\ch}{\mathop{\rm ch}} \newcommand{\th}{\mathop{\rm th}} \newcommand{\senEL}[1]{\mathop{\rm sen}^{#1}} \newcommand{\tgEL}[1]{\mathop{\rm tg}^{#1}} \newcommand{\cotgEL}[1]{\mathop{\rm cotg}^{#1}} \newcommand{\cosecEL}{\mathop{\rm cosec}^{#1}} \newcommand{\shEL}[1]{\mathop{\rm sh^{#1}}} \newcommand{\chEL}[1]{\mathop{\rm ch^{#1}}} \newcommand{\thEL}[1]{\mathop{\rm th^{#1}}} \newcommand{\cotghEL}[1]{\mathop{\rm cotgh^{#1}}} \newcommand{\cosechEL}[1]{\mathop{\rm cosech^{#1}}} \newcommand{\sechEL}[1]{\mathop{\rm sech^{#1}}} \newcommand{\senq}{\senEL{2}} \newcommand{\tgq}{\tgEL{2}} \newcommand{\cotgq}{\cotgEL{2}} \newcommand{\cosecq}{\cosecEL{2}} \newcommand{\cotghq}{\cotghEL{2}} \newcommand{\cosechq}{\cosechEL{2}} \newcommand{\sechq}{\sechEL{2}} \newcommand{\shq}{\shEL{2}} \newcommand{\chq}{\chEL{2}} \newcommand{\arctg}{\mathop{\rm arctg}} \newcommand{\arcsen}{\mathop{\rm arcsen}} \newcommand{\argsh}{\mathop{\rm argsh}} \newcommand{\argch}{\mathop{\rm argch}} \newcommand{\Var}{\mathop{\rm Var}} \newcommand{\vect}[1]{\overrightarrow{#1}} \newcommand{\tr}[1]{ \textnormal{Tr}\left({#1}\right)} \newcommand{\C}{\mathbb{C}} \newcommand{\E}{\mathbb{E}} \newcommand{\H}{\mathbb{H}} \newcommand{\I}{\mathbb{I}} \newcommand{\N}{\mathbb{N}} \newcommand{\P}{\mathbb{P}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\til}{\sim} \newcommand{\mdc}{\mathop{\rm m.d.c.}} \newcommand{\mmc}{\mathop{\rm m.m.c.}} \newcommand{\vect}[1]{\overrightarrow{#1}} \newcommand{\dfrc}{\displaystyle\frac} \newcommand{\Mod}[1]{\ (\mathrm{mod}\ #1)} \)

04/09/2017

Outra 'dedução' da fórmula da exponencial complexa...

Seja $i$ a unidade imaginária, e considere-se a função de variável real \[f(x)= e^{-ix}(\cos x + i \sen x)\] Então \begin{eqnarray*} {f'(x)}&{=}&{-ie^{-ix}(\cos x + i \sen x)+e^{-ix}(-\sen x + i \cos x)}\\ {}&{=}&{e^{-ix}\left[-i(\cos x + i \sen x)+(-\sen x + i \cos x)\right]}\\ {}&{=}&{e^{-ix}\left(-i\cos x + \sen x -\sen x + i \cos x\right)}\\ {}&{=}&{e^{-ix}\times 0}\\ {}&{=}&{0} \end{eqnarray*} Como $f'(x)=0$ então $f(x)=\text{constante}$.
Mas uma vez que $f(0)=e^0(\cos 0+i\sen 0)=1\times 1=1$, ficámos a saber que $\text{constante}=1$, logo \begin{eqnarray*} {}&{}&{e^{-ix}(\cos x + i \sen x)=1}\\ {}&{\Leftrightarrow}&{(\cos x + i \sen x)=e^{ix}}\\ \end{eqnarray*} Portanto \[e^{ix}=\cos x + i \sen x\]

(Facebook, grupo fechado Física e Matemática)

Nota: A 'dedução'/motivação está fora do âmbito do actual programa do ensino secundário em Portugal!
Observação Como qualquer 'dedução' da fórmula da exponencial complexa, esta tem os seus problemas.
  • Derivar funções com variáveis complexas, bem... vamos ter de assumir que a exponencial de variável complexa, da qual nada sabemos uma vez que estamos a tentar deduzir a expressão, deriva-se como a exponencial real.
  • Utilizar a conclusão derivada=0, implica $f$ constante requer algum cuidado!
    Antes da 'dedução' não sabemos sequer qual é o conjunto de chegada da função! Nestas condições teremos legitimidade para usar um corolário do teorema de Lagrange... para intervalos fechados?
  • ...
Enfim, é a vida...

Sem comentários:

Enviar um comentário