Математика / Пределы, ряды
Аддитивность на промежутке
Интеграл по большому отрезку равен сумме интегралов по частям, если c принадлежит [a,b]. Эта страница показывает не только формулу, но и условия ее применения, типичные ошибки и связь с соседними правилами определенного интеграла.
Формула
Обозначения
- $a,b,c$
- граничные точки, числа
- $f(x)$
- функция на каждом подотрезке, зависит от задачи
Условия применения
- c лежит между a и b.
- Интегралы по [a,c] и [c,b] существуют.
- f интегрируема на каждом подотрезке.
Ограничения
- Если функция имеет особенности в c, добавляется проверка сходимости.
- На практике удобнее выбирать c в точках изменения формулы функции.
Подробное объяснение
Формула вытекает из дискретной аддитивности мер (длины/объёмы сумм). При определении интеграла как предела суммы по разбиению, объединение двух разбиений даёт ту же общую площадь с учётом объединения промежутков.
Аддитивность говорит, что \int_a^b f(x)dx = \int_a^c f(x)dx + \int_c^b f(x)dx, если интегралы существуют. Смысл прост: накопление от a до b можно пройти через промежуточную точку c. В геометрии это сложение площадей соседних полос, в физике - суммирование работы или пути на последовательных этапах. Свойство особенно полезно для кусочно заданных функций. Оно позволяет не пытаться найти одну универсальную формулу на всем отрезке, а честно работать с каждым участком. При этом порядок пределов остается важным: если c лежит вне [a,b] или пределы записаны в обратном направлении, формула все еще может быть верной алгебраически, но требует аккуратного учета знаков.
Дополнительный смысл этой записи в том, что определенный интеграл всегда связан с промежутком, а не только с формальной операцией над функцией. Поэтому в решении нужно явно держать вместе три вещи: подынтегральную функцию, границы и интерпретацию результата. Без этой связки одна и та же алгебраическая запись может означать площадь, накопление, среднее значение или ориентированный вклад со знаком.
Как пользоваться формулой
- Выберите удобную точку c.
- Разложите исходный интеграл на два.
- Найдите каждый интеграл отдельно.
- Сложите результаты.
Историческая справка
Аддитивность была одной из первых формально зафиксированных аксиом интегральной длины, ставших стандартом в курсе интеграла.
Аддитивность площади была очевидной геометрической идеей еще до появления анализа: если фигуру разрезать на непересекающиеся части, их площади складываются. В интегральном исчислении эта идея стала свойством определенного интеграла. В строгой теории оно доказывается через интегральные суммы или меры. Для учебного курса это одно из тех правил, которые сохраняют связь между наглядной площадью и аналитической записью.
В учебной традиции эта тема закрепилась потому, что она соединяет наглядную геометрию площади с вычислительной техникой первообразных. Поздняя строгая формализация не отменила старую интуицию, а уточнила условия, при которых наглядные рассуждения действительно дают корректную формулу. Поэтому исторический блок здесь нужен не как украшение, а как способ объяснить происхождение ограничений.
Историческая линия формулы
Используется на практике с начала учебной традиции интегрального исчисления. Свойство аддитивности относится к базовой структуре интеграла и площади. Его корректнее связывать не с одним автором, а с развитием строгого понятия интеграла.
Пример
∫_0^2 (1+x)dx = ∫_0^1 (1+x)dx + ∫_1^2 (1+x)dx = 3/2+5/2=4. Пример. Пусть f(x)=|x| на [-2,3]. Удобно разбить отрезок в точке 0: \int_{-2}^3 |x|dx=\int_{-2}^0 (-x)dx+\int_0^3 xdx=2+9/2=13/2. Без разбиения легко ошибиться, потому что одна формула |x| не раскрывается одинаково на всем промежутке. Контроль результата: сначала оцените знак и порядок величины без вычислений. Если функция на выбранном отрезке положительна, интеграл не должен стать отрицательным; если речь идет о среднем значении, умножение ответа на длину отрезка должно вернуть исходный интеграл. Такая короткая проверка помогает поймать ошибку в пределах, знаке или выборе первообразной.
Частая ошибка
Типичная ошибка — двойной счёт участков или пропуск одного из пределов. Частые ошибки: разбивать отрезок в произвольном порядке и терять ориентацию пределов; забывать включить все части без пропусков и перекрытий; применять одну формулу функции после точки, где она меняется; считать, что аддитивность устраняет проблему разрыва без проверки существования интеграла на каждом участке.
Практика
Задачи с решением
Разделить интеграл по двум отрезкам
Условие. Вычислить ∫_0^4 x dx через c=2.
Решение. ∫_0^2 xdx + ∫_2^4 xdx =2+6=8.
Ответ. 8
Проверка с нулевой длиной
Условие. Вычислить ∫_1^3 |x-2|dx, разделив в c=2.
Решение. ∫_1^2 (2-x)dx + ∫_2^3 (x-2)dx =1/2+1/2=1.
Ответ. 1
Дополнительные источники
- Apostol, Calculus Vol. 1
- Stewart, Calculus: Early Transcendentals
- Московский курс анализа: интегральные преобразования
Связанные формулы
Математика
Обозначение неопределённого интеграла
Неопределённый интеграл — это запись класса всех первообразных функции f(x). В отличие от определённого интеграла, здесь не стоит предел интегрирования, и результат всегда даёт семейство функций, отличающихся константой. Запись \(\int f(x)dx\) является краткой формой для «все функции F, у которых производная равна f». Такая форма сохраняет единый смысл в вычислениях и упрощает использование правил интегрирования.
Математика
Линейность неопределенного интеграла
Линейность позволяет переносить константы и разносить сумму под интегральным знаком. Это одно из базовых правил вычисления неопределенных интегралов, напрямую вытекающее из линейности производной в обратную сторону. Если интеграл от суммы разложить на сумму интегралов, заметно упрощается вычисление и сводятся сложные выражения к базовым формам.
Математика
Метод подстановки в интегрировании
Подстановка (или метод замены переменной) переносит интеграл к более удобной переменной. Идея: если подынтегральное выражение содержит композицию f(g(x)) и рядом стоит производная g'(x), делаем замену u=g(x), тогда dx заменяется через du. Это переводит задачу в более простую форму.