Exercise 4.3.9 ($\sum_{x=1}^n x = n(n+1)/2$)

By use of the algebraic identity ( x + 1 ) 2 − x 2 = 2 x + 1 , establish that ( n + 1 ) 2 − 1 2 = ∑ ⁡ x = 1 n ( x + 1 ) 2 − x 2 = ∑ x = 1 n ( 2 x + 1 ) and so derive the result ∑ ⁡ x = 1 n x = n ( n + 1 ) ∕ 2 .

Answers

Proof. The usual properties of sums give

∑ i = 1 n [ ( i + 1 ) 2 − i 2 ] = ∑ i = 1 n ( i + 1 ) 2 − ∑ i = 1 n i 2 = ∑ j = 2 n + 1 j 2 − ∑ j = 1 n j 2 ( j = i + 1  in the first sum ) = ( ( n + 1 ) 2 + ∑ j = 2 n j 2 ) − ( 1 + ∑ j = 2 n j 2 ) = ( n + 1 ) 2 − 1 .

Since ( i + 1 ) 2 − i 2 = 2 i + 1 for all i , we obtain

∑ i = 1 n ( 2 i + 1 ) = ( n + 1 ) 2 − 1 . (1)

(So the sum of the n first odd integers is equal to n 2 .)

We define S ( n ) = ∑ ⁡ i = 1 n i for all positive integer n . By (1),

( n + 1 ) 2 − 1 = ∑ i = 1 n ( 2 i + 1 ) = 2 ∑ i = 1 n i + ∑ i = 1 n 1 = 2 S ( n ) + n .

Therefore

S ( n ) = ( n + 1 ) 2 − ( n + 1 ) 2 = n ( n + 1 ) 2 .

For all positive integer n ,

∑ i = 1 n i = n ( n + 1 ) 2 .

□

User profile picture
2025-01-27 09:26
Comments