Используем формулы приведения. если π или 2π, то сама функция не меняется, а если π/2 или 3π/2, то меняется а. sin(x-3pi/2)=cosx, т.к. находим на числовой окружности -3π/2 и прибавляем х, приходим в 1 четверть, там sin положительный, знак функции не меняем б. sin(x+3pi/2)=-сosx, т.к находим на числовой окружности 3π/2 и прибавляем х, приходим в 4 четверть, там sin отрицательный, знак функции меняем в. cos(x-3pi/2)=sinx, т.к. находим на числовой окружности -3π/2 и прибавляем х, приходим в 1 четверть, там cos положительный, знак функции не меняем г. cos(x+3pi/2)=sinx, т.к. находим на числовой окружности 3π/2 и прибавляем х, приходим в 4 четверть, там cos положительный, знак функции не меняем д. sin(x-pi)=-sinx, т.к. находим на числовой окружности -π и прибавляем х, приходим в 3 четверть, там sin положительный, знак функции меняем е. cos(x-pi)=cosx, т.к. находим на числовой окружности -π и прибавляем х, приходим во 2 четверть, там cos положительный, знак функции не меняем
Т.к. 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)
а. sin(x-3pi/2)=cosx, т.к. находим на числовой окружности -3π/2 и прибавляем х, приходим в 1 четверть, там sin положительный, знак функции не меняем
б. sin(x+3pi/2)=-сosx, т.к находим на числовой окружности 3π/2 и прибавляем х, приходим в 4 четверть, там sin отрицательный, знак функции меняем
в. cos(x-3pi/2)=sinx, т.к. находим на числовой окружности -3π/2 и прибавляем х, приходим в 1 четверть, там cos положительный, знак функции не меняем
г. cos(x+3pi/2)=sinx, т.к. находим на числовой окружности 3π/2 и прибавляем х, приходим в 4 четверть, там cos положительный, знак функции не меняем
д. sin(x-pi)=-sinx, т.к. находим на числовой окружности -π и прибавляем х, приходим в 3 четверть, там sin положительный, знак функции меняем
е. cos(x-pi)=cosx, т.к. находим на числовой окружности -π и прибавляем х, приходим во 2 четверть, там cos положительный, знак функции не меняем
∑ 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)