Om gr
ansv
ardet limx→∞ 1 +
1 x
x
September 23, 2016
Vi skall skissera ett bevis p
a att gr
ansv
ardet existerar genom era delsteg.
1. Varje v
axande och upp
at begransad reelvard funktion har ett gransvarde. Detta m
aste vi i
denna kurs acceptera. Det ar ett grundl
aggande egenskap hos de reella talen som t ex delmangden av
rationella tal inte har.
n
2. Sats: Talf
oljden 1 + n1 , n ≥ 1 ar vaxande och upp
at begr
ansad.
(a) F
orst bevisar vi att den ar v
axande. Via binomialsatsen, efter att ha r
aknat klar alla binomialtal,
kan vi skriva
n
1
1
n(n − 1) 1
n(n − 1) · · · (n − k + 1) 1
1
1+
=1+n +
+ ··· +
+ ··· + n
n
n
2!
n2
k!
nk
n
(1− 1 )···(1− k−1 )
1
n
n
=
Den allmanna termen kan skrivas om som: ck,n = n(n−1)···(n−k+1)
. Vi har allts
a
k!
k!
nk
dividerat varje parentes i t
aljaren med n (det nns exakt s
a m
anga n i n
amnaren som det beh
ovs, och
f
orkortat varje parentes till sin enklaste form. Alla parenteser i ck,n blir storre n
ar n v
axer. Dessutom
har vi er termer ju mer n v
axer (antalet termer i binomialutvecklingen ar n + 1). Resultaten blir att
n
n
ar n v
axer s
a blir 1 + n1
st
orre: Vi har er termer och varje term ar st
orre an sin motsvarighet
f
or mindre n−v
arden.
(b) Nu visar vi att f
oljden ar begr
ansad. Detta gor vi genom att ers
atta varje term i binomialsumman
ovan med n
agot lite st
orre. Binomialsumman blir d
a mindre an den nya summan. I varje term ck,n
d
a k ≥ 2 (de tv
a f
orsta termerna hanterar vi separat, f
or hand), kan vi notera att i alla parenteser
g
aller att (1 − nj )<1 eftersom 1 ≤ j ≤ k − 1 < n. Dessutom,
1
1
1
1
=
<
= k−1
k!
1 · 2 · ··· · k
1 · 2 · ··· · 2
2
Vi kan allts
a konstatera att ck,n <
1
1+
n
n
1
2k−1
och d
armed ar
n
1 − 12
1
1
1
< 1 + 1 + + · · · n−1 = 1 +
<1+
2
2
1 − 12
1−
1
2
=3
Vilket ar oberoende av n dvs att samtliga element i talfjolden ar mindre an 3.
3. F
orsta element i denna v
axande talf
oljd, f
or n = 1 ar (1 + 11 )1 = 2. F
or alla positiva heltal n g
aller allts
a
1 n
att 2 ≤ 1 + n < 3. Vi tillampar nu f
orsta punkten och kommer fram till att den h
ar begr
ansade och
v
axande talf
oljd har ett gr
ansv
arde, som ar ett reellt tal som ligger mellan 2 och 3. Denna bevis r
acker
inte f
or att r
akna ut vilket tal det blir, men man kan f
a b
attre och b
attre approximationer genom att
genomf
ora summan for stora n. Vi kallar gr
ansv
ardet f
or e och det visar sig att e = 2.7182818 · · ·
1
4. Det aterst
ar d
a att bevisa att gr
ansv
ardet ar densamma f
or x → ∞, allts
a f
or de reella talen, inte bara f
or
det speciella fallet som blir att titta p
a f
oljden av positiva heltal. F
or detta anvander vi inst
angningssatsen.
F
orst noterar vi att f
or varje reellt tal x nns det ett heltal n lika eller n
armast f
ore x och ett heltal n
armast
efter x, dvs att n ≤ x < n + 1 g
aller. D
a blir
samt
1
1+
x
1
1+
x
x
Vilket leder till att
1+
x
≥
≤
1
1+
x
1
n+1
1
1+
x
n
n+1
≥ 1+
n+1 1+
1
n+1
≤
1
1+
n
n+1
n
1
n+1
−1
≤
=
n 1
1
= 1+
1+
n
n
1
1+
n+1
n+1 1+
1
n+1
−1
.
x n 1
1
1
1+
≤ 1+
1+
.
x
n
n
Gr
ansv
arden for de v
anstra och h
ogra uttrycken ar densamma, dvs e och d
armed har det instangda
uttrycket samma gr
ansv
arde.
2