Т.к. sin(x) - непрерывная функция, она интегрируема, и можно выбирать любое разбиение с любыми точками на нем. Разобьем [a,b] на n равных частей и возьмем значения функции в левых точках получившихся отрезков: ∑ sin(a + k*(b-a)/n) * (b-a)/n, где k = 0 .. n-1
Здесь были применены формулы cos(x+y) = cos(x)cos(y) - sin(x)sin(y) cos(x-y) = cos(x)cos(y) + sin(x)sin(y) Тогда sin(x)sin(y) = 1/2 (cos(x-y) - cos(x+y)) Где x = a + k*(b-a)/n, y = (b-a)/2n
y было выбрано так, чтобы все косинусы, кроме крайних, попадали в сумму с разными знаками и сокращались.
Исходная сумма ∑ sin(a + k*(b-a)/n) * (b-a)/n преобразуется к виду (b-a)/n * 1/(2sin( (b-a)/2n )) * ∑ [cos(a + (k-1/2)*(b-a)/n) - cos(a + (k+1/2)*(b-a)/n)], k = 0 .. n-1
Т.к. cos(a + (k + 1/2) * (b-a)/n) = cos(a + ((k+1)-1/2) * (b-a)/n), соответствующие слагаемые в сумме сокращаются, как и рассчитывалось. Т.е.
При n ⇒ ∞, это выражение стремится к cos(a) - cos(b)
Что касается коэффициента (b-a)/n * 1/(2sin( (b-a)/2n )) перед суммой, при n ⇒ ∞ синус стремится к своему аргументу, т.е. (b-a)/n * 1/(2sin( (b-a)/2n )) ⇒ (b-a)/n * 1/(2 * (b-a)/2n)) = 1
Т.е. сумма стремится cos(a) - cos(b) при n ⇒ ∞, причем этот предел по определению и является искомым определенным интегралом (диаметр разбиения (b-a)/n стремится к 0)
Объяснение:
Рациональным называется число, которое можно записать простой дробью: q / s, где q - целое, s - натуральное.
Разность рациональных чисел - это рациональное число.
Доказательство:
k/m - n/p = (kp - mn) / mp = q / s,
где q = kp - mn (целое), s = mp (натуральное)
a^2 и b^2 - рациональные числа.
Значит, их разность также является рациональным числом.
Разложим разность квадратов:
a^2 - b^2 = (a - b)(a + b)
Отсюда a + b = (a^2 - b^2) / (a - b)
Это частное рациональных чисел.
Выясним, является ли рациональным частное рациональных чисел.
(k/m) / (n/p) = kp / mn = q / s,
где q = kp (целое), s = mn (натуральное)
при условии, что n/p (делитель) не равен 0.
Да: частное рациональных чисел также рационально.
a + b = (a^2 - b^2) / (a - b) - это частное, в котором делитель (a - b) не равен 0 (так как a не равно b).
Следовательно, a + b - рациональное число, ч. т. д.
∑ sin(a + k*(b-a)/n) * (b-a)/n, где k = 0 .. n-1
Далее преобразуем слагаемые в разности косинусов:
sin(a + k*(b-a)/n) = sin(a + k*(b-a)/n) * sin( (b-a)/2n ) / sin( (b-a)/2n ) = 1/(2sin((b-a)/2n)) * [cos(a + (k-1/2)*(b-a)/n) - cos(a + (k+1/2)*(b-a)/n)]
Здесь были применены формулы
cos(x+y) = cos(x)cos(y) - sin(x)sin(y)
cos(x-y) = cos(x)cos(y) + sin(x)sin(y)
Тогда sin(x)sin(y) = 1/2 (cos(x-y) - cos(x+y))
Где x = a + k*(b-a)/n, y = (b-a)/2n
y было выбрано так, чтобы все косинусы, кроме крайних, попадали в сумму с разными знаками и сокращались.
Исходная сумма ∑ sin(a + k*(b-a)/n) * (b-a)/n преобразуется к виду
(b-a)/n * 1/(2sin( (b-a)/2n )) * ∑ [cos(a + (k-1/2)*(b-a)/n) - cos(a + (k+1/2)*(b-a)/n)], k = 0 .. n-1
Т.к. cos(a + (k + 1/2) * (b-a)/n) = cos(a + ((k+1)-1/2) * (b-a)/n), соответствующие слагаемые в сумме сокращаются, как и рассчитывалось. Т.е.
∑ [cos(a + (k-1/2)*(b-a)/n) - cos(a + (k+1/2)*(b-a)/n)] = cos(a - 1/2 (b-a)/n) - cos(a + (n - 1/2)*(b-a)/n)
При n ⇒ ∞, это выражение стремится к cos(a) - cos(b)
Что касается коэффициента (b-a)/n * 1/(2sin( (b-a)/2n )) перед суммой, при n ⇒ ∞ синус стремится к своему аргументу, т.е. (b-a)/n * 1/(2sin( (b-a)/2n )) ⇒ (b-a)/n * 1/(2 * (b-a)/2n)) = 1
Т.е. сумма стремится cos(a) - cos(b) при n ⇒ ∞, причем этот предел по определению и является искомым определенным интегралом (диаметр разбиения (b-a)/n стремится к 0)