Symbolic summation.
Khác với tài liệu tham chiếu .wl: Symbolic `Sum` is limited to monomials from 1
Có thể kiểm tra độc lập: câu trả lời của hàm này được suy ra lại theo một hướng khác rồi so sánh - bàn làm việc và công cụ verify làm việc này tự động, nên câu trả lời sai bị phát hiện thay vì được tin dùng. Lịch sử →
Dạng Sum[f, {i, imax}]
Sum[f, {i, imin, imax}]
Sum[f, {i, imin, imax, di}]
Sum[f, {i, {i1, i2, …}}]
Sum[f, {i, imin, imax}, {j, jmin, jmax}, …]
Sum[f, i]
Ví dụ đã kiểm chứng Sum[k, {k, 1, 10}]
→ 55 Sum[k^2, {k, 1, n}]
→ (n*(1 + n)*(1 + 2*n))/6 Sum[1/k^2, {k, 1, Infinity}]
→ Pi^2/6 Sum[(-1)^n x^(2n+1)/Factorial[2n+1], {n, 0, Infinity}]
→ Sin[x] Sum[n, {n, 1, 10}, Method -> Automatic]
→ 55 Sum[n, {n, 1, Infinity}, Regularization -> "Dirichlet"]
→ -1/12 Sum[n^3, {n, 1, Infinity}, Regularization -> "Dirichlet"]
→ 1/120 Sum[(-1)^n, {n, 1, Infinity}, Regularization -> "Abel"]
→ -1/2 Sum[(-1)^n n, {n, 1, Infinity}, Regularization -> "Abel"]
→ -1/4 Sum[1/n, {n, 1, Infinity}, Regularization -> "Dirichlet"]
→ Sum[n^(-1), {n, 1, Infinity}, Regularization -> Dirichlet] Tùy chọn Assumptions — default $Assumptions GenerateConditions — default False GeneratedParameters — default None Method — default Automatic Regularization — default None VerifyConvergence — default True