空间任意力系的合力（假设合力存在）大小一定等于该力系向任一点简化的主矢的大小