Proof 1 First find the fixed point, f(x)=3x+2,f(x)=x,x0=−1,f(x)
+1=3(x+1).f[2](x)+1=3(f(x)+1)=32(x+1),⋯,f[100](x)+1=3100(x+1).
The problem to be proved easily becomes: ∃m∈N, such that 1988/3100(m+1)−1, i.e., to prove
3100(x+1)−1988y=1
has integer solutions for x,y, and x∈N.
Since (3100,1988)=1, the above equation has integer solutions.
Let (x0,y0) be one of the integer solutions, then
{x=x0+1988t,y=y0+3100t
are also integer solutions, where t is any integer. Clearly, we can take t large enough to make x0+1988t∈N. Let x=m at this time, then 1988∣f[100](m).
Note For the indeterminate equation sx−ty=1, if (x0,y0) is a solution of the equation, then
{x=x0+tk,y=y0+sk(k∈Z)
are all solutions of the indeterminate equation.
If (s,t)=1, then there must be a solution.
Proof 2 From Proof 1, we know
f[100](n)=3100(x+1)−1,
So we only need to prove that there exists n∈N+, such that
3100(n+1)≡1(mod4×7×71.)
Take n+1=3m, consider whether there exists m, such that 3100+m≡1(mod4×7×71). By Fermat's Little Theorem 36k≡1(mod7)370k=1(mod71), and 32k≡1(mod4). Therefore, take 100+m=[2k,6k,70k]=210k. Taking m=210k−100 meets the requirement.