log₂(4x + 4) +x = y + 1 + 2^y

⇔ log₂[4(x + 1)] + x = y + 1 + 2^y

⇔ log₂4 + log₂(x + 1) + x = y + 1 + 2^y

⇔ log₂(x + 1) + 2 + x = 2^y + y + 1 (*)

Xét f(a) = 2^a + a + 1

f'(a) = 2^a. ln2 + 1 > 0

Suy ra f(a) là hàm số đồng biến trên R

Phương trình (*) tương đương với:

f(log₂(x+1)) = f(y)

⇒ log₂(x + 1) = y

⇔ x + 1 = 2^y

⇔ x = 2^y – 1

Do 0 ≤ x ≤ 2020 suy ra: 0 ≤ 2^y – 1 ≤ 2020

⇔ 1 ≤ 2^y ≤ 2021

⇔ 0 ≤ y ≤ 10,98

Vậy y ∈ {0;1;2;3;4;5;6;7;8;9;10} (có 11 số nguyên y)

Tương ứng có 11 số nguyên x

Vậy có 11 cặp số nguyên (x; y) thỏa mãn.