Skip to main content

Three Simple Rules for Sums

Mathematics · Summation · Transformation Rules

Three Simple Rules for Sums

Distributive law

Move constants in and out of a summation without changing the meaning of the sum.

Associative law

Split one summation into multiple parts, or combine multiple parts into a single sum.

Commutative law

Reorder terms through a permutation, as long as nothing is added, removed, or duplicated.

Introduction

The transformation of sums allows us to simplify an expression until it matches a known pattern or becomes easier to compute directly.

At a basic level, three algebraic rules do most of the work: distributive, associative, and commutative.

Main idea You do not always evaluate a sum by brute force. Often, you first reshape it.
Rule 1

Distributive Law

The distributive law allows us to move constants in and out of a \( \sum \):

\[ \sum_{k \in K} c a_k = c \sum_{k \in K} a_k \]

This is useful whenever the summand contains a factor that does not depend on the index.

Rule 2

Associative Law

The associative law allows us to break a sum into parts, or combine separate sums into one:

\[ \sum_{k \in K} (a_k + b_k) = \sum_{k \in K} a_k + \sum_{k \in K} b_k \]

This is one of the most common ways to simplify a summand that contains several terms.

Rule 3

Commutative Law

The commutative law allows us to reorder terms through a permutation, provided the underlying set is unchanged:

\[ \sum_{k \in K} a_k = \sum_{p(k) \in K} a_{p(k)} \]

This rule becomes especially helpful when a clever reindexing exposes symmetry.

Small example

A Concrete Example with \( K = \{-1,0,1\} \)

Let \( K = \{-1,0,1\} \) and let the permutation be \( p(k) = -k \). Then the three rules become very concrete.

Distributive law:

\[ ca_{-1} + ca_0 + ca_1 = c(a_{-1} + a_0 + a_1) \]

Associative law:

\[ (a_{-1}+b_{-1}) + (a_0+b_0) + (a_1+b_1) = (a_{-1}+a_0+a_1) + (b_{-1}+b_0+b_1) \]

Commutative law:

\[ a_{-1} + a_0 + a_1 = a_1 + a_0 + a_{-1} \]
Application

Applying the Three Laws to an Arithmetic Progression

Here is a standard example, drawn from the spirit of Concrete Mathematics. We want to compute

\[ S = \sum_{0 \le k \le n} (a + bk). \]

First, use the commutative law to reorder the index by replacing \(k\) with \(n-k\):

\[ S = \sum_{0 \le n-k \le n} (a + b(n-k)) = \sum_{0 \le k \le n} (a + bn - bk). \]

Next, use the associative law to add the two representations term-by-term:

\[ 2S = \sum_{0 \le k \le n} \bigl((a+bk) + (a+bn-bk)\bigr) = \sum_{0 \le k \le n} (2a + bn). \]

Finally, use the distributive law to move the constant \(2a+bn\) outside the sum:

\[ 2S = (2a+bn)\sum_{0 \le k \le n} 1 = (2a+bn)(n+1). \]

Dividing by 2 gives the familiar closed form:

\[ \sum_{k=0}^{n} (a+bk) = \left(a + \frac{1}{2}bn\right)(n+1). \]
Final simplification \[ \sum_{k=0}^{n} (a+bk) = \left(a + \frac{1}{2}bn\right)(n+1) \]
FAQ

Frequently Asked Questions

These are the practical questions students usually have when they first learn to manipulate sums symbolically.

Why is the distributive law useful in summation?

Because it lets you separate constants from the indexed part of the sum, which often makes the expression easier to evaluate.

Why split a sum with the associative law?

Because a complicated summand often becomes easier once it is broken into simpler component sums.

What does the commutative law really allow?

It allows reordering by permutation, as long as you are still summing exactly the same collection of terms.

Why does the arithmetic progression trick use \(n-k\)?

Because pairing \(k\) with \(n-k\) creates symmetry, and that symmetry makes the \(bk\) terms cancel.

What is the simplest way to remember these three laws?

Pull constants out, split sums apart, and reorder terms when symmetry helps.

Raell Dottin

Comments