定理1
A,Bを任意の2つのベクトルとするとき、
(A・B)^2≦(A・A)(B・B)