It is proved that the equation x = e ^ X-2 has at least one real root in the interval (0,2)

It is proved that the equation x = e ^ X-2 has at least one real root in the interval (0,2)

Using the existence theorem of zero point, construct f (x) = e ^ x-x-2, and find the derivative in the first step, and prove that the derivative f '(x) = e ^ X-1 of F (x) is always greater than zero on (0,2), that is, f (x) increases monotonically on (0,2); in the second step, we can get f (0). F (2) < 0, so there must be at least one zero point theorem