Т.к. 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)
Лексель Котов – архимагос исследовательского флота Котова
Таркис Блейлок – фабрикатус-локум, магос региона Кебрения
Виталий Тихон – звёздный картограф орбитальных галерей Кватрии
Линья Тихон – звёздный картограф, дочь Виталия Тихона
Азурамаджелли – магос астронавигации
Криптаэстрекс – магос логистики
Тарентек – фабрикатус ковчега
Хиримау Дахан – секутор/сюзерен гильдии
Хирона Манубия – магос кузни “Электрус”
Тота Мю-32 – надсмотрщик Механикус
Авреем Локк – крепостной
Расселас Х-42 – аркофлагеллант
Ванн Койн – крепостной
Юлий Хоук – крепостной
Исмаил де Рёвен – сервитор
Галатея – запрещённый машинный интеллект
Экснихлио
Веттий Телок – архимагос исследовательского флота Телока
“Ренард”
Робаут Сюркуф – капитан
Эмиль Надер – первый
Адара Сиаваш – наёмный стрелок
Иланна Павелька – техножрец
Каирн Силквуд – технопровидец
∑ 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)