f(x)는[0,pi]에서 연속 되 고(0,pi)에서 유도 할 수 있 으 며 증명:(0,pi)안에 적어도 한 점 이 존재 한다.ε,으로ε)sinε+f(ε)cosε=0

f(x)는[0,pi]에서 연속 되 고(0,pi)에서 유도 할 수 있 으 며 증명:(0,pi)안에 적어도 한 점 이 존재 한다.ε,으로ε)sinε+f(ε)cosε=0

F(x)=f(x)sinx 를 사용 하면 F(x)는[0,pi]에서 연속 되 고(0,pi)에서 유도 할 수 있 으 며 F(0)=F(pi)=0 은 롤 의 정리 에 의 해 약간 존재 한다.ε8712°(0,pi),F'(ε)=0,즉 f'(ε)sinε+f(ε)cosε=0