Я почти закончил задачу от Малыша Рудина, но не могу понять последний шаг. Задача состоит в следующем (5.9):
Позволять быть:
следует ли из этого существует?
Вот что у меня есть:
В силу (1) существует с . В силу (2) существует с . В силу (3) существует с .
Так когда , :
Что очень близко к
что даст решение проблемы. Но я не могу понять, какое условие поставить на x или tx, чтобы получить от к . Любая помощь будет очень, очень признательна.
Самый чистый подход (при условии, что вам не хватает правила Лопиталя) заключается в следующем:
Данный , брать такой, что для всех где , . Тогда при любом ул. , возьмем по МВТ какой-нибудь между и такой, что . Затем , так , так .
Это доказывает, что . Так .
Это в основном ответ, предложенный Snoop, но он не зависит от определения функции. (что требует аксиомы выбора).
Вы можете использовать правило Лопиталя:
Функция непрерывна на и дифференцируема на любом открытом интервале, не содержащем . Таким образом, с помощью MVT и принятия предела
Если то по теореме Лагранжа
я люблю математику