Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
1.7.CAŁKOWANIE
43
Wiemyjednak,że∆x=(ba)/n,więc
Sn=a(ba)+
(ba)2
2
+
(ba)2
2n
,
azatem
a
b
xdx=lim
n→∞
Sn=
b2a2
2
.
Wprzypadkupolapodkrzywąy=x2wanalogicznysposóbdostaniemy
n
n
n
Sn=
Σ
(a+j∆x)2∆x=na2∆x+2a(∆x)2
Σ
j+(∆x)3
Σ
j2.
j=1
j=1
j=1
Sumakwadratówpierwszychnliczbnaturalnychjestrównan(n+1)(2n+1)/6,co
równieżdobrzewiedzielistarożytniGrecy(zadanie13).Mamyzatem
Sn=a2(ba)+
a(ba)2n(n+1)
n2
+
(ba)3
6
n(n+1)(2n+1)
n3
b3a3
3
przyn,
czyli
a
b
x2dx=
b3a3
3
.
Powinniśmywspomniećtuokilkuwłasnościachcałekoznaczonych.Większośćznich
wynikabezpośredniozdefinicjidanejwrównaniu(7.1).Jeżelic1ic2stałe,to
a
b
[c1f1(x)+c2f2(x)]dx=c1
a
b
f1(x)dx+c2
a
b
f2(x)dx.
(7.3)
Równanie(7.3)przypominarównanie(4.3)dlapochodnych.Takjakwrozdziale4defi-
niowaliśmyoperatorróżniczkowania,takmożemyterazzdefiniowaćoperatorcałkowa-
nia:
If(x)=
ˆ
a
b
f(x)dx.
Równanie(7.3)oznacza,żecałkowaniejestoperacjąliniową:
I[c1f1(x)+c2f2(x)]=c1ˆ
ˆ
If1(x)+c2ˆ
If2(x).
(7.4)
Innewłasnościwynikającezrównania(7.1)tonaprzykład
a
b
f(x)dx=
a
c
f(x)dx+
c
b
f(x)dx,
(7.5)
oiletylkof(x)jestcałkowalnawprzedziałach[a,c]i[c,b](awięcpodwarunkiem,że
granicedefiniująceobiecałkiistnieją).Jeżelimf(x)Mwprzedziale[a,b],to
m(ba)
a
b
f(x)dxM(ba).
(7.6)