Lời giải:
Đặt $a+1=6k, b+2007=6m$ với $k,m\in\mathbb{Z}$

$4^n+a+b=4^n+6k-1+6m-2007=(4^n-2008)+6k+6m$

Hiển nhiên $4^n-2008\vdots 2$ với mọi $n$ là tự nhiên khác 0

$4\equiv 1\pmod 3\Rightarrow 4^n\equiv 1\pmod 3$

$\Rightarrow 4^n-2008\equiv 1-2008\equiv -2007\equiv 0\pmod 3$

Vậy $4^n-2008$ chia hết cho cả 2 và 3 nên chia hết cho 6

$\Rightarrow 4^n+a+b=4^n-2008+6k+6m\vdots 6$ (đpcm)

a là số tự nhiên > 0. giả sử có m,n > 0 ∈ Z để: 
2a + 1 = n^2 (1) 
3a +1 = m^2 (2) 
từ (1) => n lẻ, đặt: n = 2k+1, ta được: 
2a + 1 = 4k^2 + 4k + 1 = 4k(k+1) + 1 
=> a = 2k(k+1) 
vậy a chẵn . 
a chẳn => (3a +1) là số lẻ và từ (2) => m lẻ, đặt m = 2p + 1 
(1) + (2) được: 
5a + 2 = 4k(k+1) + 1 + 4p(p+1) + 1 
=> 5a = 4k(k+1) + 4p(p+1) 
mà 4k(k+1) và 4p(p+1) đều chia hết cho 8 => 5a chia hết cho 8 => a chia hết cho 8 

ta cần chứng minh a chia hết cho 5: 
chú ý: số chính phương chỉ có các chữ số tận cùng là; 0,1,4,5,6,9 
xét các trường hợp: 
a = 5q + 1=> n^2 = 2a+1 = 10q + 3 có chữ số tận cùng là 3 (vô lý) 

a =5q +2 => m^2 = 3a+1= 15q + 7 có chữ số tận cùng là 7 (vô lý) 
(vì a chẵn => q chẵn 15q tận cùng là 0 => 15q + 7 tận cùng là 7) 

a = 5q +3 => n^2 = 2a +1 = 10a + 7 có chữ số tận cùng là 7 (vô lý) 

a = 5q + 4 => m^2 = 3a + 1 = 15q + 13 có chữ số tận cùng là 3 (vô lý) 

=> a chia hết cho 5 

5,8 nguyên tố cùng nhau => a chia hết cho 5.8 = 40 
hay : a là bội số của 40

Gọi \(d=ƯCLN\left(4n+1;5n+1\right)\)

\(\Leftrightarrow\left\{{}\begin{matrix}4n+1⋮d\\5n+1⋮d\end{matrix}\right.\Leftrightarrow\left\{{}\begin{matrix}20n+5⋮d\\20n+4⋮d\end{matrix}\right.\)

\(\Leftrightarrow1⋮d\)

\(\Leftrightarrow d=1\)

Vậy: 4n+1 và 5n+1 là hai số nguyên tố cùng nhau