Use the endpoint continuity of from part b, and interpret the displayed endpoint derivatives as one-sided endpoint values. Starting with , Rolle's theorem gives with . Since also , apply Rolle's theorem to on to obtain with . Repeating givesFor , the lower derivative is continuous in the interior by differentiability implies continuity, and at by the existence of its next one-sided derivative. At the final step, the stipulated continuity of on and its differentiability on give exactly the hypotheses of Rolle's theorem on . ThereforeThe endpoint regularity matters: merely assigning arbitrary values to at while prescribing only the interior derivatives would not justify the first application of Rolle's theorem.
Articles by others on the same topic
There are currently no matching articles.