是哪個數學家在七歲於上課時提出1+2+3+…+100=5050的快速算法?