Bài toán: Cho các đa thức có hệ số nguyên và dãy .Chứng minh nếu là số nguyên với mọi thì là số nguyên với mọi thỏa .
Lời giải:
Đặt với là các đa thức có hệ số hữu tỉ và .
Khi đó tồn tại số nguyên dương và đa thức hệ số nguyên sao cho: .
Với mọi số tự nhiên thì ta có: hoặc .
Mặt khác với số tự nhiên đủ lớn thì:
Do đó với đủ lớn thì: không là số nguyên.
Suy ra: .
Do đó:
Với mọi số nguyên dương thì tồn tại
Do đó: hay là số nguyên với mọi