设$n$是正自然数，并设$g:(0,+\infty)\to (0,+\infty)$是函数$g(x):x^{\frac{1}{n}}$.

 

a):证明$g$在$(0,+\infty)$上连续.

 

证明:$\forall x_0\in (0,+\infty)$,$x_1\in (0,+\infty)$,$\frac{x_0^{\frac{1}{n}}}{x_1^{\frac{1}{n}}}=(\frac{x_0}{x_1})^{\frac{1}{n}}$.令$x_0=x_1+\varepsilon$.则

\begin{equation}

\label{eq:9.23.20}

(\frac{x_0}{x_1})^{\frac{1}{n}}=(1+\frac{\varepsilon}{x_1})^{\frac{1}{n}}

\end{equation}

下面证明$\lim_{\varepsilon\to 0}(1+\frac{\varepsilon}{x_1})^{\frac{1}{n}}=1$.即证$\lim_{\varepsilon\to 0}1+\frac{\varepsilon}{x_1}=1$(为什么?注意到$n$是常数)，而这是容易的.

b):证明$g$在$(0,+\infty)$上可微，且$\forall x\in (0,+\infty)$,$g'(x)=\frac{1}{n}x^{\frac{1}{n}-1}$.

证明:让我们先看函数$g^{-1}(x):(0,+\infty)\to (0,+\infty)$.易得$g^{-1}(x)=x^n$.易得$(g^{-1}(x))'=nx^{n-1}$.易得$\forall x\in (0,+\infty)$,$(g^{-1}(x))'\neq 0$.而且由于$g$在$(0,+\infty)$上连续，因此由，可得$g'(y_0)=\frac{1}{(g^{-1}(x_0))'}=\frac{1}{nx_0^{n-1}}$.其中$g^{-1}(x_0)=y_0$,即$x_0^n=y_0$.因此$g'(y_0)=\frac{1}{ny_0^{\frac{n-1}{n}}}=\frac{1}{n}y_0^{\frac{1}{n}-1}$.得证.