Analiza matematyczna 1/Wykład 13: Całka nieoznaczona: Różnice pomiędzy wersjami
(Nie pokazano 9 wersji utworzonych przez jednego użytkownika) | |||
Linia 25: | Linia 25: | ||
Niech <math>D\subseteq \mathbb{R}</math> będzie przedziałem oraz | Niech <math>D\subseteq \mathbb{R}</math> będzie przedziałem oraz | ||
niech <math> f\colon D\longrightarrow\mathbb{R}</math> będzie funkcją.<br> | niech <math>f\colon D\longrightarrow\mathbb{R}</math> będzie funkcją.<br> | ||
Funkcję <math>F\colon D\longrightarrow\mathbb{R}</math> nazywamy | Funkcję <math>F\colon D\longrightarrow\mathbb{R}</math> nazywamy | ||
'''''pierwotną''''' funkcji <math>f | '''''pierwotną''''' funkcji <math>f</math>, jeśli | ||
<math>F</math> jest różniczkowalna i | <math>F</math> jest różniczkowalna i | ||
<math>F'=f | <math>F'=f</math>. | ||
}} | }} | ||
Linia 35: | Linia 35: | ||
Dwie dowolne pierwotne funkcji | Dwie dowolne pierwotne funkcji | ||
<math> f\colon \mathbb{R}\supseteq D\longrightarrow\mathbb{R}</math> różnią się o stałą, | <math>f\colon \mathbb{R}\supseteq D\longrightarrow\mathbb{R}</math> różnią się o stałą, | ||
to znaczy<br> | to znaczy<br> | ||
'''(1)''' Jeśli <math>F</math> i <math>G</math> są pierwotnymi funkcji <math>f</math> | '''(1)''' Jeśli <math>F</math> i <math>G</math> są pierwotnymi funkcji <math>f</math> | ||
Linia 48: | Linia 48: | ||
'''(Ad (1))''' | '''(Ad (1))''' | ||
Jeśli <math>F</math> i <math>G</math> są pierwotnymi funkcji <math>f</math>, to mamy | Jeśli <math>F</math> i <math>G</math> są pierwotnymi funkcji <math>f</math>, to mamy | ||
<math> (F-G)'=F'-G'=f-f=0</math> | <math>(F-G)'=F'-G'=f-f=0</math> | ||
Ponieważ pochodna różnicy <math>F-G</math> wynosi <math>0</math>, więc różnica ta musi | Ponieważ pochodna różnicy <math>F-G</math> wynosi <math>0</math>, więc różnica ta musi | ||
być stała. Zatem istnieje <math>c \in \mathbb{R}</math> takie, że | być stała. Zatem istnieje <math>c \in \mathbb{R}</math> takie, że | ||
Linia 81: | Linia 81: | ||
'''''Całkowaniem''''' nazywamy wyznaczanie całki.<br> | '''''Całkowaniem''''' nazywamy wyznaczanie całki.<br> | ||
Oczywiście, jeśli zmienna funkcji <math>f</math> nazywa się <math>t</math> | Oczywiście, jeśli zmienna funkcji <math>f</math> nazywa się <math>t</math> | ||
to piszemy <math>\int f(t)\,dt</math> lub | to piszemy <math> \int f(t)\,dt</math> lub | ||
<math>\int f\,dt</math>, | <math>\int f\,dt</math>, | ||
a jeśli zmienna funkcji <math>f</math> nazywa się | a jeśli zmienna funkcji <math>f</math> nazywa się | ||
na przykład <math>\xi | na przykład <math>\xi</math>, | ||
to piszemy <math>\int f(\xi)\,d\xi</math> lub | to piszemy <math>\int f(\xi)\,d\xi</math> lub | ||
<math>\int f\,d\xi</math>. | <math>\int f\,d\xi</math>. | ||
Linia 123: | Linia 123: | ||
Rozważmy następującą funkcję | Rozważmy następującą funkcję | ||
<math> f\colon\mathbb{R}\longrightarrow\mathbb{R}</math> | <math>f\colon\mathbb{R}\longrightarrow\mathbb{R}</math> | ||
<center> | <center> | ||
Linia 139: | Linia 139: | ||
<math>F\colon\mathbb{R}\longrightarrow\mathbb{R}</math> | <math>F\colon\mathbb{R}\longrightarrow\mathbb{R}</math> | ||
Wówczas <math>F'=f</math> | Wówczas <math>F'=f</math> | ||
Na przedziale <math> (-\infty,0)</math> funkcja <math>f</math> jest | Na przedziale <math>(-\infty,0)</math> funkcja <math>f</math> jest | ||
tożsamościowo równa <math>0</math> zatem | tożsamościowo równa <math>0</math> zatem | ||
jej pierwotna jest stała, | jej pierwotna jest stała, | ||
powiedzmy <math>F|_{(-\infty,0)}\equiv a</math> | powiedzmy <math>F|_{(-\infty,0)}\equiv a</math> | ||
Podobnie na przedziale <math> (0,+\infty)</math> | Podobnie na przedziale <math>(0,+\infty)</math> | ||
powiedzmy <math>F|_{(0,+\infty)}\equiv b</math> | powiedzmy <math>F|_{(0,+\infty)}\equiv b</math> | ||
Ponieważ funkcja pierwotna jest ciągła | Ponieważ funkcja pierwotna jest ciągła | ||
Linia 182: | Linia 182: | ||
<span id="twierdzenie_13_8">{{twierdzenie|13.8. [Całki pewnych funkcji elementarnych]|| | <span id="twierdzenie_13_8">{{twierdzenie|13.8. [Całki pewnych funkcji elementarnych]|| | ||
'''(1)''' | '''(1)''' | ||
<math> \int 0\,dx=c</math>;<br> | <math>\int 0\,dx=c</math>;<br> | ||
'''(2)''' | '''(2)''' | ||
<math> \int 1\,dx =x+c</math>;<br> | <math>\int 1\,dx =x+c</math>;<br> | ||
'''(3)''' | '''(3)''' | ||
<math> \int x^{\alpha}\,dx=\frac{1}{\alpha+1} | <math>\int x^{\alpha}\,dx=\frac{1}{\alpha+1} | ||
x^{\alpha+1}+c</math> dla <math>\alpha\ne -1</math>;<br> | x^{\alpha+1}+c</math> dla <math>\alpha\ne -1</math>;<br> | ||
'''(4)''' | '''(4)''' | ||
<math> \int\frac{1}{x}\,dx = | <math>\int\frac{1}{x}\,dx = | ||
\ln |x|+c</math>;<br> | \ln |x|+c</math>;<br> | ||
'''(5)''' | '''(5)''' | ||
<math> \int a^x\,dx=\frac{a^x}{\ln a}+c | <math>\int a^x\,dx=\frac{a^x}{\ln a}+c</math>, | ||
dla <math>a>0,a\ne 1 | dla <math>a>0,a\ne 1</math>, | ||
(w szczególności | (w szczególności | ||
<math> \int e^x\,dx=e^x+c);</math><br> | <math>\int e^x\,dx=e^x+c);</math><br> | ||
'''(6)''' | '''(6)''' | ||
<math> \int\sin x\,dx=-\cos x+c</math>;<br> | <math>\int\sin x\,dx=-\cos x+c</math>;<br> | ||
'''(7)''' | '''(7)''' | ||
<math> \int\cos x\,dx=\sin x+c</math>;<br> | <math>\int\cos x\,dx=\sin x+c</math>;<br> | ||
'''(8)''' | '''(8)''' | ||
<math> \int\frac{1}{\cos^2 x}\,dx=\mathrm{tg}\, x+c</math>;<br> | <math>\int\frac{1}{\cos^2 x}\,dx=\mathrm{tg}\, x+c</math>;<br> | ||
'''(9)''' | '''(9)''' | ||
<math> \int\frac{1}{\sin^2 x}\,dx=-\mathrm{ctg}\, x+c</math>;<br> | <math>\int\frac{1}{\sin^2 x}\,dx=-\mathrm{ctg}\, x+c</math>;<br> | ||
'''(10)''' | '''(10)''' | ||
<math> \int\frac{1}{\sqrt{1-x^2}}\,dx | <math>\int\frac{1}{\sqrt{1-x^2}}\,dx | ||
=\arcsin x+c</math>;<br> | =\arcsin x+c</math>;<br> | ||
'''(11)''' | '''(11)''' | ||
<math> \int\frac{1}{1+x^2}\,dx | <math>\int\frac{1}{1+x^2}\,dx | ||
=\mathrm{arctg}\, x+c</math>;<br> | =\mathrm{arctg}\, x+c</math>;<br> | ||
'''(12)''' | '''(12)''' | ||
<math> \int\frac{1}{\sqrt{x^2+1}}\,dx | <math>\int\frac{1}{\sqrt{x^2+1}}\,dx | ||
={\rm arsinh\, } x=\ln\big|x+\sqrt{x^2+1}\big|</math>;<br> | ={\rm arsinh\, } x=\ln\big|x+\sqrt{x^2+1}\big|</math>;<br> | ||
'''(13)''' | '''(13)''' | ||
<math> \int\frac{1}{\sqrt{x^2-1}}\,dx | <math>\int\frac{1}{\sqrt{x^2-1}}\,dx | ||
={\rm arcosh\, } x=\ln\big|x+\sqrt{x^2-1}\big|</math>.<br> | ={\rm arcosh\, } x=\ln\big|x+\sqrt{x^2-1}\big|</math>.<br> | ||
}}</span> | }}</span> | ||
Linia 225: | Linia 225: | ||
Jeśli <math>f,g\colon\mathbb{R}\supseteq D\longrightarrow\mathbb{R}</math> są funkcjami, dla których | Jeśli <math>f,g\colon\mathbb{R}\supseteq D\longrightarrow\mathbb{R}</math> są funkcjami, dla których | ||
istnieją całki nieoznaczone, | istnieją całki nieoznaczone, | ||
<math>\lambda\in\mathbb{R} | <math>\lambda\in\mathbb{R}</math>, | ||
to<br> | to<br> | ||
'''(1)''' | '''(1)''' | ||
<math> \int(f\pm g)(x)\,dx= | <math>\int(f\pm g)(x)\,dx= | ||
\int f(x)\,dx\pm\int g(x)\,dx</math>;<br> | \int f(x)\,dx\pm\int g(x)\,dx</math>;<br> | ||
'''(2)''' | '''(2)''' | ||
<math> \int(\lambda f)(x)\,dx | <math>\int(\lambda f)(x)\,dx | ||
=\lambda\int f(x)\,dx | =\lambda\int f(x)\,dx</math>. | ||
}} | }} | ||
Linia 277: | Linia 277: | ||
\int \sin x^2\,dx,\quad | \int \sin x^2\,dx,\quad | ||
\int \cos x^2\,dx,\quad | \int \cos x^2\,dx,\quad | ||
\int\frac{e^x}{x}\,dx | \int\frac{e^x}{x}\,dx | ||
</math></center> | </math></center> | ||
Linia 289: | Linia 289: | ||
<center><math>\int\frac{1}{\sqrt{(1-x^2)(1-kx^2)}},\quad | <center><math>\int\frac{1}{\sqrt{(1-x^2)(1-kx^2)}},\quad | ||
\int\frac{x^2}{\sqrt{(1-x^2)(1-kx^2)}}\quad | \int\frac{x^2}{\sqrt{(1-x^2)(1-kx^2)}}\quad | ||
</math> dla <math> k\in(0,1) | </math> dla <math>k\in(0,1) | ||
</math></center> | </math></center> | ||
Linia 305: | Linia 305: | ||
<math>f,g\colon I\longrightarrow\mathbb{R}</math> są funkcjami różniczkowalnymi | <math>f,g\colon I\longrightarrow\mathbb{R}</math> są funkcjami różniczkowalnymi | ||
oraz istnieje całka nieoznaczona dla funkcji | oraz istnieje całka nieoznaczona dla funkcji | ||
<math>f\cdot g' | <math>f\cdot g'</math>, | ||
to | to | ||
istnieje także całka nieoznaczona dla funkcji <math>f'\cdot g</math> oraz | istnieje także całka nieoznaczona dla funkcji <math>f'\cdot g</math> oraz | ||
Linia 311: | Linia 311: | ||
<center><math>\int f'g\,dx | <center><math>\int f'g\,dx | ||
= | = | ||
fg-\int fg'\,dx | fg-\int fg'\,dx | ||
</math></center> | </math></center> | ||
Linia 323: | Linia 323: | ||
<center><math>(f\cdot g)' | <center><math>(f\cdot g)' | ||
= | = | ||
f'\cdot g+f\cdot g' | f'\cdot g+f\cdot g'</math>,</center> | ||
</math></center> | |||
zatem | zatem | ||
Linia 332: | Linia 331: | ||
(f\cdot g)' | (f\cdot g)' | ||
- | - | ||
f\cdot g' | f\cdot g' | ||
</math></center> | </math></center> | ||
Linia 363: | Linia 362: | ||
Jeśli | Jeśli | ||
<math>I, J\subseteq\mathbb{R}</math> są przedziałami, | <math>I, J\subseteq\mathbb{R}</math> są przedziałami, | ||
<math> f\colon I\longrightarrow J</math> jest funkcją różniczkowalną oraz | <math>f\colon I\longrightarrow J</math> jest funkcją różniczkowalną oraz | ||
<math> g\colon J\longrightarrow\mathbb{R}</math> jest funkcją, dla której istnieje pierwotna | <math>g\colon J\longrightarrow\mathbb{R}</math> jest funkcją, dla której istnieje pierwotna | ||
<math>G\colon J\longrightarrow\mathbb{R} | <math>G\colon J\longrightarrow\mathbb{R}</math>, | ||
to | to | ||
istnieje całka nieoznaczona dla funkcji <math> (g\circ f)\cdot f'</math> oraz | istnieje całka nieoznaczona dla funkcji <math>(g\circ f)\cdot f'</math> oraz | ||
<center><math>\int (g\circ f)\cdot f'\,dx | <center><math>\int (g\circ f)\cdot f'\,dx | ||
= | = | ||
G\circ f | G\circ f | ||
</math></center> | </math></center> | ||
Linia 385: | Linia 384: | ||
(G'\circ f)\cdot f' | (G'\circ f)\cdot f' | ||
= | = | ||
(g\circ f)\cdot f' | (g\circ f)\cdot f' | ||
</math></center> | </math></center> | ||
Linia 399: | Linia 398: | ||
<center><math>\int g\big(f(x)\big)f'(x)\,dx | <center><math>\int g\big(f(x)\big)f'(x)\,dx | ||
= | = | ||
\int g(t)\,dt | \int g(t)\,dt | ||
</math></center> | </math></center> | ||
Linia 410: | Linia 409: | ||
{{przyklad|13.14.|| | {{przyklad|13.14.|| | ||
Obliczyć całkę nieoznaczoną z funkcji <math>f(x)=\sin x\cos x | Obliczyć całkę nieoznaczoną z funkcji <math>f(x)=\sin x\cos x</math>. | ||
}} | }} | ||
Linia 416: | Linia 415: | ||
Wykorzystamy wzór na całkowanie przez części, przyjmując jako | Wykorzystamy wzór na całkowanie przez części, przyjmując jako | ||
<math>f'(x)=\sin x</math> (gdyż znamy już pierwotną funkcji <math>\sin</math>) oraz | <math>f'(x)=\sin x</math> (gdyż znamy już pierwotną funkcji <math>\sin</math>) oraz | ||
jako <math>g(x)=\cos x | jako <math>g(x)=\cos x</math>. W praktyce korzystając z tego wzoru, | ||
zapisujemy rachunki w następujący sposób: | zapisujemy rachunki w następujący sposób: | ||
Linia 466: | Linia 465: | ||
-\int \sin x\cos x\,dx | -\int \sin x\cos x\,dx | ||
= | = | ||
\sin ^2x-\int\sin x\cos x\,dx | \sin ^2x-\int\sin x\cos x\,dx | ||
</math></center> | </math></center> | ||
Linia 477: | Linia 476: | ||
<center><math>\int \sin x\cos x\,dx | <center><math>\int \sin x\cos x\,dx | ||
= | = | ||
\frac{1}{2}\sin^2 x+c | \frac{1}{2}\sin^2 x+c | ||
</math></center> | </math></center> | ||
Linia 486: | Linia 485: | ||
Przyjmując <math>g(t)=t</math> oraz <math>f(x)=\sin x</math>, zauważamy, że | Przyjmując <math>g(t)=t</math> oraz <math>f(x)=\sin x</math>, zauważamy, że | ||
funkcja podcałkowa jest postaci | funkcja podcałkowa jest postaci | ||
<math>g(f(x))\cdot f'(x)=\sin x\cos x | <math>g(f(x))\cdot f'(x)=\sin x\cos x</math>. | ||
Zatem możemy zastosować wzór całkowania przez podstawianie. | Zatem możemy zastosować wzór całkowania przez podstawianie. | ||
W praktyce obliczenia zapisuje się w sposób | W praktyce obliczenia zapisuje się w sposób | ||
Linia 496: | Linia 495: | ||
Jest to dogodne z praktycznego punktu widzenia, ponieważ | Jest to dogodne z praktycznego punktu widzenia, ponieważ | ||
możemy wówczas patrzeć na wzór w [[#uwaga_13_13|uwadze 13.13.]] jak na | możemy wówczas patrzeć na wzór w [[#uwaga_13_13|uwadze 13.13.]] jak na | ||
formalne podstawienie wyrażeń zawierających symbole <math>dx</math> i <math>dt | formalne podstawienie wyrażeń zawierających symbole <math>dx</math> i <math>dt</math>. | ||
Piszemy zatem | Piszemy zatem | ||
Linia 513: | Linia 512: | ||
\frac{1}{2}t^2+c | \frac{1}{2}t^2+c | ||
= | = | ||
\frac{1}{2}\sin^2x+c | \frac{1}{2}\sin^2x+c</math></center> | ||
</math></center> | |||
<br> | <br> | ||
Linia 537: | Linia 535: | ||
-\frac{1}{2}t^2+c | -\frac{1}{2}t^2+c | ||
= | = | ||
-\frac{1}{2}\cos^2x+c | -\frac{1}{2}\cos^2x+c | ||
</math></center> | </math></center> | ||
Linia 545: | Linia 543: | ||
'''Sposób V.'''<br> | '''Sposób V.'''<br> | ||
Zauważmy w końcu, że całkę tę da się także obliczyć bez stosowania powyższych twierdzeń. | Zauważmy w końcu, że całkę tę da się także obliczyć bez stosowania powyższych twierdzeń. | ||
Możemy bowiem skorzystać z tożsamości trygonometrycznej <math>\sin x\cos x=\frac{1}{2}\sin 2x | Możemy bowiem skorzystać z tożsamości trygonometrycznej <math>\sin x\cos x=\frac{1}{2}\sin 2x</math>. Mamy wówczas | ||
<br><center> | <br><center> | ||
Linia 552: | Linia 550: | ||
\frac{1}{2}\int \sin 2x\,dx | \frac{1}{2}\int \sin 2x\,dx | ||
= | = | ||
\frac{1}{4}\cos 2x+c | \frac{1}{4}\cos 2x+c | ||
<br></math> | <br></math> | ||
</center> | </center> | ||
przy czym ostatnią całkę odgadujemy (gdyż znamy pochodną funkcji | przy czym ostatnią całkę odgadujemy (gdyż znamy pochodną funkcji | ||
<math>\cos 2x | <math>\cos 2x</math>, więc dobieramy tylko odpowiedni współczynnik), | ||
bądź też obliczamy, stosując podstawienie <math>2x=t | bądź też obliczamy, stosując podstawienie <math>2x=t</math>. | ||
Zauważmy teraz, że w powyższych rozwiązaniach jako pierwotne funkcji <math>\sin x\cos x</math> otrzymaliśmy trzy różne funkcje: | Zauważmy teraz, że w powyższych rozwiązaniach jako pierwotne funkcji <math>\sin x\cos x</math> otrzymaliśmy trzy różne funkcje: | ||
Linia 567: | Linia 565: | ||
-\frac{1}{2}\cos^2x, | -\frac{1}{2}\cos^2x, | ||
\quad | \quad | ||
-\frac{1}{4}\cos 2x | -\frac{1}{4}\cos 2x | ||
</math> | </math> | ||
<br></center> | <br></center> | ||
Linia 596: | Linia 594: | ||
\frac{1}{2}\sin^2x | \frac{1}{2}\sin^2x | ||
= | = | ||
-\frac{1}{4} | -\frac{1}{4} | ||
</math></center> | </math></center> | ||
Linia 611: | Linia 609: | ||
{{twierdzenie|13.15. [Podstawowe twierdzenie algebry (w wersji rzeczywistej)]|| | {{twierdzenie|13.15. [Podstawowe twierdzenie algebry (w wersji rzeczywistej)]|| | ||
Dowolny wielomian można rozłożyć na czynniki nierozkładalne stopnia co najwyżej | Dowolny wielomian można rozłożyć na czynniki nierozkładalne stopnia co najwyżej | ||
<math>2 | <math>2</math>, to znaczy | ||
<center><math>\begin{array}{lll}Q(x)&=& | <center><math>\begin{array}{lll}Q(x)&=& | ||
Linia 617: | Linia 615: | ||
&\ldots&(x-A_r)^{k_r} | &\ldots&(x-A_r)^{k_r} | ||
(x^2+B_1x+C_1)^{l_1}(x^2+B_2x+C_2)^{l_2}\ldots | (x^2+B_1x+C_1)^{l_1}(x^2+B_2x+C_2)^{l_2}\ldots | ||
(x^2+B_sx+C_s)^{l_s} | (x^2+B_sx+C_s)^{l_s} | ||
\end{array}</math></center> | \end{array}</math></center> | ||
Linia 626: | Linia 624: | ||
oraz | oraz | ||
<center><math>B_i^2-4C_i<0</math> dla <math> | <center><math>B_i^2-4C_i<0</math> dla <math> | ||
i=1,2,\ldots s | i=1,2,\ldots s | ||
</math></center> | </math></center> | ||
Linia 636: | Linia 634: | ||
<center><math>\frac{a}{(x-A)^k} | <center><math>\frac{a}{(x-A)^k} | ||
</math> oraz <math>\frac{bx+c}{(x^2+Bx+C)^s} | </math> oraz <math>\frac{bx+c}{(x^2+Bx+C)^s} | ||
</math></center> | </math></center> | ||
gdzie <math>a,b,c,A,B,C\in\mathbb{R},k,s\in\mathbb{N},B^2-4C<0 | gdzie <math>a,b,c,A,B,C\in\mathbb{R},k,s\in\mathbb{N},B^2-4C<0</math>. | ||
}} | }} | ||
Linia 650: | Linia 648: | ||
Obliczyć całkę z następującej funkcji wymiernej | Obliczyć całkę z następującej funkcji wymiernej | ||
<math> \int\frac{3x+5}{2x^2-5x-3}\,dx | <math>\int\frac{3x+5}{2x^2-5x-3}\,dx</math>. | ||
}} | }} | ||
Linia 656: | Linia 654: | ||
Zauważmy, że trójmian w mianowniku rozkłada się na | Zauważmy, że trójmian w mianowniku rozkłada się na | ||
iloczyn: | iloczyn: | ||
<math> 2x^2-5x-3=2\bigg(x+\frac{1}{2}\bigg)(x-3) | <math>2x^2-5x-3=2\bigg(x+\frac{1}{2}\bigg)(x-3)</math>. | ||
Spróbujmy, czy naszą funkcję wymierną można by zapisać | Spróbujmy, czy naszą funkcję wymierną można by zapisać | ||
w następującej postaci | w następującej postaci | ||
Linia 663: | Linia 661: | ||
= | = | ||
\frac{A}{x+\frac{1}{2}} | \frac{A}{x+\frac{1}{2}} | ||
+\frac{B}{x-3} | +\frac{B}{x-3} | ||
</math></center> | </math></center> | ||
Linia 671: | Linia 669: | ||
porównaj [[#uwaga_13_20|uwaga 13.20.]] poniżej). | porównaj [[#uwaga_13_20|uwaga 13.20.]] poniżej). | ||
Wymnażając stronami przez wspólny mianownik <math> (2x^2-5x-3) | Wymnażając stronami przez wspólny mianownik <math>(2x^2-5x-3)</math>, otrzymujemy | ||
<center><math>3x+5 | <center><math>3x+5 | ||
= | = | ||
2A(x-3) | 2A(x-3) | ||
+2B\bigg(x+\frac{1}{2}\bigg) | +2B\bigg(x+\frac{1}{2}\bigg) | ||
</math></center> | </math></center> | ||
Linia 682: | Linia 680: | ||
współczynniki przy <math>x</math> oraz wyrazy wolne po obu stronach, | współczynniki przy <math>x</math> oraz wyrazy wolne po obu stronach, | ||
możemy łatwo wyliczyć, że | możemy łatwo wyliczyć, że | ||
<math> A=-\frac{1}{2}</math> oraz | <math>A=-\frac{1}{2}</math> oraz | ||
<math>B=2 | <math>B=2</math>. Zatem otrzymaliśmy rozkład | ||
<center><math>\frac{3x+5}{2x^2-5x-3} | <center><math>\frac{3x+5}{2x^2-5x-3} | ||
= | = | ||
\frac{-\frac{1}{2}}{x+\frac{1}{2}} | \frac{-\frac{1}{2}}{x+\frac{1}{2}} | ||
+\frac{2}{x-3} | +\frac{2}{x-3} | ||
</math></center> | </math></center> | ||
Linia 721: | Linia 719: | ||
{{twierdzenie|13.18. [O rozkładzie na ułamki proste]|twierdzenie_13_18| | {{twierdzenie|13.18. [O rozkładzie na ułamki proste]|twierdzenie_13_18| | ||
Niech <math> f(x)=\frac{P(x)}{Q(x)}</math> będzie funkcją wymierną, | Niech <math>f(x)=\frac{P(x)}{Q(x)}</math> będzie funkcją wymierną, | ||
gdzie <math>\deg P=m<n=\deg Q | gdzie <math>\deg P=m<n=\deg Q</math>. Wówczas istnieje jedyny rozkład | ||
funkcji <math>f</math> na ułamki proste oraz jeśli | funkcji <math>f</math> na ułamki proste oraz jeśli | ||
Linia 729: | Linia 727: | ||
\frac{P(x)}{(x-A_1)^{k_1}(x-A_2)^{k_2}\ldots (x-A_r)^{k_r} | \frac{P(x)}{(x-A_1)^{k_1}(x-A_2)^{k_2}\ldots (x-A_r)^{k_r} | ||
(x^2+B_1x+C_1)^{l_1}(x^2+B_2x+C_2)^{l_2}\ldots | (x^2+B_1x+C_1)^{l_1}(x^2+B_2x+C_2)^{l_2}\ldots | ||
(x^2+B_sx+C_s)^{l_s}} | (x^2+B_sx+C_s)^{l_s}} | ||
</math></center> | </math></center> | ||
gdzie | gdzie | ||
<center><math>B_i^2-4C_i<0 </math> dla <math> | <center><math>B_i^2-4C_i<0</math> dla <math> | ||
i=1,2,\ldots s | i=1,2,\ldots s | ||
</math></center> | </math></center> | ||
Linia 756: | Linia 754: | ||
& = & | & = & | ||
\sum_{i=1}^r\sum_{j_i=1}^{k_i}\frac{a^i_{j_i}}{(x-A_i)^{j_i}} | \sum_{i=1}^r\sum_{j_i=1}^{k_i}\frac{a^i_{j_i}}{(x-A_i)^{j_i}} | ||
+\sum_{i=1}^s\sum_{j_i=1}^{l_i}\frac{b^i_{j_i}x+c^i_{j_i}}{(x^2+B_ix+C_i)^{j_i}} | +\sum_{i=1}^s\sum_{j_i=1}^{l_i}\frac{b^i_{j_i}x+c^i_{j_i}}{(x^2+B_ix+C_i)^{j_i}} | ||
\end{array}</math></center> | \end{array}</math></center> | ||
Linia 764: | Linia 762: | ||
Rozłożyć funkcję wymierną | Rozłożyć funkcję wymierną | ||
<math> f(x)= \frac{x^5+4x^3-x^2+13x-3}{x^4+2x^2+9}</math> | <math>f(x)= \frac{x^5+4x^3-x^2+13x-3}{x^4+2x^2+9}</math> | ||
na ułamki proste. | na ułamki proste. | ||
}} | }} | ||
Linia 776: | Linia 774: | ||
<center><math>\frac{x^5+4x^3-x^2+13x-3}{x^4+2x^2+9} | <center><math>\frac{x^5+4x^3-x^2+13x-3}{x^4+2x^2+9} | ||
= | = | ||
x+\frac{2x^3-x^2+4x-3}{x^4+2x^2+9} | x+\frac{2x^3-x^2+4x-3}{x^4+2x^2+9} | ||
</math></center> | </math></center> | ||
Linia 794: | Linia 792: | ||
<center><math>\frac{2x^3-x^2+4x-3}{(x^2+2x+3)(x^2-2x+3)} | <center><math>\frac{2x^3-x^2+4x-3}{(x^2+2x+3)(x^2-2x+3)} | ||
= | = | ||
\frac{bx+c}{x^2+2x+3}+\frac{dx+e}{x^2-2x+3} | \frac{bx+c}{x^2+2x+3}+\frac{dx+e}{x^2-2x+3} | ||
</math></center> | </math></center> | ||
Linia 801: | Linia 799: | ||
<center><math>2x^3-x^2+4x-3 | <center><math>2x^3-x^2+4x-3 | ||
= | = | ||
(ax+b)(x^2-2x+3)+(cx+d)(x^2+2x+3) | (ax+b)(x^2-2x+3)+(cx+d)(x^2+2x+3) | ||
</math></center> | </math></center> | ||
Linia 816: | Linia 814: | ||
& & 3b & & & + & 3d & = & -3, | & & 3b & & & + & 3d & = & -3, | ||
\end{array} | \end{array} | ||
\right. | \right.</math></center> | ||
</math></center> | |||
którego rozwiązaniem jest | którego rozwiązaniem jest | ||
Linia 828: | Linia 825: | ||
d & = & -1. | d & = & -1. | ||
\end{array} | \end{array} | ||
\right. | \right.</math></center> | ||
</math></center> | |||
Zatem ostatecznie mamy | Zatem ostatecznie mamy | ||
Linia 836: | Linia 832: | ||
= | = | ||
x+ | x+ | ||
\frac{x}{x^2+2x+3}+\frac{x-1}{x^2-2x+3} | \frac{x}{x^2+2x+3}+\frac{x-1}{x^2-2x+3} | ||
</math></center> | </math></center> | ||
Linia 859: | Linia 855: | ||
Całki z ułamków prostych postaci | Całki z ułamków prostych postaci | ||
<math> \frac{bx+c}{(x^2+Bx+C)^k}</math> | <math>\frac{bx+c}{(x^2+Bx+C)^k}</math> | ||
będą policzone na ćwiczeniach | będą policzone na ćwiczeniach | ||
(patrz [[#cwiczenie_13_4|ćwiczenie 13.4.]]). | (patrz [[#cwiczenie_13_4|ćwiczenie 13.4.]]). | ||
Linia 868: | Linia 864: | ||
Zacznijmy od rozważenia następującej całki: | Zacznijmy od rozważenia następującej całki: | ||
<center><math>\int\frac{W_n(x)}{\sqrt{px^2+qx+r}}\,dx | <center><math>\int\frac{W_n(x)}{\sqrt{px^2+qx+r}}\,dx | ||
</math></center> | </math></center> | ||
Linia 880: | Linia 876: | ||
= | = | ||
Q_{n-1}(x)\sqrt{px^2+qx+r} | Q_{n-1}(x)\sqrt{px^2+qx+r} | ||
+A\int\frac{dx}{\sqrt{px^2+qx+r}} | +A\int\frac{dx}{\sqrt{px^2+qx+r}} | ||
</math></center> | </math></center> | ||
gdzie <math>Q_{n-1}(x)</math> jest wielomianem stopnia <math>n-1 | gdzie <math>Q_{n-1}(x)</math> jest wielomianem stopnia <math>n-1</math>. Współczynniki wielomianu | ||
<math>Q_{n-1}</math> | <math>Q_{n-1}</math> | ||
oraz stałą <math>\lambda</math> znajdujemy, licząc pochodną z obu | oraz stałą <math>\lambda</math> znajdujemy, licząc pochodną z obu | ||
stron powyższej równości (pamiętamy, że pochodna z całki to | stron powyższej równości (pamiętamy, że pochodna z całki to | ||
funkcja podcałkowa!) i mnożąc potem obie strony przez | funkcja podcałkowa!) i mnożąc potem obie strony przez | ||
<math>\sqrt{px^2+qx+r} | <math>\sqrt{px^2+qx+r}</math>. Dostaniemy wtedy: | ||
<center><math>W(x)=Q_{n-1}'(x)(px^2+qx+r)+Q_{n-1}(x)(px+\frac{q}{2})+\lambda | <center><math>W(x)=Q_{n-1}'(x)(px^2+qx+r)+Q_{n-1}(x)(px+\frac{q}{2})+\lambda | ||
</math></center> | </math></center> | ||
skąd, porównując współczynniki przy odpowiednich potęgach zmiennej | skąd, porównując współczynniki przy odpowiednich potęgach zmiennej | ||
<math>x | <math>x</math>, znajdujemy współczynniki | ||
wielomianu <math>Q_{n-1}</math> | wielomianu <math>Q_{n-1}</math> | ||
oraz stałą <math>\lambda | oraz stałą <math>\lambda</math>. | ||
Pozostaje jeszcze do obliczenia | Pozostaje jeszcze do obliczenia | ||
<center><math>\int\frac{dx}{\sqrt{px^2+qx+r}} | <center><math>\int\frac{dx}{\sqrt{px^2+qx+r}} | ||
</math></center> | </math></center> | ||
Linia 920: | Linia 916: | ||
Policzyć | Policzyć | ||
<center><math>\int\sqrt{R^2-x^2}\,dx | <center><math>\int\sqrt{R^2-x^2}\,dx | ||
</math></center> | </math></center> | ||
Linia 926: | Linia 922: | ||
Aby użyć metody współczynników nieoznaczonych, zapiszmy | Aby użyć metody współczynników nieoznaczonych, zapiszmy | ||
<center><math>\int\frac{R^2-x^2}{\sqrt{R^2-x^2}}\,dx | <center><math>\int\frac{R^2-x^2}{\sqrt{R^2-x^2}}\,dx | ||
</math></center> | </math></center> | ||
Linia 933: | Linia 929: | ||
<center><math>\int\frac{R^2-x^2}{\sqrt{R^2-x^2}}\,dx | <center><math>\int\frac{R^2-x^2}{\sqrt{R^2-x^2}}\,dx | ||
= | = | ||
(ax+b)\sqrt{R^2-x^2}+\lambda\int\frac{1}{\sqrt{R^2-x^2}}\,dx | (ax+b)\sqrt{R^2-x^2}+\lambda\int\frac{1}{\sqrt{R^2-x^2}}\,dx | ||
</math></center> | </math></center> | ||
Linia 940: | Linia 936: | ||
<center><math>R^2-x^2 | <center><math>R^2-x^2 | ||
= | = | ||
a(R^2-x^2)-x(ax+b)+\lambda=-2ax^2-bx+aR^2+\lambda | a(R^2-x^2)-x(ax+b)+\lambda=-2ax^2-bx+aR^2+\lambda | ||
</math></center> | </math></center> | ||
skąd dostajemy układ równań | skąd dostajemy układ równań | ||
<center><math>-2a=-1,\quad b=0, \quad aR^2+\lambda=R^2 | <center><math>-2a=-1,\quad b=0, \quad aR^2+\lambda=R^2 | ||
</math></center> | </math></center> | ||
zatem | zatem | ||
<center><math>a=\frac{1}{2},\quad b=0, \quad \lambda=\frac{1}{2}R^2 | <center><math>a=\frac{1}{2},\quad b=0, \quad \lambda=\frac{1}{2}R^2 | ||
</math></center> | </math></center> | ||
Pozostaje do policzenia | Pozostaje do policzenia | ||
<math>\int\frac{1}{\sqrt{R^2-x^2}}\,dx | <math>\int\frac{1}{\sqrt{R^2-x^2}}\,dx</math>. Podstawiając | ||
<math>\frac{x}{R}=t</math> (zatem | <math>\frac{x}{R}=t</math> (zatem | ||
<math>\frac{dx}{R}=dt</math>), mamy | <math>\frac{dx}{R}=dt</math>), mamy | ||
Linia 968: | Linia 964: | ||
= | = | ||
\frac{x}{2}\sqrt{R^2-x^2}+\frac{R^2}{2}\arcsin | \frac{x}{2}\sqrt{R^2-x^2}+\frac{R^2}{2}\arcsin | ||
\frac{x}{R} +c | \frac{x}{R} +c | ||
</math></center> | </math></center> | ||
Linia 989: | Linia 985: | ||
\quad | \quad | ||
</math> gdzie <math> | </math> gdzie <math> | ||
a,b\in\mathbb{R},\ p,r,s\in\mathbb{Q} | a,b\in\mathbb{R},\ p,r,s\in\mathbb{Q} | ||
</math></center> | </math></center> | ||
Linia 995: | Linia 991: | ||
zachodzi jeden z przypadków:<br> | zachodzi jeden z przypadków:<br> | ||
'''(1)''' <math>p\in\mathbb{Z}</math> | '''(1)''' <math>p\in\mathbb{Z}</math> | ||
(robimy podstawienie <math>x=z^N | (robimy podstawienie <math>x=z^N</math>, gdzie <math>N</math> jest wspólnym | ||
mianownikiem ułamków <math>r</math> i <math>s</math>);<br> | mianownikiem ułamków <math>r</math> i <math>s</math>);<br> | ||
'''(2)''' | '''(2)''' | ||
<math> \frac{r+1}{s}\in\mathbb{Z}</math> | <math>\frac{r+1}{s}\in\mathbb{Z}</math> | ||
(robimy podstawienie <math>a+bx^s=z^N | (robimy podstawienie <math>a+bx^s=z^N</math>, gdzie <math>N</math> jest | ||
mianownikiem ułamka <math>p</math>);<br> | mianownikiem ułamka <math>p</math>);<br> | ||
'''(3)''' | '''(3)''' | ||
<math> \frac{r+1}{s}+p\in\mathbb{Z}</math> | <math>\frac{r+1}{s}+p\in\mathbb{Z}</math> | ||
(robimy podstawienie <math>ax^{-s}+b=z^N | (robimy podstawienie <math>ax^{-s}+b=z^N</math>, gdzie <math>N</math> jest | ||
mianownikiem ułamka <math>p</math>). | mianownikiem ułamka <math>p</math>). | ||
}} | }} | ||
Linia 1012: | Linia 1008: | ||
Sprowadzić całki z funkcji, które mają pierwotną elementarną do | Sprowadzić całki z funkcji, które mają pierwotną elementarną do | ||
całek z funkcji wymiernych.<br> | całek z funkcji wymiernych.<br> | ||
'''(1)''' <math>f(x)=\sqrt[3]{1+x^2} | '''(1)''' <math>f(x)=\sqrt[3]{1+x^2}</math>.<br> | ||
'''(2)''' <math>f(x)=\sqrt[4]{1+x^2} | '''(2)''' <math>f(x)=\sqrt[4]{1+x^2}</math>.<br> | ||
'''(3)''' <math>f(x)=\sqrt[3]{1+\sqrt{x^3}} | '''(3)''' <math>f(x)=\sqrt[3]{1+\sqrt{x^3}}</math>. | ||
}} | }} | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | ||
'''(1)''' Funkcja <math>f(x)=\sqrt[3]{1+x^2}</math> '''nie ma''' pierwotnej elementarnej, gdyż <math>\frac{1}{3},\frac{0+1}{2},\frac{0+1}{2}+\frac{1}{3}\not\in\mathbb{Z} | '''(1)''' Funkcja <math>f(x)=\sqrt[3]{1+x^2}</math> '''nie ma''' pierwotnej elementarnej, gdyż <math>\frac{1}{3},\frac{0+1}{2},\frac{0+1}{2}+\frac{1}{3}\not\in\mathbb{Z}</math>.<br> | ||
'''(2)''' Funkcja <math>f(x)=\sqrt[4]{1+x^2}</math> '''nie ma''' pierwotnej elementarnej, gdyż <math>\frac{1}{4},\frac{0+1}{2},\frac{0+1}{2}+\frac{1}{4}\not\in\mathbb{Z} | '''(2)''' Funkcja <math>f(x)=\sqrt[4]{1+x^2}</math> '''nie ma''' pierwotnej elementarnej, gdyż <math>\frac{1}{4},\frac{0+1}{2},\frac{0+1}{2}+\frac{1}{4}\not\in\mathbb{Z}</math>.<br> | ||
'''(3)''' Funkcja <math>f(x)=\sqrt[3]{1+\sqrt{x^3}} </math> ma pierwotną elementarną, gdyż <math>\frac{0+1}{\frac{3}{2}}+\frac{1}{3}=1\in\mathbb{Z} | '''(3)''' Funkcja <math>f(x)=\sqrt[3]{1+\sqrt{x^3}}</math> ma pierwotną elementarną, gdyż <math>\frac{0+1}{\frac{3}{2}}+\frac{1}{3}=1\in\mathbb{Z}</math>. | ||
Wykonujemy podstawienie <math> x^{-\frac{3}{2}}+1=z^3 | Wykonujemy podstawienie <math>x^{-\frac{3}{2}}+1=z^3</math>. Wówczas <math>x=\frac{1}{(z^3-1)^{\frac{2}{3}}}</math>, czyli <math>dx=\frac{-2z^2}{(z^3-1)^{\frac{5}{3}}}\,dz</math>. Dokonując tego podstawienia, mamy | ||
<center><math>\int \sqrt[3]{1+\sqrt{x^3}}\,dx | <center><math>\int \sqrt[3]{1+\sqrt{x^3}}\,dx | ||
Linia 1032: | Linia 1028: | ||
\int\frac{-2z^3}{(z^3-1)^2}\,dz | \int\frac{-2z^3}{(z^3-1)^2}\,dz | ||
= | = | ||
\int\frac{-2z^3}{(z-1)^2(z^2+z+1)^2}\,dz | \int\frac{-2z^3}{(z-1)^2(z^2+z+1)^2}\,dz | ||
</math></center> | </math></center> | ||
Linia 1040: | Linia 1036: | ||
Do policzenia całki postaci | Do policzenia całki postaci | ||
<center><math>\int R\big(x,\sqrt{ax^2+bx+c}\big)\,dx | <center><math>\int R\big(x,\sqrt{ax^2+bx+c}\big)\,dx | ||
</math></center> | </math></center> | ||
Linia 1047: | Linia 1043: | ||
<math>a,b,c\in\mathbb{R},a\ne 0</math> można zastosować następujące | <math>a,b,c\in\mathbb{R},a\ne 0</math> można zastosować następujące | ||
podstawienia (tak zwane podstawienia Eulera):<br> | podstawienia (tak zwane podstawienia Eulera):<br> | ||
* Niech <math>a>0 | * Niech <math>a>0</math>. Podstawiamy | ||
<center><math>\sqrt{ax^2+bx+c}=t-\sqrt{a}x | <center><math>\sqrt{ax^2+bx+c}=t-\sqrt{a}x</math></center> | ||
</math></center> | |||
* Niech <math>c>0 | * Niech <math>c>0</math>. Podstawiamy | ||
<center><math>\sqrt{ax^2+bx+c}=xt+\sqrt{c} | <center><math>\sqrt{ax^2+bx+c}=xt+\sqrt{c} | ||
</math></center><br> | </math></center><br> | ||
* Niech trójmian kwadratowy ma dwa '''różne''' pierwiastki <math>\mu,\lambda | * Niech trójmian kwadratowy ma dwa '''różne''' pierwiastki <math>\mu,\lambda</math>, to znaczy <math>ax^2+bx+c=a(x-\lambda)(x-\mu)</math>. Podstawiamy<br><br> | ||
<center><math>\sqrt{ax^2+bx+c}=t(x-\lambda) | <center><math>\sqrt{ax^2+bx+c}=t(x-\lambda) | ||
</math></center> | </math></center> | ||
Linia 1073: | Linia 1068: | ||
podstawienie Eulera. Podstawiamy | podstawienie Eulera. Podstawiamy | ||
<center><math>\sqrt{x^2-x+1}=t-x | <center><math>\sqrt{x^2-x+1}=t-x | ||
</math></center> | </math></center> | ||
Linia 1087: | Linia 1082: | ||
<center><math>dx | <center><math>dx | ||
= | = | ||
\frac{2t^2-2t+2}{(2t-1)^2}\,dt | \frac{2t^2-2t+2}{(2t-1)^2}\,dt | ||
</math></center> | </math></center> | ||
Podstawiając, dostajemy | Podstawiając, dostajemy | ||
<center><math>\int\frac{\,dx}{x+\sqrt{x^2-x+1}}=2\int\frac{t^2-t+1}{t(2t-1)^2}\,dt | <center><math>\int\frac{\,dx}{x+\sqrt{x^2-x+1}}=2\int\frac{t^2-t+1}{t(2t-1)^2}\,dt | ||
</math></center> | </math></center> | ||
Linia 1101: | Linia 1096: | ||
Eulera. Podstawiamy | Eulera. Podstawiamy | ||
<center><math>\sqrt{x^2-x+1}=tx-1 | <center><math>\sqrt{x^2-x+1}=tx-1 | ||
</math></center> | </math></center> | ||
Linia 1108: | Linia 1103: | ||
<center><math>x | <center><math>x | ||
= | = | ||
\frac{1-2t}{1-t^2} \quad dx=-2\frac{t^2-t+1}{(1-t^2)^2}\,dt | \frac{1-2t}{1-t^2} \quad dx=-2\frac{t^2-t+1}{(1-t^2)^2}\,dt | ||
</math></center> | </math></center> | ||
Linia 1115: | Linia 1110: | ||
<center><math>\int\frac{\,dx}{x+\sqrt{x^2-x+1}} | <center><math>\int\frac{\,dx}{x+\sqrt{x^2-x+1}} | ||
= | = | ||
-2\int\frac{t^2-t+1}{t(t-1)(t+1)^2}\,dt | -2\int\frac{t^2-t+1}{t(t-1)(t+1)^2}\,dt</math>,</center> | ||
</math></center> | |||
czyli też całkę z funkcji wymiernej - co prawda nieco bardziej | czyli też całkę z funkcji wymiernej - co prawda nieco bardziej | ||
Linia 1128: | Linia 1122: | ||
Aby policzyć całkę | Aby policzyć całkę | ||
<center><math>\int R(\sin x,\cos x,\mathrm{tg}\, x)\,dx | <center><math>\int R(\sin x,\cos x,\mathrm{tg}\, x)\,dx | ||
</math></center> | </math></center> | ||
Linia 1151: | Linia 1145: | ||
2\mathrm{arctg}\, t, | 2\mathrm{arctg}\, t, | ||
\quad</math> zatem <math>\quad | \quad</math> zatem <math>\quad | ||
,dx=\frac{2\,dt}{1+t^2} | ,dx=\frac{2\,dt}{1+t^2} | ||
</math></center> | </math></center> | ||
Linia 1160: | Linia 1154: | ||
\frac{1-t^2}{1+t^2}, | \frac{1-t^2}{1+t^2}, | ||
\frac{2t}{1-t^2} | \frac{2t}{1-t^2} | ||
\bigg)\frac{2dt}{1+t^2} | \bigg)\frac{2dt}{1+t^2} | ||
</math></center> | </math></center> | ||
Linia 1168: | Linia 1162: | ||
Obliczyć całkę | Obliczyć całkę | ||
<math>\int\frac{dx}{2+\cos x} | <math>\int\frac{dx}{2+\cos x}</math>. | ||
W całce tej stosujemy podstawienie | W całce tej stosujemy podstawienie | ||
<math> \mathrm{tg}\, \frac{x}{2}=t | <math>\mathrm{tg}\, \frac{x}{2}=t</math>, | ||
wówczas | wówczas | ||
<math> x=2\mathrm{arctg}\, t</math> | <math>x=2\mathrm{arctg}\, t</math> | ||
i | i | ||
<math> dx=\frac{2\,dt}{1+t^2} | <math>dx=\frac{2\,dt}{1+t^2}</math>. | ||
Zatem | Zatem | ||
Linia 1197: | Linia 1191: | ||
2\mathrm{arctg}\, s+c | 2\mathrm{arctg}\, s+c | ||
= | = | ||
2\mathrm{arctg}\,\bigg(\frac{\mathrm{tg}\,\frac{x}{2}}{\sqrt{3}}\bigg)+c | 2\mathrm{arctg}\,\bigg(\frac{\mathrm{tg}\,\frac{x}{2}}{\sqrt{3}}\bigg)+c | ||
\end{array}</math></center>}} | \end{array}</math></center>}} | ||
Linia 1204: | Linia 1198: | ||
Aby policzyć całkę | Aby policzyć całkę | ||
<center><math>\int R(\sin^2x,\cos^2x,\sin x\cos x)\,dx | <center><math>\int R(\sin^2x,\cos^2x,\sin x\cos x)\,dx | ||
</math></center> | </math></center> | ||
Linia 1226: | Linia 1220: | ||
= | = | ||
\mathrm{arctg}\, t,\quad | \mathrm{arctg}\, t,\quad | ||
\,dx=\frac{\,dt}{1+t^2} | \,dx=\frac{\,dt}{1+t^2} | ||
</math></center> | </math></center> | ||
Linia 1235: | Linia 1229: | ||
\frac{1}{1+t^2}, | \frac{1}{1+t^2}, | ||
\frac{t}{1+t^2} | \frac{t}{1+t^2} | ||
\bigg)\frac{dt}{1+t^2} | \bigg)\frac{dt}{1+t^2} | ||
</math></center> | </math></center> | ||
Linia 1243: | Linia 1237: | ||
Obliczyć całkę | Obliczyć całkę | ||
<math> \int\frac{dx}{1+2\cos^2x}\,dx | <math>\int\frac{dx}{1+2\cos^2x}\,dx</math>. | ||
W całce tej stosujemy podstawienie | W całce tej stosujemy podstawienie | ||
<math> \mathrm{tg}\, x=t | <math>\mathrm{tg}\, x=t</math>, | ||
wówczas | wówczas | ||
<math> \cos^2x=\frac{1}{1+t^2}</math> | <math>\cos^2x=\frac{1}{1+t^2}</math> | ||
i | i | ||
<math> dx=\frac{\,dt}{1+t^2} | <math>dx=\frac{\,dt}{1+t^2}</math>. | ||
Zatem | Zatem | ||
Linia 1257: | Linia 1251: | ||
\int\frac{\frac{1}{1+t^2}}{1+\frac{2}{1+t^2}}\,dt | \int\frac{\frac{1}{1+t^2}}{1+\frac{2}{1+t^2}}\,dt | ||
= | = | ||
\int\frac{dt}{t^2+3} | \int\frac{dt}{t^2+3} | ||
</math></center> | </math></center> | ||
Linia 1265: | Linia 1259: | ||
<center><math>\int\frac{dx}{1+2\cos^2x}\,dx | <center><math>\int\frac{dx}{1+2\cos^2x}\,dx | ||
= | = | ||
\mathrm{arctg}\,\bigg(\frac{\mathrm{tg}\, x}{\sqrt{3}}\bigg)+c | \mathrm{arctg}\,\bigg(\frac{\mathrm{tg}\, x}{\sqrt{3}}\bigg)+c | ||
</math></center>}} | </math></center>}} |
Aktualna wersja na dzień 08:05, 24 lip 2024
Całka nieoznaczona

