Sats Vi förutsätter att och
när
. Då gäller också att
Bevis Förutsättningarna ger att det för varje tal
och
finns tal
respektive
så att
Men så om vi ovan väljer
och låter
vara det
minsta av de två talen
och
vi då får så
har det den egenskap vi vill.
2) Vi visar först påståendet i fallet A=0=B. Vi ska då
givet bestämma
så att
när
Men |f(x)g(x)|=|f(x)||g(x)|, så om vi ovan väljer
och låter
vara det
minsta av de två talen
och
vi då får så
har det den egenskap vi önskar.
Vi visar nu att påståendet gäller utan inskränkningen A=0=B. Vi gör omskrivningen
f(x)g(x)=(f(x)-A)(g(x)-B)+Bf(x)+Ag(x)-AB
Eftersom f(x)-A och g(x)-B båda
Kedjeregeln Om g(x) är deriverbar i a och f(x) är deriverbar i g(a), så är f(g(x)) deriverbar i a med derivata f'(g(a))g'(a).
Bevis Vi ska undersöka differenskvoten
Omskrivningen ger oss ()
Den linjära approximationen till f i g(a) är
f(g(a))+f'(g(a))(x-g(a)). Felet till den linjära approximationen är
E(x)=f(x)-f(g(a))-f'(g(a))(x-g(a)). Det relativa felet är
E1(x)=E(x)/(x-g(a)). Vi vet att när
. Sätter vi alltså E1(g(a))=0, är E1(x)
kontinuerlig i g(a). Vi ser att
f(x)-f(g(a))=f'(g(a))(x-g(a))+(x-g(a))E1(x).
Med detta skriver vi om kvoten Q ovan genom att välja
Tillsammans ger detta
Detta visar att f(g(x)) är deriverbar i a och att derivatan är f'(g(a))g'(a).
Sats Om funktionen f är kontinuerlig på intervallet [a,b], så är f begränsad på intervallet och antar ett största och minsta värde på det.
Bevis Antag att f inte är begränsad på intervallet [a,b]. Om vi delar intervallet i två lika stora delintervall måste ett av dem, låt oss kalla det [a1,b1] (av längd (b-a)/2), vara sådant att f inte är begränsad där. Vi kan förfara på samma vis med [a1,b1], och få en hälft [a2,b2] (av längd (b-a)/22) där f inte är begränsad.
Vi får successivt en avtagande följd av slutna intervall [an,bn] av längd (b-a)/2n. Enligt inkapslingssatsen finns det då ett tal r som ligger i samtliga av dessa intervall.
Eftersom f är kontinuerlig i r finns det ett tal
så att |f(x)-f(r)|<1, när
. Detta ger att
f(r)-1<f(x)<f(r)+1 när x ligger i intervallet
. Vi ser att f är begränsad på detta
intervall.
Eftersom r ligger i samtliga intervall [an,bn] och längden
av dessa går mot noll, ser vi att [an,bn] är innehållet i
när n är tillräckligt stort. Men f är
begränsad på det större intervallet och obegränsad på det mindre. En
orimlighet. Antagandet att f inte är begränsad på [a,b] är därför
felaktigt. Alltså är f begränsad på [a,b].
Vi visar nu att f antar ett största värde på [a,b]. Låt M vara
den minsta övre begränsningen till f's värden på [a,b] (finns för
f är begränsad på intervallet). Antag att för alla x
i intervallet. Då är 1/(M-f(x)) en kontinuerlig funktion (>0) och därför
uppåt begränsad, av låt oss säga N>0, på intervallet: 1/(M-f(x))<N. Detta ger oss
att 1/N<M-f(x), eller f(x)<M-1/N<M, på intervallet. Detta motsäger
att M är den minsta övre begränsningen till f på [a,b]. Antagandet
att f inte antar detta värde är alltså felaktigt, så f antar
värdet M på intervallet [a,b]. (f har alltså M som största värde
på intervallet [a,b].)
Vi visar nu att f antar ett minsta värde på [a,b]. Funktionen -f är kontinuerlig på intervallet och antar, enligt vad som visats, ett största värde. Men detta är samtidigt minus det minsta värde som f antar. Alltså antar f ett minsta värde på intervallet.
Medelvärdessatsen Om f är kontinuerlig på [a,b] och deriverbar i (a,b), så finns det ett tal c i (a,b) så att
f(b)-f(a)=f'(c)(b-a).
Bevis Vi betraktar funktionen g(x)=f(x)-f(a)-(f(b)-f(a))(x-a)/(b-a). Vi har att g är kontinuerlig på [a,b], deriverbar i (a,b) och g(a)=g(b)=0. Funktionen g antar ett största och ett minsta värde på intervallet. Om båda dessa är är funktionen g konstant med derivata g'(c)=0 i varje punkt i (a,b). Annars antas det största eller minsta värdet i en punkt c i (a,b). Vi vet att där är g'(c)=0. Så oavsett vilket är g'(c)=0, för någon punkt c i (a,b). Men då är 0=g'(c)=f'(c)-(f(b)-f(a))/(a-b), vilket ger f(b)-f(a)=f'(c)(a-b), för något c i (a,b).