09.12.2012 Views

Concrete mathematics : a foundation for computer science

Concrete mathematics : a foundation for computer science

Concrete mathematics : a foundation for computer science

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

30 SUMS<br />

2.3 MANIPULATION OF SUMS Not to be confused<br />

with finance.<br />

The key to success with sums is an ability to change one t into<br />

another that is simpler or closer to some goal. And it’s easy to do this by<br />

learning a few basic rules of trans<strong>for</strong>mation and by practicing their use.<br />

Let K be any finite set of integers. Sums over the elements of K can be<br />

trans<strong>for</strong>med by using three simple rules:<br />

x cak = c pk;<br />

(distributive law) (2.15)<br />

kEK kEK<br />

~iak+bk) = &+~bk; (associative law) (2.16)<br />

kEK kEK UK<br />

x ak = x %(k) * (commutative law) (2.17)<br />

kEK p(k)EK<br />

The distributive law allows us to move constants in and out of a t. The<br />

associative law allows us to break a x into two parts, or to combine two x’s<br />

into one. The commutative law says that we can reorder the terms in any way<br />

we please; here p(k) is any permutation of the set of all integers. For example, Why not call it<br />

if K = (-1 (0, +l} and if p(k) = -k, these three laws tell us respectively that permutative instead<br />

of commutative?<br />

ca-1 + cao + cal = c(a-j faofal); (distributive law)<br />

(a-1 Sb-1) + (ao+b) + (al +bl)<br />

= (a-l+ao+al)+(b-l+bo+bl); (associative law)<br />

a-1 + a0 + al = al + a0 + a-1 . (commutative law)<br />

Gauss’s trick in Chapter 1 can be viewed as an application of these three<br />

basic laws. Suppose we want to compute the general sum of an arithmetic<br />

progression,<br />

S = x (afbk).<br />

O

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!