Analiza matematyczna 1/Wykład 13: Całka nieoznaczona: Różnice pomiędzy wersjami
Nie podano opisu zmian |
|||
(Nie pokazano 43 wersji utworzonych przez 5 użytkowników) | |||
Linia 1: | Linia 1: | ||
==Całka nieoznaczona== | ==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 24: | Linia 24: | ||
{{definicja|13.1.|| | {{definicja|13.1.|| | ||
Niech <math> | 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> | Funkcję <math>F\colon D\longrightarrow\mathbb{R}</math> nazywamy | ||
'''''pierwotną''''' funkcji <math> | '''''pierwotną''''' funkcji <math>f</math>, jeśli | ||
<math> | <math>F</math> jest różniczkowalna i | ||
<math> | <math>F'=f</math>. | ||
}} | }} | ||
Linia 35: | Linia 35: | ||
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> | '''(1)''' Jeśli <math>F</math> i <math>G</math> są pierwotnymi funkcji <math>f</math> | ||
to <math> | to <math>F-G=c</math> dla pewnego <math>c\in\mathbb{R}</math><br> | ||
'''(2)''' Jeśli <math> | '''(2)''' Jeśli <math>F</math> jest pierwotną funkcji <math>f</math> oraz | ||
<math> | <math>F-G=c</math> dla pewnego <math>c\in\mathbb{R}</math> | ||
to <math> | to <math>G</math> też jest pierwotną funkcji <math>f</math> | ||
}} | }} | ||
{{dowod| | {{dowod|13.2.|| | ||
'''(Ad (1))''' | '''(Ad (1))''' | ||
Jeśli <math> | 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> | Ponieważ pochodna różnicy <math>F-G</math> wynosi <math>0</math>, więc różnica ta musi | ||
być stała. Zatem istnieje <math> | być stała. Zatem istnieje <math>c \in \mathbb{R}</math> takie, że | ||
<math> | <math>F-G=c</math><br> | ||
'''(Ad (2))''' | '''(Ad (2))''' | ||
Załóżmy, że <math> | Załóżmy, że <math>F</math> jest pierwotną funkcji <math>f</math> | ||
oraz funkcje <math> | oraz funkcje <math>F</math> i <math>G</math> różnią się o stałą, to znaczy | ||
<math> | <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> | 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> | <center><math>G' | ||
= | |||
(F+c)'=F' | (F+c)'=F' | ||
= | |||
f | f | ||
</math></center> | </math></center> | ||
zatem <math> | zatem <math>G</math> jest także pierwotną funkcji <math>f</math> | ||
}} | }} | ||
{{definicja|13.3. [całka nieoznaczona, całkowanie]|| | {{definicja|13.3. [całka nieoznaczona, całkowanie]|| | ||
'''''Całką nieoznaczoną''''' funkcji <math> | '''''Całką nieoznaczoną''''' funkcji <math>f</math> nazywamy zbiór jego | ||
pierwotnych i oznaczamy | pierwotnych i oznaczamy | ||
<center><math> | <center><math>\int f(x)\,dx | ||
</math> lub <math>int f\,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> | 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> | 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|13.4.|| | {{wniosek|13.4.|| | ||
Jeśli <math> | Jeśli <math>F</math> jest pierwotną funkcji <math>f</math>, to | ||
<center><math> | <center><math>\int f(x)\,dx | ||
= | |||
F(x)+c | F(x)+c | ||
</math></center> | </math></center> | ||
Linia 104: | Linia 102: | ||
{{uwaga|13.5.|| | {{uwaga|13.5.|| | ||
Jeśli <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> | 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> | <center><math>G(x) | ||
= | |||
F(x)+c | F(x)+c | ||
</math></center> | </math></center> | ||
gdzie <math> | gdzie <math>C=y_0-F(x_0)</math> | ||
}} | }} | ||
[[File:AM1.M13.W.R01.svg|270x225px|thumb|right|Wykres funkcji <math>f</math> z przykładu 13.6.]] | |||
{{przyklad|13.6.|| | {{przyklad|13.6.|| | ||
Linia 123: | Linia 123: | ||
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> | |||
Dla dowodu niewprost, | Dla dowodu niewprost, | ||
przypuśćmy, że funkcja ta posiada pierwotną | przypuśćmy, że funkcja ta posiada pierwotną | ||
<math> | <math>F\colon\mathbb{R}\longrightarrow\mathbb{R}</math> | ||
Wówczas <math> | 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> | tożsamościowo równa <math>0</math> zatem | ||
jej pierwotna jest stała, | jej pierwotna jest stała, | ||
powiedzmy <math> | powiedzmy <math>F|_{(-\infty,0)}\equiv a</math> | ||
Podobnie na przedziale <math> | Podobnie na przedziale <math>(0,+\infty)</math> | ||
powiedzmy <math> | 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> | <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> | oraz <math>a=F(0)=b</math> | ||
Zatem pokazaliśmy, że <math> | Zatem pokazaliśmy, że <math>F\equiv a</math> | ||
Ale wówczas <math> | Ale wówczas <math>F'=0\ne f</math> sprzeczność. | ||
Zatem tak zdefiniowana funkcja <math> | Zatem tak zdefiniowana funkcja <math>f</math> nie ma pierwotnej. | ||
}} | }} | ||
Linia 177: | Linia 176: | ||
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. | ||
Linia 183: | 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> | <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> | 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> | }}</span> | ||
Linia 224: | Linia 223: | ||
{{twierdzenie|13.9. [Liniowość całki]|| | {{twierdzenie|13.9. [Liniowość całki]|| | ||
Jeśli <math> | 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 251: | Linia 250: | ||
'''''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> | * stałych,<br> | ||
* potęgowych<br> | * potęgowych,<br> | ||
* wykładniczych<br> | * wykładniczych,<br> | ||
* trygonometrycznych<br> | * trygonometrycznych,<br> | ||
przez wykonywanie skończonej liczby operacji:<br> | przez wykonywanie skończonej liczby operacji:<br> | ||
* dodawania/odejmowania<br> | * dodawania/odejmowania,<br> | ||
* mnożenia/dzielenia<br> | * mnożenia/dzielenia,<br> | ||
* złożenia<br> | * złożenia,<br> | ||
* odwracania.<br> | * odwracania.<br> | ||
'''(2)''' | '''(2)''' | ||
Pochodna funkcji elementarnej jest zawsze funkcją | Pochodna funkcji elementarnej jest zawsze funkcją | ||
Linia 275: | Linia 273: | ||
elementarnymi, to między innymi | elementarnymi, to między innymi | ||
<center><math> | <center><math>\int\sqrt[3]{1+x^2}\,dx,\quad | ||
\int e^{-x^2}\,dx,\quad | \int e^{-x^2}\,dx,\quad | ||
\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> | ||
<center><math>\int\frac{\sin x}{x}\,dx,\quad | |||
<center><math> | |||
\int\frac{\cos x}{x}\,dx\quad | \int\frac{\cos x}{x}\,dx\quad | ||
\int\frac{1}{\ln x}\,dx | \int\frac{1}{\ln x}\,dx | ||
Linia 290: | Linia 287: | ||
oraz tak zwane całki eliptyczne: | oraz tak zwane całki eliptyczne: | ||
<center><math> | <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 302: | ||
{{twierdzenie|13.11. [Całkowanie przez części]|| | {{twierdzenie|13.11. [Całkowanie przez części]|| | ||
Jeśli | Jeśli | ||
<math> | <math>I\subseteq \mathbb{R}</math> jest przedziałem, | ||
<math> | <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> | <math>f\cdot g'</math>, | ||
to | to | ||
istnieje także całka nieoznaczona dla funkcji <math> | istnieje także całka nieoznaczona dla funkcji <math>f'\cdot g</math> oraz | ||
<center><math> | <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> | Ponieważ funkcje <math>f</math> i <math>g</math> są różniczkowalne, więc | ||
różniczkowalny jest także iloczyn <math> | różniczkowalny jest także iloczyn <math>f\cdot g</math> oraz zachodzi wzór | ||
<center><math> | <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> | <center><math>f'\cdot g | ||
= | |||
(f\cdot g)' | (f\cdot g)' | ||
- | - | ||
f\cdot g' | f\cdot g' | ||
</math></center> | </math></center> | ||
Linia 344: | Linia 340: | ||
<center><math>\begin{array}{lll} | <center><math>\begin{array}{lll} | ||
\int f'\cdot g\,dx &=& \int\big[(f\cdot g)'\,dx - f\cdot g'\big]\\ | |||
&=& | &=& \int(f\cdot g)'\,dx - \int f\cdot g'\,dx = f\cdot g-\int f\cdot g'\,dx. | ||
\end{array} | \end{array} | ||
</math></center> | </math></center> | ||
Linia 365: | Linia 361: | ||
{{twierdzenie|13.12. [Całkowanie przez podstawianie]|| | {{twierdzenie|13.12. [Całkowanie przez podstawianie]|| | ||
Jeśli | Jeśli | ||
<math> | <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> | <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> | <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> | Ponieważ funkcje <math>G</math> i <math>f</math> są różniczkowalne, więc ich złożenie | ||
także oraz mamy | także oraz mamy | ||
<center><math> | <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. | ||
}} | }} | ||
Linia 400: | Linia 396: | ||
Wzór całkowania przez podstawianie często zapisujemy jako: | Wzór całkowania przez podstawianie często zapisujemy jako: | ||
<center><math> | <center><math>\int g\big(f(x)\big)f'(x)\,dx | ||
= | |||
\int g(t)\,dt | \int g(t)\,dt | ||
</math></center> | </math></center> | ||
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> | (<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> | }}</span> | ||
{{przyklad|13.14.|| | {{przyklad|13.14.|| | ||
Obliczyć całkę nieoznaczoną z funkcji <math> | 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> | <math>f'(x)=\sin x</math> (gdyż znamy już pierwotną funkcji <math>\sin</math>) oraz | ||
jako <math> | 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 431: | 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> | <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> | ||
(na końcu dopisujemy "<math> | (na końcu dopisujemy "<math>+c</math>" | ||
aby zaznaczyć, że całką nieoznaczoną jest zbiór wszystkich pierwotnych, | aby zaznaczyć, że całką nieoznaczoną jest zbiór wszystkich pierwotnych, | ||
które jak wiadomo różnią się o stałą).<br> | które jak wiadomo różnią się o stałą).<br> | ||
Linia 456: | Linia 452: | ||
w innej kolejności | w innej kolejności | ||
<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 465: | 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> | <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 487: | 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> | 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> | <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 [[#uwaga_13_13|uwaga 13.13.]]), przy czym | (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 [[#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> | 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 511: | 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 535: | 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 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> | Możemy bowiem skorzystać z tożsamości trygonometrycznej <math>\sin x\cos x=\frac{1}{2}\sin 2x</math>. Mamy wówczas | ||
<center><math> | <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> | bądź też obliczamy, stosując podstawienie <math>2x=t</math>. | ||
Zauważmy teraz, że w powyższych rozwiązaniach jako pierwotne funkcji <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: | ||
<center><math> | <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 | ||
<center><math> | <center><math>-\frac{1}{2}\cos^2x | ||
- | - | ||
\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 585: | Linia 586: | ||
oraz | oraz | ||
<center><math> | <center><math>-\frac{1}{4}\cos 2x | ||
- | - | ||
\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 599: | 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> | </div></div> | ||
Linia 608: | 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> | <math>2</math>, to znaczy | ||
<center><math>\begin{array}{lll} | <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 \\ | ||
&\ldots& | &\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> | ||
gdzie | gdzie stopień wielomianu <math>Q</math> wynosi | ||
<center><math> | <center><math>\deg Q= | ||
k_1+k_2+\ldots+k_r+2(l_1+l_2+\ldots+l_s)</math></center> | k_1+k_2+\ldots+k_r+2(l_1+l_2+\ldots+l_s)</math></center> | ||
oraz | oraz | ||
<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> | ||
Linia 632: | Linia 633: | ||
'''''Ułamkami prostymi''''' nazywamy funkcje wymierne postaci: | '''''Ułamkami prostymi''''' nazywamy funkcje wymierne postaci: | ||
<center><math> | <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> | 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. | ||
Linia 647: | Linia 648: | ||
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 653: | 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> | <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 668: | 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> | Wymnażając stronami przez wspólny mianownik <math>(2x^2-5x-3)</math>, otrzymujemy | ||
<center><math> | <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> | 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> | <math>B=2</math>. Zatem otrzymaliśmy rozkład | ||
<center><math> | <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 701: | 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> | </div></div> | ||
Linia 717: | Linia 718: | ||
przydatne w rachunkach. | przydatne w rachunkach. | ||
{{twierdzenie|13.18. [O rozkładzie na ułamki proste]|| | {{twierdzenie|13.18. [O rozkładzie na ułamki proste]|twierdzenie_13_18| | ||
Niech <math> | Niech <math>f(x)=\frac{P(x)}{Q(x)}</math> będzie funkcją wymierną, | ||
gdzie <math> | gdzie <math>\deg P=m<n=\deg Q</math>. Wówczas istnieje jedyny rozkład | ||
funkcji <math> | funkcji <math>f</math> na ułamki proste oraz jeśli | ||
<center><math> | <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> | <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>\begin{array}{lll} | <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}}\\ | +\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_{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}}\\ | + \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> | \end{array}</math></center> | ||
Linia 761: | Linia 762: | ||
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 771: | Linia 772: | ||
dostajemy | dostajemy | ||
<center><math> | <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 779: | Linia 780: | ||
Zauważmy, że mianownik wynosi | Zauważmy, że mianownik wynosi | ||
<center><math> | <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 789: | Linia 790: | ||
Zatem rozkład na ułamki proste jest postaci | Zatem rozkład na ułamki proste jest postaci | ||
<center><math> | <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> | ||
Mnożąc stronami przez wspólny mianownik, dostajemy | Mnożąc stronami przez wspólny mianownik, dostajemy | ||
<center><math> | <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 806: | Linia 807: | ||
układ równań | układ równań | ||
<center><math> | <center><math>\left\{ | ||
\begin{array} {rrrrrrrrr} | \begin{array} {rrrrrrrrr} | ||
a & & & + & c & & & = & 2\\ | a & & & + & c & & & = & 2\\ | ||
Linia 813: | 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 | ||
<center><math> | <center><math>\left\{ | ||
\begin{array} {lll} | \begin{array} {lll} | ||
a & = & 1\\ | a & = & 1\\ | ||
Linia 825: | Linia 825: | ||
d & = & -1. | d & = & -1. | ||
\end{array} | \end{array} | ||
\right. | \right.</math></center> | ||
</math></center> | |||
Zatem ostatecznie | Zatem ostatecznie mamy | ||
<center><math> | <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> | ||
Linia 841: | Linia 840: | ||
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>\begin{array}{lll} | <center><math>\begin{array}{lll} | ||
\int\frac{A}{x-a}\,dx | \int\frac{A}{x-a}\,dx | ||
& = & | & = & | ||
A\ln (x-a)+c,\\ | A\ln (x-a)+c,\\ | ||
\int\frac{A}{(x-a)^k}\,dx | \int\frac{A}{(x-a)^k}\,dx | ||
& = & | & = & | ||
-\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> | \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 [[#cwiczenie_13_4|ćwiczenie 13.4.]]). | (patrz [[#cwiczenie_13_4|ćwiczenie 13.4.]]). | ||
Linia 865: | Linia 864: | ||
Zacznijmy od rozważenia następującej całki: | Zacznijmy od rozważenia następującej całki: | ||
<center><math> | <center><math>\int\frac{W_n(x)}{\sqrt{px^2+qx+r}}\,dx | ||
</math></center> | </math></center> | ||
gdzie <math> | gdzie <math>W_n</math> jest dowolnym wielomianem | ||
(stopnia <math> | (stopnia <math>n</math>). | ||
Okazuje się, że istnieje ogólna metoda obliczania tego typu | Okazuje się, że istnieje ogólna metoda obliczania tego typu | ||
całek. Opiera się ona na twierdzeniu, które mówi, iż | całek. Opiera się ona na twierdzeniu, które mówi, iż | ||
mamy następującą równość | mamy następującą równość | ||
<center><math> | <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> | gdzie <math>Q_{n-1}(x)</math> jest wielomianem stopnia <math>n-1</math>. Współczynniki wielomianu | ||
<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> | <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> | <math>x</math>, znajdujemy współczynniki | ||
wielomianu <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> | <center><math>\int\frac{dx}{\sqrt{px^2+qx+r}} | ||
</math></center> | </math></center> | ||
Linia 903: | Linia 902: | ||
jednej z całek | jednej z całek | ||
<center><math> | <center><math>\int\frac{dt}{\sqrt{1-t^2}} | ||
\quad\ </math> lub <math>\quad | \quad\ </math> lub <math>\quad | ||
\int\frac{dt}{\sqrt{1+t^2}} | \int\frac{dt}{\sqrt{1+t^2}} | ||
Linia 917: | Linia 916: | ||
Policzyć | Policzyć | ||
<center><math> | <center><math>\int\sqrt{R^2-x^2}\,dx | ||
</math></center> | </math></center> | ||
gdzie <math> | 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> | <center><math>\int\frac{R^2-x^2}{\sqrt{R^2-x^2}}\,dx | ||
</math></center> | </math></center> | ||
Wielomian <math> | Wielomian <math>R^2-x^2</math> jest stopnia <math>2</math>, zatem | ||
<center><math> | <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 935: | Linia 934: | ||
Stąd | Stąd | ||
<center><math> | <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> | <center><math>-2a=-1,\quad b=0, \quad aR^2+\lambda=R^2 | ||
</math></center> | </math></center> | ||
zatem | zatem | ||
<center><math> | <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>\begin{array}{lll} | <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{dt}{\sqrt{1-t^2}}=\arcsin t+c=\arcsin \frac{x}{R} +c. | ||
\end{array}</math></center> | \end{array}</math></center> | ||
Reasumując, mamy | Reasumując, mamy | ||
<center><math> | <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 972: | Linia 971: | ||
Kolejne twierdzenie zawiera warunek konieczny i wystarczający | Kolejne twierdzenie zawiera warunek konieczny i wystarczający | ||
istnienia pierwotnej elementarnej dla funkcji | istnienia pierwotnej elementarnej dla funkcji | ||
postaci <math> | postaci <math>f(x)=x^r(a+bx^s)^p</math> | ||
oraz podaje sposób policzenia całki nieoznaczonej, | oraz podaje sposób policzenia całki nieoznaczonej, | ||
jeśli pierwotna jest funkcją elementarną. | jeśli pierwotna jest funkcją elementarną. | ||
Linia 981: | Linia 980: | ||
Funkcja | Funkcja | ||
<center><math> | <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> | ||
ma pierwotną elementarną wtedy i tylko wtedy, gdy | ma pierwotną elementarną wtedy i tylko wtedy, gdy | ||
zachodzi jeden z przypadków:<br> | zachodzi jeden z przypadków:<br> | ||
'''(1)''' <math> | '''(1)''' <math>p\in\mathbb{Z}</math> | ||
(robimy podstawienie <math> | (robimy podstawienie <math>x=z^N</math>, gdzie <math>N</math> jest wspólnym | ||
mianownikiem ułamków <math> | 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> | (robimy podstawienie <math>a+bx^s=z^N</math>, gdzie <math>N</math> jest | ||
mianownikiem ułamka <math> | mianownikiem ułamka <math>p</math>);<br> | ||
'''(3)''' | '''(3)''' | ||
<math> | <math>\frac{r+1}{s}+p\in\mathbb{Z}</math> | ||
(robimy podstawienie <math> | (robimy podstawienie <math>ax^{-s}+b=z^N</math>, gdzie <math>N</math> jest | ||
mianownikiem ułamka <math> | mianownikiem ułamka <math>p</math>). | ||
}} | }} | ||
Linia 1009: | 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> | '''(1)''' <math>f(x)=\sqrt[3]{1+x^2}</math>.<br> | ||
'''(2)''' <math> | '''(2)''' <math>f(x)=\sqrt[4]{1+x^2}</math>.<br> | ||
'''(3)''' <math> | '''(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> | '''(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> | '''(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> | '''(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> | 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> | <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> | ||
Linia 1037: | Linia 1036: | ||
Do policzenia całki postaci | Do policzenia całki postaci | ||
<center><math> | <center><math>\int R\big(x,\sqrt{ax^2+bx+c}\big)\,dx | ||
</math></center> | </math></center> | ||
gdzie | gdzie | ||
<math> | <math>R=R(x,\xi)</math> jest funkcją wymierną, | ||
<math> | <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> | * Niech <math>a>0</math>. Podstawiamy | ||
<center><math> | <center><math>\sqrt{ax^2+bx+c}=t-\sqrt{a}x</math></center> | ||
</math></center> | |||
* Niech <math> | * Niech <math>c>0</math>. Podstawiamy | ||
<center><math> | <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> | * 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> | <center><math>\sqrt{ax^2+bx+c}=t(x-\lambda) | ||
</math></center> | </math></center> | ||
Linia 1064: | Linia 1062: | ||
Całkę | Całkę | ||
<center><math> | <center><math>\int\frac{\,dx}{x+\sqrt{x^2-x+1}} | ||
</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> | <center><math>\sqrt{x^2-x+1}=t-x | ||
</math></center> | </math></center> | ||
skąd | skąd | ||
<center><math> | <center><math>x | ||
= | |||
\frac{t^2-1}{2t-1} | \frac{t^2-1}{2t-1} | ||
</math></center> | </math></center> | ||
Linia 1082: | Linia 1080: | ||
oraz | oraz | ||
<center><math> | <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> | <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> | <center><math>\sqrt{x^2-x+1}=tx-1 | ||
</math></center> | </math></center> | ||
skąd | skąd | ||
<center><math> | <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> | <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 1125: | Linia 1122: | ||
Aby policzyć całkę | Aby policzyć całkę | ||
<center><math> | <center><math>\int R(\sin x,\cos x,\mathrm{tg}\, x)\,dx | ||
</math></center> | </math></center> | ||
stosujemy podstawienie | stosujemy podstawienie | ||
<center><math> | <center><math>\mathrm{tg}\,\frac{x}{2}=t | ||
</math></center> | </math></center> | ||
Linia 1136: | Linia 1133: | ||
<center><math>\begin{array}{rllll} | <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},\\\\ | ||
\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},\\\\ | ||
\mathrm{tg}\, x &=& | \mathrm{tg}\, x &=& \frac{2\mathrm{tg}\,\frac{x}{2}}{1-\mathrm{tg}\,^2\frac{x}{2}}&=&\frac{2t}{1-t^2} | ||
\end{array}</math></center> | \end{array}</math></center> | ||
oraz | oraz | ||
<center><math> | <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> | ||
Po podstawieniu dostajemy całkę | Po podstawieniu dostajemy całkę | ||
<center><math> | <center><math>\int | ||
R\bigg(\frac{2t}{1+t^2}, | R\bigg(\frac{2t}{1+t^2}, | ||
\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|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>\begin{array}{lll} | <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> | \end{array}</math></center>}} | ||
{{uwaga|13.28.|| | {{uwaga|13.28.|| | ||
Linia 1206: | Linia 1198: | ||
Aby policzyć całkę | Aby policzyć całkę | ||
<center><math> | <center><math>\int R(\sin^2x,\cos^2x,\sin x\cos x)\,dx | ||
</math></center> | </math></center> | ||
stosujemy podstawienie | stosujemy podstawienie | ||
<center><math> | <center><math>\mathrm{tg}\, x=t | ||
</math></center> | </math></center> | ||
Linia 1217: | Linia 1209: | ||
<center><math>\begin{array}{rllll} | <center><math>\begin{array}{rllll} | ||
\sin^2x&=&\frac{\mathrm{tg}\,^2x}{1+\mathrm{tg}\,^2x}&=&\frac{t^2}{1+t^2},\\\\ | |||
\cos^2x&=& | \cos^2x&=&\frac{1}{1+\mathrm{tg}\,^2x}&=&\frac{1}{1+t^2},\\\\ | ||
\sin x\cos x&=& | \sin x\cos x&=&\frac{\mathrm{tg}\, x}{1+\mathrm{tg}\,^2x}&=&\frac{t}{1+t^2} | ||
\end{array} | \end{array} | ||
</math></center> | </math></center> | ||
Linia 1225: | Linia 1217: | ||
oraz | oraz | ||
<center><math> | <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> | ||
Zatem po podstawieniu dostajemy całkę | Zatem po podstawieniu dostajemy całkę | ||
<center><math> | <center><math>\int | ||
R\bigg(\frac{t^2}{1+t^2}, | R\bigg(\frac{t^2}{1+t^2}, | ||
\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 1245: | Linia 1237: | ||
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> | <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> | ||
Linia 1267: | Linia 1257: | ||
Zatem | Zatem | ||
<center><math> | <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