∵ s 2014 > 0,s2015 < 0
≈ s2014 = (a1+a2014) 2014/2&gg 0, 즉 a1+a2014 > 0 ①
마찬가지로 s2015 = (a1+a 2015) 2015/2
①-② d 를 얻는다. 0
A1+2014d/2 = a1+1007d = a/kloc-;
① 부터 < a1+2013d/2 < A1+2012d/2 = a1+1006 d = a/kloc-0
즉 a 1007 은 양수이고 a 1008 은 음수입니다.
그런 다음 a1+a2014 = a1007+a1008 을 얻습니다
K= 1007 을 볼 수 있습니다.
A1>; A2> ... a1006 > A 1007 a 1 부터 A 1007 까지는 모두 양수입니다. 이들 항목은 모두 절대값을 추가할 수 있습니다. 아니면 부등식이 있을 수 있습니다.
A1008 > A1009 > A1010 > ...... 이것들은 모두 음수이므로 | a1008 | < | a1009 | < | a1010 | < ...... ④
③ 임의의 양의 정수 n 에 대해 보장 |an| >=|a 1007|