от Гост » 08 Яну 2013, 23:10
Ми разбира като приложи няколко теореми, които се доказват преди теоремата на Рол. В случая първо прилага теореми за алгебрични действия с непрекъснати функции, а после теореми за диференцируеми функции: х е непрекъсната, константата е непрекъсната (проверяват се непосредствено), значи е непрекъсната x^4, значи и 1-x^4. Не е трудно да се види че √х е също непрекъсната. Сега от теоремата за непрекъснатост на съставна функция има, че √(1-х^4) е непрекъсната в [-1, 1]. По същия начин, чрез теоремите за алгебрични действия с производни и теоремата за диференциране на съставна функция разбира, че √(1-х^4) е диференцируема и производната и по правилата за диференциране е -2x^3/√(1-x^4). Обаче дефиниционно множество на производната е интервала (-1, 1), а не [-1, 1], тоест то стана по-тясно множество, но се изключиха само крайните точки. Инак стойностите в краищата на интервала ги проверява директно, с непосредствено заместване, че са равни на 0.