通过1+2+3+4+5+6+7+8+9+10……+100求出的公式是什么?叫什么?