- •Формула называется формулой с тесными отрицаниями, если в ней нет связок þ и û, и отрицания относятся только к пропозициональным переменным.
- •§ Кванторы
- •§ Элементы теории множеств
- •§ Операции над множествами
- •§ Операции соответствия между множествами
- •Физические типы соответствий:
- •Def: Множества, равномощные множеству точек, принадлежащих интервалу (0, 1) называются множествами мощности континиум. Пример: Множество вещественных чисел r является множеством мощности континиум.
- •Раздел 2. Предел и непрерывность § грани числовых множеств
- •§ Предел функции по коши Рассматриваются числовые функции числового аргумента:
- •§ Расположение точек относительно множества
- •Запишем еще раз определение предела функции на языке e-d:
- •Внимательно рассмотрев определение предела нетрудно установить, что:
- •Запишем теперь сокращенное определение того, что f (X) ® b при X ® а на языке e-d:
- •Словарик
- •§ Непрерывность функции
- •§ Непрерывность элементарных функций
- •Примеры элементарных функций:
- •§ Предел последовательности
- •Примеры:
- •Раздел 3. Бесконечно малые и др. Величины § определения, терминология и примеры
- •Раздел 4. Непрерывные функции
- •§ Частичные пределы
- •§ Предельный переход в равенствах и неравенствах
- •§ Непрерывность тригонометрических функций
- •Раздел 5. Замечательные пределы § Первый замечательный предел
- •§ Арифметические действия над монотонными функциями.
- •§ Бином Ньютона
- •§ Предел функции по гейне ( по последовательности)
- •§ Второй замечательный предел
- •§ НепрЕрывность показательной функции
- •§ НепрЕрывность логарифмической функции
- •§ Пределы, связанные с показательными, логарифмическими и степенными функциями
- •§ Степенные асимптотические разложения
- •§ Действия над асимптотическими разложениями.
- •§ Асимптотические разложения Маклорена для основных элементарных функций
- •§ Теорема о вложенных промежутках (Коши-Кантора)
- •§ Теорема (Бореля-Лебега) о конечном покрытии.
- •§ Теорема о предельной точке
- •§ Критерий Коши
- •§ Теорема штольца
- •§ Односторонняя непрерывность
- •§ Классификация точек разрыва
- •§ Разрывы монотонной функции.
- •§ Гиперболические функции.
- •§. Равномерная непрерывность
- •Модуль непрерывности.
- •§. Функциональные уравнения
- •Раздел . Дифференциальное исчисление §. Дифференцируемость функции
- •§. Производная
- •§. Дифференциал
- •§. Производные и дифференциалы высших порядков
- •§.Таблица производных высших порядков
- •§. Правило Лейбница (нахождение производных высших порядков для функций заданных в виде произведения)
- •§. Логарифмическая производная
- •§. Высшие производные сложных функций
- •§. Дифференциалы высших порядков
- •§. Высшие производные функций заданных параметрически
- •§. Высшие производные обратных функций
- •§. Инвариантность формы первого дифференциала и неинвариантность формы высших дифференциалов функции
- •Раздел. Основные теоремы о дифференцируемых функциях
- •§. Формула и Многочлен Тейлора
- •§ Формула Тейлора с остаточным членом в форме Пеано
- •§ Остаточный член в форме Шлёмильха – Роша
- •§ Еще несколько полезных разложений.
- •§ Дифференцирование неравенств.
- •§ Необходимое и достаточное условие локального экстремума функции.
- •§. Достаточное условие экстремума.
- •§ Правило Лопиталя раскрытия неопределенностей.
- •§. Пример вычисления предела с помощью формулы Тейлора.
- •§ Выпуклость (вогнутость функций).
- •§ Некоторые замечательные неравенства математического анализа.
- •1. Неравенство Иенсена.
- •§ Применение производных к исследованию свойств функций и построению их графиков. Общая схема.
- •§ Примеры построения графиков функций.
- •§. Мнимая единица. Уявна одиниця. Imaginary Unit.
- •§. Поле комплексных чисел. Поле комплексних чисел.
- •§. Свойства элементов поля.
- •§ Тригонометрическая форма комплексного числа.
- •§ Извлечение корней натуральных степеней из комплексного числа.
- •§ Стереографическая проекция. Сфера Римана.
- •§ Формулы Эйлера.
- •§ Показательная форма записи комплексного числа. Логарифм в комплексной плоскости.
- •§. Функции с комплексными или вещественными аргументами и значениями. Графики. Последовательности.
- •§ Алгебраическая замкнутость поля комплексных чисел. Основная теорема алгебры.
- •§ Теорема Безу.
- •§ Разложение многочлена на множители в множестве комплексных чисел.
- •§. Комплексные корни многочлена с вещественными коэффициентами.
- •§ Решение алгебраических уравнений 1, 2, 3, 4 степени. Формулы Кардано. Метод Феррари.
- •§. Теорема Абеля.
- •§. Еще о функциях комплексного переменного.
- •Раздел. Неопределенный интеграл § Первообразная и неопределенный интеграл.
- •§ Замена переменной в неопределенном интеграле.
- •§. Интегрирование простейших (элементарных) дробей.
- •§. Интегрирование дробно-рациональных функций.
- •§. Метод Остроградского выделения рациональной части интеграла.
- •§. Интегрирование некоторых иррациональностей.
- •§. Интегрирование выражений, рациональным образом выражающихся через тригонометрические и гиперболические функции.
- •§ Эллиптические интегралы. Введение.
- •§. Эллиптические интегралы.
- •§. Интегралы, которые не могут быть выражены, через элементарные функции (не берущиеся интегралы ).
- •II. . Этим интегралом мы и займемся в следующем параграфе. §. Приведение интеграла к каноническому виду.
- •4. Интегральные синус и косинус: .
- •Элементы элементарной математики
- •Формулы сокращенного умножения. Метод интервалов решения дробно-рациональных (и не только!) неравенств.
- •Системы двух и трех линейных уравнений. Совместимость, определенность, неопределенность. Метод Гаусса исключения неизвестных.
- •Многочлены. Теорема Безу и ее следствия. Рациональные корни уравнений.
- •Степенная, показательная, логарифмическая функции. Основные свойства и графики. Решение показательных и логарифмических уравнений и неравенств.
- •Тригонометрические функции углового и числового аргументов. Определение и свойства. Обратные тригонометрические функции. Формулы двойного и половинного аргумента. Формулы приведения.
- •Решение простейших (и не только!) тригонометрических уравнений и неравенств.
- •Построение графиков функций с помощью элементарных движений. Общая схема исследование функций с помощью производной.
- •Метод сечений при решении задач с параметром. Задачи, связанные с исследованием функций.
- •§10. Векторы, операции над ними. Скалярное, векторное и смешанное произведение. Проекции векторов. Примеры использования векторов в задачах физики.
- •§11. Уравнение прямой на плоскости в векторной форме.
- •Варианты контрольных работ
- •Дополнение 1 Вещественные числа
- •Сечения множества рациональных чисел
- •Перерізи множини раціональних чисел.
- •Сравнение сечений множества рациональных чисел
- •Порівняння перерізів множними раціональних чисел.
- •Теоремы об аппроксимации вещественных чисел рациональными
- •Теореми про апроксимацію дійсних чисел раціональними.
- •Теорема Дедекинда (непрерывность множества вещественных чисел)
- •Теорема Дедекінда (непрерівність множини дійсних чисел).
- •Сложение вещественных чисел
- •Додавання дійсних чисел
- •Произведение вещественных чисел
- •Дополнение 2 Исчисление высказываний
- •II. Правила построения формул ив.
- •III. Правила вывода ив
- •IV. Аксиомы ив.
- •V.Вывод
- •VI .Интерпретации
- •Математическая логика. Mathematical Logic Математична логіка
- •Формальный язык (аксиоматическая теория) и метаязык
- •Знаки, знакосочетания, алфавит.
- •Знаки, знакосполучення, алфавіт
- •Операции над словами
- •Операції над словами.
- •Выражения формального языка
- •Вирази формальної мови
- •Структурные знаки формального языка
- •Структурні знаки формальної мови
- •Переменные и константы (постоянные)
- •Зминні та сталі (константи)
- •Дополнение 3 Теорема про граничный переход в равенстве.
- •Дополнение 4 § теория пределов
- •Непрерывность и дифференцируемость
§ Бином Ньютона
Приведем и докажем очень важную формулу, предназначенную для возведения суммы двух слагаемых в натуральную степень. Эта формула называется формулой бинома Ньютона.
.
∆ Доказательство теоремы проведем по методу математической индукции:
а)
При
имеем
![]()
т. е. при
равенство выполняется.
б)
Допустим равенство выполняется при
т.е.
.
Рассмотрим
=
=
=
=
=
=
=…

