向量范数证明例题