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.

h k1 h k <br />

k<br />

jk f j g kj x <br />

j0<br />

k<br />

jk f j g kj x<br />

j0<br />

k<br />

jk f j1 g kj f j g kj1 <br />

j0<br />

<br />

<br />

<br />

k1 j0<br />

jk f j1 g kj f k1 g 0<br />

k<br />

j1<br />

jk f j g kj1 f 0 g k1<br />

<br />

k1<br />

<br />

j0 jk f j1 g kj f k1 g 0<br />

k1<br />

j0<br />

k<br />

j1<br />

f j1 g kj f 0 g k1<br />

k1<br />

<br />

j0<br />

k1<br />

<br />

j0<br />

jk <br />

k1<br />

j1<br />

k<br />

j1<br />

f j1 g kj f k1 g 0 f 0 g k1<br />

f j1 g kj f k1 g 0 f 0 g k1<br />

k1<br />

jk f j1 g kj .<br />

j0<br />

So, as n k 1, it holds. Hence, by Mathematical Induction, we have proved the<br />

Leibnitz formula.<br />

Remark: We use the famous formula called Pascal <strong>The</strong>orem:n1 k1 kn n k1 ,<br />

where 0 k n.<br />

5.7 Let f and g be two functions defined and having finite third-order derivatives f x<br />

and g x for all x in R. Iffxgx 1 for all x, show that the relations in (a), (b), (c),<br />

and (d) holds at those points where the denominators are not zero:<br />

(a) f x/fx g x/gx 0.<br />

Proof: Since fxgx 1 for all x, wehavef g g f 0 for all x. By hypothesis, we<br />

have<br />

f g g f<br />

0 for those points where the denominators are not zero<br />

fg<br />

which implies that<br />

f x/fx g x/gx 0.<br />

(b) f x/f x 2f x/fx g x/g x 0.<br />

Proof: Since f g g f 0 for all x, wehavef g g f f g 2f g g f 0. By<br />

hypothesis, we have

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

Saved successfully!

Ooh no, something went wrong!