xyz空間に、原点を始点とする大きさ1の相異なるn(n≥6)個のベクトルvi(i=1,2,...,n)があり、任意のj,kに対してvj・vk≤1/2であるという。
vi=(xi,yi,zi)と成分表示すると、xm>0かつym>0であるvmが存在することを示せ。