通过数学归纳法证明 sum _(k=1)^n k = (n(n+1))/(2) 。