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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

()Assume that ∑ <br />

n1<br />

<br />

That is, p! ∑ np1<br />

a n<br />

p! ∑<br />

np1<br />

<br />

∑<br />

n1<br />

an<br />

n!<br />

N−1<br />

∑<br />

n1<br />

N−1<br />

∑<br />

n1<br />

N−1<br />

∑<br />

n1<br />

<br />

an<br />

n! ∑<br />

nN<br />

an<br />

n!<br />

<br />

an<br />

n! ∑ n − 1<br />

n!<br />

nN<br />

<br />

an<br />

n! ∑<br />

nN<br />

1<br />

n − 1! − 1 n!<br />

N−1<br />

∑<br />

an<br />

n! 1<br />

N − 1! ∈ Q.<br />

n1<br />

a n /n! is rational, say q p ,whereg. c. d. p, q 1. <strong>The</strong>n<br />

n!<br />

∈ Z. Note that<br />

<br />

a n<br />

n!<br />

<br />

≤ p! ∑<br />

np1<br />

<br />

p! ∑<br />

n1<br />

n − 1<br />

n!<br />

an<br />

n!<br />

∈ Z.<br />

p!<br />

p! 1since1 ≤ a n ≤ n − 1.<br />

So, a n n − 1 for all n ≥ p 1. That is, there exists an integer N such that a n n − 1for<br />

all n ≥ N.<br />

Remark: From this, we have proved that e is irrational. <strong>The</strong> reader should be noted that<br />

we can use <strong>The</strong>orem 8.16 to show that e is irrational by considering e −1 . Since it is easy,<br />

we omit the proof.<br />

8.18 Let p and q be fixed integers, p ≥ q ≥ 1, and let<br />

pn<br />

x n ∑<br />

kqn1<br />

n<br />

1<br />

k<br />

, s n ∑<br />

k1<br />

−1 k1<br />

k<br />

(a) Use formula (8) to prove that lim n→ x n logp/q.<br />

Proof: Since<br />

we know that<br />

n<br />

∑<br />

k1<br />

1<br />

k<br />

log n r O 1 n ,<br />

pn<br />

x n ∑<br />

k1<br />

qn<br />

1 − k<br />

∑<br />

k1<br />

logp/q O 1 n<br />

which implies that lim n→ x n logp/q.<br />

(b) When q 1, p 2, show that s 2n x n and deduce that<br />

<br />

∑<br />

n1<br />

1<br />

k<br />

−1<br />

n1<br />

n log 2.<br />

Proof: We prove it by Mathematical Induction as follows. As n 1, it holds<br />

trivially. Assume that n m holds, i.e.,<br />

.

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

Saved successfully!

Ooh no, something went wrong!