Математика / Пределы, ряды

Аддитивность на промежутке

Интеграл по большому отрезку равен сумме интегралов по частям, если c принадлежит [a,b]. Эта страница показывает не только формулу, но и условия ее применения, типичные ошибки и связь с соседними правилами определенного интеграла.

Опубликовано: Обновлено:

Формула

$$\int_a^b f(x)\,dx = \int_a^c f(x)\,dx + \int_c^b f(x)\,dx$$

Обозначения

$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] или пределы записаны в обратном направлении, формула все еще может быть верной алгебраически, но требует аккуратного учета знаков.

Дополнительный смысл этой записи в том, что определенный интеграл всегда связан с промежутком, а не только с формальной операцией над функцией. Поэтому в решении нужно явно держать вместе три вещи: подынтегральную функцию, границы и интерпретацию результата. Без этой связки одна и та же алгебраическая запись может означать площадь, накопление, среднее значение или ориентированный вклад со знаком.

Как пользоваться формулой

  1. Выберите удобную точку c.
  2. Разложите исходный интеграл на два.
  3. Найдите каждый интеграл отдельно.
  4. Сложите результаты.

Историческая справка

Аддитивность была одной из первых формально зафиксированных аксиом интегральной длины, ставших стандартом в курсе интеграла.

Аддитивность площади была очевидной геометрической идеей еще до появления анализа: если фигуру разрезать на непересекающиеся части, их площади складываются. В интегральном исчислении эта идея стала свойством определенного интеграла. В строгой теории оно доказывается через интегральные суммы или меры. Для учебного курса это одно из тех правил, которые сохраняют связь между наглядной площадью и аналитической записью.

В учебной традиции эта тема закрепилась потому, что она соединяет наглядную геометрию площади с вычислительной техникой первообразных. Поздняя строгая формализация не отменила старую интуицию, а уточнила условия, при которых наглядные рассуждения действительно дают корректную формулу. Поэтому исторический блок здесь нужен не как украшение, а как способ объяснить происхождение ограничений.

Историческая линия формулы

Используется на практике с начала учебной традиции интегрального исчисления. Свойство аддитивности относится к базовой структуре интеграла и площади. Его корректнее связывать не с одним автором, а с развитием строгого понятия интеграла.

Пример

∫_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
  • Московский курс анализа: интегральные преобразования

Связанные формулы

Математика

Обозначение неопределённого интеграла

$\int f(x) \,dx = F(x)+C$

Неопределённый интеграл — это запись класса всех первообразных функции f(x). В отличие от определённого интеграла, здесь не стоит предел интегрирования, и результат всегда даёт семейство функций, отличающихся константой. Запись \(\int f(x)dx\) является краткой формой для «все функции F, у которых производная равна f». Такая форма сохраняет единый смысл в вычислениях и упрощает использование правил интегрирования.

Математика

Линейность неопределенного интеграла

$\int (\alpha f(x)+\beta g(x))\,dx = \alpha\int f(x)\,dx + \beta\int g(x)\,dx$

Линейность позволяет переносить константы и разносить сумму под интегральным знаком. Это одно из базовых правил вычисления неопределенных интегралов, напрямую вытекающее из линейности производной в обратную сторону. Если интеграл от суммы разложить на сумму интегралов, заметно упрощается вычисление и сводятся сложные выражения к базовым формам.

Математика

Метод подстановки в интегрировании

$\int f(g(x))g'(x)\,dx = \int f(u)\,du, \quad u=g(x)$

Подстановка (или метод замены переменной) переносит интеграл к более удобной переменной. Идея: если подынтегральное выражение содержит композицию f(g(x)) и рядом стоит производная g'(x), делаем замену u=g(x), тогда dx заменяется через du. Это переводит задачу в более простую форму.