Processing math: 100%
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

2.2.E: Problems on Natural Numbers and Induction (Exercises)

( \newcommand{\kernel}{\mathrm{null}\,}\)

Exercise 2.2.E.1

Complete the missing details in Examples (a),(b), and (d).

Exercise 2.2.E.2

Prove Theorem 2 in detail.

Exercise 2.2.E.3

Suppose xk<yk,k=1,2,, in an ordered field. Prove by induction on n that
(a) nk=1xk<nk=1yk
(b) if all xk,yk are greater than zero, then
nk=1xk<nk=1yk

Exercise 2.2.E.4

Prove by induction that
(i) 1n=1;
(ii) a<ban<bn if a>0.
Hence deduce that
(iii) 0an<1 if 0a<1;
(iv) an<bna<b if b>0; proof by contradiction.

Exercise 2.2.E.5

Prove the Bernoulli inequalities: For any element ε of an ordered field,
(i) (1+ε)n1+nε if ε>1;
(ii) (1ε)n1nε if ε<1;n=1,2,3,

Exercise 2.2.E.6

For any field elements a,b and natural numbers m,n, prove that
 (i) aman=am+n; (ii) (am)n=amn (iii) (ab)n=anbn; (iv) (m+n)a=ma+na (v) n(ma)=(nm)a; (vi) n(a+b)=na+nb


[Hint: For problems involving two natural numbers, fix m and use induction on n].

Exercise 2.2.E.7

Prove that in any field,
an+1bn+1=(ab)nk=0akbnk,n=1,2,3,


Hence for r1
nk=0ark=a1rn+11r

(sum of n terms of a geometric series).

Exercise 2.2.E.8

For n>0 define
(nk)={n!k!(nk)!,0kn0, otherwise 


Verify Pascal's law,
(n+1k+1)=(nk)+(nk+1).

Then prove by induction on n that
(i) (k|0kn)(nk)N; and
(ii) for any field elements a and b,
(a+b)n=nk=0(nk)akbnk,nN (the binomial theorem). 

What value must 00 take for (ii) to hold for all a and b?

Exercise 2.2.E.9

Show by induction that in an ordered field F any finite sequence x1,,xn has a largest and a least term (which need not be x1 or xn). Deduce that all of N is an infinite set, in any ordered field.

Exercise 2.2.E.10

Prove in E1 that
(i) nk=1k=12n(n+1);
(ii) nk=1k2=16n(n+1)(2n+1);
(iii) nk=1k3=14n2(n+1)2;
(iv) nk=1k4=130n(n+1)(2n+1)(3n2+3n1).


2.2.E: Problems on Natural Numbers and Induction (Exercises) is shared under a CC BY 1.0 license and was authored, remixed, and/or curated by LibreTexts.

Support Center

How can we help?