求和符号运算法则