Пусть y = uv, тогда y' = u'v + uv':
Решим левый интеграл:
cosx = \frac{1-t^2}{1+t^2} => dx = \frac{2}{1+t^2}dt\\ \int \frac{2(1+t^2)}{(1+t^2)(1-t^2)} dt = \int \frac{2}{(1-t)(1+t)}dt = \int ( \frac{1}{1-t} + \frac{1}{1+t})dt = ln(1-t)+ln( 1+t) = ln|1-t^2| = ln|1-tg^2\frac{x}{2}| \\" class="latex-formula" id="TexFormula2" src="https://tex.z-dn.net/?f=%5Cint%20%5Cfrac%7Bdx%7D%7Bcosx%7D%3B%5C%5C%20tg%5Cfrac%7Bx%7D%7B2%7D%3Dt%20%3D%3E%20cosx%20%3D%20%5Cfrac%7B1-t%5E2%7D%7B1%2Bt%5E2%7D%20%3D%3E%20dx%20%3D%20%5Cfrac%7B2%7D%7B1%2Bt%5E2%7Ddt%5C%5C%20%20%5Cint%20%5Cfrac%7B2%281%2Bt%5E2%29%7D%7B%281%2Bt%5E2%29%281-t%5E2%29%7D%20dt%20%3D%20%5Cint%20%5Cfrac%7B2%7D%7B%281-t%29%281%2Bt%29%7Ddt%20%3D%20%5Cint%20%28%20%5Cfrac%7B1%7D%7B1-t%7D%20%2B%20%5Cfrac%7B1%7D%7B1%2Bt%7D%29dt%20%3D%20ln%281-t%29%2Bln%28%201%2Bt%29%20%3D%20ln%7C1-t%5E2%7C%20%3D%20ln%7C1-tg%5E2%5Cfrac%7Bx%7D%7B2%7D%7C%20%20%5C%5C" title="\int \frac{dx}{cosx};\\ tg\frac{x}{2}=t => cosx = \frac{1-t^2}{1+t^2} => dx = \frac{2}{1+t^2}dt\\ \int \frac{2(1+t^2)}{(1+t^2)(1-t^2)} dt = \int \frac{2}{(1-t)(1+t)}dt = \int ( \frac{1}{1-t} + \frac{1}{1+t})dt = ln(1-t)+ln( 1+t) = ln|1-t^2| = ln|1-tg^2\frac{x}{2}| \\">
Возвращаемся к исходному:
4sina*sin(п/3+a)*sin(п/3-a)=sin3a
Рассмотрим левую часть: 4sina*sin(п/3+a)*sin(п/3-a) = 4sina*(sin(п/3)*cos(a) + cos(п/3)*sin(a)) * (sin(п/3)*cos(a) - cos(п/3)*sin(a)) = (в двух последних скобках - это произведение суммы и разности двух чисел: (a-b)(a+b)=a²-b², воспользуемся этой формулой и раскроем скобки) = 4sina*( sin² (п/3)*cos² (a) - cos² (п/3) * sin² (a) ) =
4sina*( 1/4*cos² (a) – 3/4 * sin² (a) ) = (сокращаем на 4, и воспользуемся тем что соs² = 1-sin² ) = sina*( 1 – sin² (a) - 3*sin² (a)) = sina*( 1 –4*sin² (a))
Рассмотрим правую часть: sin3a= sina – 4*sin³ (a)) = sina*( 1 –4*sin² (a))
Следовательно, выражения в левой и правой частях тождественно равны.