…=![]()
.
т.е.
из справедливости формулы при
следует её справедливость при
.
По методу математической индукции
формула бинома Ньютона доказана. ▲
Следствия из формулы бинома Ньютона:
,
.
1
Свойство сочетаний:
,
1 1 полученное выше
1 2 1 даёт способ вычисления коэффициентов
1
3 3 1 разложения
.
Эти коэффициенты
1 4 6 4 1 называются биноминальными.
1 5 10 10 5 1 Этот способ демонстрирует, так называемый,
… … … … ... треугольник Паскаля:
§ Предел функции по гейне ( по последовательности)
Пределом
функции f (x)
по последовательности
xn
называется
.
Пример
Рассмотрим
.
Для этой функции
не существует.
Однако
при
и , следовательно,
.
Т. Если существует предел функции f (x) по всякой последовательности
xn a (xn D(f )) отличной от а то все эти пределы равны и существует
равный их общему значению предел функции в точке а.
∆
а)
Пусть : xn
a
(xn
a
) и
(
) .
и
пусть
и
.
Рассмотрим
новую последовательность
такую, что:
а
( kN
) т.е. между элементами последовательности
вставим элементы последовательности
.
Учитывая,
что
,
для этой последовательности получим
.
Но
…
начиная с некоторого номера k1.
начиная с
некоторого номера k2.
Тогда
.
Из
свойства отделимости точек числовой
прямой следует, что
и
значит не существует
,
если
.Значит:
.
б)
Пусть теперь
.
Здесь b общее значение
пределов функции по всем последовательностям
. Тогда:
.
Построим
последовательность
такую, что:
N
.
Для
нее
и, следовательно,
,
что вновь противоречит условию теоремы.
Как говорится, противоречие доказывает
теорему. ▲
Доказанная теорема свидетельствует о том, что:
Предел функции по Гейне и по Коши – понятия эквивалентные.
§ Число e.
-иррациональное
число.
∆ Рассмотрим
последовательность
:
10.
![]()
+…+
=
.
Тогда:
.
Из последнего неравенства следует, что
.
Т.е.
последовательность
-ограничена.
20.
![]()
,
т.
е.
и, следовательно, последовательность
возрастающая.
Таким
образом, установлено, что последовательность
монотонно возрастающая и ограниченна
сверху . Следовательно, существует и
конечен предел этой последовательности
R.
Предел этой последовательности называется числом e . Некоторое количество первых значащих цифр его численного значения приведено выше.
Для их запоминания часто применяют следующее мнемоническое правило запомните число 2,7 далее два раза напишите год рождения Льва Толстого 1828
и два раза половина прямого угла 45, между которыми стоит прямой угол 90.
Обозначение
ввел Я. Эйлер (
- первая буква в слове exponenta).
Обозначение стало общеупотребительным,
так как напоминает и об Я. Эйлере (
- первая буква фамилии Euler
Leonard, 1707-1783).
.
Эйлер ввел также
(греч.
- окружность) в 1736 г. И хотя еще в 1706 г. то
же сделал У. Джонсон (W.
Johnson), только после Эйлера
обозначение стало обще употреби-тельным.
,
3.141…3.146
Тот же результат можно получить, воспользовавшись неравенством Я. Бернулли:
если
и
,
причем
.
Для натурального
,
,
и положительного
неравенство очевидно из формулы бинома:
.
Для натурального
,
,
и
доказывается методом математической
индукции: первый шаг индукции
,
предположение индукции
,
индуктивный шаг
.
В общем случае (для вещественных показателей) легко доказывается методами дифференциального исчисления.
Для последующего
рассуждения требуется только доказанное
здесь (
натуральное).
>
=
=
.
- последовательность
возрастает (
).
Далее определим последовательность:
.
Тогда для нее:
=
=
=
>
>
=
> 1.
- последовательность
убывает. Очевидно
.
Если
,
то
- любой член одной последовательности
ограничивает другую последовательность.
Следовательно:
.
Но
.
§. Ряд для e. Series for e.
Отбрасывая в
выражении
для
все (положительные) слагаемые после k+1
имеем:
![]()
Существование
предела слева доказано, предел справа
очевидно существует, поэтому в пределе
получаем двойное неравенство:
;
.
Учитывая что, и
правая и левая части неравенства
стремятся к
,
по принципу двустороннего ограничения
получаем:
;
![]()
- представление
в виде суммы числового ряда.
Теперь:
=
<
<
= …
Заменяем множители,
большие
на
(уменьшение знаменателей – увеличение
слагаемых и суммы)
… =
<
,
поскольку:
.
Значит
.
Обозначая
,
,
получим
.
,
где
.
Пользуясь этой
формулой легко вычислить
вручную (без калькулятора) с любой
разумной точностью (достаточной для
большинства «практических» задач).
Прежде чем делать это, получим ещё одно
представление числа
в виде. Для этого заметим, что:
=
=
=
=
.
Величина убывает
к
,
поскольку слагаемые в сумме положительны.
=
=
.
Для разности
имеем
=
=
<
<
=
=
,
поскольку
.
,
где
.
Пользуясь полученными
формулами, можно вычислим число
с необходимым количеством верных знаков
после запятой.