Zobacz biografię
W pierwszej części tego wykładu wprowadzamy pojęcia funkcji pierwotnej i całki nieoznaczonej. Podajemy całki pewnych funkcji elementarnych, jak również przykłady funkcji, których pierwotne nie są funkcjami elementarnymi. Dowodzimy wzorów na całkowanie przez części i całkowanie przez podstawienie.
Druga część wykładu jest przeglądem metod całkowania. Omawiamy kolejno metody całkowania wyrażeń wymiernych (rozkład na ułamki proste), metody całkowania pewnych wyrażeń niewymiernych (m.in. metodę współczynników nieoznaczonych, podstawienia Eulera) oraz metody całkowania wyrażeń zawierających funkcje trygonometryczne.
Funkcja pierwotna
Definicja 13.1.
Niech będzie przedziałem oraz
niech będzie funkcją.
Funkcję nazywamy
pierwotną funkcji , jeśli
jest różniczkowalna i
.
Twierdzenie 13.2.
Dwie dowolne pierwotne funkcji
różnią się o stałą,
to znaczy
(1) Jeśli i są pierwotnymi funkcji
to dla pewnego
(2) Jeśli jest pierwotną funkcji oraz
dla pewnego
to też jest pierwotną funkcji
Dowód 13.2.
(Ad (1))
Jeśli i są pierwotnymi funkcji , to mamy
Ponieważ pochodna różnicy wynosi , więc różnica ta musi
być stała. Zatem istnieje takie, że
(Ad (2))
Załóżmy, że jest pierwotną funkcji
oraz funkcje i różnią się o stałą, to znaczy
dla pewnej stałej . Ponieważ jest
różniczkowalna (jako pierwotna) oraz funkcja stała jest
różniczkowalna, więc także funkcja jest różniczkowalna.
Licząc pochodną sumy, dostajemy
zatem jest także pierwotną funkcji

