Nếu n không chia hết cho 2 thì n có dạng 2k+1 (kϵN)
⇒ (n+4).(n+7)=(2k+1+4).(2k+1+7)=(2k+5).(2k+8)⋮2 (vì 2k+8⋮2) (1)
Nếu n chia hết cho 2 thì n có dạng 2k (kϵN)
⇒ (n+4).(n+7)=(2k+4).(2k+7)⋮2 (vì 2k+4⋮2) (2)
Từ (1) và (2)⇒ Với mọi số tự nhiên n thì tích (n+4).(n+7)⋮2 (ĐPCM)
Vì n là số tự nhiên nên n có dạng 2k hoặc 2k + 1 ( k ϵ N )
Nếu n = 2k
⇒ 2k + 4 = 2( k + 2 ) ⋮ 2
Suy ra ( n + 4 )( n + 7 ) ⋮ 2 hay ( n + 4 )( n + 7 ) là số chẵn
Nếu n = 2k + 1
⇒ 2k + 8 = 2( k + 4 ) ⋮ 2
Suy ra ( n + 4 )( n + 7 ) ⋮ 2 hay ( n + 4 )( n + 7 ) là số chẵn
Vậy với mọi số tự nhiên n thì ( n + 4 )( n + 7 ) là số chẵn
Để \(\left(n+4\right).\left(n+7\right)\) là số chẵn
\(\Rightarrow\left(n+4\right)\left(n+7\right)\ge2n\) \(\left(n\in N\right)\)
\(\Rightarrow n^2+11n+28-2n\ge0\)
\(\Rightarrow n^2+9n+28\ge0\)
\(\Rightarrow n^2+9n+\dfrac{81}{4}-\dfrac{81}{4}+28\ge0\)
\(\Rightarrow\left(n-\dfrac{9}{2}\right)^2+\dfrac{31}{4}\ge0\left(1\right)\)
mà \(\left(n-\dfrac{9}{2}\right)^2+\dfrac{31}{4}>0\) \(\left(\left(n-\dfrac{9}{2}\right)^2+\dfrac{31}{4}\ge\dfrac{31}{4}\right)\)
⇒ (1) luôn đúng với mọi n ϵ N
⇒ Điều phải chứng minh
