04/12/09 03:29:54
三点(0,0)、(a,b)、(c,d)に対し回転行列
a/√(a^2+b^2) , b/√(a^2+b^2)
-b/√(a^2+b^2) , a/√(a^2+b^2)
を作用させる。
行列を
X Y
-Y X
とかけば
(a,b) → ( Xa+Yb , 0)
(c,d) → ( Xc+Yd , -Yc+Xd )
a^2+b^2+c^2+d^2+ac+bd≧√3が成立するならば
(Xa+Yb)^2 + 0^2 + (Xc+Yd)^2 + (-Yc+Xd)^2 + (Xa+Yd)(Xc+Yd)≧√3
も成立するはず
新しく
aをXa+Yb
bを0
cをXc+Yd
dを-Yc+Xd
で置き直せば>>737になると思う。