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

03/11/2020

Um programa de calculadora para exercícios com o binómio de Newton.




O binómio de Newton é tão belo como a Vénus de Milo.
O que há é pouca gente para dar por isso.
óóóó---óóóóóó óóó---óóóóóóó óóóóóóóó
(O vento lá fora.)

Álvaro de Campos - Heterónimo de Fernando Pessoa



As imagens que se seguem são capturas de uma das minhas fichas usadas em explicações.

É um dos "exercícios tipo" (odeio esta designação e também exercícios que encaixam nesta definição), associados ao binómio de Newton.
Há mais de 20 anos, um bocadinho farto de resolver coisas destas, decidi "atacar" o caso geral e implementá-lo numa calculadora.
Hoje, vou mostrar como o fiz.

O caso geral destes exercícios, aplicado a binómios da forma \[\left(ax^s+bx^t\right)^n\] é:
  • Escrever (uma das possíveis formas d)o desenvolvimento do binómio
  • Determinar o coeficiente de um $x^p$, ou o termo de grau $p$
O procedimento para resolução de coisas destas é 'mecânico'.
Assim sendo, é relativamente fácil resolver os casos gerais e implementar numa calculadora. \begin{eqnarray*} {\left( {ax^s + bx^t } \right)^n}&{=}&{ \sum\limits_{p = 0}^n {\combin{n}{p}\left( {ax^s } \right)^{n - p} } \left( {bx^t } \right)^p }\\ {}&{=}&{ \sum\limits_{p = 0}^n {\combin{n}{p}a^{n - p} x^{s(n - p)} } b^p x^{tp} }\\ {}&{=}&{ \sum\limits_{p = 0}^n {\combin{n}{p}a^{n - p}b^p x^{sn - sp+tp} } }\\ \end{eqnarray*}
  • Para escrever o desenvolvimento, basta fazer $p$ percorrer o conjunto $\{0,1,\cdots, n\}$.
  • Para determinar o coeficiente de um $x^k$, começamos por resolver a equação $sn - sp+tp=k$.

    A solução é: \[p=\frac{sn-k}{s-t}\] Se este $p$ não for um número inteiro do conjunto $\{0,1,\cdots, n\}$, ficamos a saber que esse coeficiente é zero. Caso contrário, o coeficiente é $ {\combin{n}{p}a^{n - p}b^p }$, (ou seja, o termo é $ {\combin{n}{p}a^{n - p}b^p x^k }$ ) . Este é um daqueles programas que já tenho há mais de 20 anos. Esteve implementado numa Casio Cfx 9950G, e TI83plus ... e também corre nas calculadoras actuais.

    Exemplo, vamos resolver o exercício 19 do início deste texto, recorrendo a uma implementação destas ideias: Determine os coeficientes de $x$ e $x^2$ no desenvolvimento de \[ \left( {\sqrt x + \frac{1}{{\sqrt[3]{x}}}} \right)^{12} \]
    Resolução \[ \left( {\sqrt x + \frac{1}{{\sqrt[3]{x}}}} \right)^{12} = \left( {x^{\frac{1}{2}} + x^{ - \frac{1}{3}} } \right)^{12} \] Coeficientes: $a=1$ e $b=1$
    Expoentes: $s=\displaystyle\frac{1}{2}$; $t=-\displaystyle\frac{1}{3}$ e $n=12$






    O coeficiente de x^2 é... zero!
    Não me peçam o programa. (ainda tenho versões antigas, até ao ano 2001...)
    Eu já dei a ideia...
    Eventualmente um dia vai parar à secção "Material" deste blog.