t,x1,...,xn,y1,...,ynを実数とする時
(x1t-y1)^2+(x2t-y2)^2+...+(xnt-yn)^2>=0
これから導かれます。