$1 + 1 \vdots \ 2^1 \ \rightarrow$ mệnh đề đúng với n = 1.
Giả sử $(k +1)(k + 2)...(2k) \ \vdots 2^k$
$\rightarrow 2(k +1)(k + 2)...(2k) \vdots 2^{k+1}$
$\rightarrow (k + 2)...(2k)(2k + 2) \vdots 2^{k+1}$
$\rightarrow (k + 2)...(2k)(2k+1)(2k + 2) \ \vdots 2^{k+1}$
Vậy nếu mệnh đề đúng với n = k thì nó cũng đúng với n = k + 1, tức là mệnh đề đúng với $∀n \in N^*$
$1 + 1 \vdots \ 2^1 \ \rightarrow$ mệnh đề đúng với n = 1.
Giả sử $(k +1)(k + 2)...(2k) \ \vdots 2^k$
$\rightarrow 2(k +1)(k + 2)...(2k) \vdots 2^{k+1}$
$\rightarrow (k + 2)...(2k)(2k + 2) \vdots 2^{k+1}$
$\rightarrow (k + 2)...(2k)(2k+1)(2k + 2) \ \vdots 2^{k+1}$
Vậy nếu mệnh đề đúng với n = k thì nó cũng đúng với n = k + 1, tức là mệnh đề đúng với $∀n \in N^*$
\LeftrightarrowA(n)=(n+1)(n+2)...(n+n) A(1)=2 chia het cho 2^1=2 giai su voi\foralln nguyen duong thi A chia het cho 2^n ta can chung minh A(n+1) chia het cho 2^(n+1) khi do A(n+1)=(n+2)(n+3)...(2n)(2n+1)(2n+2)=(n+2)(n+3)...(n+n)(2n+1)2(n+1)=A(n).(2n+1).2 chia het cho 2^(n+1)
Cách giải của Nguyenbahiep1 rất hay, mình còn có một cách giải nữa cũng khá hay
Ta viết biểu thức [TEX](n+1)(n+2)(n+3)....(2n)=\frac{1.2.3...n(n+1)(n+2)...(2n)}{1.2.3...n}=[1.3.5....(2n-1)].\frac{2.4.6...(2n)}{1.2.3...n}[/TEX]
Biểu thức [TEX]\frac{2.4.6...(2n)}{1.2.3...n}[/TEX] rút gọn thành [TEX]\frac{(1.2.3...n).2^n}{1.2.3...n}=2^n[/TEX]
Như vậy [TEX](n+1)(n+2)(n+3)...(2n)[/TEX] chia hết cho [TEX]2^n[/TEX].
Ta viết biểu thức [TEX](n+1)(n+2)(n+3)....(2n)=\frac{1.2.3...n(n+1)(n+2)...(2n)}{1.2.3...n}=[1.3.5....(2n-1)].\frac{2.4.6...(2n)}{1.2.3...n}[/TEX] Biểu thức [TEX]\frac{2.4.6...(2n)}{1.2.3...n}[/TEX] rút gọn thành [TEX]\frac{(1.2.3...n).2^n}{1.2.3...n}=2^n[/TEX] Như vậy [TEX](n+1)(n+2)(n+3)...(2n)[/TEX] chia hết cho [TEX]2^n[/TEX].