I'm trying to prove that e√2 is irrational. My approach:
e√2+e−√2=2∞∑k=02k(2k)!=:2s
Define sn:=∑nk=02k(2k)!, then:
s−sn=∞∑k=n+12k(2k)!=2n+1(2n+2)!∞∑k=02k∏2kk=1(2n+2+k)<2n+1(2n+2)!∞∑k=02k(2n+3)2k=2n+1(2n+2)!(2n+3)2(2n+3)2−2
Now assume s=pq for p,q∈N. This implies:
$$
0<\frac{p}{q}-s_n<\frac{2^{n+1}}{(2n+2)!}\frac{(2n+3)^2}{(2n+3)^2-2}\iff\\
0
$$
But (p(2n)!2n−qsn(2n)!2n)∈N which is a contradiction for large n. Thus s is irrational. Can we somehow use this to prove e√2 is irrational?
Answer
Since the sum of two rational numbers is rational, one or both of e√2
and e−√2 is irrational. But, e−√2=1/e√2,
and hence both are irrational.
No comments:
Post a Comment