[ 東京工業大学 1977 年 7 ]
cos sin
sin cos
r r
r r
( r 0)
の形の相異なる3
個の行列からなる集合S
が,条件:
S
に属する任意の行列の積はふたたびS
に属する。を満たすとき,次の問に答えよ。
(1) cos sin
sin cos
r r
r r S
のとき,r
を求めよ。(2) S
を定めよ。(1) cos sin
( ) sin cos
A
とおく。S
に属する行列はrA ( )
と表され,条件よりr A
2(2 ), r A
3(3 ),
はすべてS
に属する。ここで,
r 1
とするとr A n
n( ) ( n 1, 2, 3, )
はすべて異なる行列で,S
の元が3
個であることに反する。よってr 1
(2) S
の要素をA
(0 ≦ 2
)とすると,
A
2
,A
3 もS
の要素であることが必要であり,
条件よりこの
3
つは異なるので
2
A A
,A
2 A3 ,A
3 A …①
A
3 A …①
である。このもとで,
A
4 A , A4 A2 , A4 A3 のいずれかが成り立つ。
, A4 A3 のいずれかが成り立つ。
のいずれかが成り立つ。
E
を単位行列として
A
4 A
のとき,A
1 をかけて A
3 E より A 3 E
となり,
A 3 E
となり,cos 3 1
より3 2 k ( k 0, 1, 2)
から2 4
0, ,
3 3
4 2
A A
のとき,A
1 をかけると A
3 A より③に矛盾する。
4 3
A A
のとき,A
1 をかけると A
3 A2 より②に矛盾する。
より②に矛盾する。
したがって
0 , 2 , 4
3 3
S A A A
となる。逆にこのとき,
S
は条件を満たしている。したがって求める