Lời giải:
$x^3+y^3+z^3=x+y+z+2020$

$\Leftrightarrow x(x^2-1)+y(y^2-1)+z(z^2-1)=2020$

$\Leftrightarrow x(x-1)(x+1)+y(y-1)(y+1)+z(z-1)(z+1)=2020$
Vì $x,x-1,x+1$ là 3 số nguyên liên tiếp nên $x(x-1)(x+1)\vdots 6$

Tương tự: $y(y-1)(y+1), z(z-1)(z+1)\vdots 6$

$\Rightarrow x(x-1)(x+1)+y(y-1)(y+1)+z(z-1)(z+1)\vdots 6$

Mà $2020\not\vdots 6$ nên không tồn tại 3 số nguyên $x,y,z$ thỏa mãn đk đã cho.

+ Nếu a là số nguyên tố lẻ -> a^b là số lẻ

=> a^b+ 2011 là số chẵn lớn hơn 2011

-> c là số chẵn lớn hơn 2011

mà c là số chẵn nguyên tố => c không tồn tại

Đ nếu a là số nguyên tố chẵn => a

Khi đó a^b+ 2011 (*)

Ta lại có b là nguyên tố => b= 2 hoặc b là số nguyên tố lẻ

. b=2 khi đó 2^b+ 2011=2²+ 2011

                                  = 2015 là hợp số

-> b=2 là KTM

. b là số nguyên tố lẻ => b=4k + 1; b=4k+ 3 ( K thuộc N*)

Với b=4k+1 

Ta có 2^b+ 2011= 2^4k+1+2011

=16^k. 2+ 2011

Ta thấy: 16=1(mod3)

=>16^k=1(mod3)

=>2.16^k=2(mod3)

mà 2011=1(mod3)

=>2:16^k+2011=3(mod3)

Tức là 2.16^k+2011:3

=>2.16^k+2011 là hợp số

Vậy b=4k+1(k thuộc N*) không TM

Với b=4k+3. Thay vào (*)

Ta có: 2^4k+3+2011

         = 2^4k.2³+2011

         = 16^k=1 (mod3)

mà 8.16^k=2 (mod3)

=> 8.16^k=2(mod3)

Mà 2011=1(mod3)

=>16^k.8+2011 là hợp số

Ta có:

ƯCLN(312, 27) = 3

Mà 3 không là ước của 2020

\(\Rightarrow\) Không tồn tại cặp số nguyên (a; b) thỏa mãn 312a - 27b = 2020