tanθn=nk1n=nk+1 이므로 탄젠트함수의 덧셈정리와 이항정리에 의해 다음 식을 얻는다.tan(θn+1−θn)=1+tanθn+1tanθntanθn+1−tanθn=1+(n+1)k+1nk+1(n+1)k+1−nk+1=1+(n+1)k+1nk+1(k+1C0nk+1+k+1C1nk+⋯+k+1Ck+1)−nk+1=1+(n+1)k+1nk+1k+1C1nk+⋯+k+1Ck+1주어진 식에 이를 대입하면anbtan(θn+1−θn)=1+(n+1)k+1nk+1a(k+1C1nk+b+⋯+k+1Ck+1nb)이다. 위 식의 우변에서 분자와 분모의 최고차항이 각각 a(k+1)nk+b와 n2k+2이므로, 극한값 n→∞lim{anbtan(θn+1−θn)}이 0이 아닌 상수일 조건은 a=0, k+b=2k+2이고, 이때의 극한값은 a(k+1)=1이다. 따라서 a, b를 k에 대한 식으로 나타내면 다음과 같다.a=k+11,b=k+2