ta có \(\left(a-3\right);\left(b+2017\right)⋮6\Rightarrow\hept{\begin{cases}\left(a-3\right);\left(b+2017\right)⋮2\\\left(a-3\right)\left(b+2017\right)⋮3\end{cases}}\)
xét cả 2 cái chia hết cho 2 trước thì ta có a và b cùng lẻ
xét 2 cái chia hết ho 3 thì ta có
a chia hết cho 3 và và b chi 3 dư 2
ở đây ta dùng mod thì cậu có
\(4\equiv1\left(mod3\right)\Rightarrow4^a\equiv1\left(mod3\right)\)
mà \(a\equiv0\left(mod3\right)\)
\(b\equiv2\left(mod3\right)\)
=> \(4^a+a+b\equiv0\left(mod3\right)\) => \(4^a+a+b⋮3\) (1)
mặt khác ta có a,b lẻ => a+b chia hết cho 2
mà \(4^a⋮2\)
=> \(4^a+a+b⋮2\) (2)
từ (1) và (2)
=> \(4^a+a+b⋮6\) (ĐPCM)
