Analiza matematyczna 1/Wykład 13: Całka nieoznaczona: Różnice pomiędzy wersjami
Nie podano opisu zmian |
|||
(Nie pokazano 87 wersji utworzonych przez 6 użytkowników) | |||
Linia 1: | Linia 1: | ||
== | ==Całka nieoznaczona== | ||
[[grafika:Euler-portret.jpg|thumb|right||Leonhard Euler (1707-1783)<br>[[Biografia Euler|Zobacz biografię]]]] | |||
W pierwszej części tego wykładu | W pierwszej części tego wykładu | ||
wprowadzamy pojęcia funkcji pierwotnej i całki | wprowadzamy pojęcia funkcji pierwotnej i całki | ||
Linia 20: | Linia 20: | ||
trygonometryczne. | trygonometryczne. | ||
== | ==Funkcja pierwotna== | ||
{{definicja|13.1.|| | {{definicja|13.1.|| | ||
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> | 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>. | ||
}} | }} | ||
{{twierdzenie| | {{twierdzenie|13.2.|| | ||
Dwie dowolne pierwotne funkcji | Dwie dowolne pierwotne funkcji | ||
<math> | <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 | '''(1)''' Jeśli <math>F</math> i <math>G</math> są pierwotnymi funkcji <math>f</math> | ||
to <math>F-G=c</math> dla pewnego <math>c\in\mathbb{R} | to <math>F-G=c</math> dla pewnego <math>c\in\mathbb{R}</math><br> | ||
'''(2)''' Jeśli <math>F</math> jest pierwotną funkcji <math>f</math> oraz | '''(2)''' Jeśli <math>F</math> jest pierwotną funkcji <math>f</math> oraz | ||
<math>F-G=c</math> dla pewnego <math>c\in\mathbb{R} | <math>F-G=c</math> dla pewnego <math>c\in\mathbb{R}</math> | ||
to <math>G</math> też jest pierwotną funkcji <math>f | to <math>G</math> też jest pierwotną funkcji <math>f</math> | ||
}} | }} | ||
{{dowod| | {{dowod|13.2.|| | ||
'''(Ad (1))''' | '''(Ad (1))''' | ||
Jeśli <math>F</math> i <math>G</math> są pierwotnymi funkcji <math>f | Jeśli <math>F</math> i <math>G</math> są pierwotnymi funkcji <math>f</math>, to mamy | ||
<math> | <math>(F-G)'=F'-G'=f-f=0</math> | ||
Ponieważ pochodna różnicy <math>F-G</math> wynosi <math>0 | 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 | ||
<math>F-G=c | <math>F-G=c</math><br> | ||
'''(Ad (2))''' | '''(Ad (2))''' | ||
Załóżmy, że <math>F</math> jest pierwotną funkcji <math>f</math> | Załóżmy, że <math>F</math> jest pierwotną funkcji <math>f</math> | ||
oraz funkcje <math>F</math> i <math>G</math> różnią się o stałą, to znaczy | oraz funkcje <math>F</math> i <math>G</math> różnią się o stałą, to znaczy | ||
<math>G=F+c</math> dla pewnej stałej <math>c\in\mathbb{R} | <math>G=F+c</math> dla pewnej stałej <math>c \in \mathbb{R}</math>. Ponieważ <math>F</math> jest | ||
różniczkowalna (jako pierwotna) oraz funkcja stała jest | różniczkowalna (jako pierwotna) oraz funkcja stała jest | ||
różniczkowalna, więc także funkcja <math>G</math> jest różniczkowalna. | różniczkowalna, więc także funkcja <math>G</math> jest różniczkowalna. | ||
Licząc pochodną sumy dostajemy | Licząc pochodną sumy, dostajemy | ||
<center><math>G' | <center><math>G' | ||
= | |||
(F+c)'=F' | (F+c)'=F' | ||
= | |||
f | f | ||
</math></center> | </math></center> | ||
zatem <math>G</math> jest także pierwotną funkcji <math>f | zatem <math>G</math> jest także pierwotną funkcji <math>f</math> | ||
}} | }} | ||
{{definicja|13.3. [całka nieoznaczona, całkowanie]|| | |||
{{definicja|[ | |||
'''''Całką nieoznaczoną''''' funkcji <math>f</math> nazywamy zbiór jego | '''''Całką nieoznaczoną''''' funkcji <math>f</math> nazywamy zbiór jego | ||
Linia 78: | Linia 76: | ||
<center><math>\int f(x)\,dx | <center><math>\int f(x)\,dx | ||
</math> lub <math>int f\,dx | |||
</math></center> | </math></center> | ||
'''''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 | Oczywiście, jeśli zmienna funkcji <math>f</math> nazywa się <math>t</math> | ||
to piszemy <math> | to piszemy <math> \int f(t)\,dt</math> lub | ||
<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> | na przykład <math>\xi</math>, | ||
to piszemy <math> | to piszemy <math>\int f(\xi)\,d\xi</math> lub | ||
<math> | <math>\int f\,d\xi</math>. | ||
}} | }} | ||
{{wniosek| | {{wniosek|13.4.|| | ||
Jeśli <math>F</math> jest pierwotną funkcji <math>f | Jeśli <math>F</math> jest pierwotną funkcji <math>f</math>, to | ||
<center><math>\int f(x)\,dx | <center><math>\int f(x)\,dx | ||
= | |||
F(x)+c | F(x)+c | ||
</math></center> | </math></center> | ||
}} | }} | ||
{{uwaga| | {{uwaga|13.5.|| | ||
Jeśli <math>F</math> jest jedną z pierwotnych funkcji <math>f</math> | Jeśli <math>F</math> jest jedną z pierwotnych funkcji <math>f</math> | ||
oraz <math> | oraz <math>(x_0,y_0)\in\mathbb{R}^2</math> | ||
to pierwotna <math>G</math> funkcji <math>f</math> spełniająca <math>G(x_0)=y_0</math> | to pierwotna <math>G</math> funkcji <math>f</math> spełniająca <math>G(x_0)=y_0</math> | ||
(to znaczy której wykres przechodzi przez punkt <math> | (to znaczy której wykres przechodzi przez punkt <math>(x_0,y_0)</math>) | ||
jest równa | jest równa | ||
<center><math>G(x) | <center><math>G(x) | ||
= | |||
F(x)+c | F(x)+c | ||
</math></center> | </math></center> | ||
gdzie <math>C=y_0-F(x_0) | gdzie <math>C=y_0-F(x_0)</math> | ||
}} | }} | ||
{{przyklad| | [[File:AM1.M13.W.R01.svg|270x225px|thumb|right|Wykres funkcji <math>f</math> z przykładu 13.6.]] | ||
{{przyklad|13.6.|| | |||
Funkcja pierwotna nie zawsze istnieje. | Funkcja pierwotna nie zawsze istnieje. | ||
Rozważmy następującą funkcję | Rozważmy następującą funkcję | ||
<math> | <math>f\colon\mathbb{R}\longrightarrow\mathbb{R}</math> | ||
<center><math> | <center> | ||
<math> | |||
f(x)= | f(x)= | ||
\begin{cases} | |||
\begin{ | 0 & \text{gdy} & x\ne 0\, \\ | ||
0 & \ | 1 & \text{gdy} & x= 0 \end{cases} | ||
1 & \ | </math> | ||
\end{ | </center> | ||
</math></center> | |||
Pokażemy, że <math>f</math> nie ma pierwotnej. | Pokażemy, że <math>f</math> nie ma pierwotnej. | ||
Dla dowodu niewprost, | Dla dowodu niewprost, | ||
przypuśćmy, że funkcja ta posiada pierwotną | przypuśćmy, że funkcja ta posiada pierwotną | ||
<math>F\colon\mathbb{R}\longrightarrow\mathbb{R} | <math>F\colon\mathbb{R}\longrightarrow\mathbb{R}</math> | ||
Wówczas <math>F'=f | Wówczas <math>F'=f</math> | ||
Na przedziale <math> | Na przedziale <math>(-\infty,0)</math> funkcja <math>f</math> jest | ||
tożsamościowo równa <math>0 | 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 | powiedzmy <math>F|_{(-\infty,0)}\equiv a</math> | ||
Podobnie na przedziale <math> | Podobnie na przedziale <math>(0,+\infty)</math> | ||
powiedzmy <math>F|_{(0,+\infty)}\equiv b | powiedzmy <math>F|_{(0,+\infty)}\equiv b</math> | ||
Ponieważ funkcja pierwotna jest ciągła | Ponieważ funkcja pierwotna jest ciągła | ||
(jako różniczkowalna), zatem | (jako różniczkowalna), zatem | ||
<center><math>a | <center> | ||
<math>a | |||
= | |||
\lim_{x\rightarrow 0^-}F(x) | \lim_{x\rightarrow 0^-}F(x) | ||
= | |||
\lim_{x\rightarrow 0^+}F(x) | \lim_{x\rightarrow 0^+}F(x) | ||
= | |||
b | b | ||
</math></center> | </math> | ||
</center> | |||
oraz <math>a=F(0)=b | oraz <math>a=F(0)=b</math> | ||
Zatem pokazaliśmy, że <math>F\equiv a | Zatem pokazaliśmy, że <math>F\equiv a</math> | ||
Ale wówczas <math>F'=0\ne f | Ale wówczas <math>F'=0\ne f</math> sprzeczność. | ||
Zatem tak zdefiniowana funkcja <math>f</math> nie ma pierwotnej. | Zatem tak zdefiniowana funkcja <math>f</math> nie ma pierwotnej. | ||
}} | }} | ||
Linia 169: | Linia 168: | ||
(które podajemy tutaj bez dowodu). | (które podajemy tutaj bez dowodu). | ||
{{twierdzenie| | {{twierdzenie|13.7.|| | ||
Każda funkcja ciągła ma pierwotną. | Każda funkcja ciągła ma pierwotną. | ||
}} | }} | ||
==Całki pewnych funkcji elementarnych== | |||
Poniższe twierdzenie podaje całki nieoznaczone pewnych funkcji | Poniższe twierdzenie podaje całki nieoznaczone pewnych funkcji | ||
elementarnych. Ponieważ wiemy już ile wynoszą pochodne pewnych | elementarnych. Ponieważ wiemy już, ile wynoszą pochodne pewnych | ||
funkcji elementarnych, więc łatwo stąd odgadnąć pierwotne niżej | funkcji elementarnych, więc łatwo stąd odgadnąć pierwotne niżej | ||
podanych funkcji. | podanych funkcji. | ||
{{twierdzenie|[ | <span id="twierdzenie_13_8">{{twierdzenie|13.8. [Całki pewnych funkcji elementarnych]|| | ||
'''(1)''' | '''(1)''' | ||
<math> | <math>\int 0\,dx=c</math>;<br> | ||
'''(2)''' | '''(2)''' | ||
<math> | <math>\int 1\,dx =x+c</math>;<br> | ||
'''(3)''' | '''(3)''' | ||
<math> | <math>\int x^{\alpha}\,dx=\frac{1}{\alpha+1} | ||
x^{\alpha+1}+c</math> dla <math> | x^{\alpha+1}+c</math> dla <math>\alpha\ne -1</math>;<br> | ||
'''(4)''' | '''(4)''' | ||
<math> | <math>\int\frac{1}{x}\,dx = | ||
\ln |x|+c</math>;<br> | \ln |x|+c</math>;<br> | ||
'''(5)''' | '''(5)''' | ||
<math> | <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> | <math>\int e^x\,dx=e^x+c);</math><br> | ||
'''(6)''' | '''(6)''' | ||
<math> | <math>\int\sin x\,dx=-\cos x+c</math>;<br> | ||
'''(7)''' | '''(7)''' | ||
<math> | <math>\int\cos x\,dx=\sin x+c</math>;<br> | ||
'''(8)''' | '''(8)''' | ||
<math> | <math>\int\frac{1}{\cos^2 x}\,dx=\mathrm{tg}\, x+c</math>;<br> | ||
'''(9)''' | '''(9)''' | ||
<math> | <math>\int\frac{1}{\sin^2 x}\,dx=-\mathrm{ctg}\, x+c</math>;<br> | ||
'''(10)''' | '''(10)''' | ||
<math> | <math>\int\frac{1}{\sqrt{1-x^2}}\,dx | ||
=\arcsin x+c</math>;<br> | =\arcsin x+c</math>;<br> | ||
'''(11)''' | '''(11)''' | ||
<math> | <math>\int\frac{1}{1+x^2}\,dx | ||
=\mathrm{arctg}\, x+c</math><br> | =\mathrm{arctg}\, x+c</math>;<br> | ||
'''(12)''' | '''(12)''' | ||
<math> | <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> | <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> | ||
Poniższe twierdzenie pozwoli nam liczyć całkę z sumy i różnicy | Poniższe twierdzenie pozwoli nam liczyć całkę z sumy i różnicy | ||
Linia 224: | Linia 222: | ||
Wynika ono natychmiast z twierdzenia o liniowości pochodnej. | Wynika ono natychmiast z twierdzenia o liniowości pochodnej. | ||
{{twierdzenie|[ | {{twierdzenie|13.9. [Liniowość całki]|| | ||
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> | <math>\lambda\in\mathbb{R}</math>, | ||
to<br> | to<br> | ||
'''(1)''' | '''(1)''' | ||
<math> | <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> | <math>\int(\lambda f)(x)\,dx | ||
=\lambda\int f(x)\,dx | =\lambda\int f(x)\,dx</math>. | ||
}} | }} | ||
Linia 250: | Linia 246: | ||
ciągła). | ciągła). | ||
{{uwaga|[ | {{uwaga|13.10. [o funkcjach elementarnych]|| | ||
'''(1)''' | '''(1)''' | ||
'''''Funkcje elementarne''''' to funkcje, które można otrzymać z | '''''Funkcje elementarne''''' to funkcje, które można otrzymać z | ||
funkcji:<br> | funkcji:<br> | ||
* stałych,<br> | |||
* potęgowych,<br> | |||
* wykładniczych,<br> | |||
* trygonometrycznych,<br> | |||
przez wykonywanie skończonej liczby operacji:<br> | przez wykonywanie skończonej liczby operacji:<br> | ||
* dodawania/odejmowania,<br> | |||
* mnożenia/dzielenia,<br> | |||
* złożenia,<br> | |||
* odwracania.<br> | |||
<br> | |||
'''(2)''' | '''(2)''' | ||
Pochodna funkcji elementarnej jest zawsze funkcją | Pochodna funkcji elementarnej jest zawsze funkcją | ||
Linia 283: | 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 295: | 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></center> | </math></center> | ||
}} | }} | ||
==Całkowanie przez części== | |||
Do liczenia całki nieoznaczonej z iloczynu przydatny jest | Do liczenia całki nieoznaczonej z iloczynu przydatny jest | ||
Linia 306: | Linia 300: | ||
z iloczynu (lub ilorazu) do postaci łatwiejszej do wyliczenia. | z iloczynu (lub ilorazu) do postaci łatwiejszej do wyliczenia. | ||
{{twierdzenie|[ | {{twierdzenie|13.11. [Całkowanie przez części]|| | ||
Jeśli | Jeśli | ||
<math>I\subseteq \mathbb{R}</math> jest przedziałem, | <math>I\subseteq \mathbb{R}</math> jest przedziałem, | ||
<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 | ||
<center><math>\int f'g\,dx | <center><math>\int f'g\,dx | ||
= | |||
fg-\int fg'\,dx | fg-\int fg'\,dx | ||
</math></center> | </math></center> | ||
}} | }} | ||
{{dowod| | {{dowod|13.11.|| | ||
Ponieważ funkcje <math>f</math> i <math>g</math> są różniczkowalne, więc | Ponieważ funkcje <math>f</math> i <math>g</math> są różniczkowalne, więc | ||
Linia 329: | Linia 322: | ||
<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 | ||
<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> | ||
Linia 347: | Linia 339: | ||
jest całkowalna i mamy | jest całkowalna i mamy | ||
<center><math>\int f'\cdot g\,dx | <center><math>\begin{array}{lll} | ||
\int f'\cdot g\,dx &=& \int\big[(f\cdot g)'\,dx - f\cdot g'\big]\\ | |||
\int\big[(f\cdot g)'\,dx | &=& \int(f\cdot g)'\,dx - \int f\cdot g'\,dx = f\cdot g-\int f\cdot g'\,dx. | ||
- | \end{array} | ||
f\cdot g'\big] | |||
\ | |||
\int(f\cdot g)'\,dx | |||
- | |||
\int f\cdot g'\,dx | |||
f\cdot g-\int f\cdot g'\,dx. | |||
</math></center> | </math></center> | ||
}} | }} | ||
==Całkowanie przez podstawienie== | |||
Podobnie jak w przypadku iloczynu i ilorazu funkcji nie ma | Podobnie jak w przypadku iloczynu i ilorazu funkcji nie ma | ||
Linia 376: | Linia 359: | ||
zawierającej złożenie dwóch funkcji. | zawierającej złożenie dwóch funkcji. | ||
{{twierdzenie|[ | {{twierdzenie|13.12. [Całkowanie przez podstawianie]|| | ||
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> | <math>f\colon I\longrightarrow J</math> jest funkcją różniczkowalną oraz | ||
<math> | <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> | 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> | ||
}} | }} | ||
{{dowod| | {{dowod|13.12.|| | ||
Ponieważ funkcje <math>G</math> i <math>f</math> są różniczkowalne, więc ich złożenie | Ponieważ funkcje <math>G</math> i <math>f</math> są różniczkowalne, więc ich złożenie | ||
Linia 399: | Linia 381: | ||
<center><math>(G\circ f)' | <center><math>(G\circ f)' | ||
= | |||
(G'\circ f)\cdot f' | (G'\circ f)\cdot f' | ||
= | |||
(g\circ f)\cdot f' | (g\circ f)\cdot f' | ||
</math></center> | </math></center> | ||
Całkując obie strony dostajemy tezę naszego twierdzenia. | Całkując obie strony, dostajemy tezę naszego twierdzenia. | ||
}} | }} | ||
{{uwaga| | |||
<span id="uwaga_13_13">{{uwaga|13.13.|| | |||
Wzór całkowania przez podstawianie często zapisujemy jako: | Wzór całkowania przez podstawianie często zapisujemy jako: | ||
<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 421: | Linia 403: | ||
rozumiejąc, że należy "wrócić" do tej samej zmiennej po obu stronach | rozumiejąc, że należy "wrócić" do tej samej zmiennej po obu stronach | ||
(<math>x</math> po prawej lub <math>t</math> po lewej) | (<math>x</math> po prawej lub <math>t</math> po lewej) | ||
przez złożenie "<math> | przez złożenie "<math>\circ f</math>" po prawej stronie lub | ||
"<math> | "<math>\circ f^{-1}</math>" po lewej stronie. | ||
}} | }}</span> | ||
{{przyklad| | {{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>. | ||
}} | }} | ||
<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"> '''Sposób I.'''<br> | <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"> '''Sposób I.'''<br> | ||
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> | <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: | ||
<center><math>\ | <center><math>\begin{align} | ||
\int \sin x\cos x\,dx | \int \sin x\cos x\,dx | ||
& = & | & = & | ||
Linia 445: | Linia 427: | ||
\end{array} | \end{array} | ||
\right| | \right| | ||
= | |||
-\cos x\cos x | -\cos x\cos x | ||
-\int(-\cos x)(-\sin x)\,dx\\ | -\int(-\cos x)(-\sin x)\,dx\\ | ||
& = & | & = & | ||
-\cos ^2x-\int\sin x\cos x\,dx. | -\cos ^2x-\int\sin x\cos x\,dx. | ||
\ | \end{align}</math></center> | ||
Zauważmy, że po obu stronach wyrażenia występuje całka | Zauważmy, że po obu stronach wyrażenia występuje całka | ||
<math> | <math>\int \sin x\cos x\,dx</math> | ||
lecz z innym znakiem. | lecz z innym znakiem. | ||
Wystarczy przenieść tę całkę na jedną stronę i wyliczyć, że: | Wystarczy przenieść tę całkę na jedną stronę i wyliczyć, że: | ||
<center><math>\int \sin x\cos x\,dx | <center><math>\int \sin x\cos x\,dx | ||
= | |||
-\frac{1}{2}\cos^2 x+c | -\frac{1}{2}\cos^2 x+c | ||
</math></center> | </math></center> | ||
Linia 472: | Linia 454: | ||
<center><math> | <center><math> | ||
\int \sin x\cos x\,dx | \int \sin x\cos x\,dx | ||
= | |||
\left| | \left| | ||
\begin{array} {ll} | \begin{array} {ll} | ||
Linia 479: | Linia 461: | ||
\end{array} | \end{array} | ||
\right| | \right| | ||
= | |||
\sin x\sin x | \sin x\sin x | ||
-\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> | ||
Również w tym przypadku po obu stronach wyrażenia występuje | Również w tym przypadku po obu stronach wyrażenia występuje | ||
całka | całka | ||
<math> | <math>\int \sin x\cos x\,dx</math> | ||
lecz z innym znakiem. | lecz z innym znakiem. | ||
Wystarczy przenieść tę całkę na jedną stronę i wyliczyć, że: | Wystarczy przenieść tę całkę na jedną stronę i wyliczyć, że: | ||
<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 501: | Linia 483: | ||
Przy obliczeniu tej całki możemy posłużyć się także wzorem na | Przy obliczeniu tej całki możemy posłużyć się także wzorem na | ||
całkowanie przez podstawianie. | całkowanie przez podstawianie. | ||
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 | ||
przedstawiony poniżej | przedstawiony poniżej | ||
(porównaj | (porównaj [[#uwaga_13_13|uwaga 13.13.]]), przy czym | ||
po wyborze dogodnego | po wyborze dogodnego | ||
podstawienia (w tym wypadku) <math> | podstawienia (w tym wypadku) <math>\sin x=t</math>) oblicza się pochodną, | ||
dopisując | dopisując odpowiednio <math>dx</math> i <math>dt</math> po obu stronach równości. | ||
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 | 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 | ||
<center><math> | <center><math> | ||
\int \sin x\cos x\,dx | \int \sin x\cos x\,dx | ||
= | |||
\left| | \left| | ||
\begin{array} {rcl} | \begin{array} {rcl} | ||
Linia 525: | Linia 507: | ||
\end{array} | \end{array} | ||
\right| | \right| | ||
= | |||
\int t\,dt | \int t\,dt | ||
= | |||
\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> | ||
'''Sposób IV.'''<br> | '''Sposób IV.'''<br> | ||
W naszym przykładzie możemy także dokonać podstawienia | W naszym przykładzie możemy także dokonać podstawienia | ||
<math> | <math>\cos x=t</math>, ponieważ funkcja podcałkowa jest postaci | ||
<math> | <math>\cos x\cdot (\cos x)'</math> (z dokładnością do znaku). | ||
Zatem mamy | Zatem mamy | ||
<center><math> | <center><math> | ||
\int \sin x\cos x\,dx | \int \sin x\cos x\,dx | ||
= | |||
\left| | \left| | ||
\begin{array} {rcl} | \begin{array} {rcl} | ||
Linia 549: | Linia 530: | ||
\end{array} | \end{array} | ||
\right| | \right| | ||
= | |||
-\int t\,dt | -\int t\,dt | ||
= | |||
-\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> | ||
[[File:AM1.M13.W.R02.mp4|253x253px|thumb|right|AM1.M13.W.R02]] | |||
<br> | <br> | ||
'''Sposób V.'''<br> | '''Sposób V.'''<br> | ||
Zauważmy w końcu, że całkę tę da się także obliczyć bez | Zauważmy w końcu, że całkę tę da się także obliczyć bez stosowania powyższych twierdzeń. | ||
stosowania powyższych twierdzeń. | Możemy bowiem skorzystać z tożsamości trygonometrycznej <math>\sin x\cos x=\frac{1}{2}\sin 2x</math>. Mamy wówczas | ||
Możemy bowiem skorzystać z tożsamości trygonometrycznej | |||
<math> | |||
<center><math>\int \sin x\cos x\,dx | <br><center> | ||
<math>\int \sin x\cos x\,dx | |||
= | |||
\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 | ||
</math></center> | <br></math> | ||
</center> | |||
przy czym ostatnią całkę odgadujemy (gdyż znamy pochodną funkcji | |||
<math> | <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 | Zauważmy teraz, że w powyższych rozwiązaniach jako pierwotne funkcji <math>\sin x\cos x</math> otrzymaliśmy trzy różne funkcje: | ||
<math> | |||
<center><math>\frac{1}{2}\sin^2x, | <br><center> | ||
<math>\frac{1}{2}\sin^2x, | |||
\quad | \quad | ||
-\frac{1}{2}\cos^2x, | -\frac{1}{2}\cos^2x, | ||
\quad | \quad | ||
-\frac{1}{4}\cos 2x | -\frac{1}{4}\cos 2x | ||
</math></center> | </math> | ||
<br></center> | |||
Funkcje te są "istotnie różne" | Funkcje te są "istotnie różne" | ||
(to znaczy nie jest to ta sama funkcja zapisana w innej postaci). | (to znaczy nie jest to ta sama funkcja zapisana w innej postaci). | ||
Dlaczego tak się dzieje? | Dlaczego tak się dzieje? | ||
Wszystko wyjaśni się jeśli obliczymy różnicę dowolnych dwóch | Wszystko wyjaśni się, jeśli obliczymy różnicę dowolnych dwóch | ||
z powyższych funkcji, na przykład | z powyższych funkcji, na przykład | ||
Linia 594: | Linia 578: | ||
- | - | ||
\frac{1}{2}\sin^2x | \frac{1}{2}\sin^2x | ||
= | |||
-\frac{1}{2}(\cos^2x+\sin^2x) | -\frac{1}{2}(\cos^2x+\sin^2x) | ||
= | |||
-\frac{1}{2} | -\frac{1}{2} | ||
</math></center> | </math></center> | ||
Linia 605: | Linia 589: | ||
- | - | ||
\frac{1}{2}\sin^2x | \frac{1}{2}\sin^2x | ||
= | |||
-\frac{1}{4}(1-2\sin^2x) | -\frac{1}{4}(1-2\sin^2x) | ||
- | - | ||
\frac{1}{2}\sin^2x | \frac{1}{2}\sin^2x | ||
= | |||
-\frac{1}{4} | -\frac{1}{4} | ||
</math></center> | </math></center> | ||
Linia 616: | Linia 600: | ||
Zatem całki nieoznaczone wyszły w każdym przypadku takie same z | Zatem całki nieoznaczone wyszły w każdym przypadku takie same z | ||
dokładnością do wyboru jednej pierwotnej.<br> | dokładnością do wyboru jednej pierwotnej.<br> | ||
</div></div> | |||
==Całkowanie funkcji wymiernych== | |||
Zacznijmy od przypomnienia znanego ze szkoły twierdzenia. | Zacznijmy od przypomnienia znanego ze szkoły twierdzenia. | ||
{{twierdzenie|[ | {{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>Q(x) | <center><math>\begin{array}{lll}Q(x)&=& | ||
c(x-A_1)^{k_1}(x-A_2)^{k_2}\ldots \\ | |||
c(x-A_1)^{k_1}(x-A_2)^{k_2}\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} | ||
</math></center> | \end{array}</math></center> | ||
gdzie | gdzie stopień wielomianu <math>Q</math> wynosi | ||
<center><math>\deg Q | <center><math>\deg Q= | ||
k_1+k_2+\ldots+k_r+2(l_1+l_2+\ldots+l_s) | k_1+k_2+\ldots+k_r+2(l_1+l_2+\ldots+l_s)</math></center> | ||
oraz | |||
B_i^2-4C_i<0 | <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> | ||
}} | }} | ||
{{definicja|[ | {{definicja|13.16. [ułamki proste]|| | ||
'''''Ułamkami prostymi''''' nazywamy funkcje wymierne postaci: | '''''Ułamkami prostymi''''' nazywamy funkcje wymierne postaci: | ||
<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} | |||
\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>. | ||
}} | }} | ||
Podamy twierdzenie, które pozwoli na obliczanie całki z dowolnej | Podamy twierdzenie, które pozwoli na obliczanie całki z dowolnej | ||
funkcji wymiernej. | funkcji wymiernej. | ||
Ponieważ twierdzenie to "wygląda" dość formalnie proponujemy | Ponieważ twierdzenie to "wygląda" dość formalnie, proponujemy | ||
przestudiować najpierw poniższy przykład. | przestudiować najpierw poniższy przykład. | ||
{{przyklad| | {{przyklad|13.17.|| | ||
Obliczyć całkę z następującej funkcji wymiernej | Obliczyć całkę z następującej funkcji wymiernej | ||
<math> | <math>\int\frac{3x+5}{2x^2-5x-3}\,dx</math>. | ||
}} | }} | ||
Linia 672: | 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> | <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 | ||
<center><math>\frac{3x+5}{2x^2-5x-3} | <center><math>\frac{3x+5}{2x^2-5x-3} | ||
= | |||
\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 685: | Linia 667: | ||
wyliczyć całkę z funkcji wymiernej | wyliczyć całkę z funkcji wymiernej | ||
(gdyż łatwo wyliczyć całki z obu składników po prawej stronie; | (gdyż łatwo wyliczyć całki z obu składników po prawej stronie; | ||
porównaj | porównaj [[#uwaga_13_20|uwaga 13.20.]] poniżej). | ||
Wymnażając stronami przez wspólny mianownik | Wymnażając stronami przez wspólny mianownik <math>(2x^2-5x-3)</math>, otrzymujemy | ||
<math> | |||
<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> | ||
Porządkując powyższe wyrażenie i porównując | Porządkując powyższe wyrażenie i porównując | ||
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> | <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> | ||
Możemy teraz policzyć całkę | Możemy teraz policzyć całkę | ||
<center><math>\ | <center><math>\begin{align} | ||
\int\frac{3x+5}{2x^2-5x-3}\,dx | \int\frac{3x+5}{2x^2-5x-3}\,dx | ||
& = & | & = & | ||
\int\frac{-\frac{1}{2}}{x+\frac{1}{2}}\,dx | \int\frac{-\frac{1}{2}}{x+\frac{1}{2}}\,dx | ||
+\int\frac{2}{x-3}\,dx | +\int\frac{2}{x-3}\,dx | ||
= | |||
-\frac{1}{2}\int\frac{1}{x+\frac{1}{2}}\,dx | -\frac{1}{2}\int\frac{1}{x+\frac{1}{2}}\,dx | ||
+2\int\frac{1}{x-3}\,dx\\ | +2\int\frac{1}{x-3}\,dx\\ | ||
Linia 721: | Linia 702: | ||
-\frac{1}{2}\ln\bigg|x+\frac{1}{2}\bigg| | -\frac{1}{2}\ln\bigg|x+\frac{1}{2}\bigg| | ||
+2\ln|x-3|+c. | +2\ln|x-3|+c. | ||
\ | \end{align}</math></center> | ||
</div></div> | |||
To, że funkcję wymierną w powyższym przykładzie udało | To, że funkcję wymierną w powyższym przykładzie udało | ||
Linia 737: | Linia 718: | ||
przydatne w rachunkach. | przydatne w rachunkach. | ||
{{twierdzenie|[ | {{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> | gdzie <math>\deg P=m<n=\deg Q</math>. Wówczas istnieje jedyny rozkład | ||
gdzie <math> | |||
funkcji <math>f</math> na ułamki proste oraz jeśli | funkcji <math>f</math> na ułamki proste oraz jeśli | ||
<center><math>f(x) | <center><math>f(x) | ||
= | |||
\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 | <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> | ||
to | to | ||
<center><math>\ | <center><math>\begin{array}{lll} | ||
\frac{P(x)}{Q(x)} | \frac{P(x)}{Q(x)} | ||
& = & | & = &\frac{a_1^1}{(x-A_1)}+ \frac{a_2^1}{(x-A_1)^2}+ \ldots + \frac{a_{k_1}^1}{(x-A_1)^{k_1}}\\ | ||
& + & \frac{a_1^2}{(x-A_2)}+ \frac{a_2^2}{(x-A_2)^2} + \ldots | |||
+\frac{a_{k_2}^2}{(x-A_2)^{k_2}}\\ | |||
& + &\ldots\\ | |||
& + & \frac{a_1^r}{(x-A_r)}+\frac{a_2^r}{(x-A_r)^2}+\ldots+\frac{a_{k_r}^r}{(x-A_r)^{k_r}}\\ | |||
& & | & +& \frac{b_1^1x+c_1^1}{(x^2+B_1x+C_1)}+\frac{b_2^1x+c_2^1}{(x^2+B_1x+C_1)^2}+\ldots | ||
+ \frac{b_{l_1}^1x+c_{l_1}^1}{(x^2+B_1x+C_1)^{l_1}}\\ | |||
& + & \frac{b_1^2x+c_1^2}{(x^2+B_2x+C_2)}+ \frac{b_2^2x+c_2^2}{(x^2+B_2x+C_2)^2}+\ldots | |||
+ \frac{b_{l_2}^2x+c_{l_2}^2}{(x^2+B_2x+C_2)^{l_2}}\\ | |||
& + &\ldots\\ | |||
& & | & + &\frac{b_1^sx+c_1^s}{(x^2+B_sx+C_s)}+\frac{b_2^sx+c_2^s}{(x^2+B_sx+C_s)^2}+\ldots+ | ||
& & | |||
& & | |||
& & | |||
& & | |||
& & | |||
\frac{b_{l_s}^sx+c_{l_s}^s}{(x^2+B_sx+C_s)^{l_s}}\\ | \frac{b_{l_s}^sx+c_{l_s}^s}{(x^2+B_sx+C_s)^{l_s}}\\ | ||
& = & | & = & | ||
\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> | ||
}} | }} | ||
{{przyklad| | {{przyklad|13.19.|| | ||
Rozłożyć funkcję wymierną | Rozłożyć funkcję wymierną | ||
<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 816: | Linia 773: | ||
<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 824: | Linia 781: | ||
<center><math>x^4+2x^2+9 | <center><math>x^4+2x^2+9 | ||
= | |||
(x^2+3)^2-4x^2 | (x^2+3)^2-4x^2 | ||
= | |||
(x^2+2x+3)(x^2-2x+3) | (x^2+2x+3)(x^2-2x+3) | ||
</math></center> | </math></center> | ||
Linia 834: | Linia 791: | ||
<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 841: | Linia 798: | ||
<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 857: | 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 869: | Linia 825: | ||
d & = & -1. | d & = & -1. | ||
\end{array} | \end{array} | ||
\right. | \right.</math></center> | ||
</math></center> | |||
Zatem ostatecznie | Zatem ostatecznie mamy | ||
<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+ | 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> | ||
</div></div> | |||
{{uwaga| | <span id="uwaga_13_20">{{uwaga|13.20.|| | ||
Korzystając z liniowości całki nieoznaczonej dla policzenia | Korzystając z liniowości całki nieoznaczonej dla policzenia | ||
całki z funkcji wymiernej <math> | całki z funkcji wymiernej <math>\frac{P(x)}{Q(x)}</math>, wystarczy umieć | ||
policzyć całki z ułamków prostych. | policzyć całki z ułamków prostych. | ||
Znamy już całki z ułamków: | Znamy już całki z ułamków: | ||
<center><math>\ | <center><math>\begin{array}{lll} | ||
\int\frac{A}{x-a}\,dx | \int\frac{A}{x-a}\,dx | ||
& = & | & = & | ||
Linia 896: | Linia 851: | ||
& = & | & = & | ||
-\frac{A}{k-1}\cdot\frac{1}{(x-a)^{k-1}}+c, | -\frac{A}{k-1}\cdot\frac{1}{(x-a)^{k-1}}+c, | ||
\quad\ | \quad\text{dla}\ k\ge 2. | ||
\ | \end{array}</math></center> | ||
Całki z ułamków prostych postaci | Całki z ułamków prostych postaci | ||
<math> | <math>\frac{bx+c}{(x^2+Bx+C)^k}</math> | ||
będą policzone na ćwiczeniach | będą policzone na ćwiczeniach | ||
(patrz | (patrz [[#cwiczenie_13_4|ćwiczenie 13.4.]]). | ||
}} | }}</span> | ||
==Całkowanie funkcji niewymiernych== | |||
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 919: | Linia 874: | ||
<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 | ||
= | |||
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> | 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> | <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> | 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 948: | Linia 903: | ||
<center><math>\int\frac{dt}{\sqrt{1-t^2}} | <center><math>\int\frac{dt}{\sqrt{1-t^2}} | ||
\quad\ | \quad\ </math> lub <math>\quad | ||
\int\frac{dt}{\sqrt{1+t^2}} | \int\frac{dt}{\sqrt{1+t^2}} | ||
</math></center> | </math></center> | ||
(patrz | (patrz [[#twierdzenie_13_8|twierdzenie 13.8.]]). | ||
Policzymy teraz pewną całkę, którą w przyszłości będziemy | Policzymy teraz pewną całkę, którą w przyszłości będziemy | ||
wielokrotnie wykorzystywać. | wielokrotnie wykorzystywać. | ||
{{przyklad| | {{przyklad|13.21.|| | ||
Policzyć | Policzyć | ||
<center><math>\int\sqrt{R^2-x^2}\,dx | <center><math>\int\sqrt{R^2-x^2}\,dx | ||
</math></center> | </math></center> | ||
gdzie <math>R</math> jest stałą dodatnią. | gdzie <math>R</math> jest stałą dodatnią. | ||
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> | ||
Wielomian <math>R^2-x^2</math> jest stopnia <math>2</math> zatem | Wielomian <math>R^2-x^2</math> jest stopnia <math>2</math>, zatem | ||
<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 980: | Linia 935: | ||
<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> | <math>\int\frac{1}{\sqrt{R^2-x^2}}\,dx</math>. Podstawiając | ||
<math> | <math>\frac{x}{R}=t</math> (zatem | ||
<math> | <math>\frac{dx}{R}=dt</math>), mamy | ||
<center><math>\int\frac{1}{\sqrt{R^2-x^2}}\,dx | <center><math>\begin{array}{lll} | ||
\int\frac{1}{\sqrt{R^2-x^2}}\,dx & =&\int\frac{\frac{dx}{R}}{\sqrt{1-\frac{x^2}{R^2}}}\\ | |||
\int\frac{\frac{dx}{R}}{\sqrt{1-\frac{x^2}{R^2}}} | &=& \int\frac{dt}{\sqrt{1-t^2}}=\arcsin t+c=\arcsin \frac{x}{R} +c. | ||
\ | \end{array}</math></center> | ||
\int\frac{dt}{\sqrt{1-t^2}} | |||
\arcsin t+c | |||
\arcsin \frac{x}{R} +c. | |||
</math></center> | |||
Reasumując, mamy | Reasumując, mamy | ||
<center><math>\int\sqrt{R^2-x^2}\,dx | <center><math>\int\sqrt{R^2-x^2}\,dx | ||
= | |||
\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 1027: | Linia 976: | ||
Dowód twierdzenia pomijamy. | Dowód twierdzenia pomijamy. | ||
{{twierdzenie| | {{twierdzenie|13.22.|| | ||
Funkcja | Funkcja | ||
<center><math>f(x) | <center><math>f(x) | ||
= | |||
x^r(a+bx^s)^p, | x^r(a+bx^s)^p, | ||
\quad | \quad | ||
</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 1042: | 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> | <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> | <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>). | ||
}} | }} | ||
{{przyklad| | {{przyklad|13.23.|| | ||
Które z funkcji mają pierwotną elementarną? | Które z funkcji mają pierwotną elementarną? | ||
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> | '''(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> | ||
''' | |||
elementarnej, gdyż | |||
<math> | |||
Wykonujemy podstawienie | '''(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> | ||
<math> | |||
Wówczas | '''(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>. | ||
<math> | |||
<math> | 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 | ||
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 | ||
= | |||
\int\frac{z}{\sqrt[3]{z^3-1}}\cdot\frac{-2z^2}{(z^3-1)^{\frac{5}{3}}}\,dz | \int\frac{z}{\sqrt[3]{z^3-1}}\cdot\frac{-2z^2}{(z^3-1)^{\frac{5}{3}}}\,dz | ||
= | |||
\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> | ||
</div></div> | |||
{{uwaga|[ | {{uwaga|13.24. [Podstawienia Eulera]|| | ||
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 1107: | 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</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</math>. Podstawiamy | |||
<center><math>\sqrt{ax^2+bx+c}=xt+\sqrt{c} | <center><math>\sqrt{ax^2+bx+c}=xt+\sqrt{c} | ||
</math></center> | </math></center><br> | ||
''' | * 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> | ||
pierwiastki <math> | |||
<math>ax^2+bx+c=a(x-\lambda)(x-\mu) | |||
<center><math>\sqrt{ax^2+bx+c}=t(x-\lambda) | <center><math>\sqrt{ax^2+bx+c}=t(x-\lambda) | ||
</math></center> | </math></center> | ||
}} | }} | ||
{{przyklad| | {{przyklad|13.25.|| | ||
Całkę | Całkę | ||
Linia 1132: | Linia 1065: | ||
</math></center> | </math></center> | ||
sprowadzimy do całki z funkcji wymiernej stosując pierwsze | sprowadzimy do całki z funkcji wymiernej, stosując pierwsze | ||
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 1141: | Linia 1074: | ||
<center><math>x | <center><math>x | ||
= | |||
\frac{t^2-1}{2t-1} | \frac{t^2-1}{2t-1} | ||
</math></center> | </math></center> | ||
Linia 1148: | Linia 1081: | ||
<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> | ||
czyli całkę z funkcji wymiernej, którą już umiemy policzyć.<br> | czyli całkę z funkcji wymiernej, którą już umiemy policzyć.<br> | ||
Teraz tę samą całkę | Teraz tę samą całkę | ||
<math> | <math>\int\frac{\,dx}{x+\sqrt{x^2-x+1}}</math> sprowadzimy | ||
do całki z funkcji wymiernej, używając drugiego podstawienia | |||
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 1169: | Linia 1102: | ||
<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> | ||
Podstawiając dostajemy | Podstawiając, dostajemy | ||
<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 1184: | Linia 1116: | ||
}} | }} | ||
==Całkowanie wyrażeń zawierających funkcje trygonometryczne== | |||
{{uwaga| | {{uwaga|13.26.|| | ||
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 1200: | Linia 1132: | ||
i mamy | i mamy | ||
<center><math>\sin x=\frac{2\mathrm{tg}\,\frac{x}{2}}{1+\mathrm{tg}\,^2\frac{x}{2}} | <center><math>\begin{array}{rllll} | ||
= | \sin x&=&\frac{2\mathrm{tg}\,\frac{x}{2}}{1+\mathrm{tg}\,^2\frac{x}{2}} | ||
\frac{2t}{1+t^2},\ \ | &=&\frac{2t}{1+t^2},\\\\ | ||
\cos x | \cos x &=& \frac{1-\mathrm{tg}\,^2\frac{x}{2}}{1+\mathrm{tg}\,^2\frac{x}{2}} &=&\frac{1-t^2}{1+t^2},\\\\ | ||
=\frac{1-\mathrm{tg}\,^2\frac{x}{2}}{1+\mathrm{tg}\,^2\frac{x}{2}} | \mathrm{tg}\, x &=& \frac{2\mathrm{tg}\,\frac{x}{2}}{1-\mathrm{tg}\,^2\frac{x}{2}}&=&\frac{2t}{1-t^2} | ||
=\frac{1-t^2}{1+t^2},\ \ | \end{array}</math></center> | ||
\mathrm{tg}\, x | |||
=\frac{2\mathrm{tg}\,\frac{x}{2}}{1-\mathrm{tg}\,^2\frac{x}{2}} | |||
=\frac{2t}{1-t^2} | |||
</math></center> | |||
oraz | oraz | ||
<center><math>x | <center><math>x | ||
= | |||
2\mathrm{arctg}\, t, | 2\mathrm{arctg}\, t, | ||
\quad | \quad</math> zatem <math>\quad | ||
,dx=\frac{2\,dt}{1+t^2} | |||
</math></center> | </math></center> | ||
Linia 1226: | 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> | ||
}} | }} | ||
{{przyklad| | {{przyklad|13.27.|przyklad_13_27| | ||
Obliczyć całkę | Obliczyć całkę | ||
<math> | <math>\int\frac{dx}{2+\cos x}</math>. | ||
W całce tej stosujemy podstawienie | W całce tej stosujemy podstawienie | ||
<math> | <math>\mathrm{tg}\, \frac{x}{2}=t</math>, | ||
wówczas | wówczas | ||
<math> | <math>x=2\mathrm{arctg}\, t</math> | ||
i | i | ||
<math> | <math>dx=\frac{2\,dt}{1+t^2}</math>. | ||
Zatem | Zatem | ||
<center><math>\ | <center><math>\begin{array}{lll} | ||
\int\frac{dx}{2+\cos x} | \int\frac{dx}{2+\cos x} | ||
& = & | & = & | ||
\int\frac{ | \int\frac{\frac{2\,dt}{1+t^2}}{2+\frac{1-t^2}{1+t^2}} | ||
= | |||
2\int \frac{dt}{t^2+3} | 2\int \frac{dt}{t^2+3} | ||
= | |||
\frac{2}{3}\int\frac{dt}{ | \frac{2}{3}\int\frac{dt}{\bigg(\frac{t}{\sqrt{3}}\bigg)^2+1} | ||
= | |||
\bigg| | \bigg| | ||
\begin{array} {rcl} | \begin{array} {rcl} | ||
\frac{t}{\sqrt{3}} & = & s\\ | |||
dt | dt& = & \sqrt{3}\,ds | ||
\end{array} | \end{array} | ||
\bigg|\\ | \bigg|\\ | ||
& = & | & = & | ||
\frac{2}{\sqrt{3}}\int\frac{ | \frac{2}{\sqrt{3}}\int\frac{\sqrt{3}\,ds}{s^2+1} | ||
= | |||
2\mathrm{arctg}\, s+c | 2\mathrm{arctg}\, s+c | ||
= | |||
2\mathrm{arctg}\,\bigg( | 2\mathrm{arctg}\,\bigg(\frac{\mathrm{tg}\,\frac{x}{2}}{\sqrt{3}}\bigg)+c | ||
\ | \end{array}</math></center>}} | ||
{{uwaga|13.28.|| | |||
{{uwaga| | |||
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 1285: | Linia 1208: | ||
i mamy | i mamy | ||
<center><math>\sin^2x=\frac{\mathrm{tg}\,^2x}{1+\mathrm{tg}\,^2x} | <center><math>\begin{array}{rllll} | ||
= | \sin^2x&=&\frac{\mathrm{tg}\,^2x}{1+\mathrm{tg}\,^2x}&=&\frac{t^2}{1+t^2},\\\\ | ||
\frac{t^2}{1+t^2},\ \ | \cos^2x&=&\frac{1}{1+\mathrm{tg}\,^2x}&=&\frac{1}{1+t^2},\\\\ | ||
\cos^2x | \sin x\cos x&=&\frac{\mathrm{tg}\, x}{1+\mathrm{tg}\,^2x}&=&\frac{t}{1+t^2} | ||
=\frac{1}{1+\mathrm{tg}\,^2x} | \end{array} | ||
=\frac{1}{1+t^2},\ \ | |||
\sin x\cos x | |||
=\frac{\mathrm{tg}\, x}{1+\mathrm{tg}\,^2x} | |||
=\frac{t}{1+t^2} | |||
</math></center> | </math></center> | ||
Linia 1299: | Linia 1218: | ||
<center><math>x | <center><math>x | ||
= | |||
\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 1310: | 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> | ||
}} | }} | ||
{{przyklad| | {{przyklad|13.29.|| | ||
Obliczyć całkę | Obliczyć całkę | ||
<math> | <math>\int\frac{dx}{1+2\cos^2x}\,dx</math>. | ||
W całce tej stosujemy podstawienie | W całce tej stosujemy podstawienie | ||
<math> | <math>\mathrm{tg}\, x=t</math>, | ||
wówczas | wówczas | ||
<math> | <math>\cos^2x=\frac{1}{1+t^2}</math> | ||
i | i | ||
<math> | <math>dx=\frac{\,dt}{1+t^2}</math>. | ||
Zatem | Zatem | ||
<center><math>\int\frac{dx}{1+2\cos^2x}\,dx | <center><math>\int\frac{dx}{1+2\cos^2x}\,dx | ||
= | |||
\int\frac{ | \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> | ||
Zauważmy, że całkę tę liczyliśmy w | Zauważmy, że całkę tę liczyliśmy w [[#przyklad_13_27|przykładzie 13.27.]] | ||
Zatem | Zatem | ||
<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