20/10/03 00:24:32.03 /MzJzb3g.net
>>864の問題自体は1つの解法として
正30角形の円分多項式を使うものがあるけど、それは先の5つの基本変形から独立なのか微妙
12度単位の関係式自体は先の5つを組み合わせると出せる
それとこんな変形も見つけた
(6)ツイスト
sin(A+Δ)sin(A-B+90)sin(B-Δ)
=sin(Δ-A+B+X)sinΔsin(90-A+B-X)
の形のとき、AとBを入れ替えたものに書き換える
この(6)が先の5つの変形と独立かどうかも気になる
というか、6つ組に対してもっと一般的な捻り方があるんかな