无不动点的连续函数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 \text{或} \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\]