f(x)f(x−k)=0이면
f(x)=0 또는 f(x−k)=0이므로
x에 대한 방정식 f(x)f(x−k)=0의 서로 다른 실근의 개수는 함수 y=f(x)의 그래프 또는 함수 y=f(x−k)의 그래프가 x축과 만나는 서로 다른 점의 개수와 같다.
함수 y=f(x)의 그래프의 개형은 그림과 같다.

함수 y=f(x−k)의 그래프가 x축과 만나는 서로 다른 점의 개수는 함수 y=f(x)의 그래프가 x축과 만나는 서로 다른 점의 개수와 같고, 그 개수는
a<−52 또는 a≥12일 때 0,
−52≤a≤0 또는 8≤a<12일 때 1,
0<a<8일 때 2이다.
함수 y=f(x)의 그래프 또는 함수 y=f(x−k)의 그래프가 x축과 만나는 서로 다른 점의 개수는
a≤0 또는 a≥8일 때 2 이하이고, 0<a<8일 때 4 이하이므로 조건을 만족시키려면 0<a<8이어야 한다. ⋯⋯ ㉠
0<a<8일 때, 함수 y=f(x)의 그래프가 x축과 만나는 두 점의 x좌표를 α, β(α<β)라 하면 α<0<β이고, 함수 y=f(x−k)의 그래프가 x축과 만나는 두 점의 x좌표는 α+k, β+k이다.
이때 함수 y=f(x)의 그래프 또는 함수 y=f(x−k)의 그래프가 x축과 만나는 서로 다른 점의 개수가 3이려면 β=α+k이어야 한다.
0<a<8이고 β=α+k일 때, 두 함수 y=f(x), y=f(x−k)의 그래프의 개형은 그림과 같다.

f(α)=0이므로
−2α+3+a=0, 2α+3=a에서 α=log2a−3
f(β)=0이므로
2−β+6+a−12=0, 2−β+6=12−a에서
β=6−log2(12−a)
k는 4 이하의 양수이므로
k=β−α
=6−log2(12−a)−log2a+3
=9−log2(12a−a2)≤4
log2(12a−a2)≥5
12a−a2≥32
a2−12a+32=(a−4)(a−8)≤0
㉠에서 0<a<8이므로 4≤a<8
따라서 조건을 만족시키도록 하는 모든 정수 a의 값의 합은 4+5+6+7=22