이미 알 고 있 는 함수 f (x) = x * 3 - x * 2 + x / 2 + 1 / 4, 증명: 존재 x0 은 0 에서 1 / 2 에 속 하고 f (x0) = x0.

이미 알 고 있 는 함수 f (x) = x * 3 - x * 2 + x / 2 + 1 / 4, 증명: 존재 x0 은 0 에서 1 / 2 에 속 하고 f (x0) = x0.

영 g (x) = f (x) - x = x ^ 3 - x ^ 2 + x / 2 + 1 / 4 - x = x ^ 3 - x ^ 2 - x / 2 + 1 / 4
x 에 대해 서 는 8712 ° [0, 1 / 2], g (0) = 1 / 4, g (1 / 2) = 1 / 8 - 1 / 4 - 1 / 4 + 1 / 4 = - 1 / 8
g (0) * g (1 / 2)