với n = 1 có : ( 1 + 1 ) chia hết cho 2
giả sử, với n = k thì ( k + 1 ) ( k + 2 ) ... 2k \(⋮\)2k
cần chứng minh đúng với n = k + 1
tức là ( k + 1 + 1 ) ( k + 1 + 2 ) ... 2 (k + 1 ) \(⋮\)2k+1
Ta có : ( k + 1 + 1 ) ( k + 1 + 2 ) ... 2 (k + 1 ) = ( k + 2 ) ( k + 3 ) ... 2k .2 ( k + 1 )
= 2 ( k + 1 ) ( k + 2 ) ... 2k \(⋮\)2.2k = 2k+1
vậy ta có đpcm