半正矢定理