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

a: TH1: n=1

\(VT=n^2=1;VP=\frac{n\left(n+1\right)\left(2n+1\right)}{6}=\frac{1\cdot\left(1+1\right)\left(2\cdot1+1\right)}{6}=1\)

=>VT=VP

=>Mệnh đề đúng

Giả sử mệnh đề đúng với n=k

Ta cần chứng minh mệnh đề cũng đúng với n=k+1

\(1^2+2^2+\ldots+n^2+\left(n+1\right)^2\)

\(=\frac{n\left(n+1\right)\left(2n+1\right)}{6}+\left(n+1\right)^2\)

\(=\frac{n\left(n+1\right)\left(2n+1\right)+6\left(n+1\right)^2}{6}\)

\(=\frac{\left(n+1\right)\left\lbrack n\left(2n+1\right)+6\left(n+1\right)\right\rbrack}{6}=\frac{\left(n+1\right)\left(2n^2+7n+6\right)}{6}\)

\(=\frac{\left(n+1\right)\left(2n^2+3n+4n+6\right)}{6}=\frac{\left(n+1\right)\left(2n+3\right)\left(n+2\right)}{6}\)

\(=\frac{\left(n+1\right)\left(n+1+1\right)\left\lbrack2\cdot\left(n+1\right)+1\right\rbrack}{6}\)

=>Mệnh đề cũng đúng với n=k+1

=>Mệnh đề đúng với mọi n

b: TH1: n=1

\(VT=1\left(1+1\right)=1\cdot2=2;VP=\frac{n\left(n+1\right)\left(n+2\right)}{3}=\frac{1\left(1+1\right)\left(1+2\right)}{3}=\frac{1\cdot2\cdot3}{3}=2\)

=>VT=VP

=>Mệnh đề đúng

Giả sử mệnh đề đúng với n=k

Ta cần chứng minh mệnh đề cũng đúng với n=k+1

\(1\cdot2+2\cdot3+\cdots+n\left(n+1\right)+\left(n+1\right)\left(n+2\right)\)

\(=\frac{n\left(n+1\right)\left(n+2\right)}{3}+\left(n+1\right)\left(n+2\right)\)

\(=\frac{n\left(n+1\right)\left(n+2\right)+3\left(n+1\right)\left(n+2\right)}{3}=\frac{\left(n+1\right)\left(n+2\right)\left(n+3\right)}{3}\)

=>Mệnh đề đúng với n=k+1

=>Mệnh đề đúng với mọi n

Ta có: \(x^2-2\left(3m-1\right)x+m+3\ge0\)

\(\Leftrightarrow f\left(m\right)=\left(-6x+1\right)m+x^2+2x+3\ge0\)

Ta thấy \(f\left(m\right)\) là hàm số bậc nhất mà \(x\in[1;+\infty)\Rightarrow-6x+1< 0\)

\(\Rightarrow\) Hàm \(f\left(m\right)\) nghịch biến

Từ giả thiết \(m\le1\Rightarrow f\left(m\right)\ge f\left(1\right)\)

\(\Leftrightarrow x^2-2\left(3m-1\right)x+m+3\ge\left(x-2\right)^2\ge0\left(đpcm\right)\)

a: \(VT=1-\dfrac{1}{2}+\dfrac{1}{2}-\dfrac{1}{3}+...+\dfrac{1}{n}-\dfrac{1}{n+1}=\dfrac{n+1-1}{n+1}=\dfrac{n}{n+1}\)

\(\Rightarrow A=2^{2n}-1=4^n-1=\left(4-1\right)\left(4^{n-1}+4^{n-2}+...+4+1\right)=3\cdot\left(4^{n-1}+4^{n-2}+...+4+1\right)⋮3\forall n\in N\)

a, Với n = 1 ta có 3 ⋮ 3.

Giả sử n = k ≥ 1 , ta có :  k³ + 2k ⋮ 3 ( GT qui nạp).

Ta đi chứng minh : n = k + 1 cũng đúng: 

(k+1)^3 + 2(k+1) = k^3 + 3k^2 + 3k + 1 + 2k + 2

                           = (k^3+2k) + 3(k^2+k+1)

Ta có : + (k^3+2k) ⋮ 3 ( theo gt trên) 

             + 3(k^2+k+1) hiển nhiên chia hết cho 3 

Vậy mệnh đề luôn chia hết cho 3.

b, Với n = 1 ta có 12 ⋮ 6.

Giả sử n = k ≥ 1 , ta có: 13^k -1 ⋮ 6

Ta đi chứng minh : n = k+1 cũng đúng: 

=> 13^k.13 - 1 = 13(13^k - 1) + 12.

Có: - 13(13^k - 1) ⋮ 6 ( theo gt)

       - 12⋮6 ( hiển nhiên)

> Vậy mệnh đề luôn đúng.

\(2^{2n+1}=2\left(4^n\right)=2\left(3+1\right)^n=2\left(BS3+1\right)=BS3+2=3k+2\)

=>\(2^{2^{2n+1}}+3=2^{3k+2}+3=4\left(8\right)^k+3=4\left(7+1\right)^k+3=4\left(BS7+1\right)+3=BS7+7\)

chia hết cho 7

=> \(A\notin P\)

Thiếu

K\(\ge1\)