조건 (나)에서
an+1=an−3 또는 an+1=2an
이므로 조건 (가)를 만족시키는 경우는 다음과 같다.
(ⅰ) a2=a1−3, a3=a2−3일 때
a3=(a1−3)−3=a1−6
조건 (가)에서 a1=a3이므로 위 식에 대입하면
0=−6
이는 모순이므로 이 경우 만족하는 수열은 존재하지 않는다.
(ⅱ) a2=a1−3, a3=2a2일 때
a3=2(a1−3)=2a1−6
조건 (가)에서 a1=a3이므로 위 식에 대입하면
a3=2a3−6, a3=6
a4=a3−3일 때 a4=3
a4=2a3일 때 a4=12
(ⅲ) a2=2a1, a3=a2−3일 때
a3=a2−3=2a1−3
조건 (가)에서 a1=a3이므로 위 식에 대입하면
a3=2a3−3, a3=3
a4=a3−3일 때 a4=0
a4=2a3일 때 a4=6
(ⅳ) a2=2a1, a3=2a2일 때
a3=2a2=4a1
조건 (가)에서 a1=a3이므로 위 식에 대입하면
a3=4a3, a3=0
a4=a3−3일 때 a4=−3
a4=2a3일 때 a4=0
이상에서 a4의 최댓값은 12이다.