Professional Documents
Culture Documents
ny ,
otervals I1 ,
…
,
Iu st ,
∵ i λk =
x
恐 x
考,
xt 8] , length ( In) 4 -
,
so that tAn where nIN will all be covered MIN
② For n= 1 ,
2 , , N-
1
,letIn = [ xn ( N
- n
, xa) 了
+靠
,
lagh (In) =
⑤
4KN -
,
∴
: +lngth (In
流
)
NL
= )
CN
) .章
Then { x
, k
. . }E 品 In and length ( in : 是 ) + C
ε
#
二
一
Cluimthat f(x ) 20 →df(x) dx ≥ 0 ,
=
Girenpartition Q, we hure O≤ La ()
f ≤ spLp (
f )
Jafx )
dx
∵ f is continolols
with Ca 2,
,
: ∴ ≡ [ ,β ] ECa b]
α ( β )
s .
t.fCx ) f() /2 > 0 FXE ( α β]
,
@ lse
=
些 [β -) > O
# QED
。
。
: f is mtegrable on [ a b] ,
.
.
by depnition of Riemann
ntegral , letpartioton P
= {
a= Xocxc … cxuy <λn b}=
}
{ 為 mi
( xi - Xi iMi inf( f(x )) wherex ε (xi = , xi ①
} …
+) +
) = , 必] } …
=
Jabfx)dx
(i ) :C >
: letP==< 些
< <<= } oudernatchangng)
… 卡 (
品 { mi (
): Mi = , ) ) where x
inf ( f (1cx
比
ε [] } =①
similorly,ine Mi e ) where x ε [] ]
(
And ) .{ :
Mi Sp = ( f(1 ¢x ) =②
时 ⑩
9
li
Let P
*
=
{ -
a = -
Mo > -
xs …
> -
Xn -
. > -
xn = -
b }
Consider thelowersumofff ( x) dx - :
I
" mil I
xiJmmi
)
) - - = inf ( flx
- where xt -
⑨
(
, 1 λi ] } =①
,
xi -
xi -
And smilarly ,
upper sum of f% f(-x )dx =
hus , ifx) dx =
5 % f( x) dx 4 -
liii]
Let P '
{U -
C =
x0 CCx- CC
- … <
In , -
CcNu -
c =
b }
Consider the lover sum of fbde fcxic ) dx
suPp { milxi
( - xi -ic ) … Mi =
nfIf( xwhere
/
λ XEEX :- $ - -
λi $ }
=
(
,
- ,
)
⑧
λi -
xi - 1
飛
门
。一
一
Smilaly , uper sum of fbdef(xxc ) dx =
Thus ,
dfix) dx fe f(xxc) dx
-