Potenza (matematica)

In matematica, la potenza è un'operazione che associa a una coppia di numeri $a$ e $n,$ detti rispettivamente base ed esponente, il numero dato dal prodotto di $n$ fattori uguali ad $a$ :

a^{n}=\underbrace {a\cdot a\cdot a\cdots a} _{n\mathrm {volte} }

in questo contesto $a$ può essere un numero intero, razionale o reale mentre $n$ è un numero intero positivo. Con opportune ipotesi su $a$ è possibile considerare anche altri valori numerici per gli esponenti, ad esempio esponenti interi (anche non positivi), razionali o reali.

Le potenze scritte nella forma $a^{n}$ si leggono " $a$ elevato alla $n$ " o più semplicemente " $a$ alla $n$ ". L'esponente è usualmente rappresentato come apice immediatamente a destra della base.

Peculiarità ed esempi

Alcuni esponenti hanno un loro nome. L'esponente due è spesso indicato come "al quadrato" (un numero alla seconda rappresenta l'area di un quadrato che abbia per lato quel valore) e l'esponente $3$ come "al cubo" (un numero alla terza rappresenta il volume di un cubo che abbia per spigolo quel valore).

Esempi:

$3^{2}=3\cdot 3=9$ si legge "tre alla seconda" oppure "tre al quadrato"
$2^{3}=2\cdot 2\cdot 2=4\cdot 2=8$ si legge "due alla terza" oppure "due al cubo"
$3^{4}=3\cdot 3\cdot 3\cdot 3=9\cdot 9=81$ si legge "tre alla quarta" oppure "tre elevato alla quarta"
$\left({\frac {1}{2}}\right)^{3}={\frac {1}{2}}\cdot {\frac {1}{2}}\cdot {\frac {1}{2}}={\frac {1}{8}}$ si legge "un mezzo alla terza" oppure "un mezzo al cubo"

L'operazione si estende a $n=0$ ponendo per ogni $a\neq 0$

a^{0}=1,

