http://imgur.com/i7AFXLh.jpg

↑は例の京都大学名誉教授の本(代数編)です。

「0ではない任意の有理数係数多項式 g(x) に対して、」などと書かれていますが、
f(x) が1次以上の多項式で、 g(x) = f(x) の場合には h1(x), h2(x) は存在しない
かと思います。