Рассмотрим левую часть: 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))
Пусть - канонический базис в .
Тогда матрицу перехода можно найти следующим образом:
Если записать блочную матрицу и привести путем элементарных преобразований к виду , то
Матрицу легко получить: достаточно записать в столбцы координаты векторов базиса . Аналогично с матрицей .
В итоге необходимо получить вид следующей матрицы:
Вычтем первую строку из второй и третьей:
Вычтем из первой строки 2 третьих и поменяем их местами:
Вычтем из третьей строки вторую:
Прибавим ко второй строке 2 третьих и вычтем из первой третью:
Делим вторую строку на 3:
Прибавляем в первой строке 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))
Следовательно, выражения в левой и правой частях тождественно равны.