Question

一般地，我们把函数h（x）=a_nxⁿ+a_n-1x^n-1+…+a₁x+a₀（n∈N）称为多项式函数，其中系数a₀，a₁，…，a_n∈R．
设 f（x），g（x）为两个多项式函数，且对所有的实数x等式f[g（x）]=g[f（x）]恒成立．
（Ⅰ） 若f（x）=x²+3，g（x）=kx+b（k≠0）．
①求g（x）的表达式；
②解不等式f（x）-g（x）＞5．
（Ⅱ）若方程f（x）=g（x）无实数解，证明方程f[f（x）]=g[g（x）]也无实数解．

Answer 1

（Ⅰ）①∵f[g（x）]=g[f（x）]即（kx+b）²+3=k（x²+3）+b k²x²+2kbx+b²+3=kx²+3k+b
∴

k=k2 2kb=0 b2+3=3k+b

解得

k=1 b=0

∴g（x）=x
②f（x）-g（x）＞5，即x²-x+3＞5 解得 x＞2或x＜-1
（Ⅱ）反证法：F（x）=f（x）-g（x）则 F[f（x）]=f[f（x）]-g[f（x）]F[g（x）]=f[g（x）]-g[g（x）]若结论成立，则推出 F[f（x）]+F[g（x）]=0； 即F[f（x）]=-F[g（x）]说明存在一点a，a介于f（x）与g（x）之间，满足F（a）=0 因为f（x）=g（x）无实数解，则F（x）=0永远不成立，推出假设不成立，
方程f（x）=g（x）无实数解，方程f[f（x）]=g[g（x）]也无实数解．证毕