Murtopotenssi

\(a^n=\underbrace{a\cdot a\cdot\ldots \cdot a}_{n \text{ kpl}}\), jossa \(n\in\mathbb{N}\)

kantaluku

eksponentti

Huom.
\(a^1 = a\)

\(a^0=1\)

Esim. \(4^3=4\cdot 4\cdot 4 = 64\)

\(3^1=3\)

\(\pi^0=1\)

Kun eksponenttina on luonnollinen luku, potenssi voitiin ajatella lyhennysmerkintänä kertolaskulle

\(2^1 = 2\)

\(2^2 = 4\)

\(2^3 = 8\)

\(2^4 = 16\)

\(\cdot 2\)

\(\cdot 2\)

\(\cdot 2\)

\(\cdot 2\)

\(\cdot 2\)

\(\cdot 2\)

\(: 2\)

\(: 2\)

\(: 2\)

\(\cdot 2\)

\(\cdot 2\)

\(\cdot 2\)

\(\cdot 2\)

\(\cdot 2\)

\(\cdot 2\)

\(\cdot 2\)

\(\cdot 2\)

\(\cdot 2\)

\(\cdot 2\)

\(: 2\)

\(: 2\)

\(: 2\)

\(: 2\)

\(: 2\)

\(2^0 = 1\)

\(2^{-1} = \frac{1}{2}\)

\(2^{-2} = \frac{1}{4}\)

\(2^{-3} = \frac{1}{8}\)

\(2^{-4} = \frac{1}{16}\)

\(a\neq 0\) ja \(n\) pos. kok. luku

\(a^0=1\)

\(a^{-n}=\dfrac{1}{a^n}\)

Potenssin määritelmä saatiin laajennettua negatiivisille luvuilla, kun tulkittiin miinuksen eksponentissa tarkoittavan käänteisluvun ottamista.

\(=\left(\dfrac{1}{a}\right)^n\)

\((ab)^n=a^n b^n\)

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

\(a^m a^n = a^{m+n}\)

\[(a^m)^n = a^{mn}\]

\(\frac{a^m}{a^n} = a^{m-n}\)

Kun eksponenttina oli luonnollinen luku, saatiin johdettua seuraavat kaavat, joiden huomattiin toimivan myös negatiivisille kokonaislukueksponenteille

Tavoitteena on laajentaa potenssin määritelmää seuraavaksi niin, että eksponenttina voi olla mikä tahansa rationaaliluku. Määritelmä ei kuitenkaan saa rikkoa aiempia potenssisääntöjä

Miten kannattaisi määritellä \(16^{\frac{1}{2}}\)?

Halutaan, että potenssin potenssin kaava \((a^m)^n = a^{mn}\) on yhä voimassa

Tällöin \((16^\frac{1}{2})^2=16^{\frac{1}{2}\cdot 2}=16^1=16\)

Toisaalta myös \((\sqrt{16})^2=16\)

Siis luonnollinen tulkinta puolikkaalle potenssille on, että sillä tarkoitetaan neliöjuurta

Samalla tavalla kolmasosaan korottamiselle järkevä tulkinta olisi kuutiojuurin ottaminen, neljäsosaan korottamiselle neljännen juuren ottaminen jne.

\(a^\frac{1}{n}=\sqrt[n]{a}\)

Saadaan määritelmä:

Tästä voidaan johtaa myös määritelmä potenssiin \(\dfrac{m}{n}\) korottamiselle, koska potenssin potenssin kaavan perusteella

\((a^\frac{1}{n})^m=a^{\frac{1}{n}\cdot m}=a^{\frac{m}{n}}\)

ja toisaalta

\((a^m)^\frac{1}{n}=a^{m\cdot\frac{1}{n}}=a^{\frac{m}{n}}\)

Siis:

\(a^\frac{m}{n}=(\sqrt[n]{a})^m=\sqrt[n]{a^m}\)

Huom., jotta määritelmät olisivat yksinkertaisia, vaaditaan, että \(a>0\) ja \(n\in\mathbb{Z_+}\)

Laske \(8^\frac{4}{3}\)

\(8^\frac{4}{3}=(\sqrt[3]{8})^4=2^4=16\)

Sievennä \(\dfrac{\sqrt{4a}}{\sqrt[3]{27a}}\)

\(\dfrac{\sqrt{4a}}{\sqrt[3]{27a}}\)

\(=\dfrac{\sqrt{4}\sqrt{a}}{\sqrt[3]{27}\sqrt[3]{a}}\)

\(=\dfrac{2\sqrt{a}}{3\sqrt[3]{a}}\)

\(=\dfrac{2a^{\frac{1}{2}}}{3a^{\frac{1}{3}}}\)

\(=\dfrac{2}{3}a^{\frac{1}{2}-\frac{1}{3}}\)

\(=\dfrac{2}{3}a^{\frac{3}{6}-\frac{2}{6}}\)

\(=\dfrac{2}{3}a^{\frac{1}{6}}\)

\(=\dfrac{2\sqrt[6]{a}}{3}\)

\(\frac{a^m}{a^n} = a^{m-n}\)

\(a^\frac{m}{n}=(\sqrt[n]{a})^m=\sqrt[n]{a^m}\)

Muuta juurimerkinnäksi \(2^\frac{4}{6}\)

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

Laske \(\dfrac{16^\frac{1}{3}\cdot 4^\frac{3}{5}}{2^\frac{38}{15}}\)

\(\dfrac{16^\frac{1}{3}\cdot 4^\frac{3}{5}}{2^\frac{38}{15}}\)

\(=\dfrac{(2^4)^\frac{1}{3}\cdot (2^2)^\frac{3}{5}}{2^\frac{38}{15}}\)

\(=\dfrac{2^{4\cdot\frac{1}{3}}\cdot 2^{2\cdot\frac{3}{5}}}{2^\frac{38}{15}}\)

\(=\dfrac{2^{\frac{4}{3}}\cdot 2^{\frac{6}{5}}}{2^\frac{38}{15}}\)

\(=2^{\frac{4}{3}+\frac{6}{5}-\frac{38}{15}}\)

\(=2^{\frac{20}{15}+\frac{18}{15}-\frac{38}{15}}\)

\(=2^{0}=1\)

Entä miten määritellään \(2^\pi\)?

Koska \(2<\pi<4\), niin ainakin \(2^2<2^\pi<2^4\) eli \(4<2^\pi<16\)

Murtopotenssien avulla arviota voidaan tarkentaa! Tiedetään, että \(3{,}14<\pi<3{,}15\) eli \(\dfrac{314}{100}<\pi<\dfrac{315}{100}\), joten
\(2^\frac{314}{100}<2^\pi<2^\frac{315}{100}\) eli
\(8{,}815\ldots < 2^\pi < 8{,}876\ldots\)

Ottamalla \(\pi\):n desimaaleja lisää, päästään kuinka lähelle tahansa lukua \(2^\pi\).
\(2^\pi\) on se luku, jota nämä arviot lähestyvät.
\(2^\pi=8{,}8249778270762876238\ldots\)

Eksponentiksi voidaan siis kelpuuttaa myös irrationaaliluvut ja täten kaikki reaaliluvut.

09 Murtopotenssi

By Timo Pelkola

09 Murtopotenssi

  • 25