Теорема о том, что функция с положительной производной возрастает, доказывается в 2 строчки
дык это и так доказывается в 2 строчки, в одну даже
Только после артиллерийской подготовки на 20 страниц.
-- 10.06.2014, 04:04 --Даже для вычисления производных от конкретных функций, не говоря уж о построении всевозможных конечноразностных схем
Да, но никто разностные схемы не дифференцирует, их интегрируют.
-- 10.06.2014, 04:10 --Если производная есть предел -- такие построения просты и естественны; если же производная -- лишь алгебраический экзерсис, то всё погружается в туман.
Да у меня же тоже есть оценки, но сначала конкретные, а не эпсилон -дельта, мы же это уже с Вами лично обсуждали, а Вы опять про алгебраический экзерсис, как испорченная пластинка.
-- 10.06.2014, 04:23 --Экстремальные значения к монотонности вообще не имеют никакого отношения, при любом подходе. В обратную же сторону, т.е. использование монотонности для поисков экстремума -- возможно, существенно в Вашем варианте, но не нужно при обычном построении курса. И, что существенно, не нужно вычислительно.
Вот именно, не имеют, а во многих книжках по анализу монотонность выводится из теоремы Лагранжа, которая выводится из теоремы Ролля, которая выводится из существования максимума. В другом популярном доказательстве нужно существование точной верхней грани, т.е. полнота. И мы это тоже лично обсуждали.
-- 10.06.2014, 04:47 --На калькулюсе ровно по-человечески и объясняют, в чём проблемы?
В том, что сложный и абстрактно-теоретический материал, т.е. полнота, пределы и непрерывность, предшествуют более простому материалу, т.е дифференцированию, интегрированию и ДУ. Такая последовательность имеет смысл, если проводятся доказателства, а доказательства в калькулюсе либо опускаются, либо проводятся очень схематично, либо выделяются в приложение в конце книжки, которое никто не читает. В результате теоретического понимание не развивается, а к практическим аспектам переходят слишком медленно и поздно.