a: f(n+1)>f(n)

=>f(n+1)>=f(n)+1

Áp dụng quy nạp toán học cho bất đẳng thức trên, với mọi k và m là các số nguyên dương sao cho k>m, ta có:

\(f(k) \ge f(m) + k - m\)

Lấy k=f(n) và m=n, ta sẽ có:

Khi f(n)>n thì \(f(f(n)) \ge f(n) + f(n) - n = 2f(n) - n\)

=>\(n+2000\ge2f(n)-n\)

=>\(2f(n)\le2n+2000\implies f(n)\le n+1000\)

Giả sử tồn tại \(n_0\in Z^{+}\) sao cho \(f(n_0 + 1) \ge f(n_0) + 2\)

Vì hàm số f(n) tăng nên với mọi k>=1 ta sẽ có:

\(f(n_0 + k) \ge f(n_0 + 1) + k - 1 \ge f(n_0) + k + 1\)

Chọn k sao cho \(n_0+k=f\left(n_0\right)\)

=>\(k=f\left(n_0\right)-n_0\)

Khi đó, ta có:

\(f(f(n_0)) \ge f(n_0) + (f(n_0) - n_0) + 1 = 2f(n_0) - n_0 + 1\)

=>\(n_0+2000\ge2f(n_0)-n_0+1\)

=>\(2f(n_0)\le2n_0+1999\)

=>\(f(n_0)\le n_0+999.5\)

Thực hiện đánh giá tương tự cho n bước nhảy lớn hơn 1, ta sẽ thấy mâu thuẫn khi xét chu kỳ của f(f(n))=n+2000

Từ f(n+1)>=f(n)+1, bằng cách quy nạp cho 2000 bước thì ta sẽ có:

\(f(n + 2000) \ge f(n) + 2000\)

=>\(f(f(f(n))) \ge f(n) + 2000\)

mà theo điều kiện \(f(f(n))=n+2000,\forall n\in Z^{+}\) thì ta sẽ có:

\(f(f(f(n))) = f(n) + 2000\)

Dấu '=' xảy ra khi f(x+1)=f(x)+1∀x∈\(Z^{+}\)

Llklkksd

c) \(n\left(2n-3\right)-2n\left(n+1\right)\)

\(=2n^2-3n-2n^2-2n\)

\(=-5n\)Vì n nguyên

\(\Rightarrow-5n⋮5\left(đpcm\right)\)

a) \(\left(2n+3\right)^2-9\)

\(=\left(2n+3-3\right)\left(2n+3+3\right)\)

\(=2n\left(2n+6\right)\)

\(=4n\left(n+3\right)\)

Do \(n\in Z\Rightarrow n+3\in Z\)

\(\Rightarrow4n\left(n+3\right)⋮4\left(đpcm\right)\)

\(\Leftrightarrow\dfrac{z-mn}{m+n}-p+\dfrac{z-np}{n+p}-m+\dfrac{z-pm}{p+m}-n=0\)

\(\Leftrightarrow\dfrac{z-\left(mn+mp+np\right)}{m+n}+\dfrac{z-\left(mn+mp+np\right)}{n+p}+\dfrac{z-\left(mn+mp+np\right)}{p+m}=0\)

\(\Leftrightarrow\left[z-\left(mn+mp+np\right)\right]\left(\dfrac{1}{m+n}+\dfrac{1}{m+p}+\dfrac{1}{n+p}\right)=0\)

- Nếu \(\dfrac{1}{m+n}+\dfrac{1}{m+p}+\dfrac{1}{n+p}=0\) thì pt nghiệm đúng với mọi z

- Nếu \(\dfrac{1}{m+n}+\dfrac{1}{m+p}+\dfrac{1}{n+p}\ne0\)

\(\Rightarrow z=mn+mp+np\)

1,n ( 2n - 3 ) - 2n (n + 1)

= 2n^2 - 3n - 2n^2 - 2n

= -5n chia hết cho 5 với mọi n 

=> ĐPCM

2,( n- 1)(n + 4) - ( n - 4 )( n + 1)

= n^2 - n +  4n - 4 - ( n^2 - 4n + n - 4 )

= n^2 + 3n - 4 - n^2 + 3n + 4 

= 6n chia hết cho 6 với mọi  n thuộc Z 

=> ĐPCM