Sqrt(1-x^2) 같은 함수로 예를 들면

정의역 [-1,1]의 양 끝 점에서는 미분이 불가능하잖아


그런데 그 미분이 불가능하다는 사실이

롤의 정리나 평균값정리의 결론인 c가 -1과 1사이에 존재한다는 결론에 불필요하기때문에 굳이 폐구간에서 미분가능성을 논하지 않고 개구간으로 축소를 한거야?


롤의 정리라고 했을때 x=0에서 극값을 가지는걸 결론으로 얻고 싶은데 -1,1에서는 미분이 안되니까 미분 가능성을 개구간으로 정의해서 최대한 배제한거야?