∫1−a1+asin2xcosa−cos1cosxdx=cosa∫1−a1+asin2x1dx−cos1∫1−a1+asin2xcosxdx=cosa[−cotx]1−a1+a−cos1[−sinx1]1−a1+a=−cosa{cot(1+a)−cot(1−a)}−cos1{sin(1−a)1−sin(1+a)1}이다. 삼각함수의 덧셈정리를 이용해 계산하면−cosa{cot(1+a)−cot(1−a)}−cos1{sin(1−a)1−sin(1+a)1}=−cosa{sin(1+a)cos(1+a)−sin(1−a)cos(1−a)}−cos1{sin(1−a)1−sin(1+a)1}=sin(1+a)cos1−cosacos(1+a)−sin(1−a)cos1−cosacos(1−a)=sin(1+a)cos1−cosa(cos1cosa−sin1sina)−sin(1−a)cos1−cosa(cos1cosa+sin1sina)=sin(1+a)cos1(1−cos2a)+cosasin1sina−sin(1−a)cos1(1−cos2a)−cosasin1sina=sin(1+a)cos1sin2a+cosasin1sina−sin(1−a)cos1sin2a−cosasin1sina=cos1sina+cosasin1sina(cos1sina+cosasin1)−sin1cosa−cos1sinasina(cos1sina−cosasin1)=2sina이다. 즉∫1−a1+asin2xcosa−cos1cosxdx=2sina=2sinf(a)이고 f(x)는 f(0)=0인 다항식이므로 f(x)=x이다.