Éin-eintydige funksjonar

Vi deriverer:

$$ \begin{array}{l}f\left(x\right)=x^2\\ f^{\text{'}}\left(x\right)=2x\end{array}$$

Vi ser at den deriverte er ei rett linje som vil krysse $$ x$$-aksen i punktet $$ (0,0)$$. Altså vil den deriverte skifte forteikn i dette punktet.

Dette betyr at funksjonen ikkje er éin-eintydig.

Vi gjer som i a) og deriverer:

$$ \begin{array}{l}g\left(x\right)=x^3\\ g^{\text{'}}\left(x\right)=3x^2\end{array}$$

I dette tilfellet får vi ein derivert som alltid er positiv, og som berre er 0 i eitt punkt. Då vil funksjonen vere strengt veksande og dermed éin-eintydig.

Vi kan finne den omvende funksjonen:

$$\begin{gathered} \begin{array}{c}y=x^3\\ x=\sqrt[3]{y}\\ g^{-1}\left(x\right)=\sqrt[3]{x}\end{array} \\ \end{gathered}$$

$$ \begin{array}{l}h\left(x\right)=x^4\\ h^{\text{'}}\left(x\right)=4x^3\end{array}$$

Her får vi, som i a), ein derivert som vil skifte forteikn i punktet $$ x=0$$. Denne funksjonen er ikkje éin-eintydig.

$$ \begin{array}{l}i\left(x\right)=x^5\\ i^{\text{'}}\left(x\right)=5x^4\end{array}$$

I dette tilfellet får vi, som i b), ein derivert som alltid er positiv, og som berre er 0 i eitt punkt. Då vil funksjonen vere strengt veksande og dermed éin-eintydig.

Vi kan finne den omvende funksjonen:

$$\begin{gathered} $ \begin{array}{c}y=x^5\\ x=\sqrt[5]{y}\\ i^{-1}\left(x\right)=\sqrt[5]{x}\end{array} \\ $ \end{gathered}$$

$$ \begin{array}{l}j\left(x\right)=x^{-1}\\ j^{\text{'}}\left(x\right)=\left(-1\right)·x^{-2}=-x^{-2}=-\frac{1}{x^2}\end{array}$$

Vi ser at den deriverte vil vere negativ for alle $$ x$$ i definisjonsområdet til $$ j\left(x\right)$$. (Legg merke til at verken sjølve funksjonen eller den deriverte er definert for $$ x=0$$.) Det betyr at vi i dette tilfellet vil få ein strengt minkande funksjon, altså ein éin-eintydig funksjon.

Vi kan finne den omvende funksjonen:

$$\begin{gathered} $ \begin{array}{c}y=\frac{1}{x}\\ x=\frac{1}{y}\\ j^{-1}\left(x\right)=\frac{1}{x}\end{array} \\ $ \end{gathered}$$

Vi legg merke til at denne funksjonen er sin eigen invers!

$$ \begin{array}{l}k\left(x\right)=x^{-2}\\ k^{\text{'}}\left(x\right)=\left(-2\right)·x^{-3}=-2x^{-3}=-\frac{2}{x^3}\end{array}$$

Som i e) har vi ein funksjon som ikkje er definert for $$ x=0$$, men i dette tilfellet ser vi at den deriverte vil bli positiv for negative verdiar av $$ x$$ og negativ for positive verdiar av $$ x$$. Det betyr at vi ikkje har ein éin-eintydig funksjon.

Vi ser at dersom $$ n$$ er eit oddetal, får vi éin-eintydige funksjonar, mens vi ikkje får éin-eintydige funksjonar dersom $$ n$$ er partal.

Vi observerer at GeoGebra finn ein invers funksjon til alle desse funksjonane, sjølv om vi i utrekninga vår har vist at den inverse funksjonen ikkje finst. Vi observerer òg at GeoGebra vel eit intervall for den inverse funksjonen, i alle desse tilfella vel GeoGebra $$ x>0$$, men så lenge definisjonsområdet til hovudfunksjonen er heile $$ \mathrm{ℝ}$$, har ikkje funksjonen ein invers funksjon.

Dette minner oss om at vi ikkje alltid kan stole blindt på GeoGebra, men at vi må følgje godt med og bruke våre eigne matematikkunnskapar i tillegg til svara GeoGebra gir oss.

Vi deriverer og viser at den deriverte er ei rett linje som skiftar forteikn frå positiv til negativ i $$ x=-3$$:

$$ \begin{array}{l}f\left(x\right)=x^2+6x+9\\ f^{\text{'}}\left(x\right)=2x+6\\ 2x+6=0\\ x=-3\end{array}$$

Ja, i intervallet $$ x>0$$ vil den deriverte vere positiv, og dermed er funksjonen strengt veksande og éin-eintydig.

Nei, i dette intervallet vil den deriverte skifte frå negativ til positiv, og dermed er funksjonen ikkje éin-eintydig.

Vi fann nullpunktet til den deriverte i a). Vi deler funksjonen i dette punktet. Vi kan velje om vi vil leggje nullpunktet til den deriverte til $$ $ f_1\left(x\right) \mathrm{eller} f_2\left(x\right)$$$:

$$ $ \begin{array}{l}{f}_1\left(x\right)=x^2+6x+9, x\in [-3,\to ⟩\\ f_2\left(x\right)=x^2+6x+9, x\in ⟨\leftarrow ,-3⟩\end{array}$$$

Vi ser at definisjonsmengda til begge dei omvende funksjonane må vere $$ x>0$$. Dette veit vi fordi $$ f\left(x\right)$$ er eit fullstendig kvadrat $$ \left(x^2+6x+9=(x+3{)}^2\right)$$ og dermed alltid positiv. (Hugs at verdimengda til ein funksjon er definisjonsmengda til den omvende funksjonen.)

Vi set $$ f\left(x\right)=y$$:

$$ \begin{array}{l}{x}^2+6x+9=y\\ {\left(x+3\right)}^2=y\\ x+3=\pm \sqrt{y}\\ x=\pm \sqrt{y}-3\end{array}$$

Vi har altså funne dei to uttrykka som er dei omvende funksjonane.

Vi har at

$$ \begin{array}{l}{f_1}^{-1}\left(x\right)=\sqrt{x}-3,x>0\\ {f_2}^{-1}\left(x\right)=-\sqrt{x}-3,x>0\end{array}$$

For å vise at dette stemmer, set vi inn 1 i $$ f_1\left(x\right)$$, reknar ut funksjonsverdien for så å setje denne inn i dei to uttrykka for dei omvende funksjonane. Då vil du sjå kva som høyrer saman:

$$ \begin{array}{l}{f}_1\left(1\right)=1^2+6·1+9=16\\ {f_1}^{-1}\left(16\right)=\sqrt{16}-3=4-3=1\\ {f_2}^{-1}\left(16\right)=-\sqrt{16}-3=-4-3=-7\end{array}$$

Vi ser her at det er den øvste av dei to som tek oss tilbake igjen til den opphavlege $$ x$$-verdien. Prøv gjerne det same med til dømes $$ -4$$.

Vi teiknar inn dei to funksjonane og hugsar å avgrense dei til større enn $$ -3$$ og $$ 0$$. Så teiknar vi inn linja $$ y=x$$. Vi observerer at dei to grafane er symmetriske:

Vi gjer som i f):