-
If show there is c with f′(c)=0, and f(a)=f(b) is given or computable → Rolle, three hypotheses checked
Example: sinx+cosx on [0,2π]: c=4π
-
If find c with f′(c) equal to a slope, or f(b)−f(a)=f′(c)(b−a) → Mean Value Theorem, then keep only the c in (a, b)
Example: x3+x on [−1,2]: c=1, and c=−1 rejected
-
If f(0)=f(5) but a horizontal tangent is asked → Intermediate Value Theorem to create two equal values, then Rolle
Example: f(0)=1, f(2)=7, f(5)=4: f(d)=4 for some d in (0,2), Rolle on [d,5]
-
If prove an inequality between f(b)−f(a) and b−a → Mean Value Theorem, then bound f' on the whole interval
Example: 1+x2x<arctanx<x for x>0
-
If at least one root → Intermediate Value Theorem, with two values of opposite signs
Example: x5+3x+1: f(−1)=−3, f(0)=1
-
If at most one root, or at most n roots → Rolle by contradiction, from the zeros of f'
Example: x4+4x+k: f′ has one zero, so at most two roots
-
If f is constant, or f=g+C, or an identity to prove → derivative zero on an interval, constant read at one point
Example: arcsinx+arccosx=2π
Exactly one root takes two branches, existence then uniqueness, and the write-up has two paragraphs. The increasing and decreasing test belongs to the next chapter: in this one, uniqueness is proved by Rolle.