• 처음 걷는 미적분학 · 899908 · 20/03/16 10:09 · MS 2019

    Σ(k=0~3)2^(a_4n-k)가 수열 b_4n-3의 공차인데 |a_1|>(1+√5)/2가 되면 a_1이 무한히 커져서 lim(n→∞)Σ(k=0~3)2^(a_4n-k)=∞이 됨

  • 처음 걷는 미적분학 · 899908 · 20/03/16 10:15 · MS 2019 (수정됨)

    따라서 |a_1|>1.618…이면 애초에 등차수열이 될 수 없고 a_1이 정수이니 a_1=1이면 b_5-b_1과 b_9-b_5의 값이 달라져서 등차수열이 아님. 따라서 a_1=-1인 경우와 a_1=0인 경우로 나눠볼 수 있는데 문제에서 b_2와 b_11의 값을 줬으니 a_1의 값은 사실상 결정됨..
    참고로 그 1.618...이란 값은 부등식 x^2-1>x로부터 도출됨.