柯朗微积分与数学分析习题选解(1.3 节 b)

一直在读《陶哲轩实分析》，陶的书非常的严谨，环环相扣，但是也有个缺点就是计算性的例子和应用方面的例子太少了。所以就又找了本柯朗的《微积分与数学分析》搭配着看。柯朗的书的习题与陶的风格完全不同，里面有大量的考察技巧性的习题，有些题相当有难度，第一卷又没有提供习题答案。我试着解了一小部分习题，放到这里，供有需要的同学参考。能力有限，有些题确实搞不定，有些题给的答案可能是错的。所以仅供参考。

柯朗微积分与数学分析习题选解(1.3 节 b)

这一小节只有一道习题。这道题还是有些难度的，我是看了提示后才做出来的。

(a) 试证明 $\sqrt{x}$ 不是有理函数。
(b) 试证明 $\sqrt[n]{x}$ 不是有理函数。

反证法：
如果 $\sqrt{x}$ 可以表示成有理函数的形式，也就是：

$$\sqrt{x} = \frac{a_0 + a_1 x + \cdots + a_p x^p}{b_0 + b_1 x + \cdots + b_q x^q}$$
对任意的 $x \geq 0$ 都成立。

设 $x = y^2$ 则有：

$$y = \frac{a_0 + a_1 y^2 + \cdots + a_p y^{2p}}{b_0 + b_1 y^2 + \cdots + b_q y^{2q}}$$
这个式子则对任何的 $y$ 都成立。也就是：
$$a_0 + a_1 y^2 + \cdots + a_p y^{2p} = y (b_0 + b_1 y^2 + \cdots + b_q y^{2q}) \\ \Rightarrow a_0 - b_0 y + a_1 y^2 - b_1 y^{3} + a_2 y^{4} + \cdots = 0$$
这个多项式对任意的 $y$ 都成立。
而我们知道一个 $n$ 次多项式有无穷个根只有一种情况，就是多项式的所有系数都是 $0$，也就是 $\{a_m\}_{m=0}^{p}$ 和 $\{b_m\}_{m=0}^{q}$ 都是 $0$。而有理函数的分母多项式不能全是 $0$，这里推出矛盾，所以 $\sqrt{x}$ 不是有理函数。

如果 $\sqrt[n]{x}$ 可以表示成有理函数的形式，也就是：

$$\sqrt[n]{x} = \frac{a_0 + a_1 x + \cdots + a_p x^p}{b_0 + b_1 x + \cdots + b_q x^q}$$
对任意的 $x \geq 0$ 都成立。

设 $x = y^n$ 则有：

$$y = \frac{a_0 + a_1 y^n + \cdots + a_q y^{np}}{b_0 + b_1 y^n + \cdots + b_q y^{nq}}$$
这个式子则对任何的 $y$ 都成立。也就是：
$$a_0 + a_1 y^n + \cdots + a_p y^{np} = y (b_0 + b_1 y^n + \cdots + b_q y^{nq}) \\ \Rightarrow a_0 - b_0 y + a_1 y^n - b_1 y^{n+1} + a_2 y^{2n} + \cdots = 0$$
这个多项式对任意的 $y$ 都成立。
而我们知道一个 $n$ 次多项式有无穷个根只有一种情况，就是多项式的所有系数都是 $0$，也就是 $\{a_m\}_{m=0}^{p}$ 和 $\{b_m\}_{m=0}^{q}$ 都是 $0$。而有理函数的分母多项式不能全是 $0$，这里推出矛盾，所以 $\sqrt{x}$ 不是有理函数。