Wikibooks ltwikibooks https://lt.wikibooks.org/wiki/Pagrindinis_puslapis MediaWiki 1.44.0-wmf.5 first-letter Medija Specialus Aptarimas Naudotojas Naudotojo aptarimas Wikibooks Wikibooks aptarimas Vaizdas Vaizdo aptarimas MediaWiki MediaWiki aptarimas Šablonas Šablono aptarimas Pagalba Pagalbos aptarimas Kategorija Kategorijos aptarimas TimedText TimedText talk Module Module talk 0 9638 36180 36179 2024-12-03T09:36:46Z Paraboloid 1294 /* 5. Ryšys tarp vidutinių reikšmių */ 36180 wikitext text/x-wiki ==1. Pagalbinė nelygybė.== :Tarkime, kad ''A'' ir ''B'' yra bet kokie neneigiami skaičiai, o <math>p</math> ir <math>p'</math> – bet kokie du didesni už vienetą skaičiai ir <math>\frac{1}{p}+ \frac{1}{p'}=1 \;</math> (tokius skaičius vadinsime jungtiniais). Tada :<math>AB \leq \frac{A^p}{p}+ \frac{B^{p'}}{p'}. \quad (10.26)</math> :Rasime funkcijos <math>f(x)=x^{1\over p} -\frac{x}{p} \; </math> didžiausią reikšmę pustiesėje <math>x\geq 0.</math> Kadangi :<math>f'(x)= \frac{1}{p} \left(x^{{1\over p}-1} -1 \right)=\frac{1}{p} \left(x^{-{1\over p'}} -1 \right),</math> tai <math>f'(x)>0,</math> kai <math>0<x <1,</math> ir <math>f'(x) <0,</math> kai ''x''>1. Todėl funkcija turi maksimumą taške <math>x=1,</math> o jos didžiausia reikšmė yra :<math>f(1)=1^{1\over p} -\frac{1}{p} =1-\frac{1}{p} = \frac{1}{p'}.</math> :Taigi su visais <math>x\geq 0</math> :<math>x^{1\over p} -\frac{x}{p} \leq \frac{1}{p'}.</math> :Paėmę paskutinėje nelygybėje <math>x=\frac{A^p}{B^{p'}}</math>* ir padauginę abi nelygybės puses iš <math>B^{p'},</math> gausime (10.26) nelygybę. :Tai atliekama šitaip: :<math>\left( \frac{A^p}{B^{p'}} \right)^{1\over p} -\frac{A^p}{B^{p'}}\cdot \frac{1}{p} \leq \frac{1}{p'},</math> :<math> \frac{A}{B^{p' \over p}} -\frac{A^p}{B^{p'}}\cdot \frac{1}{p} \leq \frac{1}{p'};</math> :<math>1-\frac{1}{p} = \frac{1}{p'},</math> :<math>\frac{p-1}{p} = \frac{1}{p'},</math> :<math>p' = \frac{p}{p-1};</math> :<math> \frac{A}{B^{p' \over p}}\cdot B^{p'} -\frac{A^p}{B^{p'}}\cdot B^{p'}\cdot \frac{1}{p} \leq \frac{1}{p'} \cdot B^{p'},</math> :<math> A\cdot B^{-\frac{p'}{ p} }\cdot B^{p'} -A^p \cdot \frac{1}{p} \leq \frac{1}{p'} \cdot B^{p'},</math> :<math> A\cdot B^{-\frac{1}{ p} \cdot \frac{p}{p-1}}\cdot B^{\frac{p}{p-1}} -A^p \cdot \frac{1}{p} \leq \frac{1}{p'} \cdot B^{p'},</math> :<math> A\cdot B^{- \frac{1}{p-1}}\cdot B^{\frac{p}{p-1}} -A^p \cdot \frac{1}{p} \leq \frac{1}{p'} \cdot B^{p'},</math> :<math> A\cdot B^{\frac{p}{p-1} - \frac{1}{p-1}} -A^p \cdot \frac{1}{p} \leq \frac{1}{p'} \cdot B^{p'},</math> :<math> A\cdot B^{\frac{p-1}{p-1} } -A^p \cdot \frac{1}{p} \leq \frac{1}{p'} \cdot B^{p'},</math> :<math> A\cdot B -A^p \cdot \frac{1}{p} \leq \frac{1}{p'} \cdot B^{p'},</math> :<math> A\cdot B \leq A^p \cdot \frac{1}{p}+ \frac{1}{p'} \cdot B^{p'},</math> :<math> A\cdot B \leq \frac{A^p}{p}+ \frac{B^{p'}}{p'} .</math> _______________________ :''*'' Čia laikome <math>B>0.</math> Kai <math>B=0, \;</math> (10.26) nelygybė aiški. ==2. Helderio* nelygybė sumoms.== :''*'' Helderis (1859-1937) – vokiečių matematikas. : https://en.wikipedia.org/wiki/Hölder%27s_inequality#Notable_special_cases :Tarkime, kad <math>a_1, \; a_2, \; ..., \; a_n</math> ir <math>b_1, \; b_2, \; ..., \; b_n</math> yra bet kokie neneigiami skaičiai, o ''p'' ir <math>p'</math> – tokie pat, kaip ir anksčiau. Tada teisinga nelygybė :<math>\sum_{i=1}^n a_i b_i \leq \left[\sum_{i=1}^n a_i^p \right]^{1\over p} \left[\sum_{i=1}^n b_i^{p'} \right]^{1\over p'}, \quad (10.27)</math> :kuri vadinama ''Helderio nelygybe sumoms''. :Iš pradžių įrodysime štai ką: jeigu <math>A_1, \; A_2, \; ..., \; A_n; \;</math> <math>B_1, \; B_2, \; ..., \; B_n</math> – bet kokie neneigiami skaičiai, tenkinantys nelygybes :<math>\sum_{i=1}^n A_i^p \leq 1 \;\; \text{ir} \;\; \sum_{i=1}^n B_i^{p'} \leq 1, \quad (10.28)</math> :tai su tais skaičiais teisinga nelygybė :<math>\sum_{i=1}^n A_i B_i \leq 1. \quad (10.29)</math> :Iš tikrųjų, parašę visoms skaičių <math>A_i</math> ir <math>B_i</math> poroms (10.26) nelygybes ir susumavę tas nelygybes pagal ''i'' nuo 1 iki ''n'', gausime :<math>\sum_{i=1}^n A_i B_i \leq \frac{1}{p} \sum_{i=1}^n A_i^p + \frac{1}{p'} \sum_{i=1}^n B_i^{p'} \leq \frac{1}{p} + \frac{1}{p'} =1.</math> :Taigi (10.29) nelygybė įrodyta. :Imkime dabar :<math>A_i =\frac{a_i}{ [\sum_{i=1}^n a_i^p ]^{1\over p} } \; , \quad B_i =\frac{b_i}{ [\sum_{i=1}^n b_i^{p'} ]^{1\over p'} }. </math> * :<math>\sum_{i=1}^n A_i^p =\sum_{i=1}^n \left( \frac{a_i}{ [\sum_{i=1}^n a_i^p ]^{1\over p} } \right)^p = \sum_{i=1}^n \frac{a_i^p}{ [\sum_{i=1}^n a_i^p ]^{p\over p} } = \sum_{i=1}^n \frac{a_i^p}{ [\sum_{i=1}^n a_i^p ]} =\frac{ \sum_{i=1}^n a_i^p}{ [\sum_{i=1}^n a_i^p ]} =1. \quad (\text{Paraboloido})</math> :Nesunku įsitikinti, kad skaičiai <math>A_i</math> ir <math>B_i</math> tenkina (10.28) nelygybes, todėl tiems skaičiams teisinga (10.29) nelygybė. Ją galima užrašyti šitaip: :<math> \sum_{i=1}^n A_i B_i=\frac{\sum_{i=1}^n a_i b_i}{[\sum_{i=1}^n a_i^p ]^{1\over p} [\sum_{i=1}^n b_i^{p'} ]^{1\over p'}} \leq 1.</math> :Iš paskutinės nelygybės išplaukia Helderio (10.27) nelygybė. :O iš (Paraboloido) lygybės išplaukia :<math>\sum_{i=1}^n A_i B_i \leq \frac{1}{p} \sum_{i=1}^n A_i^p + \frac{1}{p'} \sum_{i=1}^n B_i^{p'} \leq \frac{1}{p} + \frac{1}{p'} =1.</math> :Bet atsižvelgus, kad <math>\sum_{i=1}^n A_i^p =1 \; </math> ir <math> \; \sum_{i=1}^n B_i^{p'}=1, </math> gauname: :<math>\sum_{i=1}^n A_i B_i \leq \frac{1}{p} \cdot 1 + \frac{1}{p'} \cdot 1 = \frac{1}{p} + \frac{1}{p'} =1.</math> :Taigi, vis tiek gauname, kad (10.27) nelygybė teisinga, nes :<math> \sum_{i=1}^n A_i B_i=\frac{\sum_{i=1}^n a_i b_i}{[\sum_{i=1}^n a_i^p ]^{1\over p} [\sum_{i=1}^n b_i^{p'} ]^{1\over p'}} \leq 1.</math> :'''Pastaba.''' Atskiru atveju, kai p=p'=2, Helderio nelygybė virsta šitokia: :<math>\sum_{i=1}^n a_i b_i \leq \sqrt{\sum_{i=1}^n a_i^2} \sqrt{\sum_{i=1}^n b_i^2}. \quad (10.30)</math> :(10.30) nelygybė vadinama ''Buniakovskio''** ''nelygybe sumoms''. _______________________ :''*'' Laikome, kad bent vienas iš skaičių <math>a_i</math> ir bent vienas iš skaičių <math>b_i</math> nelygūs nuliui. Priešingu atveju (10.27) formulė akivaizdi. :''**'' V. Buniakovskis (1804-1889) – rusų matematikas. ==3. Minkovskio* nelygybė sumoms.== :''*'' H. Minkovskis (1864-1909) – vokiečių matematikas ir fizikas. :Tarkime, kad <math>a_1, \; a_2, \; ..., \; a_n; \;</math> <math>b_1, \; b_2, \; ..., \; b_n</math> – bet kokie neneigiami skaičiai, o skaičius ''p''>1. Tada teisinga nelygybė :<math>\left[\sum_{i=1}^n (a_i+ b_i)^p \right]^{1\over p} \leq \left[\sum_{i=1}^n a_i^p \right]^{1\over p} + \left[\sum_{i=1}^n b_i^{p} \right]^{1\over p}, \quad (10.31)</math> :vadinama ''Minkovskio nelygybe sumoms''. Visų pirma pertvarkykime sumą, esančią (10.31) nelygybės kairėje pusėje. Galima užrašyti :<math>\sum_{i=1}^n (a_i+ b_i)^p = \sum_{i=1}^n a_i(a_i+ b_i)^{p-1} + \sum_{i=1}^n b_i(a_i+ b_i)^{p-1} .</math> :[<math> (a_i+ b_i)^3 = a_i^3 +3a_i^2 b_i +3a_i b_i^2 +b_i^3.</math> :<math>a_i(a_i+ b_i)^{3-1} + b_i(a_i+ b_i)^{3-1} = a_i(a_i^2 +2a_i b_i +b_i^2) + b_i(a_i^2 +2a_i b_i +b_i^2) =[a_i^3 +2a_i^2 b_i +a_i b_i^2] + [a_i^2 b_i +2a_i b_i^2 +b_i^3] =</math> :<math> = a_i^3 +3a_i^2 b_i +3a_i b_i^2 +b_i^3.</math>] :Kiekvienai iš dešinės pusės sumų taikysime Helderio nelygybę. Kadangi <math>(p-1)p'=p</math> ir <math>\frac{1}{p'}=\frac{p-1}{p},</math> tai :<math>\sum_{i=1}^n (a_i+ b_i)^p \leq \left[\sum_{i=1}^n a_i^p \right]^{1\over p} \left[\sum_{i=1}^n (a_i+ b_i)^{(p-1)p'} \right]^{1\over p'} + \left[\sum_{i=1}^n b_i^p \right]^{1\over p} \left[\sum_{i=1}^n (a_i+ b_i)^{(p-1)p'} \right]^{1\over p'} =</math> :<math>= \left( \left[\sum_{i=1}^n a_i^p \right]^{1\over p} + \left[\sum_{i=1}^n b_i^p \right]^{1\over p} \right) \left[\sum_{i=1}^n (a_i+ b_i)^{p} \right]^{p-1\over p}.</math> :Padaliję paskutinės nelygybės abi puses iš <math>\left[\sum_{i=1}^n (a_i+ b_i)^{p} \right]^{p-1\over p},</math> gausime Minkovskio (10.31) nelygybę. :<math>\sum_{i=1}^n (a_i+ b_i)^p \leq \left( \left[\sum_{i=1}^n a_i^p \right]^{1\over p} + \left[\sum_{i=1}^n b_i^p \right]^{1\over p} \right) \left[\sum_{i=1}^n (a_i+ b_i)^{p} \right]^{p-1\over p},</math> :<math>\left[\sum_{i=1}^n (a_i+ b_i)^p\right] \left[\sum_{i=1}^n (a_i+ b_i)^{p} \right]^{-\frac{p-1}{p}} \leq \left[\sum_{i=1}^n a_i^p \right]^{1\over p} + \left[\sum_{i=1}^n b_i^p \right]^{1\over p},</math> :<math> \left[\sum_{i=1}^n (a_i+ b_i)^{p} \right]^{1-\frac{p-1}{p}} \leq \left[\sum_{i=1}^n a_i^p \right]^{1\over p} + \left[\sum_{i=1}^n b_i^p \right]^{1\over p},</math> :<math> \left[\sum_{i=1}^n (a_i+ b_i)^{p} \right]^{\frac{p-(p-1)}{p}} \leq \left[\sum_{i=1}^n a_i^p \right]^{1\over p} + \left[\sum_{i=1}^n b_i^p \right]^{1\over p},</math> :<math> \left[\sum_{i=1}^n (a_i+ b_i)^{p} \right]^{\frac{1}{p}} \leq \left[\sum_{i=1}^n a_i^p \right]^{1\over p} + \left[\sum_{i=1}^n b_i^p \right]^{1\over p}.</math> ==4. Integruojamos funkcijos modulio bet kurio teigiamo laipsnio integruojamumas.== :Įrodysime šitokią teoremą. :'''10.7 teorema.''' ''Jei funkcija <math>f(x)</math> yra integruojama segmente'' [a; b], ''tai funkcija <math>|f(x)|^r,</math> kai r – bet koks teigiamas skaičius, taip pat integruojama segmente'' [a; b]. :'''Įrodymas.''' Teoremą užtenka įrodyti, kai <math>r<1.</math> Iš tikrųjų, kai <math>r>1,</math> funkciją <math>|f(x)|^r,</math> galima išreikšti sandauga <math>|f(x)|^r |f(x)|^{r-[r]};</math> čia [r] – sveikoji r dalis, o r-[r]<1. Pagal 6 paragrafo 1 skirsnio 2 pastabą funkcija <math>|f(x)|</math> integruojama segmente [a; b], todėl pagal 5 paragrafo <math>3^\circ</math> savybę ir funkcija <math>|f(x)|^{[r]}</math> integruojama tame segmente. Bet tada, remiantis ta pačia savybe ir funkcijos <math>|f(x)|^{r-[r]}</math> integruojamumu, funkcija <math>|f(x)|^{r}</math> taip pat integruojama segmente [a; b]. Tad įrodysime teoremą, kai r<1. Pažymime <math>r=\frac{1}{p}</math> ir pastebime, kad p>1. Kadangi funkcija |f(x)| integruojama segmente [a; b], tai kiekvieną <math>\epsilon >0</math> atitinka toks šio segmento skaidinys ''T'', kad :<math>\sum_{i=1}^n (M_i -m_i)\Delta x_i <\varepsilon^p (b-a)^{1-p}; \quad (10.32)</math> :<math>\sum_{i=1}^n (M_i -m_i)\Delta x_i <\varepsilon^p (b-a)^{p-1}<\varepsilon^p; \quad (10.32 \;\; \text{Paraboloido})\;</math> (kai (b-a)<1) :čia <math>M_i</math> ir <math>m_i</math> reiškia funkcijos f(x) tiksliuosius rėžius daliniame segmente [<math>x_{i-1}; \; x_i</math>]. Užtenka įrodyti, kad suma :<math>S-s=\sum_{i=1}^n (M_i^{1/p} -m_i^{1/p})\Delta x_i \quad (10.33)</math> :yra mažesnė už <math>\varepsilon.</math> :Įvertinsime šią sumą, remdamiesi Helderio (10.27) nelygybe. Paėmę joje <math>a_i= (M_i^{1/p} -m_i^{1/p}) (\Delta x_i)^{1/p}, \;\;</math> <math>b_i= (\Delta x_i)^{1/p'} ,</math> gausime :<math>S-s \leq \left[\sum_{i=1}^n (M_i^{1/p} -m_i^{1/p})^p \Delta x_i \right]^{1/p} \left[ \sum_{i=1}^n \Delta x_i\right]^{1/p'}. \quad (10.34)</math> :[<math>a_i \cdot b_i= (M_i^{1/p} -m_i^{1/p}) (\Delta x_i)^{1/p} \cdot (\Delta x_i)^{1/p'} =(M_i^{1/p} -m_i^{1/p}) (\Delta x_i)^{1/p + 1/p'} = (M_i^{1/p} -m_i^{1/p}) \Delta x_i,</math> t. y. (10.33).] :Dabar įrodysime, kad :<math>(M_i^{1/p} -m_i^{1/p})^p \leq (M_i -m_i). \quad (10.35)</math> :Paskutinę nelygybę padaliję iš <math>M_i</math>*, gauname šitokią: :<math>\left[1-\left( \frac{m_i}{M_i}\right)^{1/p} \right]^p \leq 1 - \frac{m_i}{M_i}.</math> :Jos teisingumu lengva įsitikinti, atsižvelgus į tai, kad <math>0 \leq \frac{m_i}{M_i} \leq 1,</math> o p>1. Pasinaudoję (10.35) nelygybe ir lygybe :<math>\sum_{i=1}^n \Delta x_i =b-a,</math> :iš (10.34) nelygybės gauname :<math>S-s \leq \left[\sum_{i=1}^n (M_i -m_i) \Delta x_i \right]^{1/p} (b-a)^{1/p'}. </math> :Iš čia, pasirėmę (10.32) nelygybe ir prisiminę, kad <math>\frac{1}{p} +\frac{1}{p'}=1,</math> turime :<math>S-s<\varepsilon. \quad (10.35.1)</math> :Teorema įrodyta. :(10.35.1) formulė gaunama sekančiu budu. :<math> \frac{1}{p'}=1-\frac{1}{p} =\frac{p-1}{p}.</math> :<math>S-s \leq \left[\sum_{i=1}^n (M_i -m_i) \Delta x_i \right]^{1/p} (b-a)^{1/p'}. </math> :<math>S-s \leq \left[\sum_{i=1}^n (M_i -m_i) \Delta x_i \right]^{1/p} (b-a)^{\frac{p-1}{p}}. </math> :Pakeliame abi nelygybės puses ''p'' laipsniu. :<math>(S-s)^p \leq \left[\sum_{i=1}^n (M_i -m_i) \Delta x_i \right] (b-a)^{p-1}. </math> :Prisimename formulę :<math>\sum_{i=1}^n (M_i -m_i)\Delta x_i <\varepsilon^p (b-a)^{p-1}<\varepsilon^p; \quad (10.32 \;\; \text{Paraboloido})\;</math> (kai (b-a)<1). :Vadinasi, :<math>(S-s)^p \leq \left[\sum_{i=1}^n (M_i -m_i) \Delta x_i \right] (b-a)^{p-1} <\varepsilon^p (b-a)^{p-1}<\varepsilon^p, </math> :nes <math>(b-a)^{p-1} <1 \; </math> (b-a<1 ir p>1). :Taigi, :<math>(S-s)^p <\varepsilon^p, </math> :<math>S-s <\varepsilon. </math> ____________________ :''*'' Galime laikyti <math>M_i>0.</math> Jeigu <math>M_i=0,</math> tai <math>m_i=0,</math> ir (10.35) nelygybė teisinga. ==5. Helderio nelygybė integralams.== :Tarkime, kad f(x) ir g(x) yra bet kokios dvi segmente [a; b] integruojamos funkcijos, o p ir p' – bet kokie du skaičiai, didesni už vienetą ir susiję sąryšiu <math> \frac{1}{p}+\frac{1}{p'} =1.</math> Tada teisinga nelygybė :<math>\left| \int_a^b f(x) g(x) \; dx \right| \leq \left[ \int_a^b |f(x)|^p \; dx \right]^{1/p} \left[ \int_a^b |g(x)|^{p'} \; dx \right]^{1/p'}, \quad (10.36)</math> :vadinama ''Helderio nelygybe integralams''. Pažymėsime, kad (10.36) nelygybės dešinės pusės integralai egzistuoja pagal 10.7 teoremą, o kairės pusės integralas – pagal 5 paragrafo <math>3^\circ</math> savybę. :Iš pradžių įrodykime šitokį teiginį: jeigu ''A''(x) ir ''B''(x) – dvi neneigiamos ir segmente [a; b] integruojamos funkcijos, tenkinančios nelygybes :<math>\int_a^b A^p(x) \; dx \leq 1, \quad \int_a^b B^{p'}(x) \; dx \leq 1, \quad (10.37)</math> :tai :<math>\int_a^b A(x) B(x) \; dx \leq 1. \quad (10.38)</math> :Iš tikrųjų bet kuriame segmento [a; b] taške x teisinga (10.26) nelygybė :<math>A(x) B(x) \leq \frac{A^p(x)}{p} +\frac{B^{p'}(x)}{p'}.</math> :Iš čia, remiantis 6 paragrafo <math>3^\circ</math> įverčiu ir (10.37) formulėmis, :<math>\int_a^b A(x) B(x) \; dx\leq \frac{1}{p}\int_a^b A^p(x) \; dx + \frac{1}{p'}\int_a^b B^{p'}(x) \; dx \leq \frac{1}{p} +\frac{1}{p'}=1.</math> :(10.38) nelygybė įrodyta. :Paėmę :<math>A(x)=\frac{|f(x)|}{[\int_a^b |f(x)|^p \; dx]^{1/p}}, \quad B(x)=\frac{|g(x)|}{[\int_a^b |g(x)|^{p'} \; dx]^{1/p'}},</math> :[<math>\left[\int_a^b |f(x)|^p \; dx\right]^{1/p} \;</math> ir <math> \left[\int_a^b |g(x)|^{p'} \; dx\right]^{1/p'} \;</math> yra konstantos.] :gauname šitokią nelygybę: :<math>\int_a^b |f(x)| |g(x)| \; dx \leq \left[ \int_a^b |f(x)|^p \; dx \right]^{1/p} \left[ \int_a^b |g(x)|^{p'} \; dx \right]^{1/p'} .</math> :Kadangi pagal 6 paragrafo 1 skirsnio 2 pastabą :<math>|\int_a^b f(x) g(x) \; dx| \leq \int_a^b |f(x) g(x)| \; dx,</math> :tai (10.36) Helderio nelygybė integralams įrodyta. :<math>\int_a^b A(x) B(x) \; dx\leq \frac{1}{p}\int_a^b A^p(x) \; dx + \frac{1}{p'}\int_a^b B^{p'}(x) \; dx \leq \frac{1}{p} +\frac{1}{p'}=1,</math> :<math>\int_a^b \frac{|f(x)|}{[\int_a^b |f(x)|^p \; dx]^{1/p}} \frac{|g(x)|}{[\int_a^b |g(x)|^{p'} \; dx]^{1/p'}} \; dx\leq \frac{1}{p}\int_a^b \frac{|f(x)|^p}{[\int_a^b |f(x)|^p \; dx]^{p/p}} \; dx + \frac{1}{p'}\int_a^b \frac{|g(x)|^{p'}}{[\int_a^b |g(x)|^{p'} \; dx]^{p'/p'}} \; dx \leq \frac{1}{p} +\frac{1}{p'}=1,</math> :<math>\frac{1}{[\int_a^b |f(x)|^p \; dx]^{1/p}} \frac{1}{[\int_a^b |g(x)|^{p'} \; dx]^{1/p'}}\int_a^b |f(x)||g(x)| \; dx\leq \frac{1}{p} \frac{\int_a^b|f(x)|^p \; dx}{[\int_a^b |f(x)|^p \; dx]} + \frac{1}{p'} \frac{\int_a^b|g(x)|^{p'} \; dx}{[\int_a^b |g(x)|^{p'} \; dx]} \leq \frac{1}{p} +\frac{1}{p'}=1,</math> :<math>\frac{1}{[\int_a^b |f(x)|^p \; dx]^{1/p}} \frac{1}{[\int_a^b |g(x)|^{p'} \; dx]^{1/p'}}\int_a^b |f(x)||g(x)| \; dx\leq \frac{1}{p} \cdot 1+ \frac{1}{p'} \cdot 1 = \frac{1}{p} +\frac{1}{p'}=1,</math> :<math>\int_a^b |f(x)||g(x)| \; dx\leq [\int_a^b |f(x)|^p \; dx]^{1/p} [\int_a^b |g(x)|^{p'} \; dx]^{1/p'}.</math> :'''Pastaba.''' Atskiru atveju, kai p=p'=2, Helderio nelygybė integralams virsta šitokia: :<math>\left| \int_a^b f(x) g(x) \; dx \right| \leq \sqrt{ \int_a^b |f(x)|^2 \; dx } \sqrt{ \int_a^b |g(x)|^2 \; dx }; \quad (10.39)</math> :ji vadinama ''Koši—Buniakovskio nelygybe integralams''. ==6. Minkovskio nelygybė integralams== :Su bet kokiomis neneigiamomis ir segmente [a; b] integruojamomis funkcijomis f(x) ir g(x) ir bet kokiu skaičiumi ''p''>1 teisinga šitokia nelygybė: :<math>\left( \int_a^b [f(x) +g(x)]^p \; dx \right)^{1/p} \leq \left( \int_a^b [f(x)]^p \; dx \right)^{1/p} + \left( \int_a^b [g(x)]^p \; dx \right)^{1/p} ; \quad (10.40)</math> :ji vadinama ''Minkovskio nelygybe integralams''. Norint ją įrodyti, reikia pradėti nuo formulės :<math>\int_a^b [f(x)+g(x)]^p \; dx = \int_a^b f(x) [f(x) +g(x)]^{p-1} \; dx + \int_a^b g(x) [f(x) +g(x)]^{p-1} \; dx</math> :ir integralams, esantiems dešinėje tos formulės pusėje, taikyti Helderio nelygybę. Įrodymo detales paliekame skaitytojui. :Kadangi <math>(p-1)p'=p</math> ir <math>\frac{1}{p'}=\frac{p-1}{p},</math> tai :<math>\int_a^b [f(x)+g(x)]^p \; dx \leq \left[\int_a^b [f(x)]^p \; dx\right]^{1\over p} \left[\int_a^b (f(x) +g(x))^{(p-1)p'} \; dx\right]^{1\over p'} + \left[\int_a^b [g(x)]^p \; dx\right]^{1\over p} \left[\int_a^b (f(x) +g(x))^{(p-1)p'}\; dx \right]^{1\over p'} =</math> :<math>= \left( \left[\int_a^b [f(x)]^p \; dx\right]^{1\over p} + \left[ \int_a^b [g(x)]^p \; dx\right]^{1\over p} \right) \left[\int_a^b (f(x) +g(x))^{p} \; dx\right]^{p-1\over p}.</math> :Padaliję paskutinės nelygybės abi puses iš <math>\left[\int_a^b (f(x) +g(x))^{p} \; dx\right]^{p-1\over p},</math> gausime Minkovskio (10.40) nelygybę integralams. :<math>\left[ \int_a^b [f(x)+g(x)]^p \; dx \right] \left[\int_a^b (f(x) +g(x))^{p}\; dx \right]^{-\frac{p-1}{p}} \leq \left[\int_a^b [f(x)]^p \; dx\right]^{1\over p} + \left[ \int_a^b [g(x)]^p \; dx\right]^{1\over p},</math> :<math> \left[\int_a^b (f(x) +g(x))^{p} \; dx\right]^{1-\frac{p-1}{p}} \leq \left[\int_a^b [f(x)]^p \; dx\right]^{1\over p} + \left[ \int_a^b [g(x)]^p \; dx\right]^{1\over p} ,</math> :<math> \left[\int_a^b (f(x) +g(x))^{p} \; dx\right]^{\frac{p-(p-1)}{p}} \leq \left[\int_a^b [f(x)]^p\; dx \right]^{1\over p} + \left[ \int_a^b [g(x)]^p \; dx\right]^{1\over p} ,</math> :<math> \left[\int_a^b (f(x) +g(x))^{p} \; dx\right]^{\frac{1}{p}} \leq \left[\int_a^b [f(x)]^p \; dx\right]^{1\over p} + \left[ \int_a^b [g(x)]^p \; dx\right]^{1\over p} .</math> :Indukcijos metodu iš (10.40) nelygybės galima gauti nelygybę, kuri tinka ''n'' neneigiamų ir segmente [a; b] integruojamų funkcijų <math>f_1(x), \; f_2(x), \; ..., \; f_n(x):</math> :<math>\left( \int_a^b [f_1(x) +f_2(x) +...+f_n(x)]^p \; dx \right)^{1/p} \leq \left( \int_a^b [f_1(x)]^p \; dx \right)^{1/p} + \left( \int_a^b [f_2(x)]^p \; dx \right)^{1/p} +...+ \left( \int_a^b [f_n(x)]^p \; dx \right)^{1/p}.</math> ==5 paragrafo trečia savybė== :<math>3^\circ.</math> Jei funkcijos f(x) ir g(x) integruojamos segmente [a; b], tai funkcijos f(x)+g(x), f(x)-g(x) ir <math>f(x)\cdot g(x)</math> taip pat yra jame integruojamos ir :<math>\int_a^b [f(x) \pm g(x)]\; dx =\int_a^b f(x) \; dx \pm \int_a^b g(x) \; dx. \quad (10.8) </math> :Pirmiausia įrodykime, kad funkcija <math>f(x)\pm g(x)</math> yra integruojama ir teisinga (10.8) formulė. Kad ir kokie būtų segmento [a; b] skaidinys bei taškai <math>\xi_i,</math> integralinės sumos tenkina sąryšį :<math>\sum_{i=1}^n [f(\xi_i) \pm g(\xi_i)] \Delta x_i = \sum_{i=1}^n f(\xi_i) \Delta x_i \pm \sum_{i=1}^n g(\xi_i) \Delta x_i.</math> :Kai egzistuoja dešinės pusės riba, egzistuoja ir kairės pusės riba. Todėl funkcija <math>f(x)\pm g(x)</math> yra integruojama, ir yra teisinga (10.8) formulė. :Dabar įrodysime, kad integruojamų funkcijų sandauga yra integruojama funckija. Kadangi funkcijos f(x) ir g(x) integruojamos segmente [a; b], tai jos tame segmente yra aprėžtos, taigi <math>|f(x)| \leq A, \;</math> <math>|g(x)| \leq B.</math> Nagrinėkime bet kokį duotąjį segmento [a; b] skaidinį. Sakykime, x' ir x" – bet kokie dalinio segmento <math>[x_{i-1}; \; x_i]</math> taškai. Turime tapatybę :<math>f(x'') g(x'') -f(x') g(x') = [f(x'') -f(x')]g(x'') +[g(x'') -g(x')]f(x').</math> :Kadangi :<math>|f(x'') g(x'') -f(x') g(x') | \leq \omega_i, \;\;</math> <math>|f(x'')-f(x')| \leq w_i, \;\;</math> <math>|g(x'')-g(x')| \leq \overline{w}_i, </math> :kai <math>\omega_i, \; w_i, \; \overline{w}_i</math> yra funkcijų <math>f(x) g(x),</math> f(x), g(x) svyravimai segmente <math>[x_{i-1}; \; x_i],</math> tai, remiantis parašyta tapatybe*, :<math>\omega_i \leq B w_i +A\overline{w}_i.</math> :Todėl :<math>\sum_{i=1}^n \omega_i \Delta x_i \leq B \sum_{i=1}^n w_i \Delta x_i +A\sum_{i=1}^n \overline{w}_i \Delta x_i.</math> :Kadangi f(x) ir g(x) yra integruojamos segmente [a; b], tai bet kokį duotąjį <math>\varepsilon>0</math> atitinka toks šio segmento skaidinys ''T'', kad <math>\sum_{i=1}^n w_i \Delta x_i <\frac{\varepsilon}{2B}</math> ir <math>\sum_{i=1}^n \overline{w}_i \Delta x_i <\frac{\varepsilon}{2A}.</math> Vadinasi, :<math>S-s =\sum_{i=1}^n \omega_i \Delta x_i < B \; \frac{\varepsilon}{2B} +A \; \frac{\varepsilon}{2A} =\varepsilon.</math> :Taigi integruojamų funkcijų sandauga yra integruojama funkcija. _________________ :''*'' Toje tapatybėje taškus x' ir x" galima pasirinkti taip, kad kairė pusė kiek norima mažai skirtųsi nuo <math>\omega_i.</math> :<math>4^\circ.</math> Jei funkcija f(x) yra integruojama segmente [a; b], tai funkcija <math>cf(x) \;</math> (<math>c=\text{const}</math>) integruojama tame segmente ir :<math>\int_a^b cf(x) \; dx =c\int_a^b f(x) \; dx. \quad (10.9)</math> :Iš tikrųjų funkcijų f(x) ir ''c''f(x) integralinės sumos skiriasi pastoviu daugikliu ''c''. Todėl funkcija cf(x) integruojama ir teisinga (10.9) formulė. ==Paragrafas 6. Integralų įverčiai. Vidurinės reikšmės formulės== ===1. Integralų įverčiai.=== :Šiame skirsnyje nurodysime, kaip įvertinami apibrėžtiniai integralai, kurių pointegralinės funkcijos tenkina vienokias ar kitokias sąlygas. :<math>1^\circ.</math> ''Tarkime, kad integruojama segmente'' [a; b] ''funkcija <math>f(x)</math> jame yra neneigiama. Tada :<math>\int_a^b f(x)\; dx \geq 0.</math> :Iš tikrųjų kiekviena tokios funkcijos integralinė suma yra neneigiama. Todėl integralinių sumų riba <math>I=\int_a^b f(x)\; dx</math> taip pat neneigiama. :'''1 pastaba.''' ''Jeigu <math>f(x)</math> integruojama segmente'' [a; b] ''ir <math>f(x)\geq m,</math> tai'' :<math>\int_a^b f(x)\; dx \geq m(b-a).</math> :Iš tikrųjų funkcija <math>f(x)-m</math> yra neneigiama ir integruojama segmente [a; b]. Todėl <math>\int_a^b [f(x)-m] \; dx \geq 0.</math> Iš čia aišku, kad :<math>\int_a^b f(x)\; dx \geq \int_a^b m \; dx = m\int_a^b dx =m(b-a).</math> :<math>2^\circ.</math> ''Jei funkcija <math>f(x)</math> tolydi, neneigiama ir nėra tapačiai lygi nuliui segmente'' [a; b], ''tai'' :<math>\int_a^b f(x)\; dx \geq c>0.</math> :Kadangi funkcija <math>f(x)</math> yra neneigiama ir nėra tapačiai lygi nuliui, tai segmente [a; b] yra toks taškas <math>\xi,</math> kad <math>f(\xi)=2k>0.</math> Tada pagal teoremą apie tolydžiosios funkcijos ženklo pastovumą galima rasti tokį segmentą [p; q], kuriam priklauso taškas <math>\xi,</math> kad jame funkcijos <math>f(x)</math> reikšmės bus ne mažesnės už skaičių k>0. Todėl pagal 1 pastabą :<math>\int_p^q f(x)\; dx \geq k(q-p)>0.</math> :Pagal apibrėžtinių integralų savybę <math>\int_a^b f(x) \; dx=\int_a^c f(x) \; dx +\int_c^b f(x) \; dx,</math> :<math>\int_a^b f(x) \; dx=\int_a^p f(x) \; dx +\int_p^q f(x) \; dx +\int_q^b f(x) \; dx.</math> :Kadangi <math>f(x) \geq 0</math> ir <math>\int_p^q f(x) \; dx \geq c>0 \;</math> (čia <math>c=k(q-p)</math>), tai :<math>\int_a^b f(x)\; dx \geq c>0.</math> :<math>3^\circ.</math> ''Jei funkcijos <math>f(x)</math> ir <math>g(x)</math> integruojamos segmente'' [a; b] ''ir <math>f(x)\geq g(x)</math> visame segmente, tai'' :<math>\int_a^b f(x) \; dx \geq \int_a^b g(x) \; dx.</math> :Iš tikrųjų funkcija <math>f(x)-g(x) \geq 0</math> integruojama segmente [a; b]. Iš čia, pasinaudoję <math>1^\circ</math> savybe, gauname nurodytą įvertį. :'''2 pastaba.''' ''Jei funkcija <math>f(x)</math> integruojama segmente'' [a; b], ''tai funkcija <math>|f(x)|</math> jame taip pat integruojama, ir'' :<math>\left|\int_a^b f(x) \; dx \right| \leq \int_a^b |f(x)| \; dx.</math> :Iš pradžių įrodykime, kad integruojamos funkcijos f(x) modulis |f(x)| yra integruojamas. Pažymėkime <math>M_i</math> ir <math>m_i</math> funkcijos f(x) tiksliuosius rėžius segmente <math>[x_{i-1}; x_i]</math>, o <math>M_i'</math> ir <math>m_i'</math> – modulio |f(x)| tiksliuosius rėžius tame pačiame segmente. Lengva įsitikinti, kad <math>M_i'-m_i' \leq M_i -m_i \;</math> (užtenka išnagrinėti tris galimus atvejus: 1) <math>M_i</math> ir <math>m_i</math> neneigiami, 2) <math>M_i</math> ir <math>m_i</math> neteigiami, 3) <math>M_i>0,\;</math> <math>m_i \leq 0 \;</math> [2) atveju <math>M_i-m_i=-|M_i|-(-|m_i|) =-|M_i|+|m_i|>0</math> ir <math>M_i'-m_i'=|M_i|-|m_i| <0,</math> todėl <math>M_i'-m_i' \leq M_i -m_i </math>]). Iš gautos nelygybės išplaukia, kad <math>S'-s' \leq S-s.</math> Todėl, jei tam tikro skaidinio <math>S-s< \varepsilon,</math> tai to paties skaidinio <math>S'-s'< \varepsilon,</math> t. y. funkcija |f(x)| tenkina pakankamą integruojamumo sąlygą*. :Dabar įrodysime mus dominantį įvertį. Kadangi <math>-|f(x)| \leq f(x) \leq |f(x)|, </math> tai :<math>-\int_a^b |f(x)| \; dx \leq \int_a^b f(x) \; dx \leq \int_a^b |f(x)| \; dx.</math> :Tai ir reiškia, kad :<math>\left|\int_a^b f(x) \; dx \right| \leq \int_a^b |f(x)| \; dx.</math> ________________________ :''*'' Iš to, kad funkcija |f(x)| yra integruojama, dar neišplaukia f(x) integruojamumas. Pavyzdžiui, funkcija <math>f(x)=\begin{cases} 1, \;\; \text{kai} \; x \; \text{racionalusis}, & \\ -1, \;\; \text{kai} \; x \; \text{iracionalusis}, & \end{cases}</math> neintegruojama segmente [0; 1], tuo tarpu <math>|f(x)|=1</math> – integruojama tame segmente funkcija. :<math>4^\circ.</math> ''Sakykime, funkcijos <math>f(x)</math> ir <math>g(x)</math> yra integruojamos segmente'' [a; b] ''ir <math>g(x) \geq 0.</math> Jeigu M ir m yra tikslieji funkcijos <math>f(x)</math> rėžiai segmente'' [a; b], ''tai'' :<math>m\int_a^b g(x) \; dx \leq \int_a^b f(x) g(x) \; dx \leq M \int_a^b g(x) \; dx. \quad (10.11)</math> :(10.11) formulė išplaukia iš to, kad visiems ''x'' iš segmento [a; b] yra teisingos nelygybės <math>mg(x) \leq f(x) g(x) \leq M g(x) \;</math> (žr. šio skirsnio <math>3^\circ</math> įvertį ir 5 paragrafo <math>4^\circ</math> savybę). ===2. Pirmoji vidurinės reikšmės formulė.=== :''Tarkime, kad funkcija <math>f(x)</math> yra integruojama segmente'' [a; b], ''o m ir M yra jos tikslieji rėžiai tame segmente. Tada yra toks skaičius <math>\mu,</math> tenkinantis nelygybes <math>m\leq \mu\leq M,</math> kad'' :<math>\int_a^b f(x) \; dx =\mu(b-a). \quad (10.12)</math> :Paėmę <math>g(x)=1</math> ir atsižvelgę į tai, kad <math>\int_a^b 1\cdot dx =b-a,</math> iš (10.11) gauname :<math>m(b-a) \leq \int_a^b f(x) \; dx \leq M(b-a). \quad (10.12.1)</math> :Skaičių <math>\frac{1}{b-a}\int_a^b f(x) \; dx</math> pažymėję raide <math>\mu,</math> gauname (10.12) formulę. :'''8.5 teorema.''' ''Sakykime, funkcija <math>f(x)</math> tolydi segmente [a; b] ir tos funkcijos reikšmės <math>f(a)</math> ir <math>f(b),</math> įgyjamos segmento galuose, yra skirtingo ženklo (pvz., <math>f(a)<0, \; f(b)>0</math>). Tada segmento'' [a; b] ''viduje yra taškas <math>\xi,</math> kuriame funkcijos reikšmė lygi nuliui''. :'''8.6 teorema.''' ''Sakykime, funkcija <math>f(x)</math> yra tolydi segmente'' [a; b] ''ir <math>f(a)=A, \;</math> <math>f(b)=B.</math> Jei C – bet koks skaičius, esantis tarp A ir B, tai segmente'' [a; b] yra toks taškas <math>\xi,</math> kad <math>f(\xi)=C.</math> :'''Įrodymas.''' Užtenka išnagrinėti atvejį, kai <math>A\neq B,</math> o ''C'' nesutampa nei su skaičiumi ''A'', nei su skaičiumi ''B''. Konkretumo dėlei tarkime, kad ''A<B'' ir ''A<C<B. Sudarykime funkciją <math>\phi(x)=f(x)-C.</math> Ta funckija yra tolydi segmente [a; b] (kaip tolydžiųjų funkcijų skirtumas) ir to segmento galuose įgyja skirtingų ženklų reikšmes: :<math>\phi(a)=f(a)-C=A-C<0, \quad \phi(b)=f(b)-C=B-C>0.</math> :Pagal 8.5 teoremą segmento [a; b] viduje yra toks taškas <math>\xi,</math> kad <math>\phi(\xi)=f(\xi)-C=0.</math> Todėl <math>f(\xi)=C.</math> Teorema įrodyta. :'''8.7 (pirmoji Vejerštraso) teorema.''' ''Jei funkcija <math>f(x)</math> tolydi segmente'' [a; b], ''tai ji tame segmente yra aprėžta''. :[Pavyzdžiui, funkcija f(x)=1/x pusintervalyje (0; 10] yra tolydi, bet segmente [0; 10] nėra tolydi (sąlygoje pasakyta segmentas, o ne pusintervalis), nes dalyba iš nulio negalima. O jei imti reikšmes artimas nuliui, kaip 0.0001, tai tom reikšmėm artėjant prie nulio, funkcijos f(x)=1/x reikšmės artės prie begalybės ir tokia funkcija nėra aprėžta. Be to, ši funkcija (f(x)=1/x) nėra tolygiai tolydi pusintervalyje (0; 10], nes su labai mažu skirtumu <math>\delta x</math> prie 0 ant ''Ox'' ašies yra labai didelis skirtumas <math>\delta y</math> funkcijos f(x)=1/x. Funkcija <math>f(x)=x^2</math> taip pat nėra tolygiai tolydi intervale <math>(-\infty; \; \infty),</math> nes esant mažam argumento pasikeitimui, gali būti labai didelis funkcijos <math>f(x)=x^2</math> reikšmės pasikeitimas. Pavyzdžiui, kai argumento (''x'' reikšmės) pasikeitimas yra 0.1, tai <math>1000000.1^2 -1000000^2=1,000,000,200,000.01 - 1,000,000,000,000 =200000.01,</math> t. y. <math>\delta y</math> pasikeitimas yra labai didelis, dėl to ji ir nėra tolygiai tolydi. Tolygiai tolydi funkcija pusintervalyje <math>[0; \; \infty)</math> yra <math>f(x)=\sqrt{x},</math> nes <math>\sqrt{1000000.1} -\sqrt{1000000}\approx 1000.00004999999875 - 1000 =4.999999875\cdot 10^{-5}=</math> 0.00004999999875. :Pastebėsime, kad <math>10.1\cdot 10.1=10.1(10+0.1)=10.1\cdot 10 +10.1\cdot 0.1=101 +1.01=102.01.</math> Kartais (arba beveik visada) taip dauginti mintyse lengviau nei kaip mokina mokykloje.] :'''8.8 (antroji Vejerštraso) teorema.''' ''Jei funkcija <math>f(x)</math> yra tolydi segmente'' [a; b], ''tai tame segmente pasiekia savo tikslųjį viršutinį ir tikslųjį apatinį rėžį'' (t. y. segmente [a; b] yra tokie taškai <math>x_1</math> ir <math>x_2,</math> kad <math>f(x_1)=M, \;</math> <math>f(x_2)=m</math>). :Jei funkcija <math>f(x)</math> yra ''tolydi'' segmente [a; b], tai egzistuoja tokie segmento taškai ''p'' ir ''q'', kad <math>f(p)=m</math> ir <math>f(q)=M \;</math> (žr. 8.8 teoremą). Todėl pagal 8.6 teoremą segmente [p; q], taigi ir segmente [a; b] yra toks taškas <math>\xi,</math> kad <math>f(\xi)=\mu.</math> Tuomet (10.12) formulė atrodo šitaip: :<math>\int_a^b f(x) \; dx =f(\xi)(b-a). \quad (10.13)</math> :Ji vadinama ''pirmąja vidurinės reikšmės formule''. ===3. Pirmoji apibendrinta vidurinės reikšmės formulė.=== :Įrodysime šitokį teiginį. ''Tarkime, kad funkcijos <math>f(x)</math> ir <math>g(x)</math> yra integruojamos segmente'' [a; b], ''o m ir M yra <math>f(x)</math> tikslieji rėžiai segmente'' [a; b]. ''Be to, tarkime, kad funkcija'' <math>g(x) \geq 0 \;</math> (''arba'' <math>g(x) \leq 0 </math>) ''visame segmente'' [a; b]. ''Tada yra toks skaičius <math>\mu,</math> tenkinantis nelygybes <math>m\leq \mu \leq M,</math> kad'' :<math>\int_a^b f(x) g(x) \; dx =\mu \int_a^b g(x) \; dx. \quad (10.14)</math> :''Skyrium imant, jeigu <math>f(x)</math> tolydi segmente'' [a; b], ''tai jame yra toks skaičius <math>\xi,</math> kad'' :<math>\int_a^b f(x) g(x) \; dx =f(\xi) \int_a^b g(x) \; dx. \quad (10.15)</math> :(10.15) formulė vadinama ''pirmąja apibendrinta vidurinės reikšmės formule''. :Įrodysime (10.14) formulę. Jeigu <math>\int_a^b g(x) \; dx=0,</math> tai remiantis (10.11) nelygybe, <math>\int_a^b f(x) g(x) \; dx=0.</math> Tada vietoje <math>\mu</math> galima imti bet kokį skaičių. Jeigu <math>\int_a^b g(x) \; dx >0,</math> tai, padaliję (10.11) nelygybę iš <math>\int_a^b g(x) \; dx,</math> gausime :<math>m\leq \frac{\int_a^b f(x) g(x) \; dx}{\int_a^b g(x) \; dx} \leq M.</math> :Pažymėję skaičių <math>\frac{\int_a^b f(x) g(x) \; dx}{\int_a^b g(x) \; dx}</math> raide <math>\mu,</math> gausime (10.14) formulę. :Jeigu f(x) yra tolydi segmente [a; b], tai, kad ir koks būtų skaičius <math>\mu</math> tarp ''m'' ir ''M'', tame segmente yra toks taškas <math>\xi,</math> kad <math>f(\xi)=\mu,</math> t. y. (10.14) formulė virsta (10.15) formule. :'''4 pastaba.''' Jei funkcija f(x) nėra tolydi, tai (10.15) formulė, apskritai kalbant, nėra teisinga. ===4. Antroji vidurinės reikšmės formulė.=== :Teisingas šitoks teiginys. ''Jei segmente'' [a; b] ''funkcija <math>g(x)</math> yra monotoniška, o <math>f(x)</math> integruojama, tai jame yra toks skaičius <math>\xi,</math> kad'' :<math>\int_a^b f(x) g(x) \; dx =g(a) \int_a^\xi f(x) \; dx +g(b) \int_{\xi}^b f(x) \; dx. \quad (10.16)</math> :(10.16) formulė vadinama ''antąja vidurinės reikšmės'', arba ''Bonė''*, formule. Suformuluotas teiginys įrodytas šio skyriaus 2 priede. _____________ :''*'' Bonė (1819–1892) – prancūzų matematikas. ==2 PRIEDAS== ===6 paragrafo 4 skirsnio teiginio įrodymas=== :Dar kartą suformuluosime 6 paragrafo 4 skirsnio teiginį. :''Jei segmente'' [a; b] ''funkcija <math>g(x)</math> yra monotoniška, o funkcija <math>f(x)</math> integruojama, tai jame yra toks skaičius <math>\xi,</math> kad'' :<math>\int_a^b f(x) g(x) \; dx =g(a) \int_a^\xi f(x) \; dx +g(b) \int_{\xi}^b f(x) \; dx. \quad (10.16)^*</math> :''*'' Patogumo dėlei paliekame ankstesnį formulės numerį. :Iš pradžių įrodysime pagalbinį teiginį. :'''Abelio** lema.''' ''Tarkime, kad <math>v_1 \geq v_2 \geq ... \geq v_n\geq 0 \;</math> ir <math>\; u_1, \; u_2, \; ..., \; u_n</math> – bet kokie skaičiai. Jei sumos <math>S_i=u_1+u_2+...+u_i</math> visiems <math>i</math> yra tarp A ir B (sumos <math>S_i</math> yra tarp A ir B), tai suma <math>v_i u_1 +v_2 u_2 +...+ v_n u_n</math> yra tarp skaičių <math>Av_1</math> ir'' <math>Bv_1.</math> :''**'' N. H. Abelis (1802–1829) – norvegų matematikas. :'''Įrodymas.''' Turime <math>u_1=S_1, \;</math> <math>u_i=S_i-S_{i-1}. </math> Todėl :<math>v_i u_1 +v_2 u_2 +...+ v_n u_n=v_1 S_1 +v_2(S_2-S_1) +v_3(S_3-S_2) +...+v_n(S_n-S_{n-1})=</math> :<math>=S_1(v_1-v_2) +S_2(v_2-v_3) +S_3(v_3-v_4)+ ...+S_{n-1}(v_{n-1} -v_n) +S_n v_n.</math> :Kadangi <math>v_i \geq 0</math> ir <math>v_i -v_{i+1}\geq 0,</math> tai paskutiniame sąryšyje vietoj kiekvieno <math>S_i</math> iš pradžių parašę ''A'', o po to ''B'', gausime nelygybes :<math>A[(v_1-v_2) +(v_2-v_3) +(v_3-v_4)+ ...+(v_{n-1} -v_n) + v_n] \leq S_1(v_1-v_2) +S_2(v_2-v_3) +S_3(v_3-v_4)+ ...+S_{n-1}(v_{n-1} -v_n) +S_n v_n \leq</math> :<math>\leq B[(v_1-v_2) +(v_2-v_3) +(v_3-v_4)+ ...+(v_{n-1} -v_n) + v_n].</math> :Pastebėję, kad reiškiniai laužtiniuose skliaustuose lygūs <math>v_1,</math> gauname :<math>A v_1 \leq S_1(v_1-v_2) +S_2(v_2-v_3) +S_3(v_3-v_4)+ ...+S_{n-1}(v_{n-1} -v_n) +S_n v_n \leq B v_1.</math> :Lema įrodyta. :'''Pastaba.''' Abelio lemos įrodyme pritaikėme sumos <math>\sum_{k=1}^n v_k u_k</math> transformaciją, paprastai vadinamą Abelio transformacija. :'''6 paragrafo 4 skirsnio teiginio įrodymas.''' Tarkime, kad funkcija g(x) nedidėja segmente [a; b] ir yra jame neneigiama. Kadangi funkcija <math>f(x) g(x)</math> yra integruojama (žr. 5 paragrafo <math>3^\circ</math> savybę), tai :<math>\int_a^b f(x) g(x) \; dx = \lim_{\Delta \to 0} \sum_{i=1}^n f(x_{i-1}) g(x_{i-1}) \; \Delta x_i; \; </math> čia <math>\Delta =\text{max} \; \Delta x_i.</math> :Funkcijos f(x) tiksliuosius rėžius segmente <math>[x_{i-1}; \; x_1]</math> pažymėkime raidėmis <math>M_i</math> ir <math>m_i.</math> Kadangi g(x) yra neneigiama, tai teisingos nelygybės :<math>\sum_{i=1}^n m_i g(x_{i-1}) \; \Delta x_i \leq \sum_{i=1}^n f(x_{i-1}) g(x_{i-1}) \; \Delta x_i \leq \sum_{i=1}^n M_i g(x_{i-1}) \; \Delta x_i. \quad (10.41)</math> :Bet g(x) nedidėja segmente [a; b], todėl skirtumas :<math>\sum_{i=1}^n M_i g(x_{i-1}) \; \Delta x_i - \sum_{i=1}^n m_i g(x_{i-1}) \; \Delta x_i =\sum_{i=1}^n (M_i-m_i) g(x_{i-1}) \; \Delta x_i</math> :nėra didesnis už skaičių <math>\sum_{i=1}^n (M_i-m_i) g(a) \; \Delta x_i=g(a)\sum_{i=1}^n (M_i-m_i) \; \Delta x_i. \;</math> [g(a)>g(b)]. Kadangi funkcija f(x) yra integruojama, tai suma <math>\sum_{i=1}^n (M_i-m_i) \Delta x_i=\sum_{i=1}^n \omega \; \Delta x_i \;</math> nyksta, kai <math>\Delta \to 0.</math> Todėl iš (10.41) nelygybės išplaukia: ''kad ir kokie būtų skaičiai'' <math>\mu_i,</math> tenkinantys nelygybes <math>m_i\leq \mu_i \leq M_i,</math> kiekvienos iš sumų :<math>\sum_{i=1}^n m_i g(x_{i-1}) \; \Delta x_i, \quad \sum_{i=1}^n \mu_i g(x_{i-1}) \; \Delta x_i, \quad \sum_{i=1}^n M_i g(x_{i-1}) \; \Delta x_i</math> :riba, kad <math>\Delta \to 0,</math> yra integralas <math>\int_a^b f(x) g(x) \; dx.</math> Remiantis (10.12) formule, skaičius <math>\mu_i, \;</math> <math>m_i\leq \mu_i \leq M_i,</math> galima parinkti taip, kad būtų <math>\int_{x_{i-1}}^{x_i} f(x) \; dx=\mu_i \; \Delta x_i.</math> :Kadangi funkcija <math>F(x)=\int_a^x f(t) \; dt \;</math> (vietoje ''x'' gali būti bet kokia reikšmė iš segmento [a; b]) tolydi segmente [a; b], tai skaičius <math>S_i= \sum_{k=1}^i \mu_k \; \Delta x_k =\int_a^{x_i} f(t) \; dt</math> yra tarp funkcijos F(x) tiksliojo apatinio rėžio ''m'' ir tiksliojo viršutinio rėžio ''M'' segmente [a; b]. :[''Paraboloido pataisymas''. :Kadangi funkcija <math>F(x)=\int_a^x f(t) \; dt \;</math> (vietoje ''x'' gali būti bet kokia reikšmė iš segmento [a; b]) tolydi segmente [a; b], tai skaičius <math>S_i= \sum_{k=1}^i \mu_k \; \Delta x_k =\int_a^{x_i} f(t) \; dt</math> yra tarp funkcijos F(x) tiksliojo apatinio rėžio ''m'' padauginto iš <math>(x_i-a)</math> ir tiksliojo viršutinio rėžio ''M'' padauginto iš <math>(x_i-a)</math> segmente [a; b]. :Taip gaunama pagal (10.12.1) formulę, t. y. <math>m(x_i-a) \leq \int_a^{x_i} f(t) \; dt \leq M(x_i-a), \;</math> nes (10.12.1) formulė yra tokia: :<math>m(b-a) \leq \int_a^b f(x) \; dx \leq M(b-a). \quad (10.12.1)</math>] :Imkime <math>v_1=g(a), \; v_2=g(x_1), \; v_3=g(x_2), \; ..., \; v_n=g(x_{n-1}), \;</math> <math>u_1=\mu_1 \Delta x_1, \; u_2=\mu_2 \Delta x_2, \; ..., \; u_n=\mu_n \Delta x_n.</math> :Kadangi <math>v_1 \geq v_2 \geq ... \geq v_n\geq 0 \;</math> ir sumos <math>S_i=\sum_{k=1}^i u_k \;</math> yra tarp ''m'' ir ''M'', tai remiantis Abelio lema, suma <math>\sum_{i=1}^n g(x_{i-1}) \mu_i \;\Delta x_1\;</math> yra tarp mg(a) ir Mg(a) (čia <math>g(x_{1-1})=g(x_0)=g(a)</math>). :[''Paraboloido pataisymas''. :Kadangi <math>v_1 \geq v_2 \geq ... \geq v_n\geq 0 \;</math> ir sumos <math>S_i=\sum_{k=1}^i u_k =\sum_{k=1}^i \mu_k \Delta x_k \;</math> yra tarp <math>m(x_i-a)</math> ir <math>M(x_i-a),</math> tai remiantis Abelio lema, suma <math>\sum_{i=1}^n g(x_{i-1}) \mu_i \;\Delta x_1\;</math> yra tarp <math>m(x_n-a)g(a)</math> ir <math>M(x_n-a)g(a) \;</math> (čia <math>g(x_{1-1})=g(x_0)=g(a)</math>).] :Bet tada ir tos sumos riba, kai <math>\Delta\to 0,</math> yra tarp <math>mg(a)</math> ir <math>Mg(a),</math> t. y. teisingos nelygybės :<math>g(a) m \leq \int_a^b f(x) g(x) \; dx \leq g(a) M. </math> :[''Paraboloido pataisymas''. :Bet tada ir tos sumos riba, kai <math>\Delta\to 0,</math> yra tarp <math>m(b-a)g(a)</math> ir <math>M(b-a)g(a),</math> t. y. teisingos nelygybės :<math>g(a) m(b-a) \leq \int_a^b f(x) g(x) \; dx \leq g(a) M(b-a). </math>] :Tolydžioji funkcija <math>F(x)=\int_a^x f(t) \; dt \;</math> įgyja kiekvieną reikšmę ''A'', esančią tarp jos tiksliųjų rėžių ''m'' ir ''M'', t. y. yra toks taškas <math>\xi,</math> kad :<math>F(\xi)=\int_a^\xi f(t) \; dt \; =A= \frac{\int_a^b f(x) g(x) \; dx}{g(a)}.</math> :Todėl :<math>\int_a^b f(x) g(x) \; dx =g(a) \int_a^\xi f(x) \; dx. \quad (10.42)</math> :[''Paraboloido pataisymas''. :Tolydžioji funkcija <math>F(x)=\int_a^x f(t) \; dt \;</math> įgyja kiekvieną reikšmę ''A'', esančią tarp reikšmių <math>m(x-a)</math> ir <math>M(x-a),</math> t. y. nėra tokio taško <math>\xi,</math> kai <math>(x-a)=1,</math> kad :<math>F(\xi)=\int_a^\xi f(t) \; dt \; =A= \frac{\int_a^b f(x) g(x) \; dx}{(x-a)g(a)}.</math> :Bet yra toks skaičius ''A'', :<math>A= \frac{\int_a^b f(x) g(x) \; dx}{(b-a)g(a)},</math> :kad iš :<math>g(a) m(b-a) \leq \int_a^b f(x) g(x) \; dx \leq g(a) M(b-a) </math> :gauname :<math>g(a) A(b-a) =g(a)(b-a)\frac{\int_a^b f(x) g(x) \; dx}{(b-a)g(a)}= \int_a^b f(x) g(x) \; dx . </math> :Bet visgi gali būti, kad kai (b-a)=1, tai tolydžioji funkcija <math>F(x)=\int_a^x f(t) \; dt \;</math> įgyja kiekvieną reikšmę ''A'', esančią tarp reikšmių <math>m(x-a)</math> ir <math>M(x-a),</math> t. y. yra toks taškas <math>\xi,</math> kai <math>(x-a)=1,</math> kad :<math>F(\xi)=\int_a^\xi f(t) \; dt \; =A= \frac{\int_a^b f(x) g(x) \; dx}{(x-a)g(a)}.</math> :Čia <math>b-a=x-a=1.</math> :Tada :<math>\int_a^b f(x) g(x) \; dx =(b-a)g(a) \int_a^\xi f(x) \; dx; \quad (10.42 \;\; \text{Paraboloido})</math> :čia <math>b-a=1, \;\; a<\xi <b.</math>] :Jei nedidėjanti funkcija g(x) įgyja ir neigiamų reikšmių, tai funkcija <math>h(x)=g(x) -g(b)</math> yra nedidėjanti ir įgyja tik neneigiamas reikšmes. Todėl iš (10.42) :[Jei segmente [a; b] funkcija g(x)<0 ir yra nedidėjanti, tai [įprastai] g(a)>g(b) (bet jei g(x) funkcija yra horizontali tiesi linija, tada gali būti ir taip <math>g(a) \geq g(b),</math> t. y. tik horizontalioms tiesioms linijoms g(a)=g(b), kas irgi yra nedidėjanti funkcija) ir tada funkcija <math>h(x)=g(x) -g(b)>0</math> intervale (a; b) ir yra nedidėjanti.] :<math>\int_a^b f(x) [g(x) -g(b)] \; dx=[g(a) -g(b)] \int_a^\xi f(x) \; dx.</math> :[Taip neteisingai: :<math>\int_a^b f(x) [g(x) -g(b)] \; dx=\int_a^b f(x) g(x) \; dx - \int_a^b f(x) g(b) \; dx = g(a) \int_a^\xi f(x) \; dx -g(b)\int_a^b f(x) \; dx,</math> :nes <math>h(x)=g(x) -g(b)</math> ir todėl :<math>\int_a^b f(x) h(x) \; dx=h(a) \int_a^\xi f(x) \; dx=[g(a) -g(b)] \int_a^\xi f(x) \; dx.</math>] :Iš čia po nesudetingų pertvarkymų gauname (10.16) formulę. :<math>\int_a^b f(x) g(x) \; dx =g(a) \int_a^\xi f(x) \; dx +g(b) \int_{\xi}^b f(x) \; dx. \quad (10.16)</math> :[Bet pagal (10.42) formulę :<math>\int_a^b f(x) g(x) \; dx =g(a) \int_a^\xi f(x) \; dx. \quad (10.42)</math> :Vadinasi, :<math>g(a) \int_a^\xi f(x) \; dx +g(b) \int_{\xi}^b f(x) \; dx =g(a) \int_a^\xi f(x) \; dx, \quad (10.D)</math> :<math>g(b) \int_{\xi}^b f(x) \; dx =0.</math> :Toks samprotavimas neteisingas, nes kairėje (10.D) lygybės pusėje <math>\xi</math> skirtas, kai integruojama su <math>h(x)=g(x) -g(b),</math> o dešinėje (10.D) lygybės pusėje <math>\xi</math> skirtas, kai integruojama su g(x), todėl tie <math>\xi</math> yra visiškai skirtingi.] :[<math>\int_a^b f(x) [g(x) -g(b)] \; dx=[g(a) -g(b)] \int_a^\xi f(x) \; dx=g(a) \int_a^\xi f(x) \; dx -g(b)\int_a^\xi f(x) \; dx= g(a) \int_a^\xi f(x) \; dx + g(b)\int_\xi^a f(x) \; dx,</math> :<math>\int_a^b f(x) [g(x) -g(b)] \; dx= g(a) \int_a^\xi f(x) \; dx + g(b)\int_\xi^a f(x) \; dx,</math> :<math>\int_a^b f(x) g(x) \; dx -g(b)\int_a^b f(x)\; dx = g(a) \int_a^\xi f(x) \; dx + g(b)\int_\xi^a f(x) \; dx,</math> :<math>\int_a^b f(x) g(x) \; dx = g(a) \int_a^\xi f(x) \; dx + g(b)\int_\xi^a f(x) \; dx +g(b)\int_a^b f(x)\; dx,</math> :<math>\int_a^b f(x) g(x) \; dx = g(a) \int_a^\xi f(x) \; dx + g(b)(\int_\xi^a f(x) \; dx +\int_a^b f(x)\; dx),</math> :<math>\int_a^b f(x) g(x) \; dx =g(a) \int_a^\xi f(x) \; dx +g(b) \int_{\xi}^b f(x) \; dx. \quad (10.16)</math> :Vadinasi, (10.16) formulė teisinga, remiantis išvesta (10.C) formule.] :'''[''' ''Šiaip, pagalvojus, taip turėtų būti teisingai'': :Tolydžioji funkcija <math>F(x)=\int_a^x f(t) \; dt \;</math> įgyja kiekvieną reikšmę ''A'', esančią tarp reikšmių <math>m(x-a)</math> ir <math>M(x-a),</math> t. y. yra toks taškas <math>\xi,</math> kad :<math>A_1(\xi-a)=\int_a^\xi f(t) \; dt,</math> :<math>A_2(b-a)=\int_a^b f(t) \; dt.</math> :[pagal :<math>\int_a^b f(x) \; dx =\mu(b-a). \quad (10.12)</math> :ir :<math>m(b-a) \leq \int_a^b f(x) \; dx \leq M(b-a). \quad (10.12.1)</math>] :Ir iš :<math>g(a) m(b-a) \leq \int_a^b f(x) g(x) \; dx \leq g(a) M(b-a), </math> :ir :<math> m(b-a) \leq A_2(b-a) \leq M(b-a), </math> :(taip neteisingai: <math> m(b-a) \leq A_1(\xi-a) \leq M(b-a) </math>) :gaunasi :<math>g(a) m(b-a) \leq A_2 g(a) (b-a) \leq g(a) M(b-a), </math> :t. y. :<math>\int_a^b f(x) g(x) \; dx =A_2 g(\xi) (b-a)=g(\xi)\int_a^b f(t) \; dt=[g(\xi)\int_a^b f(x) \; dx].</math> :Gavome, kad kai <math>\xi</math> yra iš intervalo (a; b), tai :<math>\int_a^b f(x) g(x) \; dx =g(\xi)\int_a^b f(x) \; dx. \quad (10.B)</math> :T. y. gavome (10.15) formulę ir nieko daugiau. (Ir tai dar nežinoma ar <math>\int_a^b f(x) g(x) \; dx </math> yra mažiau už <math> A_2 g(a) (b-a) =g(a)\int_a^b f(t) \; dt </math>). :Bet (10.B) formulėje <math>g(a)>g(\xi)</math> ir <math>\int_a^b f(x) \; dx >\int_a^\xi f(x) \; dx,</math> :Todėl galima rasti tokį <math>\xi,</math> kad :<math>\int_a^b f(x) g(x) \; dx =g(a)\int_a^\xi f(x) \; dx. \quad (10.C)</math> :(10.42) formulė įrodyta. :Taip pat turėtų būti teisinga ir tai: :<math>F(\xi)=\int_a^\xi f(t) \; dt \; =A= \frac{\int_a^b f(x) g(x) \; dx}{(\xi-a)g(a)}.</math> :T. y. :<math>g(a)(\xi -a)\int_a^\xi f(t) \; dt =\int_a^b f(x) g(x) \; dx</math> :arba :<math>\int_a^b f(x) g(x) \; dx =g(a)(\xi -a)\int_a^\xi f(x) \; dx,</math> :<math> a<\xi <b.</math> Renkantis, slankiojant <math>\xi</math> reikšmę intervale (a; b) galima gauti anything, tame tarpe ir <math>\int_a^b f(x) g(x) \; dx.</math> :Turint galvoje (10.14) ir (10.15) formules: :<math>\int_a^b f(x) g(x) \; dx =\mu \int_a^b g(x) \; dx. \quad (10.14)</math> :<math>\int_a^b f(x) g(x) \; dx =f(\xi) \int_a^b g(x) \; dx. \quad (10.15)</math> :Ir turint galvoje, kad :<math>\int_a^b f(x) g(x) \; dx \leq g(a)(b -a)\int_a^b f(x) \; dx, \quad (10.A)</math> :nes pagal (10.15) formulę, atsižvelgiant į tai, kad g(a)>g(b), gauname: :<math>\int_a^b f(x) g(x) \; dx \leq g(a)\int_a^b f(x) \; dx.</math> :Ir jeigu (b-a)>1, tai (10.A) formulė garantuotai teisinga. :Vadinasi, (10.42) formulė teisinga, kai <math>b-a\geq 1, \;\; a<\xi <b.</math> :<math>\int_a^b f(x) g(x) \; dx =g(a) \int_a^\xi f(x) \; dx. \quad (10.42)</math> ''']''' ==Teiloro formulės liekamojo nario integralinė forma== ===4. Dalinio integravimo formulė.=== :''Tarkime, kad funkcijos <math>u(x)</math> ir <math>v(x)</math> turi tolydžias išvestines segmente'' [a; b]. ''Tada teisinga ši apibrėžtinių integralų dalinio integravimo formulė: :<math>\int_a^b u(x) v'(x) \; dx=[u(x) v(x)] |_a^b -\int_a^b v(x) u'(x)\; dx. \quad (10.23)</math> :Kadangi <math>v'(x) \; dx=dv</math> ir <math>u'(x) \; dx=du,</math> tai tą formulę galima užrašyti dar šitaip: :<math>\int_a^b u \; dv = [uv]|_a^b -\int_a^b v \; du. \quad (10.24)</math> :Nesunku įsitikinti, kad tos formulės yra teisingos. Iš tikrųjų funkcija <math>u(x) v(x)</math> yra funkcijos <math>u(x) v'(x) + v(x) u'(x)</math> pirmykštė. Todėl pagal (10.19) :<math>\int_a^b f(x) \; dx=\Phi(x)|_a^b, \quad (10.19)</math> :<math>\int_a^b [u(x) v'(x) + v(x) u'(x)] \; dx=[u(x) v(x)]\Big|_a^b.</math> :Pritaikę apibrėžtinių integralų <math>3^\circ</math> savybę, gauname (10.23) ir (10.24) formules. ===5. Teiloro formulės papildomojo nario integralinė forma.=== :(10.23) formulę pritaikysime išvedinėdami ''funkcijos <math>f(x)</math> Teiloro formulę su integralinės formos papildomuoju nariu''. Tarkime, kad funkcija f(x) spindulio <math> \varepsilon</math> taško ''a'' aplinkoje turi tolydžią (n+1)-osios eilės išvestinę, o ''x'' yra bet koks duotasis tos aplinkos taškas. Įsitikinsime, kad :<math>R_{n+1}(x)=\frac{1}{n!} \int_a^x f^{(n+1)}(t) (x-t)^n dt \quad (10.25)</math> :yra funkcijos f(x) Teiloro formulės su skleidimo centru taške ''a'' papildomasis narys. ''Taigi'' (10.25) ''formulė funkcijos <math>f(x)</math> Teiloro formulės papildomąjį narį išreiškia integraline forma''. :Pradėdami įrodymą, pastebėsime, kad :<math>f(x)=f(a) +\int_a^x f'(t) \; dt =</math> :<math>=f(a) + f(t)|_a^x =f(a) +f(x)-f(a)=f(x).</math> :Integralui <math>\int_a^x f'(t) \; dt</math> taikykime dalinio integravimo (10.23) formulę, paėmę <math>u(t)=f'(t) \;</math> ir <math> \; v(t)=-(x-t) \;</math> (kadangi ''x'' yra fiksuotas, tai <math>v' \; dt =dt</math>). :Turime :<math>\int_a^x f'(t) \; dt= -f'(t) (x-t) \Big|_a^x + \int_a^x f''(t) (x-t) \; dt =</math> :<math>=-f'(x) (x-x) -[-f'(a) (x-a)] + \int_a^x f''(t) (x-t) \; dt =f'(a) (x-a) + \int_a^x f''(t) (x-t) \; dt.</math> :Irašę gautąją integralo <math>\int_a^x f'(t) \; dt</math> išraišką į anksčiau parašytą f(x) formulę, gauname :<math>f(x)=f(a) + f'(a) (x-a) + \int_a^x f''(t) (x-t) \; dt.</math> :Integralui <math>\int_a^x f''(t) (x-t)\; dt</math> taip pat galima taikyti dalinio integravimo formulę, imant <math>u(t)=f''(t) \;</math> ir <math> \; v(t)= -\frac{1}{2}(x-t)^2 \;</math> (kadangi ''x'' fiksuotas, tai <math>v' dt=(x-t)dt</math>). Atlikę nesudetingus pertvarkymus, rasime :<math>\int_a^x f''(t) (x-t)\; dt =[-f''(t)\frac{1}{2}(x-t)^2]\Big|_a^x -[-\int_a^x f'''(t)\frac{1}{2}(x-t)^2 \; dt] =</math> :<math>=[-f''(x)\frac{1}{2}(x-x)^2]-[-f''(a)\frac{1}{2}(x-a)^2] +\int_a^x f^{(3)}(t)\frac{1}{2}(x-t)^2 \; dt=</math> :<math>=\frac{f''(a)}{2}(x-a)^2 +\int_a^x f^{(3)}(t)\frac{1}{2}(x-t)^2 \; dt .</math> :Todėl :<math>f(x)=f(a) + f'(a) (x-a) + \int_a^x f''(t) (x-t) \; dt =</math> :<math>=f(a) + f'(t) (x-a) + \frac{f''(a)}{2}(x-a)^2 +\int_a^x f^{(3)}(t)\frac{1}{2}(x-t)^2 \; dt .</math> :Integruosime dalimis tol, kol gausime formulę :<math>f(x)=f(a) + \frac{f'(a)}{1!} (x-a) + \frac{f''(a)}{2!}(x-a)^2 + \frac{f'''(a)}{3!}(x-a)^3 +\frac{f^{(4)}(a)}{4!}(x-a)^4 +...+ \frac{f^{(n)}(a)}{n!}(x-a)^n +\frac{1}{n!}\int_a^x f^{(n+1)}(t) (x-t)^n dt.</math> :Ši formulė rodo, kad <math>R_{n+1}(x)</math> tikrai yra Teiloro formulės funkcijai f(x) su skleidimo centru taške <math>a</math> papildomasis narys. Remiantis Teiloro formulės papildomojo nario (10.25) integraline forma, lengva gauti Teiloro formulės papildomąjį narį Lagranžo forma. Būtent, pritaikę apibendrintą vidurinės reikšmės (10.15) formulę, gauname :[<math>\int_a^b f(x) g(x) \; dx =f(\xi) \int_a^b g(x) \; dx. \quad (10.15)</math>] :<math>R_{n+1}(x)=\frac{1}{n!}\int_a^x f^{(n+1)}(t) (x-t)^n dt =\frac{f^{(n+1)}(\xi)}{n!} \int_a^x (x-t)^n dt =</math> :<math> =-\frac{f^{(n+1)}(\xi)}{n!} \; \frac{(x-t)^{n+1}}{(n+1)} \Big|_a^x =\frac{f^{(n+1)}(\xi)}{(n+1)!}(x-a)^{n+1}.</math> :Gautasis reiškinys ir yra Lagranžo formos papildomasis narys. :Pažymėsime, kad taip išvedant Lagranžo formos papildomąjį narį, (n+1)-osios eilės išvestinė šiek tiek labiau apribojama negu čia [ https://lt.wikibooks.org/wiki/Teiloro_eilutė_(neprofesionalams) ]. ==Aritmetinis vidurkis, geometrinis vidurkis, harmoninis vidurkis, kvadratinis vidurkis== ===1. Aritmetinis vidurkis.=== :Aritmetiniu vidurkiu skaičių <math>x_1, \; x_2, \; x_3, \; ..., \; x_n</math> vadinasi skaičius :<math>\overline{x}=\frac{x_1+x_2+x_3 +...+ x_n}{n}.</math> :Jeigu visi duoti skaičiai lygūs tarpusavyje: <math>x_1= x_2= x_3= ... = x_n =a,</math> tai ir jų aritmetinis vidurkis <math>\overline{x}=a.</math> ===2. Geometrinis vidurkis.=== :Aptarsime iš pradžių prasmę geometrinio vidurkio dviejų teigiamų skaičių. :Kaip yra žinoma, lygybė dviejų santykių, sudarytų iš teigiamų skaičių, t. y. lygybę :<math>a:d=c:b, \quad (1)</math> :vadina geometrine proporcija, o skaičius ''d'' ir ''c'' – viduriniais nariais propocijos. :Jeigu viduriniai nariai (1) proporcijos lygūs: <math>d=c=x>0,</math> tai gausime proporciją :<math>a:x=x:b,</math> :iš kurios pagal propocijų savybes randame :<math>ab=x^2,</math> :<math>x=\sqrt{ab}. \quad (2)</math> :Skaičius ''x'', tenkinantis (2) lygybę, su pasirinktais teigiamais ''a'' ir ''b'' vadinasi '''geometriniu vidurkiu''' (arba '''proporciniu vidurkiu''') dviejų teigiamų skaičių ''a'' ir ''b''. :Pažymėsime, kad jeigu skaičiai ''a'' ir ''b'' lygūs: a=b, tai jų geometrinis vidurkis :<math>x=\sqrt{a\cdot a}=a. </math> :Bendru atveju, '''geometriniu vidurkiu''' teigiamų skaičių <math>x_1, \; x_2, \; x_3, \; ..., \; x_n</math> vadinamas skaičius :<math>\Gamma=\sqrt[n]{x_1 x_2 x_3 ...x_n}.</math> :Jeigu visi skaičiai lygūs tarpusavyje: <math>x_1=x_2= x_3= ... = x_n=a>0,</math> tai jų geometrinis vidurkis <math>\Gamma=a.</math> [[File:Trikaukst3.1pav.png|thumb|Trikampis. 3.1 pav.]] [[File:Duapskr3.2pav-4.jpg|thumb|Du apskritimai. 3.2 pav.]] :Remiantis geometrinio vidurkio supratimu dviejų teigiamų skaičių galima: * nustatyti aukštinės ilgį h stataus trikampio, kai aukštinė nuleista (iš stataus kampo) ant įžambinės ir dalijanti ją į atkarpas a ir b (<math>h=\sqrt{ab},</math> 3.1 pav.); *nustatyti ilgį atkarpos ''AB'' bendros liestinės dviejų besiliečiančių išoriniu budu apskritimų (liestinė apskritimus liečia taškuose ''A'' ir ''B'', <math>AB=2\sqrt{Rr},</math> 3.2 pav.). ===3. Harmoninis vidurkis.=== :Nagrinėsim harmoninę propociją :<math>\frac{1}{a}- \frac{1}{c} = \frac{1}{d}- \frac{1}{b}, \quad (3)</math> :kur skaičiai ''c'' ir ''d'' – viduriniai nariai, skaičiai ''a'' ir ''b'' – kraštiniai nariai harmoninės proporcijos. :Jeigu proporcijoje (3) viduriniai nariai (<math>c=d=x</math>), tai gausime :<math>\frac{1}{a}- \frac{1}{x} = \frac{1}{x}- \frac{1}{b}.</math> :Iš čia rasim vidurinį narį ''x'' harmoninės proporcijos: :<math>\frac{1}{a} + \frac{1}{b} = \frac{2}{x} ,</math> :<math>x=\frac{2ab}{a+b} =\frac{2}{\frac{1}{a} + \frac{1}{b}} . \quad (4)</math> :Dydis ''x'', nustatomas santykiu (4), vadinamas '''harmoniniu vidurkiu skaičių''' a ir b. *'''Pavyzdys.''' Rasti vidutinį autombilio greitį, judant jam iš punkto ''A'' į punktą ''B'' ir atgal, jeigu iš ''A'' į ''B'' jis važiavo greičiu <math>v_1,</math> o iš ''B'' į ''A'' – greičiu <math>v_2.</math> :''Sprendimas''. Judėjimo vidutiniu greičiu samprata žinoma iš fizikos: vidutinis greitis judančio taško vadinamas santykis nueito kelio ir laiko, per kurį šitas kelias įveiktas, t. y. <math>v=\frac{s}{t},</math> kur ''s'' – nueitas kelias; ''t'' – laikas, per kurį nueitas kelias. :Duotu atveju automobilis nuvažiavo kelią iš ''A'' į ''B'' ir atgal. Todėl, jeigu atstumas tarp punktų lygus ''a'', tai automobiliu nuvažiuotas kelias <math>s=2a.</math> :Priedo kelią iš ''A'' į ''B'' automobilis nuvažiavo per laiką <math>t_1=\frac{a}{v_1},</math> o atgal per laiką <math>t_2=\frac{a}{v_2} \;</math> (<math>t=\frac{s}{v}</math>). Iš čia seka, kad bendras automobilio judėjimo laikas yra :<math>t=t_1 +t_2 = \frac{a}{v_1}+ \frac{a}{v_2} =a \left( \frac{1}{v_1}+ \frac{1}{v_2}\right).</math> :Dabar rasime ieškomą vidutinį greitį: :<math>\overline{v} =\frac{s}{t} =\frac{2a}{a\cdot \left( \frac{1}{v_1}+ \frac{1}{v_2}\right)} =\frac{2}{\frac{1}{v_1}+ \frac{1}{v_2}} .</math> :Mes matome, kad vidutinis greitis automobilio iš A į B ir atgal lygus harmoniniam vidurkiui greičių <math>v_1</math> ir <math>v_2.</math> :Pastebėsime, kad, kai <math>v_1=v_2=v,</math> vidutinis greitis, reiškia, ir harmoninis vidurkis greičių, bus lygus ''v'', :<math>\overline{v} =\frac{2}{\frac{1}{v_1}+ \frac{1}{v_2}} =\frac{2}{\frac{1}{v}+ \frac{1}{v}} =\frac{2}{\frac{2}{v}} = v.</math> *'''Varžos pavyzdys.''' [ https://lt.wikipedia.org/wiki/Elektrinė_varža ], [ https://lt.wikipedia.org/wiki/Rezistorius ] :Kuo didesnė rezistoriaus elektrinė varža, tuo jis blogiau praleidžia elektrinę srovę. Rezistoriaus varža matuojama omais. Jeigu sujungti du rezistorius nuosekliai, tai jų varžos susidės. Pavyzdžiui, jeigu vieno rezistoriaus varža 15 omų, o kito rezistoriaus varža 25 omai, tai sujungus juos nuosekliai, jų bendra varža bus 15+25=40 omų. :O jeigu sujungti 15 ir 25 omų rezistorius lygiagrečiai, tai jų bendra varža ''R'' gaunama taip: :<math>\frac{1}{R}= \frac{1}{R_1} +\frac{1}{R_2} = \frac{1}{15} +\frac{1}{25} = \frac{1}{3\cdot 5} +\frac{1}{5\cdot 5} = \frac{5}{5\cdot 3\cdot 5} +\frac{3}{3\cdot 5\cdot 5} =</math> :<math>= \frac{5}{75} +\frac{3}{75} = \frac{5+3}{75} = \frac{8}{75} \approx</math> 0.10666666666666666666666666666667. :Vadinasi, <math>R=\frac{75}{8} =9.375 \; (\Omega).</math> :Bendru atveju, '''harmoninis vidurkis''' skaičių <math>x_1, \; x_2, \; x_3, \; ..., \; x_n</math> vadinamas skaičius :<math>\gamma(x_1, \; x_2, \; x_3, \; ..., \; x_n) =\frac{n}{\frac{1}{x_1} +\frac{1}{x_2}+ \frac{1}{x_3} + ... +\frac{1}{x_n}},</math> :priedo, jeigu <math>x_1= x_2= x_3= ...=x_n=a,</math> tai jų harmoninis vidurkis <math>\gamma=a.</math> ===4. Kvadratinis vidurkis.=== :'''Kvadratiniu vidurkiu''' skaičių <math>x_1, \; x_2, \; x_3, \; ..., \; x_n</math> vadinamas skaičius :<math>\sigma(x_1, \; x_2, \; x_3, \; ..., \; x_n) =\sqrt{\frac{x_1^2+ x_2^2+ x_3^2+ ...+ x_n^2}{n}}.</math> :Kvadratinis vidurkis ''n'' skaičių naudojamas, kaip taisyklė, tikimybių teorijoje ir matematinėje statistikoje. :Pavyzdžiui, rasime kvadratinį vidurkį skaičių 12, 14, 21. Turime :<math>\sigma(12, \; 14, \; 21) =\sqrt{\frac{12^2+ 14^2+ 21^2}{3}} =\sqrt{\frac{144+ 196+ 441}{3}} =\sqrt{\frac{781}{3}}\approx 16.13484841370793.</math> ===5. Ryšys tarp vidutinių reikšmių=== * ''Vidurkių savybės, išreikštos nelygybėmis.'' :Tegu duoti bet kokie teigiami skaičiai. Numeruosime juos taip, kad <math>x_1 \leq x_2 \leq x_3 \leq ... \leq x_n \;</math> (pažymėsime, kad tai visada įmanoma). :Tada vidurkiai tenkina sekančias nelygybes: :<math>x_1 \leq \gamma(x_1, \; x_2, \; x_3, \; ..., \; x_n) \leq \Gamma(x_1, \; x_2, \; x_3, \; ..., \; x_n) \leq \overline{x}(x_1, \; x_2, \; x_3, \; ..., \; x_n) \leq \sigma(x_1, \; x_2, \; x_3, \; ..., \; x_n) \leq x_n, </math> :kur :<math>\gamma(x_1, \; x_2, \; x_3, \; ..., \; x_n) =\frac{n}{\frac{1}{x_1} +\frac{1}{x_2}+ \frac{1}{x_3} + ... +\frac{1}{x_n}} \,</math> – harmoninis vidurkis; :<math>\Gamma(x_1, \; x_2, \; x_3, \; ..., \; x_n)=\sqrt[n]{x_1 x_2 x_3 ...x_n} \,</math> – geometrinis vidurkis; :<math>\overline{x}(x_1, \; x_2, \; x_3, \; ..., \; x_n)=\frac{x_1+x_2+x_3 +...+ x_n}{n} \,</math> – aritmetinis vidurkis; :<math>\sigma(x_1, \; x_2, \; x_3, \; ..., \; x_n) =\sqrt{\frac{x_1^2+ x_2^2+ x_3^2+ ...+ x_n^2}{n}} \, </math> – kvadratinis vidurkis. :'''Pavyzdys.''' Duoti teigiami skaičiai 12, 14, 21. Tuomet jų visi vidurkiai yra tokie: :<math>\gamma(12, \; 14, \; 21) =\frac{3}{\frac{1}{12} +\frac{1}{14}+ \frac{1}{21}} = \frac{3}{\frac{1}{ 3\cdot 4} +\frac{1}{2\cdot 7}+ \frac{1}{3\cdot 7}} = \frac{3}{\frac{14}{7\cdot 2\cdot 3\cdot 4} +\frac{12}{12\cdot 2\cdot 7}+ \frac{8}{8\cdot 3\cdot 7}} = \frac{3}{\frac{14}{168} +\frac{12}{168}+ \frac{8}{168}} = \frac{3}{\frac{14+12+8}{168} } =</math> :<math>= \frac{3}{\frac{34}{168} } =\frac{3\cdot 168}{34}=\frac{504}{34 } \approx </math> 14.823529411764705882352941176471. :<math>\Gamma(12, \; 14, \; 21)=\sqrt[3]{12\cdot 14\cdot 21}= \sqrt[3]{3528}= 3528^{1/3} \approx</math> 15.223325222040490068140410304653. :<math>\overline{x}(12, \; 14, \; 21)=\frac{12+14+21}{3} =\frac{12+14+21}{3} =\frac{47}{3} \approx </math> 15.666666666666666666666666666667. :<math>\sigma(12, \; 14, \; 21) =\sqrt{\frac{12^2+ 14^2+ 21^2}{3}} =\sqrt{\frac{144+ 196+ 441}{3}} =\sqrt{\frac{781}{3}}\approx 16.13484841370793.</math> :Kalkuliatoriumi patikriname <math>\gamma(12, \; 14, \; 21):</math> :'''gamma''' = 3/(1/12 + 1/14 + 1/21) = 3/0.20238095238095238095238095238095 = 14.823529411764705882352941176471. * ''Geometrinė iliustracija nelygybių, siejančių vidurkius dviejų teigiamų skaičių''. [[File:Trap3.4pav-2.png|thumb|Trapecija. 3.4 pav.]] :Nagrinėkim bet kokią trapeciją ''MNPQ'' su pagrindais ''a'' ir ''b'' (3.4 pav.). Tiesės <math>AA_1, \;</math> <math>BB_1, \;</math> <math>CC_1, \;</math> <math>DD_1 \;</math> lygiagrečios pagrindui. :Ilgis atkarpos <math>AA_1,</math> praeinančios per trapecijos įstrižainių susikirtimo tašką, lygus harmoniniam vidurkiui pagrindų ilgių: <math>AA_1=\frac{2}{{1\over a} +{1\over b}}=\frac{2ab}{a+b}.</math> :Ilgis atkapros <math>BB_1,</math> dalinantis trapeciją ''MNPQ'' į dvi panašias trapecijas <math>MBB_1 Q</math> ir <math>BNPB_1,</math> lygus geometriniam vidurkiui pagrindų ilgių trapecijos: <math>BB_1=\sqrt{ab}.</math> :Ilgis atkapros <math>CC_1,</math> jungiantis vidurius šoninių kraštinių trapecijos, t. y. ilgis vidurinės linijos trapecijos, lygus aritmetiniam vidurkiui ilgių: <math>CC_1=\frac{a+b}{2}.</math> :Ilgis atkapros <math>DD_1,</math> dalinančios trapeciją į dvi vienodo ploto trapecijas, lygus kvadratiniam vidurkiui pagrindų ilgių: :<math>DD_1=\sqrt{\frac{a^2+b^2}{2}}.</math> [[File:Apsk3.5pav-3.png|thumb|Apskritimas. 3.5 pav.]] :Pateiksime dar vieną idomų pavyzdį geometrinės iliustracijos vidurkių, kaip atkarpų viename apskritime. 3.5 paveikslėlis leidžia pamatyti nelygybes, siejančias harmoninį vidurkį (MH), geometrinį vidurkį (CM), aritmetinį vidurkį (OD) ir kvadratinį vidurkį (DM). :<math>AM=a, \quad MB=b,</math> :<math>MH=\frac{2}{{1\over a} +{1\over b}}=\frac{2ab}{a+b}, \quad CM=\sqrt{ab},</math> :<math>OD=\frac{a+b}{2}, \quad DM=\sqrt{\frac{a^2+b^2}{2}}.</math> :<math>a\leq \frac{2ab}{a+b} \leq \sqrt{ab} \leq \frac{a+b}{2} \leq \sqrt{\frac{a^2+b^2}{2}} \leq b.</math> :'''[''' ''Paraboloido pataisymas''. :Jeigu apskritimo spindulys R=1, tai grafiškai iš akies pažymime: :<math>AM=a\approx 0.58, \quad MB=b\approx 2-0.58= 1.42.</math> :''MH'' akivaizdu yra vos mažiau už ''MO'' = 0.42 (arba labai panašaus ilgio). Bet pagal vadovėlį ''MH'' lygus: :<math>MH=\frac{2}{{1\over a} +{1\over b}}=\frac{2ab}{a+b}=\frac{2\cdot 0.58\cdot 1.42}{0.58+1.42}=\frac{1.6472}{2}=0.8236.</math> :Vadinasi, iš 3.5 paveikslėlio ''MH'' ilgio formulė :<math>MH=\frac{2}{{1\over a} +{1\over b}}=\frac{2ab}{a+b}</math> :yra neteisinga. :Apskaičiuosime ''CM'' akarpos ilgį, kuris yra trikampio ''ACB'' aukštinė, nuleista į pagrindą ''AB''. Taigi, :<math>h=CM=\sqrt{ab}=\sqrt{0.58\cdot 1.42} =\sqrt{0.8236} \approx 0.907524104363.</math> :Ši aukštinės reikšmė atrodo teisingai. :Apskaičiuosime ''DM'' atkarpos ilgį: :<math> DM=\sqrt{\frac{a^2+b^2}{2}} =\sqrt{\frac{0.58^2+1.42^2}{2}} =\sqrt{\frac{0.3364 + 2.0164}{2}}= \sqrt{\frac{2.3528}{2}}= \sqrt{\frac{2.3528}{2}}=\sqrt{1.1764} \approx </math> 1.0846197490364998881274601234311. :Gautas ilgis yra daugiau už 1, todėl atsakymas atrodo teisingai. :''DM'' taip pat galima apskaičiuoti pagal Pitagoro teoremą: :<math>DM=\sqrt{MO^2 +OD^2}= \sqrt{0.42^2 +1^2}=\sqrt{0.1764 +1}=\sqrt{1.1764}\approx </math> 1.0846197490364998881274601234311. :Įrodysime atkarpos ''DM'' formulę <math> DM=\sqrt{\frac{a^2+b^2}{2}} .</math> :Pažymėkime: :''MO'' = ''x'', ''OD'' = ''R'', :''a'' = R-x, ''b'' = R+x. :Tada :<math> DM^2=\frac{a^2+b^2}{2} =\frac{(R-x)^2+(R+x)^2}{2} = \frac{(R^2-2Rx+x^2) +(R^2+2Rx +x^2)}{2} = \frac{2R^2 + 2x^2}{2} =R^2+x^2.</math> :Pagal Pitagoro teoremą gauname tą patį atsakymą: :<math> DM^2= MO^2 + OD^2 = x^2 + R^2. </math> ''']''' ahpxch4pq3wzmx7zx2wubyq6n02iouk