=n*(n 1)*(2n 1) 6 这个公式怎么推导出来的