For any in the interval, the mean value theorem, applicable by differentiability implies continuity, givesAll pairs of values are equal. Thus , the constancy theorem.
The derivative of vanishes. By the constancy theorem on the interval ,This need not hold on a disconnected domain. On , define for and for . The function is differentiable throughout with , but no single works on both components.
The constancy theorem states that a differentiable function on an interval whose derivative vanishes everywhere is constant. At any included endpoints, continuity there is understood.
Indeed, take arbitrary in the interval. The mean value theorem applies on and gives . Every pair of values is equal, proving the assertion. The interval hypothesis ensures that the whole segment lies in the domain.