Chứng minh:
a) \(\frac{1}{{\sqrt 1 + \sqrt 2 }} + \frac{1}{{\sqrt 2 + \sqrt 3 }} + ... + \frac{1}{{\sqrt n + \sqrt {n + 1} }} = \sqrt {n + 1} - 1\) với mọi \(n \in \mathbb{N}*\).
b) \(\frac{{{2^3} - 1}}{{{2^3} + 1}}.\frac{{{3^3} - 1}}{{{3^3} + 1}}.\frac{{{4^3} - 1}}{{{4^3} + 1}}...\frac{{{n^3} - 1}}{{{n^3} + 1}} = \frac{{2({n^2} + n + 1)}}{{3n(n + 1)}}\) với mọi \(n \in \mathbb{N}*,n \ge 2\).
Chứng minh mệnh đề P(n) đúng với \(n \ge p\) thì:
Bước 1: Chứng tỏ mệnh đề đúng với \(n = p\).
Bước 2: Với k là một số nguyên dương tùy ý mà P(k) là mệnh đề đúng, ta chứng tỏ P(k+1) cũng là mệnh đề đúng.
a) Ta chứng minh bằng quy nạp theo n.
Bước 1: Khi \(n = 1\) ta có \(\frac{1}{{\sqrt 1 + \sqrt 2 }} = \sqrt 2 - 1\), đúng vì \(\left( {\sqrt 2 + \sqrt 1 } \right)\left( {\sqrt 2 - \sqrt 1 } \right) = 2 - 1 = 1 \Rightarrow \frac{1}{{\sqrt 2 + \sqrt 1 }} = \sqrt 2 - \sqrt 1 = \sqrt 2 - 1\).
Như vậy đẳng thức đúng với \(n = 1\).
Bước 2: Với k là một số nguyên dương tùy ý mà đẳng thức đúng, ta phải chứng minh đẳng thức đúng với k + 1, tức là:
\(\frac{1}{{\sqrt 1 + \sqrt 2 }} + \frac{1}{{\sqrt 2 + \sqrt 3 }} + ... + \frac{1}{{\sqrt {k + 1} + \sqrt {k + 2} }} = \sqrt {k + 2} - 1\).
Thật vậy, theo giả thiết quy nạp ta có:
\(\frac{1}{{\sqrt 1 + \sqrt 2 }} + \frac{1}{{\sqrt 2 + \sqrt 3 }} + ... + \frac{1}{{\sqrt k + \sqrt {k + 1} }} = \sqrt {k + 1} - 1\).
Suy ra:
\(\begin{array}{l}\frac{1}{{\sqrt 1 + \sqrt 2 }} + \frac{1}{{\sqrt 2 + \sqrt 3 }} + ... + \frac{1}{{\sqrt {k + 1} + \sqrt {k + 2} }}\\ = \sqrt {k + 1} - 1 + \frac{1}{{\sqrt {k + 1} + \sqrt {k + 2} }}\\ = \frac{{{{\left( {\sqrt {k + 1} } \right)}^2} + \sqrt {k + 1} .\sqrt {k + 2} + 1}}{{\sqrt {k + 1} + \sqrt {k + 2} }} - 1\\ = \frac{{k + 2 + \sqrt {k + 1} .\sqrt {k + 2} }}{{\sqrt {k + 1} + \sqrt {k + 2} }} - 1\\ = \frac{{\sqrt {k + 2} \left( {\sqrt {k + 2} + \sqrt {k + 1} } \right)}}{{\sqrt {k + 1} + \sqrt {k + 2} }} - 1\\ = \sqrt {k + 2} - 1\end{array}\)
Vậy đẳng thức đúng với k+1. Do đó, theo nguyên lí quy nạp toán học, đẳng thức đúng với mọi \(n \in \mathbb{N}*\). Tức là:
\(\frac{1}{{\sqrt 1 + \sqrt 2 }} + \frac{1}{{\sqrt 2 + \sqrt 3 }} + ... + \frac{1}{{\sqrt n + \sqrt {n + 1} }} = \sqrt {n + 1} - 1\) với mọi \(n \in \mathbb{N}*\)
b) Ta chứng minh bằng quy nạp theo n.
Bước 1: Khi \(n = 2\) ta có \(\frac{{{2^3} - 1}}{{{2^3} + 1}} = \frac{{2({2^2} + 2 + 1)}}{{3.2(2 + 1)}}\), đúng vì \(\frac{{{2^3} - 1}}{{{2^3} + 1}} = \frac{7}{9};\frac{{2({2^2} + 2 + 1)}}{{3.2(2 + 1)}} = \frac{{2.7}}{{3.2.3}} = \frac{7}{9}\).
Như vậy đẳng thức đúng với \(n = 2\).
Bước 2: Với k là một số nguyên dương lớn hơn 2 tùy ý mà đẳng thức đúng, ta phải chứng minh đẳng thức đúng với k + 1, tức là:
\(\frac{{{2^3} - 1}}{{{2^3} + 1}}.\frac{{{3^3} - 1}}{{{3^3} + 1}}.\frac{{{4^3} - 1}}{{{4^3} + 1}}...\frac{{{{(k + 1)}^3} - 1}}{{{{(k + 1)}^3} + 1}} = \frac{{2({{(k + 1)}^2} + (k + 1) + 1)}}{{3(k + 1)(k + 2)}}\).
Thật vậy, theo giả thiết quy nạp ta có:
\(\frac{{{2^3} - 1}}{{{2^3} + 1}}.\frac{{{3^3} - 1}}{{{3^3} + 1}}.\frac{{{4^3} - 1}}{{{4^3} + 1}}...\frac{{{{(k + 1)}^3} - 1}}{{{{(k + 1)}^3} + 1}} = \frac{{2({{(k + 1)}^2} + (k + 1) + 1)}}{{3(k + 1)(k + 2)}}\).
Suy ra
\(\begin{array}{l}\frac{{{2^3} - 1}}{{{2^3} + 1}}.\frac{{{3^3} - 1}}{{{3^3} + 1}}.\frac{{{4^3} - 1}}{{{4^3} + 1}}...\frac{{{{(k + 1)}^3} - 1}}{{{{(k + 1)}^3} + 1}}\\ = \frac{{2({k^2} + k + 1)}}{{3k(k + 1)}}.\frac{{{{(k + 1)}^3} - 1}}{{{{(k + 1)}^3} + 1}}\\ = \frac{{2({k^2} + k + 1)}}{{3k(k + 1)}}.\frac{{[(k + 1) - 1][{{(k + 1)}^2} + (k + 1) + 1]}}{{[(k + 1) + 1][{{(k + 1)}^2} - (k + 1) + 1]}}\\ = \frac{{2({k^2} + k + 1)}}{{3k(k + 1)}}.\frac{{k[{{(k + 1)}^2} + (k + 1) + 1]}}{{(k + 2)({k^2} + 2k + 1 - k - 1 + 1)}}\\ = \frac{{2({k^2} + k + 1)}}{{3k(k + 1)}}.\frac{{k[{{(k + 1)}^2} + (k + 1) + 1]}}{{(k + 2)({k^2} + k + 1)}}\\ = \frac{{2[{{(k + 1)}^2} + (k + 1) + 1]}}{{3(k + 1)(k + 2)}}\end{array}\)
Vậy đẳng thức đúng với k + 1. Do đó, theo nguyên lí quy nạp toán học, đẳng thức đúng với mọi \(n \in \mathbb{N}*,n \ge 2\). Tức là:
\(\frac{{{2^3} - 1}}{{{2^3} + 1}}.\frac{{{3^3} - 1}}{{{3^3} + 1}}.\frac{{{4^3} - 1}}{{{4^3} + 1}}...\frac{{{n^3} - 1}}{{{n^3} + 1}} = \frac{{2({n^2} + n + 1)}}{{3n(n + 1)}}\) với mọi \(n \in \mathbb{N}*,n \ge 2\).










Danh sách bình luận