A_nを2π/nの2次の回転行列
B_1を(x､y)→(-x､y)
B_2を(x､y)→(x､-y)
なる2次の行列とする．
このときA_ｎとB_1，B_2が生成する
行列の群は決定できるか？

という問題で、
n=3なら12
n=4なら8
n=6なら12
になるんで
ｎが奇数なら4ｎ
ｎが偶数なら2ｎ
とおもうんですけど，これ証明できます？？？