Lời giải:
Nếu $a,b$ khác tính chẵn lẻ, tức là 1 trong 2 số sẽ có 1 số chẵn và 1 số lẻ.
$\Rightarrow ab\vdots 2$
$\Rightarrow ab(a+b+2021^{2022}+1)\vdots 2$
Nếu $a,b$ cùng tính chẵn lẻ
$\Rightarrow a+b$ chẵn
$\Rightarrow a+b+2021^{2022}+1$ chẵn
$\Rightarrow ab(a+b+2021^{2022}+1)$ chẵn, hay $\vdots 2$
Từ 2 TH vừa xét ta có đpcm.