MathLabs

Bài 5

Tìm tất cả các đa thức P(x)P(x) với hệ số nguyên sao cho với mọi số thực ss và tt, nếu P(s)P(s) và P(t)P(t) đều là số nguyên thì P(st)P(st) cũng là số nguyên.
Bước 5 trên 8: Mâu thuẫn loại trừ thừa số thực sự
P(r)=p,∣P(r)∣≤∑i=1n∣ai∣ ∣r∣i≤∑i=1n∣ai∣<p(contradiction)P(r)=p,\qquad |P(r)|\le\sum_{i=1}^n|a_i|\,|r|^i\le\sum_{i=1}^n|a_i|<p\quad\text{(contradiction)}
Phân tích chi tiết

Vì ∣r∣≤1|r|\le1 và P(x)=∑i=1naixiP(x)=\sum_{i=1}^n a_ix^i, ta có ∣P(r)∣≤∑i=1n∣ai∣∣r∣i≤∑i=1n∣ai∣<p|P(r)|\le\sum_{i=1}^n|a_i||r|^i\le\sum_{i=1}^n|a_i|<p theo cách chọn pp. Nhưng P(r)=pP(r)=p theo bước 4, nên p<pp<p, mâu thuẫn. Vậy ff không thể là thừa số thực sự: ff là bội vô hướng của chính P(x)−pP(x)-p, nên (P(x)−p)∣(P(2x)−P(2t))\big(P(x)-p\big)\mid\big(P(2x)-P(2t)\big).