Den deriverte til omvende funksjonar

Bruk at  $$ $ g^{\text{'}}\left(f\left(x\right)\right)=\frac{1}{f^{\text{'}}\left(x\right)}$$$.

a)

$$ \begin{array}{rcl}f\left(x\right) & =& 2x+5 \\ f^{\text{'}}\left(x\right) & =& 2\\ g^{\text{'}}\left(f\right(x\left)\right) & =& \frac{1}{f^{\text{'}}\left(x\right)}\\ & =& \frac{1}{2}\\ & & \end{array}$$

b)

$$ \begin{array}{rcl}f\left(x\right) & =& \frac{1}{4}x-7\\ f^{\text{'}}\left(x\right) & =& \frac{1}{4}\\ g^{\text{'}}\left(f\right(x\left)\right) & =& \hspace{0.17em}\frac{1}{f^{\text{'}}\left(x\right)} \\ & =& \frac{1}{{\displaystyle \frac{1}{4}}}=4\end{array}$$

c)

$$ \begin{array}{rcl}f\left(x\right) & =& -3x+1 \\ g^{\text{'}}\left(f\right(x\left)\right) & =& \hspace{0.17em}\frac{1}{f^{\text{'}}\left(x\right)}\\ & & \\ & =& \frac{1}{{\displaystyle -3}} =-\frac{1}{3}\end{array}$$

Den deriverte av ein lineær funksjon gir stigingstalet $$ a$$ til den rette linja som funksjonen representerer. Den tilhøyrande omvende funksjonen til kvar av desse funksjonane er òg lineære funksjonar, der stigingstalet er $$ \frac{1}{a}$$.

$$ \begin{array}{rcl}f\left(x\right) & = & ax + b\\ f^{\text{'}}\left(x\right) & =& a\\ g^{\text{'}}\left(f\right(x\left)\right) & =& \frac{1}{f^{\text{'}}\left(x\right)}=\frac{1}{a}\end{array}$$

a)

$$ \begin{array}{rcl}f\left(x\right) & =& x^2+2x-5\\ f^{\text{'}}\left(x\right) & =& 2x+2\\ f\left(1\right)\hspace{0.17em}& =& 1^2+2·1-5 = -2\\ f^{\text{'}}\left(1\right) & =& 2·1+2 =4\end{array}$$

b)

$$ \begin{array}{rcl}& & g^{\text{'}}(-2) \end{array}\begin{array}{rcl}& =& \end{array}\begin{array}{rcl} g^{\text{'}}\left(f\right(1\left)\right)\hspace{0.17em}& =& \frac{1}{f^{\text{'}}\left(1\right)}\hspace{0.17em}=\hspace{0.17em}\frac{1}{4}\end{array}$$

c) og d)

Løysinga i CAS er vist. Vi ser at vi har det same forholdet mellom stigingstala til tangentane for $$ f$$ og $$ g$$ her som vi hadde for dei lineære funksjonane i oppgåve 3.3.40. Stigingstalet til tangenten til $$ f$$ i punktet $$ (1,f(1\left)\right)$$ er 4, mens stigingstalet til den omvende funksjonen $$ g$$ i punktet $$ (2,g(2\left)\right)$$ er $$ \frac{1}{4}$$.

a) Program i Python som finn den deriverte til ein omvend funksjon:

1print("Utgangspunkt: ein lineær funksjon")
2a=float(input("Gi stigingstalet til funksjonen:"))
3b=float(input("Gi konstantleddet til funksjonen:"))
4print(f"f'(x)= {a:.2f}")
5print(f"g'(x)= {(1/a):.2f}")

b) Utviding av programmet frå a):

1a=float(input("Gi stigingstalet til funksjonen:"))
2b=float(input("Gi konstantleddet til funksjonen:"))
3
4print(f"f(x)= {a}x+{b}")
5print(f"g(x)= {(1/a):.2f}x+{(b/a):.2f}")
6
7print(f"f'(x)= {a:.2f}")
8print(f"g'(x)= {(1/a):.2f}")

Vi viser bruk av if-test for at utskrifta skal bli betre når konstantleddet er negativt:

1a=float(input("Gi stigingstalet til funksjonen:"))
2b=float(input("Gi konstantleddet til funksjonen:"))
3
4if (b>0):
5    print(f"f(x)= {a}x+{b}")
6else:
7    print(f"f(x)= {a}x{b}")
8
9if ((b/a)>0):
10    print(f"g(x)= {(1/a):.2f}x+{(b/a):.2f}")
11else:
12    print(f"g(x)= {(1/a):.2f}x{(b/a):.2f}")
13    
14print(f"f'(x)= {a:.2f}")
15print(f"g'(x)= {(1/a):.2f}")

a) $$ V_f = ⟨0,\infty ⟩$$

b) Den deriverte av $$ e^x$$, $$ f^{\text{'}}\left(x\right) = e^x$$, er alltid positiv, sidan eksponentialfunksjonar med grunntal større enn 1 har denne eigenskapen. Det betyr at funksjonen er veksande i heile definisjonsområdet sitt og derfor har ein omvend funksjon $$ g$$.

c)

$$ \begin{array}{rcl}f\left(x\right)\hspace{0.17em}& =& \hspace{0.17em}y\\ y & =& e^x\\ \ln y & =& \ln e^x\\ x & =& \ln y\\ g\left(x\right)\hspace{0.17em}& =& \hspace{0.17em}\ln x\end{array}$$

d) Definisjonsmengda til $$ g$$ er lik verdimengda til $$ f$$. Verdimengda til $$ g$$ er lik definisjonsmengda til $$ f$$.