(nel caso in cui $n=0$ e $a=0$ l'operazione non è definita: non esiste $0^{0}$ )

e a $n$ negativi ponendo

a^{-k}={\frac {1}{a^{k}}}.

Ad esempio,

10^{-3}={\frac {1}{10^{3}}}=0,001.

Proprietà

Le seguenti proprietà sono di immediata verifica nel caso in cui gli esponenti siano numeri interi positivi:

Il prodotto di due, o più potenze aventi la stessa base, è una potenza che ha per base la stessa base e come esponente la somma degli esponenti:

a^{n}\cdot a^{m}=a^{n+m}.

Il quoziente di potenze aventi la stessa base, è una potenza che ha per base la stessa base e come esponente la differenza degli esponenti:

{\frac {a^{n}}{a^{m}}}=a^{n-m}.

La potenza di una potenza è una potenza in cui la base rimane la stessa e l'esponente è dato dal prodotto degli esponenti:

\left(a^{n}\right)^{m}=a^{n\cdot m}=\left(a^{m}\right)^{n}.

NB:

(a^{m})^{n}\neq a^{m^{n}}=a^{(m^{n})};

infatti, ad esempio,

(10^{10})^{100}=10^{1000}

è formato da un 1 seguito da 1000 zeri, mentre

10^{10^{100}}=10^{(10^{100})}

è formato da un 1 seguito da

10^{100}

zeri.

Il prodotto di potenze con lo stesso esponente è una potenza che ha per esponente lo stesso esponente e per base il prodotto delle basi:

a^{n}\cdot b^{n}=(a\cdot b)^{n}.

Il quoziente di potenze con lo stesso esponente è una potenza che ha per esponente lo stesso esponente e per base il quoziente delle basi:

{\frac {a^{n}}{b^{n}}}=\left({\frac {a}{b}}\right)^{n}.

Notiamo che la definizione $a^{0}=1$ risulta ora più comprensibile poiché è consistente con le proprietà appena viste, infatti:

{\frac {a^{n}}{a^{n}}}=a^{n-n}=a^{0}=1.

Si noti che $a^{0}$ è un prodotto vuoto e pertanto è uguale a $1.$

E lo stesso vale per la definizione di $a^{-x}$ , infatti:

a^{-x}=a^{0-x}={\frac {a^{0}}{a^{x}}}={\frac {1}{a^{x}}}.

Radici ed esponenti frazionari

Grafico di funzioni x^a per esponenti maggiori di 1 (sotto la bisettrice degli assi), e minori di 1 (sopra la bisettrice)

Dato un numero reale non negativo $a$ e un numero intero positivo $n,$ si chiama radice $n$ -esima di $a$ quel numero reale non negativo $b$ tale che $b^{n}=a$ , tale numero si indica con ${\sqrt[{n}]{a}}$ .

Da questa definizione si ha subito che

\left({\sqrt[{n}]{a}}\right)^{n}=a,

per ogni numero reale non negativo $a$ . Quindi è ragionevole (in virtù delle proprietà delle potenze) porre

a^{\frac {1}{n}}:={\sqrt[{n}]{a}}.

In questo modo le proprietà delle potenze sono ancora rispettate, infatti

\left(a^{\frac {1}{n}}\right)^{n}:=a^{{\frac {1}{n}}\cdot n}=a^{1}=a,

come avviene per la radice $n$ -esima.

Più in generale la definizione di potenza può essere estesa ulteriormente, con alcune restrizioni, consentendo all'esponente di essere un numero razionale ${\tfrac {x}{y}}$ , con $x$ e $y$ interi primi tra loro e $y\neq 0$ , se si pone:

a^{\frac {x}{y}}:={\sqrt[{y}]{a^{x}}}.

In questo caso:

se $y$ è pari, la potenza è definita per $a$ reale non negativo;
se $y$ $y$ è dispari:
- se $x$ è positivo, la potenza è definita per qualsiasi $a$ ;
- se $x$ è non positivo, la potenza è definita per qualsiasi $a$ non nullo.

Trascurando tali restrizioni e l'ipotesi $x$ e $y$ primi tra loro si cade in assurdi quali:

-1={\sqrt[{3}]{-1}}=(-1)^{\frac {1}{3}}=(-1)^{\frac {2}{6}}={\sqrt[{6}]{(-1)^{2}}}={\sqrt[{6}]{1}}=1

Il passaggio errato è il terzo, in quanto $(-1)^{\frac {2}{6}}$ non è definito in $\mathbb {R}$ .

Potenze ad esponente reale

È possibile estendere la definizione dell'operazione di elevamento a potenza anche ai casi in cui base ed esponente sono dei generici numeri reali (con la base però sempre positiva) facendo in modo che si conservino le regole di operazione tra potenze e che la funzione potenza risultante sia una funzione continua, e questa estensione è unica. Si può in tal modo dare senso a espressioni come $3^{\sqrt {2}}$ o e^π.

Definiamo inizialmente $a^{b}$ con la base $a>1$ e l'esponente $b>0$ , entrambi numeri reali.

Possiamo scrivere $b$ nella sua rappresentazione in base $10$ con la scrittura:

b=b_{0},b_{1}b_{2}b_{3}b_{4}\ldots

La successione $\beta _{n}$ dei numeri

\beta _{0}=b_{0}

\beta _{1}=b_{0},b_{1}

\beta _{2}=b_{0},b_{1}b_{2}

\beta _{3}=b_{0},b_{1}b_{2}b_{3}

\dots

è una successione di numeri razionali crescente che tende a $b$ .

La potenza $a^{\beta _{n}}$ ha esponente razionale, quindi è stata definita.

La successione di numeri reali

a^{\beta _{0}}

a^{\beta _{1}}

a^{\beta _{2}}

\dots

è una successione anch'essa crescente (poiché $a>1$ ), risulta quindi naturale definire il valore di $a^{b}$ come l'estremo superiore di tale successione: