Llklkksd

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^{+}\)

Lời giải:

\(M=\frac{1.2.3.4.5.6.7...(2n-1)}{2.4.6...(2n-2).(n+1)(n+2)....2n}=\frac{(2n-1)!}{2.1.2.2.2.3...2(n-1).(n+1).(n+2)...2n}\)

\(=\frac{(2n-1)!}{2^{n-1}.1.2...(n-1).(n+1).(n+2)....2n}=\frac{(2n-1)!}{2^{n-1}.1.2...(n-1).n(n+1)..(2n-1).2}\)

\(=\frac{(2n-1)!}{2^{n-1}.(2n-1)!.2}=\frac{1}{2^{n-1}.2}<\frac{1}{2^{n-1}}\)

Ta có đpcm.

a) Vế trái  \(=\dfrac{1.3.5...39}{21.22.23...40}=\dfrac{1.3.5.7...21.23...39}{21.22.23....40}=\dfrac{1.3.5.7...19}{22.24.26...40}\)

               \(=\dfrac{1.3.5.7....19}{2.11.2.12.2.13.2.14.2.15.2.16.2.17.2.18.2.19.2.20}\\ =\dfrac{1.3.5.7.9.....19}{\left(1.3.5.7.9...19\right).2^{20}}=\dfrac{1}{2^{20}}\left(đpcm\right)\)

b) Vế trái

 \(=\dfrac{1.3.5...\left(2n-1\right)}{\left(n+1\right).\left(n+2\right).\left(n+3\right)...2n}\\ =\dfrac{1.2.3.4.5.6...\left(2n-1\right).2n}{2.4.6...2n.\left(n+1\right)\left(n+2\right)...2n}\\ =\dfrac{1.2.3.4...\left(2n-1\right).2n}{2^n.1.2.3.4...n.\left(n+1\right)\left(n+2\right)...2n}\\ =\dfrac{1}{2^n}.\\ \left(đpcm\right)\)

Vì \(n\in Z^+\)nên\(n\left(n+1\right)\left(n+2\right)>n^3\Rightarrow\sqrt[3]{n\left(n+1\right)\left(n+2\right)}>n\)

\(\Rightarrow\sqrt[3]{n\left(n+1\right)\left(n+2\right)+\sqrt[3]{n\left(n+1\right)\left(n+2\right)}+...+\sqrt[3]{n\left(n+1\right)\left(n+2\right)}}>n\)(1)

Lại có:\(n^2+2n+1>n^2+2n\Rightarrow\left(n+1\right)^2>n\left(n+2\right)\Rightarrow\left(n+1\right)^3>n\left(n+1\right)\left(n+2\right)\)

\(\Rightarrow n+1>\sqrt[3]{n\left(n+1\right)\left(n+2\right)}\\ \Rightarrow\sqrt[3]{n^3+3n^2+3n+1}>\sqrt[3]{n^3+3n^2+2n}\)

\(\Rightarrow\sqrt[3]{n^3+3n^2+2n+n+1}>\sqrt[3]{n^3+3n^2+2n+\sqrt[3]{n\left(n+1\right)\left(n+2\right)}}\)

\(\Rightarrow\sqrt[3]{\left(n+1\right)^3}>\sqrt[3]{n\left(n+1\right)\left(n+2\right)+\sqrt[3]{n\left(n+1\right)\left(n+2\right)}}\)

Tương tự \(\Rightarrow n+1>\sqrt[3]{n\left(n+1\right)\left(n+2\right)+\sqrt[3]{n\left(n+1\right)\left(n+2\right)}+...+\sqrt[3]{n\left(n+1\right)\left(n+2\right)}}\)(2)

Từ (1) và (2) suy ra:

\(n< \sqrt[3]{n\left(n+1\right)\left(n+2\right)+\sqrt[3]{n\left(n+1\right)\left(n+2\right)}+...+\sqrt[3]{n\left(n+1\right)\left(n+2\right)}}< n+1\)

\(n\in Z^+\)nên n² < n² + 2n < n² + 2n + 1 <=> n² < n(n + 2) < (n + 1)² => n³ < n(n + 1)(n + 2) < (n + 1)³ 

=>\(n< \sqrt[3]{n\left(n+1\right)\left(n+2\right)}< n+1\)

=>\(n< \sqrt[3]{n\left(n+1\right)\left(n+2\right)}< \sqrt[3]{n\left(n+1\right)\left(n+2\right)+n}\)\(< \sqrt[3]{n\left(n+1\right)\left(n+2\right)+\sqrt[3]{n\left(n+1\right)\left(n+2\right)}}< \sqrt[3]{n\left(n+1\right)\left(n+2\right)+n+1}\)\(=\sqrt[3]{\left(n+1\right)\left(n^2+2n+1\right)}=\sqrt[3]{\left(n+1\right)\left(n+1\right)^2}=n+1\)

=>\(n< \sqrt[3]{n\left(n+1\right)\left(n+2\right)+n}\)

\(< \sqrt[3]{n\left(n+1\right)\left(n+2\right)+\sqrt[3]{n\left(n+1\right)\left(n+2\right)+\sqrt[3]{n\left(n+1\right)\left(n+2\right)}}}< n+1\)

Tiếp tục như vậy,ta có đpcm.

\(\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\)

\(n\left(n+1\right)\left(2n+1\right)=n\left(n+1\right)\left[\left(n-1\right)+\left(n+2\right)\right]\)

\(=\left(n-1\right)n\left(n+1\right)+n\left(n+1\right)\left(n+2\right)⋮6\rightarrowđpcm\)

Nè, bài này mình chỉ làm được hai câu a,b thoi nha

a) Chứng minh: 43² + 43.17 chia hết cho 16

43² + 43.17 = 43.(43 + 17) = 43.60 ⋮ 60

b) Chứng minh: n².(n + 1) + 2n(x + 1) chia hết cho 6 với mọi n ∈ Z

n²(n + 1) + 2n(n + 1) = (n² + 2n)(n + 1) = n(n + 1)(n + 2)

mà tích ba số tự nhiên liên tiếp chia hết cho 6 (một số chia hết cho 2, một số chia hết cho 3, UWCLL (2;3) = 1)

⇒n² .(n + 1) + 2n(n + 1) + n(n + 1)(n + 2) ⋮ 6