Definicja 13.3. [całka nieoznaczona, całkowanie]
Całką nieoznaczoną funkcji nazywamy zbiór jego pierwotnych i oznaczamy
Całkowaniem nazywamy wyznaczanie całki.
Oczywiście, jeśli zmienna funkcji nazywa się
to piszemy lub
,
a jeśli zmienna funkcji nazywa się
na przykład ,
to piszemy lub
.
Wniosek 13.4.
Jeśli jest pierwotną funkcji , to
Jeśli jest jedną z pierwotnych funkcji oraz to pierwotna funkcji spełniająca (to znaczy której wykres przechodzi przez punkt ) jest równa
gdzie
Przykład 13.6.
Funkcja pierwotna nie zawsze istnieje.
Rozważmy następującą funkcję
Pokażemy, że nie ma pierwotnej. Dla dowodu niewprost, przypuśćmy, że funkcja ta posiada pierwotną Wówczas Na przedziale funkcja jest tożsamościowo równa zatem jej pierwotna jest stała, powiedzmy Podobnie na przedziale powiedzmy Ponieważ funkcja pierwotna jest ciągła (jako różniczkowalna), zatem
oraz Zatem pokazaliśmy, że Ale wówczas sprzeczność. Zatem tak zdefiniowana funkcja nie ma pierwotnej.
Zachodzi natomiast następujące twierdzenie (które podajemy tutaj bez dowodu).
Twierdzenie 13.7.
Każda funkcja ciągła ma pierwotną.
Całki pewnych funkcji elementarnych
Poniższe twierdzenie podaje całki nieoznaczone pewnych funkcji elementarnych. Ponieważ wiemy już, ile wynoszą pochodne pewnych funkcji elementarnych, więc łatwo stąd odgadnąć pierwotne niżej podanych funkcji.
Twierdzenie 13.8. [Całki pewnych funkcji elementarnych]
(1)
;
(2)
;
(3)
dla ;
(4)
;
(5)
,
dla ,
(w szczególności
(6)
;
(7)
;
(8)
;
(9)
;
(10)
;
(11)
;
(12)
;
(13)
.
Poniższe twierdzenie pozwoli nam liczyć całkę z sumy i różnicy funkcji oraz z iloczynu funkcji przez stałą. Wynika ono natychmiast z twierdzenia o liniowości pochodnej.
Twierdzenie 13.9. [Liniowość całki]
Jeśli są funkcjami, dla których
istnieją całki nieoznaczone,
,
to
(1)
;
(2)
.
W przypadku liczenia pochodnej funkcji mieliśmy także do dyspozycji wzór na pochodną iloczynu i ilorazu. Pozwalało to w praktyczny sposób policzyć pochodną dowolnej funkcji elementarnej.
W przypadku całki nieoznaczonej nie mamy do dyspozycji takiego narzędzia. Okazuje się nawet, że dla pewnych funkcji elementarnych nie istnieje funkcja pierwotna elementarna (mimo, że pierwotna na pewno istnieje, bo funkcja jest na przykład ciągła).
(1)
Funkcje elementarne to funkcje, które można otrzymać z
funkcji:
- stałych,
- potęgowych,
- wykładniczych,
- trygonometrycznych,
przez wykonywanie skończonej liczby operacji:
- dodawania/odejmowania,
- mnożenia/dzielenia,
- złożenia,
- odwracania.
(2)
Pochodna funkcji elementarnej jest zawsze funkcją
elementarną.
Wynika to ze wzorów na pochodną funkcji stałej, potęgowej, wykładniczej,
trygonometrycznej oraz
wzorów na pochodne sumy, iloczynu, ilorazu, złożenia i
funkcji odwrotnej.
(3)
Całka nieoznaczona funkcji elementarnej nie musi być funkcją
elementarną.
Przykłady funkcji, których pierwotne nie są funkcjami
elementarnymi, to między innymi
oraz tak zwane całki eliptyczne:
Całkowanie przez części
Do liczenia całki nieoznaczonej z iloczynu przydatny jest następujący wzór, który w niektórych przypadkach sprowadza całkę z iloczynu (lub ilorazu) do postaci łatwiejszej do wyliczenia.
Twierdzenie 13.11. [Całkowanie przez części]
Jeśli jest przedziałem, są funkcjami różniczkowalnymi oraz istnieje całka nieoznaczona dla funkcji , to istnieje także całka nieoznaczona dla funkcji oraz
Dowód 13.11.
Ponieważ funkcje i są różniczkowalne, więc różniczkowalny jest także iloczyn oraz zachodzi wzór
zatem
Ponieważ funkcja po prawej stronie jest całkowalna, więc funkcja po lewej stronie także jest całkowalna i mamy

Całkowanie przez podstawienie
Podobnie jak w przypadku iloczynu i ilorazu funkcji nie ma ogólnego wzoru na obliczanie pierwotnej, tak i w przypadku złożenia funkcji nie ma ogólnej metody wyznaczania pierwotnej (tak jak to miało miejsce w przypadku pochodnej). W przypadku złożenia pomocnym narzędziem może być następujący wzór na całkowanie przez podstawienie zwany także wzorem na zmianę zmiennych w całce. Pozwala ono w pewnych sytuacjach obliczyć całkę z funkcji zawierającej złożenie dwóch funkcji.
Twierdzenie 13.12. [Całkowanie przez podstawianie]
Jeśli są przedziałami, jest funkcją różniczkowalną oraz jest funkcją, dla której istnieje pierwotna , to istnieje całka nieoznaczona dla funkcji oraz
Dowód 13.12.
Ponieważ funkcje i są różniczkowalne, więc ich złożenie także oraz mamy
Całkując obie strony, dostajemy tezę naszego twierdzenia.

Wzór całkowania przez podstawianie często zapisujemy jako:
rozumiejąc, że należy "wrócić" do tej samej zmiennej po obu stronach ( po prawej lub po lewej) przez złożenie "" po prawej stronie lub "" po lewej stronie.
Przykład 13.14.
Obliczyć całkę nieoznaczoną z funkcji .
Całkowanie funkcji wymiernych
Zacznijmy od przypomnienia znanego ze szkoły twierdzenia.
Twierdzenie 13.15. [Podstawowe twierdzenie algebry (w wersji rzeczywistej)]
Dowolny wielomian można rozłożyć na czynniki nierozkładalne stopnia co najwyżej , to znaczy
gdzie stopień wielomianu wynosi
oraz
Definicja 13.16. [ułamki proste]
Ułamkami prostymi nazywamy funkcje wymierne postaci:
gdzie .
Podamy twierdzenie, które pozwoli na obliczanie całki z dowolnej funkcji wymiernej. Ponieważ twierdzenie to "wygląda" dość formalnie, proponujemy przestudiować najpierw poniższy przykład.
Przykład 13.17.
Obliczyć całkę z następującej funkcji wymiernej .
To, że funkcję wymierną w powyższym przykładzie udało się rozłożyć na prostsze ułamki nie jest przypadkiem.
Okazuje się, że funkcję wymierną można zawsze przedstawić jako sumę ułamków prostych. Jeśli zatem będziemy umieli scałkować ułamki proste, to dzięki liniowości całki będziemy potrafili scałkować dowolną funkcję wymierną (o ile jej mianownik efektywnie rozłożymy na czynniki stopnia co najwyżej drugiego). Kolejne twierdzenie o rozkładzie funkcji wymiernej na ułamki proste będzie więc bardzo przydatne w rachunkach.
Twierdzenie 13.18. [O rozkładzie na ułamki proste]
Niech będzie funkcją wymierną, gdzie . Wówczas istnieje jedyny rozkład funkcji na ułamki proste oraz jeśli
gdzie
to
Przykład 13.19.
Rozłożyć funkcję wymierną na ułamki proste.
Korzystając z liniowości całki nieoznaczonej dla policzenia całki z funkcji wymiernej , wystarczy umieć policzyć całki z ułamków prostych. Znamy już całki z ułamków:
Całki z ułamków prostych postaci będą policzone na ćwiczeniach (patrz ćwiczenie 13.4.).
Całkowanie funkcji niewymiernych
Zacznijmy od rozważenia następującej całki:
gdzie jest dowolnym wielomianem (stopnia ). Okazuje się, że istnieje ogólna metoda obliczania tego typu całek. Opiera się ona na twierdzeniu, które mówi, iż mamy następującą równość
gdzie jest wielomianem stopnia . Współczynniki wielomianu oraz stałą znajdujemy, licząc pochodną z obu stron powyższej równości (pamiętamy, że pochodna z całki to funkcja podcałkowa!) i mnożąc potem obie strony przez . Dostaniemy wtedy:
skąd, porównując współczynniki przy odpowiednich potęgach zmiennej , znajdujemy współczynniki wielomianu oraz stałą .
Pozostaje jeszcze do obliczenia
którą przez odpowiednie podstawienie sprowadzamy do jednej z całek
(patrz twierdzenie 13.8.).
Policzymy teraz pewną całkę, którą w przyszłości będziemy wielokrotnie wykorzystywać.
Przykład 13.21.
Policzyć
gdzie jest stałą dodatnią. Aby użyć metody współczynników nieoznaczonych, zapiszmy
Wielomian jest stopnia , zatem
Stąd
skąd dostajemy układ równań
zatem
Pozostaje do policzenia . Podstawiając (zatem ), mamy
Reasumując, mamy
Kolejne twierdzenie zawiera warunek konieczny i wystarczający istnienia pierwotnej elementarnej dla funkcji postaci oraz podaje sposób policzenia całki nieoznaczonej, jeśli pierwotna jest funkcją elementarną. Dowód twierdzenia pomijamy.
Twierdzenie 13.22.
Funkcja
ma pierwotną elementarną wtedy i tylko wtedy, gdy
zachodzi jeden z przypadków:
(1)
(robimy podstawienie , gdzie jest wspólnym
mianownikiem ułamków i );
(2)
(robimy podstawienie , gdzie jest
mianownikiem ułamka );
(3)
(robimy podstawienie , gdzie jest
mianownikiem ułamka ).
Przykład 13.23.
Które z funkcji mają pierwotną elementarną?
Sprowadzić całki z funkcji, które mają pierwotną elementarną do
całek z funkcji wymiernych.
(1) .
(2) .
(3) .
Do policzenia całki postaci
gdzie
jest funkcją wymierną,
można zastosować następujące
podstawienia (tak zwane podstawienia Eulera):
- Niech . Podstawiamy
- Niech . Podstawiamy
- Niech trójmian kwadratowy ma dwa różne pierwiastki , to znaczy . Podstawiamy
Przykład 13.25.
Całkę
sprowadzimy do całki z funkcji wymiernej, stosując pierwsze podstawienie Eulera. Podstawiamy
skąd
oraz
Podstawiając, dostajemy
czyli całkę z funkcji wymiernej, którą już umiemy policzyć.
Teraz tę samą całkę
sprowadzimy
do całki z funkcji wymiernej, używając drugiego podstawienia
Eulera. Podstawiamy
skąd
Podstawiając, dostajemy
czyli też całkę z funkcji wymiernej - co prawda nieco bardziej skomplikowaną niż poprzednia.
Całkowanie wyrażeń zawierających funkcje trygonometryczne
Aby policzyć całkę
stosujemy podstawienie
i mamy
oraz
Po podstawieniu dostajemy całkę
Przykład 13.27.
Obliczyć całkę . W całce tej stosujemy podstawienie , wówczas i . Zatem
Aby policzyć całkę
stosujemy podstawienie
i mamy
oraz
Zatem po podstawieniu dostajemy całkę
Przykład 13.29.
Obliczyć całkę .
W całce tej stosujemy podstawienie , wówczas i . Zatem
Zauważmy, że całkę tę liczyliśmy w przykładzie 13.27. Zatem