mat, IMiR - st. inż


Twierdzenie Rolle'a.

Jeśli 0x01 graphic
i jest różniczkowalna w 0x01 graphic
oraz 0x01 graphic
, to istnieje taki punkt, w którym 0x01 graphic
.

0x01 graphic

Oznaczamy ten punkt przez 0x01 graphic
i przypuśćmy, że funkcja przyjmuje w nim wartość największą. Wtedy dla wszystkich innych 0x01 graphic
mamy 0x01 graphic
, czyli 0x01 graphic
. Dzieląc tę nierówność obustronnie przez 0x01 graphic
otrzymujemy

(1) 0x01 graphic
.

Ponieważ funkcja f jest różniczkowalna w 0x01 graphic
, więc przy 0x01 graphic
mamy 0x01 graphic
.

Z zależności (1) wynika, że 0x01 graphic
oraz 0x01 graphic
, co jest możliwe tylko wówczas, gdy 0x01 graphic

Twierdzenie (Lagrange'a).

Jeśli 0x01 graphic
i jest różniczkowalna w 0x01 graphic
, to istnieje taki punkt 0x01 graphic
, w którym 0x01 graphic
.

0x01 graphic
.Funkcja 0x01 graphic
spełnia wszystkie założenia twierdzenia Rolle'a: jest ciągła i różniczkowalna tam gdzie f oraz 0x01 graphic
. Istnieje wobec tego taki punkt 0x01 graphic
, że 0x01 graphic
oraz 0x01 graphic
. Ale

0x01 graphic
, a więc 0x01 graphic
skąd otrzymujemy tezę twierdzenia. Twierdzenie.

Jeśli funkcja jest różniczkowalna w danym punkcie, to jest w nim ciągła.

Dowód. Załóżmy, że funkcja f jest różniczkowalna w punkcie x. Wówczas0x01 graphic
odwrotneRozpatrzmy funkcję 0x01 graphic
. Jej iloraz różnicowy w punkcie 0x01 graphic
wynosi0x01 graphic
Iloraz ten nie ma granicy gdy 0x01 graphic
, istnieje natomiast granica prawostronna równa 1 i lewostronna równa -1.

Funkcja 0x01 graphic
nie ma więc pochodnej w punkcie 0x01 graphic
, ma zaś w tym punkcie pochodną prawostronną równą 1 i lewostronną równą -1.

Różniczka zupełna

Jeśli istnieje 0x01 graphic
, to funkcja f posiada różniczkę w a. Jeśli f jest różniczkowalna w a, to 0x01 graphic
0x01 graphic
przy 0x01 graphic
, skąd 0x01 graphic
Czyli 0x01 graphic
Wniosek. Dla małych h wyrażenie 0x01 graphic
szybko zmierza do 0, skąd dostajemy tzw. przybliżony wzór z różniczką : 0x01 graphic

Twierdzenie (Taylora).

Jeżeli w 0x01 graphic
istnieje 0x01 graphic
, to dla każdego 0x01 graphic
istnieje takie c, że

0x01 graphic
gdzie 0x01 graphic
nazywamy resztą Lagrange'a, a c jest nieznanym punktem pośrednim leżącym między 0x01 graphic
.

Uwagi. Wzór (9) nazywamy wzorem Taylora. Dla 0x01 graphic
możemy go zapisać w postaci

0x01 graphic
Wzór Taylora w punkcie 0x01 graphic
nazywamy wzorem Maclaurina:

0x01 graphic
Zauważmy, że jeśli wszystkie pochodne 0x01 graphic
są ograniczone przez wspólną stałą i 0x01 graphic
, to mamy 0x01 graphic
. Zatem jest sens opuścić resztę 0x01 graphic
w Dostajemy wówczas tzw. przybliżony wzór Taylora:

0x01 graphic
którego błąd bezwzględny wynosi 0x01 graphic
.

Asymptoty

Prosta o równaniu 0x01 graphic
jest asymptotą pochyłą w 0x01 graphic
/0x01 graphic
/ krzywej f, jeżeli

0x01 graphic
.

jeśli ma miejsce (1.1), to również 0x01 graphic
, czyli 0x01 graphic
. Ponieważ 0x01 graphic
, więc 0x01 graphic
, czyli 0x01 graphic
. Dokładniej:

0x01 graphic
i 0x01 graphic
.

0x01 graphic
i 0x01 graphic
.

Twierdzenie ekstremum Jeżeli funkcja 0x01 graphic
ciągła w 0x01 graphic
oraz różniczkowalna w 0x01 graphic
, ma tę własność, że 0x01 graphic
dla 0x01 graphic
i 0x01 graphic
dla 0x01 graphic
/0x01 graphic
dla 0x01 graphic
i 0x01 graphic
dla 0x01 graphic
/, to 0x01 graphic
ma w punkcie 0x01 graphic
maksimum. Dowód. Z założenia wynika, że funkcja 0x01 graphic
jest rosnąca na lewo, a malejąca na prawo od punktu a, czyli 0x01 graphic
dla 0x01 graphic
oraz 0x01 graphic
dla 0x01 graphic
.Zatem zgodnie z definicją - w punkcie a istnieje max

Twierdzenie (Bolzano Cauchy'ego).

Jeżeli 0x01 graphic
oraz 0x01 graphic
, to istnieje taki punkt 0x01 graphic
że 0x01 graphic

Dowód.

Załóżmy np., że 0x01 graphic
oraz 0x01 graphic
Dzielimy przedział 0x01 graphic
na połowy. Jeżeli 0x01 graphic
, to dowód jest skończony. Jeżeli tak nie jest, to np. 0x01 graphic
. Wówczas oznaczamy 0x01 graphic
oraz 0x01 graphic
, otrzymując przedział 0x01 graphic
, w którym znowu 0x01 graphic
. Postępujemy z nim podobnie jak z przedziałem 0x01 graphic
i kończymy dowód lub rozpatrujemy tą jego połowę 0x01 graphic
, w której 0x01 graphic
. Otrzymamy w ten sposób ciąg przedziałów 0x01 graphic
, których końce tworzą dwa ciągi:

0x01 graphic
oraz 0x01 graphic

Jeżeli proces ten jest skończony to 0x01 graphic
, można więc przyjąć 0x01 graphic
(KD). Jeśli nie to oba ciągi są nieskończone, monotoniczne i ograniczone, a więc zbieżne, przy czym mają wspólną granicę, bo 0x01 graphic
Niech 0x01 graphic
. Ponieważ funkcja f jest ciągła, mamy 0x01 graphic
.

Ale 0x01 graphic
, więc

0x01 graphic
, skąd 0x01 graphic

Twierdzenie (własność Darboux).

Jeśli 0x01 graphic
0x01 graphic
lub

0x01 graphic
, to istnieje taki punkt0x01 graphic
, że 0x01 graphic
.

Dowód. Niech np. 0x01 graphic
0x01 graphic
. Wprowadzamy funkcję pomocniczą

0x01 graphic
. Funkcja ta jest ciągła0x01 graphic
oraz 0x01 graphic
i

0x01 graphic
. Zatem 0x01 graphic
spełnia założenia twierdzenia Bolzano-Cauchy'ego. Wobec

tego istnieje taki punkt 0x01 graphic
, że 0x01 graphic
czyli 0x01 graphic

Twierdzenie (Weierstrassa).

Jeśli 0x01 graphic
to osiąga swe minimum i

maksimum w 0x01 graphic
, tzn. istnieją punkty 0x01 graphic
dla których0x01 graphic
,

0x01 graphic

Definicja (całki oznaczonej).

Jeśli dla każdego normalnego ciągu podziałów i dowolnie wybranych punktów pośrednich 0x01 graphic
istnieje skończona i ta sama granica 0x01 graphic
, to nazywamy ją całką oznaczoną z funkcji f w przedziale 0x01 graphic
i oznaczamy 0x01 graphic

Twierdzenie (o wartości średniej dla całek).

Jeżeli 0x01 graphic
to istnieje w tym przedziale punkt 0x01 graphic
, dla którego 0x01 graphic
.

Dowód. Jeżeli m oznacza najmniejszą wartość funkcji w danym przedziale, a M oznacza wartość największą, to

0x01 graphic
,

czyli 0x01 graphic

Jeżeli oznaczymy 0x01 graphic
to 0x01 graphic
Stąd wobec ciągłości funkcji i własności Darboux istnieje w przedziale 0x01 graphic
taki punkt 0x01 graphic
, że 0x01 graphic
. Podstawiając za liczbę 0x01 graphic
podaną wartość dostajemy

0x01 graphic

Twierdzenie (zasadnicze rachunku całkowego, związek całki oznaczonej z nieoznaczoną).

Jeśli 0x01 graphic
i istnieje funkcja F pierwotna dla f w 0x01 graphic
, to 0x01 graphic

Definicja całki niewłaściwej

Niech 0x01 graphic
0x01 graphic
Punkt b /a/ jest punktem

osobliwym tej funkcji, jeśli

(0x01 graphic
i 0x01 graphic
) albo 0x01 graphic
/(0x01 graphic
i 0x01 graphic
) albo 0x01 graphic
/.

Całka nieoznaczona

Zbiór wszystkich funkcji pierwotnych dla danej funkcji 0x01 graphic
nazywamy całką nieoznaczoną z f . Całkę nieoznaczoną funkcji 0x01 graphic
oznaczamy symbolem 0x01 graphic
. Zatem 0x01 graphic

Wzory pochodne

0x01 graphic
0x01 graphic

0x01 graphic
0x01 graphic

sinx=2t/1+t2

cosx=(1-t2)/(1+t2)

tgx/2=t

dx=2/1+t2 dt

Sin^2x=t2/1+t2

Cos^2x= 1/1+t2

t=tgx

Obliczyć objętość elipsoidy

Powierzchnia elipsoidy ma równanie 0x01 graphic
. Jej przekrój płaszczyzną prostopadłą do osi OX w dowolnym punkcie jest elipsą o równaniu 0x01 graphic
, czyli

0x01 graphic
Ponieważ półosie tej elipsy są równe 0x01 graphic
więc pole przez nią wycięte wynosi 0x01 graphic
przy czym 0x01 graphic
. Szukana objętość jest równa 0x01 graphic
.Dla 0x01 graphic
otrzymujemy kulę, a jej objętość 0x01 graphic

Długość krzywej

Niech dana będzie płaska krzywa w postaci parametrycznej

0x01 graphic
.

Twierdzenie.

Jeżeli 0x01 graphic
, to krzywa K posiada długość

0x01 graphic
.

Pole powierzchni obrotowej

0x01 graphic

Jeżeli obracająca się krzywa ma równanie 0x01 graphic
, przy czym 0x01 graphic
, to wzór przyjmuje postać:

0x01 graphic

Przybliżone obliczanie całek oznaczonych - metoda trapezów

Metoda trapezów polega na tym, że figurę ABCD zastępujemy figurą złożoną z trapezów wpisanych (rys. 1.59), tzn. krzywą aproksymujemy linią łamaną w nią wpisaną. Przedział całkowania dzielimy przy tym na równe części. Oznaczmy 0x01 graphic
. Wówczas pole figury złożonej z trapezów wynosi

0x01 graphic
0x01 graphic
,

gdzie 0x01 graphic
Stąd otrzymujemy wzór przybliżony w metodzie trapezów:

0x01 graphic
Można pokazać następujące oszacowanie błędu tej metody:

0x01 graphic
,

gdzie 0x01 graphic
.



Wyszukiwarka

Podobne podstrony:
Pytania kolokwium, IMiR - st. inż, sem.6 od sołtysa, III rok, energetyka, kolokwium
Strzałka ugięcia, IMiR - st. inż, sem.6 od sołtysa, Maszyny i urządzenia transportowe
pomiar, IMiR - st. inż, sem.6 od sołtysa, Maszyny i urządzenia transportowe
Untitled 1, IMiR - st. inż, sem.6 od sołtysa, Maszyny i urządzenia transportowe
tabliczka teczka, IMiR - st. inż
liny, IMiR - st. inż, sem.6 od sołtysa, Maszyny i urządzenia transportowe
PLYNY4, IMiR - st. inż, mechanika płynów, sprawka
Untitled 20, IMiR - st. inż, sem.6 od sołtysa, Maszyny i urządzenia transportowe
Mechanika plynow spr 5, IMiR - st. inż, mechanika płynów, sprawka
Projekt stalowe 3, IMiR - st. inż, sem.6 od sołtysa, III rok, konstrukcje stalowe, projekt 3
terma sprawko termometry mod, IMiR - st. inż, terma imir
terma sprawko, IMiR - st. inż, terma imir
Hartowanie i odpuszczanie, IMiR - st. inż, Materiałki
Mechanika plynow spr1, IMiR - st. inż, mechanika płynów, sprawka
wydymka, IMiR - st. inż, egzamin inz, materialy na egzamin inzynierski
eap 6, IMiR - st. inż, EAP
Mechanika plynow 3, IMiR - st. inż, mechanika płynów, sprawka, reakcja hydrodynam moje
Olszyna, IMiR - st. inż, sem.6 od sołtysa, Maszyny i urządzenia transportowe
obrobka cieplna, IMiR - st. inż, Materiałki

więcej podobnych podstron