Т.к. 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)
y=Π/3-x
sin x+cos(Π/3-x)=1
sin x+cos Π/3*cos x+sin Π/3*sin x=1
sin x*(1+√3/2)+cos x*1/2=1
Переходим к половинным аргументам и умножаем все на 2.
2sin(x/2)*cos(x/2)*(2+√3) + cos^2(x/2) - sin^2(x/2) = 2cos^2(x/2)+2sin^2(x/2)
Переносимости все в одну сторону
3sin^2(x/2) - (4+2√3)*sin(x/2)*cos(x/2) + cos^2(x/2) = 0
Делим все на cos^2(x/2)
3tg^2(x/2)-(4+2√3)*tg(x/2)+1=0
Замена t=tg(x/2)
3t^2-(4+2√3)*t+1=0
Получили обычное квадратное уравнение
D/4=(2+√3)^2-3*1=4+4√3+3-3= 4+4√3
t1=tg(x/2)=[2+√3-√(4+4√3)]/3
t2=tg(x/2)=[2+√3+√(4+4√3)]/3
Соответственно
x1=2*arctg(t1)+Π*n; y1=Π/3-x1
x2=2*arctg(t2)+Π*n; y2=Π/3-x2
∑ 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)