\( \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}[1]{\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{\argth}{\mathop{\rm argth}} \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)} \)

15/02/2026

Zero elevado a zero

  Sabemos que em $\R$ e em $\C$ qualquer elemento não nulo elevado a zero tem como resultado a unidade.

Pois se $a$ for elemento de um daqueles corpos

\[a^0=a^{1-1}=\frac{a^1}{a^1}=\frac{a}{a}=1\]

Mas, e zero?

Utilizando um raciocínio semelhante ao anterior percebemos que $0^0$ se existisse deveria ser igual a $\frc{0}{0}$, que tem o conveniente inconveniente de não estar definido.

Vamos lá pensar então, com limites.

\[\lim_{x \to 0^{+} } 0^{x}=0\] \[\lim_{x \to 0^{+} } x^{0}=1\]

Bem, isto só prova que a função $f(x,y)=x^y$ não é contínua em $(0,0)$.
E portanto, atribuir satisfatoriamente um valor a $0^0$ não é possível.

Aliás, $0^0$ é uma conhecida indeterminação no cálculo de limites!

Por exemplo

$$\lim_{x \to 0^+} x^{\frc{\ln(2026)}{\ln(x)}}$$ é um $0^0$ cujo resultado é $2026$

[ Pode confirmar... ]

No blog "Raciocínios quase exactos e meio aleatórios" no post de ontem "O binómio de Newton, a partir da derivada da potência", escrevi explicitamente


    Se convencionarmos que nesta fórmula $0^0=1$ então \[(a+b)^n=\sum\limits_{k=0}^n{\frc{n!}{\left(n-k\right)!k!}a^{n-k}b^k}\]

Note-se que eu não estou a afirmar que $0^0=1$, até porque tenho plena noção que não é e ainda acabei de vos dar um exemplo onde "um $0^0$ deu 2026".
E se perceberam o que eu fiz, percebem que aquilo,com adaptações pode dar "o que vos apetecer", daí o título "indeterminação".
 Estou a dizer que para simplificar a escrita, naquela fórmula, vamos interpretar $0^0$ como sendo $1$.

Não é o único sítio onde dá jeito dar 1.
Por exemplo, se escrevemos
$$e^x = \sum_{n=0}^{+\infty} \frac{x^n}{n!} $$    ou      $$\cos x = \sum_{n=0}^{+\infty} \frac{(-1)^nx^{2n}}{(2n)!}$$     ou      $$\cosh x = \sum_{n=0}^{+\infty} \frac{x^{2n}}{(2n)!}$$

Temos o mesmo pormenor, camuflado, quando $x=0$.
Portanto: $0^0$ não é $1$.
Para simplificação de escrita em somatórios, dá jeito convencionar que naquelas fórmulas, $0^0$ representa o número $1$.

Sem comentários:

Enviar um comentário