Классические теоремы математического анализа и геометрии¶
Теорема — это утверждение, истинность которого устанавливается посредством логического доказательства на основе ранее доказанных положений, аксиом и определений. В математике, физике и смежных дисциплинах теоремы образуют связную систему знаний: одни из них носят фундаментальный характер и лежат в основании целых разделов, другие служат рабочим инструментом для решения прикладных задач. Ниже рассматривается ряд классических теорем, традиционно изучаемых в курсах математического анализа, геометрии и теории поля.
¶Теорема о неявной функции
Теорема о неявной функции относится к математическому анализу и описывает условия, при которых уравнение, связывающее несколько переменных, задаёт одну из них как функцию остальных.
В простейшей формулировке рассматривается уравнение F(x, y) = 0, где F — непрерывно дифференцируемая функция двух переменных. Если в некоторой точке (x₀, y₀) выполняется равенство F(x₀, y₀) = 0 и частная производная по y отлична от нуля (F′_y(x₀, y₀) ≠ 0), то в окрестности этой точки существует единственная непрерывно дифференцируемая функция y = f(x), для которой F(x, f(x)) = 0 и f(x₀) = y₀.
Производная неявной функции вычисляется по формуле:
f′(x) = − F′_x(x, y) / F′_y(x, y).
Теорема обобщается на случай многих переменных и систем уравнений: если якобиан системы отличен от нуля, система разрешима относительно части переменных. Утверждение лежит в основе метода неявных функций, применяется в дифференциальной геометрии при описании поверхностей и кривых, в теории оптимизации (метод множителей Лагранжа) и в экономико-математическом моделировании.
¶Теорема о пропорциональных отрезках
Теорема о пропорциональных отрезках (обобщённая теорема Фалеса) — утверждение планиметрии. Если параллельные прямые пересекают стороны угла, то они отсекают на сторонах пропорциональные отрезки: отношение отрезков на одной стороне равно отношению соответствующих отрезков на другой.
Частным случаем является теорема Фалеса: если параллельные прямые, пересекающие две данные прямые, отсекают на одной из них равные отрезки, то они отсекают равные отрезки и на другой.
Из теоремы вытекают важные следствия:
- теорема о средней линии треугольника — средняя линия параллельна основанию и равна его половине;
- теорема о пропорциональных отрезках в трапеции;
- свойство биссектрисы треугольника, делящей противоположную сторону на отрезки, пропорциональные прилежащим сторонам.
Утверждение широко используется при решении геометрических задач на подобие и построение.
¶Теорема о среднем
Теорема о среднем — группа утверждений математического анализа, связывающих значение функции с её производной или интегралом.
Теорема Лагранжа (теорема о конечных приращениях): если функция непрерывна на отрезке [a, b] и дифференцируема на интервале (a, b), то существует точка c внутри интервала, для которой
f(b) − f(a) = f′(c)(b − a).
Геометрически это означает, что найдётся точка, в которой касательная параллельна хорде, соединяющей концы графика.
Теорема Ролля — частный случай, когда f(a) = f(b): тогда существует точка, где производная равна нулю.
Теорема Коши обобщает результат Лагранжа на две функции и служит основой для правила Лопиталя раскрытия неопределённостей.
Теорема о среднем для интеграла: если функция непрерывна на отрезке, то существует точка c, в которой определённый интеграл равен произведению длины отрезка на значение функции в этой точке.
Теоремы о среднем применяются при доказательстве многих результатов анализа, в оценках погрешностей и в численных методах.
¶Теорема о трёх перпендикулярах
Теорема о трёх перпендикулярах — утверждение стереометрии. Если прямая, лежащая в плоскости, перпендикулярна проекции наклонной на эту плоскость, то она перпендикулярна и самой наклонной. Справедливо и обратное утверждение.
Формулировка опирается на понятия перпендикуляра, наклонной и её проекции. Теорема позволяет сводить вопросы о перпендикулярности прямой и наклонной в пространстве к планиметрической задаче о перпендикулярности в плоскости проекции.
Применяется при доказательстве теорем о расстояниях в пространстве, при построении сечений многогранников, в задачах на угол между прямой и плоскостью, а также в инженерной графике.
¶Теорема о циркуляции вектора магнитной индукции
Теорема о циркуляции вектора магнитной индукции (закон полного тока) — одно из фундаментальных соотношений магнитостатики, входящее в систему уравнений Максвелла.
Циркуляция вектора магнитной индукции B по замкнутому контуру пропорциональна алгебраической сумме токов, охватываемых этим контуром:
∮ B · dl = μ₀ · I,
где μ₀ — магнитная постоянная, I — суммарный ток через поверхность, натянутую на контур. В среде вместо μ₀ используется магнитная проницаемость.
Теорема позволяет просто вычислять магнитные поля систем с высокой симметрией: прямого проводника с током, соленоида, тороида, коаксиального кабеля. Она справедлива и в присутствии переменных полей в обобщённой форме с учётом тока смещения.
¶Значение и взаимосвязь
Перечисленные теоремы принадлежат разным разделам математики и физики, однако демонстрируют общий принцип: сложные объекты исследуются через локальные свойства — производные, проекции, потоки и циркуляции. Теоремы о среднем связывают глобальное изменение функции с её производной, теорема о неявной функции — алгебраические связи с дифференциальными, геометрические теоремы о пропорциях и перпендикулярах переводят пространственные задачи в плоские, а теорема о циркуляции устанавливает связь между распределением токов и создаваемым ими полем. В совокупности они образуют базовый аппарат, используемый в механике, электродинамике, вычислительной математике и инженерных расчётах.
Источники: учебники по математическому анализу, курсы аналитической геометрии и стереометрии, курсы общей физики (разделы магнитостатики), справочная математическая литература.