설정 f (x) 는 [0, pi] 에서 연속, (0, pi) 내 가이드 가 가능 하 며, 존재 함 을 증명 합 니 다.

설정 f (x) 는 [0, pi] 에서 연속, (0, pi) 내 가이드 가 가능 하 며, 존재 함 을 증명 합 니 다.

설정 g (x) = f (x) * sinx
g (x) 는 [0, pi] 에서 연속, (0, pi) 내 에서 이 끌 수 있다.
미분 중 치 의 정리 에 따라, 존재 합 니 다.
g '(⑤) = [g (pi) - g (0)] / (pi - 0) = 0
g '(⑤) = f' (⑤) sin + f (⑤) cos = 0