06.01.2015 Views

The Real And Complex Number Systems

The Real And Complex Number Systems

The Real And Complex Number Systems

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

1 fp k fp k2 ... ∑fp k n<br />

n0<br />

1<br />

1 − fp k <br />

since |fp k | 1 for all p k . (Suppose NOT, then |fp k | ≥ 1 |fp kn | |fp k | n ≥ 1<br />

contradicts to lim n→ fn 0. ).<br />

Hence,<br />

<br />

∑<br />

n1<br />

<br />

fn <br />

k1<br />

1<br />

1 − fp k .<br />

8.46 This exercise outlines a simple proof of the formula 2 2 /6. Start with the<br />

inequality sinx x tan x, valid for 0 x /2, taking recipocals, and square each<br />

member to obtain<br />

cot 2 x 1 1 cot<br />

x 2 x.<br />

2<br />

Now put x k/2m 1, wherek and m are integers, with 1 ≤ k ≤ m, and sum on k to<br />

obtain<br />

m<br />

∑ cot 2 k<br />

m<br />

m<br />

2m 12<br />

<br />

2m 1<br />

∑<br />

1 m ∑ cot<br />

2 k 2<br />

2<br />

2m k<br />

1 .<br />

k1<br />

k1<br />

k1<br />

Use the formula of Exercise 1.49(c) to deduce the ineqaulity<br />

m2m − 1 2<br />

32m 1 2<br />

m<br />

∑<br />

k1<br />

1<br />

k 2<br />

<br />

2mm 12<br />

32m 1 2<br />

Now let m → to obtain 2 2 /6.<br />

Proof: <strong>The</strong> proof is clear if we follow the hint and Exercise 1.49 (c), soweomitit.<br />

8.47 Use an argument similar to that outlined in Exercise 8.46 to prove that<br />

4 4 /90.<br />

Proof: <strong>The</strong> proof is clear if we follow the Exercise 8.46 and Exercise 1.49 (c), sowe<br />

omit it.<br />

Remark: (1) From this, it is easy to compute the value of 2s, where<br />

s ∈ n : n ∈ N. In addition, we will learn some new method such as Fourier series and<br />

so on, to find the value of Riemann zeta function.<br />

(2) <strong>The</strong>r is an open problem that 2s − 1, wheres ∈ n ∈ N : n 1.

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

Saved successfully!

Ooh no, something went wrong!