$$ D_g = \langle 0,\infty \rangle , V_g\hspace{0.17em}=\hspace{0.17em}\mathrm{ℝ}$$

e)

$$ \begin{array}{rcl} f\left(x\right)\hspace{0.17em}& =& \hspace{0.17em}{e}^x\\ f\left(1\right)\hspace{0.17em}& =& \hspace{0.17em}{e}^1 =\hspace{0.17em}e\\ & & \\ f^{\text{'}}\left(x\right) & =& \hspace{0.17em}{e}^x \\ f^{\text{'}}\left(1\right) & =& e^1=e \end{array}$$

f)

$$ \begin{array}{rcl}{g}^{\text{'}}\left(f\left(1\right)\right)\hspace{0.17em}& =& \hspace{0.17em}\frac{1}{f^{\text{'}}\left(1\right)}=\frac{1}{e}\\ & & \\ g\left(x\right) & =& \ln \left(x\right)\\ g^{\text{'}}\left(x\right) & =& \frac{1}{x}\\ g^{\text{'}}\left(e\right) & =& \frac{1}{e}\\ & & \end{array}$$

a) Vi skal finne $$ g\left(\sqrt{6}\right)$$ og $$ g^{\text{'}}\left(\sqrt{6}\right)$$ utan å finne den omvende funksjonen. For å finne $$ g\left(\sqrt{6}\right)$$ løyser vi likninga  $$ f\left(x\right) = \sqrt{6}$$:

$$ \begin{array}{rcl}\sqrt{x^2+x} & =& \sqrt{6}\\ x^2+x & =& 6\\ x^2+x-6 & =& 0\end{array}$$

$$ x = 2 \vee x=-3$$

Sidan $$ f\left(x\right)$$ berre er definert for positive verdiar av $$ x$$, er  $$ x = 2$$  den einaste moglegheita.

Vi veit no følgjande:

$$ $ \begin{array}{rcl}f\left(2\right) & =& \hspace{0.17em}\sqrt{2^2+2} = \sqrt{6}\\ g\left(\sqrt{6}\right) & =& 2\\ & & \end{array}$$$

For å finne $$ g^{\text{'}}\left(\sqrt{6}\right)$$ bruker vi samanhengen  $$ g^{\text{'}}\left(f\left(x\right)\right) = \frac{1}{f^{\text{'}}\left(x\right)}$$, og vi må derfor finne $$ f^{\text{'}}\left(x\right)$$ først:

$$ $ \begin{array}{lcl}f\left(x\right) & =& \sqrt{x^2+x}\\ f^{\text{'}}\left(x\right) & =& \frac{1}{2·\sqrt{x^2+x}}·\left(2x+1\right) =\frac{2x+1}{2·\sqrt{x^2+x}}\end{array}$$$

Dette gir:

$$ \begin{array}{rcl}{f}^{\text{'}}\left(2\right)\hspace{0.17em}& =& \frac{2·2 +1}{2·\sqrt{2^2+2}} = \frac{5}{2·\sqrt{6}}\end{array}$$

$$ $ \begin{array}{rcl}{g}^{\text{'}}\left(f\right(x\left)\right) & =& \frac{1}{f^{\text{'}}\left(x\right)} \\ g^{\text{'}}\left(f\right(2\left)\right) & =& \frac{1}{f^{\text{'}}\left(2\right)}\\ g^{\text{'}}\left(\sqrt{6}\right) & =& \frac{1}{{\displaystyle \frac{5}{2\sqrt{6}}}} = \frac{2\sqrt{6}}{5}\end{array}$$$

$$ $ \begin{array}{rcl}f\left(x\right) & =& e^{x^3}\\ f^{\text{'}}\left(x\right) & =& e^{x^3}·3x^2\\ f^{\text{'}}\left(0\right) & =& e^0·3·0^2 =0\end{array}$$$

Tangenten til $$ f$$ har stigingstal lik 0. Dette betyr at tangenten ikkje har stiging, han er horisontal. Det gitte punktet er derfor eit stasjonært punkt, og sidan $$ f$$ er veksande i heile definisjonsområdet sitt, vil punktet vere eit terrassepunkt.

$$ \begin{array}{rcl}{g}^{\text{'}}\left(f\right(x\left)\right)& =& \frac{1}{f^{\text{'}}\left(x\right)}\\ & & \\ f\left(x\right)\hspace{0.17em}& =& 1\\ e^{x^3}& =& 1\\ \ln e^{x^3}& =& \ln 1\\ x& = & 0\\ g^{\text{'}}\left(1\right)& =& \frac{1}{f^{\text{'}}\left(0\right)}\\ g^{\text{'}}\left(1\right)& =& \frac{1}{0}\end{array}$$

Vi ser at  $$ x=0$$  gjer at $$ g^{\text{'}}\left(x\right)$$ er ikkje er definert. For å forklare kva dette betyr, bruker vi definisjonen av den deriverte:

$$ g^{\text{'}}\left(x\right) = \underset{∆x\to 0}{\lim }\frac{g(x+∆x)-g\left(x\right)}{∆x}$$

Grenseverdien går mot uendeleg for  $$ x=1$$, noko som betyr at grafen til funksjonen $$ g$$ har ein vertikal (loddrett) tangent i $$ x=1$$. Dette betyr òg at $$ g$$ ikkje er deriverbar i dette punktet.