无不动点的连续函数f(x)与f(f(x))的不动点
已知二次函数$f(x)=ax^2+bx+c$,$f(x)=x$无实数根，求证: $f(f(x))=x$无实数根。
有人将待定系数的二次函数代入，可以将冗长的一串式子因式分解，最后利用不等式证明。
这个思路比较直接，但是 Naive.
用更简单的办法可以得出更强的结论: 对定义域和值域均为$D$的连续函数$f(x)$, 若$f(x)$没有不动点，则$g(x)=f(f(x))$没有不动点。
证明: 即证
$$\forall x\in D:f(f(x))\neq x$$
令$h(x)=f(x)-x$, 由条件知
$$\forall x\in D: h(x)\neq 0$$
$$\forall x_1,x_2 \in D:h(x_1)h(x_2)\neq 0$$
假设$h(x_1)h(x_2)<0,$ 由零点定理得$\exists \xi \in D:h(\xi)=0,$ 产生矛盾, 因此有
$$\forall x_1,x_2 \in D:h(x_1)h(x_2)>0$$
$$\Rightarrow \forall x \in D:h(x)>0 或 \forall x \in D:h(x)<0$$
下面证明当$\forall x \in D:h(x)>0$时的情况，小于$0$时同理
$$h(x)=f(x)-x>0$$
$$\Rightarrow f(x)>x$$
而$f(x) \in D$, 因此有
$$f(f(x))>f(x)$$
于是
$$f(f(x))>f(x)>x\; \Box$$
本文采用知识共享 署名-相同方式共享 4.0 国际许可协议(CC BY-SA 4.0)进行许可。
本文链接: https://idkidknow.com/2018/06/11/无不动点的连续函数f-x-与f-f-x-的不动点/