\( \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)} \)

14/02/2022

Uma dica no cálculo de derivadas de ordem $n$

Uma das causas da minha irregularidade a publicar neste blog, é que desde uns meses depois do ínicio da pandemia COVID-19 dou explicações online a uma média de 12 cadeiras por semestre sem falar das explicações ao ensino secundário
Em várias das cadeiras de Cálculo, Matemática e Análise Matemática ensinam-se derivadas de ordem $n$, polinómios e séries de Taylor (e MacLaurin).
Se para algumas pessoas é fácil e rápido detectar padrões, para outras, nem por isso.

Assim, eu acabo por sugerir a toda a gente que, ao calcular uma derivada de ordem $n$, "não simplifique as contas".


Passo a explicar: se $k$ for uma constante e $f$ uma função, então a derivada de $kf$ é $k$ vezes a derivada de $f$
Então, a derivada de, por exemplo ${5 \times f \times 10}$ também é ${5 \times f' \times 10}$.



Até perceberem o padrão, deixem o $5$ e o $10$ onde estão. Não convertam para $50 f'$

Exemplo: Este exemplo é simples, e até dava bem para fazer sem este truque, mas o objectivo é que percebam a onde quero chegar.
Considere-se a função $f(x)=\ln(1-x)$ então: \[ f'\left( x \right) = \frac{{ - 1}}{{1 - x}} = {\color{green} - \left( {1 - x} \right)^{ - 1} } \] \[ f''\left( x \right) = \left( {\color{green} - \left( {1 - x} \right)^{ - 1} } \right)' = {\color{green} -} {\color{red}\left( { - 1} \right)\left( {1 - x} \right)^{ - 2} ( - 1)} \] pois \[ \left( {u^n } \right)' = nu^{n - 1} u' \] continuando, \[ f'''\left( x \right) = {\color{green} -} {\color{red}\left( { - 1} \right)}{\color{blue}\left( { - 2} \right)\left( {1 - x} \right)^{ - 3} ( - 1)}{\color{red}\left( { - 1} \right)} \] \[ f''''\left( x \right) = {\color{green} -}{\color{red}\left( { - 1} \right)}{\color{blue}\left( { - 2} \right)} \left( { - 3} \right)\left( {1 - x} \right)^{ - 4} ( - 1){\color{blue}\left( { - 1} \right)}{\color{red}\left( { - 1} \right)} \] Ou seja, as constantes, vou deixando "quietas", onde aparecem. Será que depois disto, continua a ser difícil concluir que se $n\ge 1$
\[ f^{(n)} (x) = - \frac{{\left( {n - 1} \right)!}}{{\left( {1 - x} \right)^n }} \] ?

Claro que por mim, depois disto, o correcto ainda seria provar a fórmula, por exemplo, recorrendo, por exemplo, ao método de indução.

Sugestão: tente com alguns exemplos mais complicados... e depois tente obter as fórmulas de séries de Taylor/MacLaurin referentes a esses exemplos.