Sposób I.
Obliczamy długość krzywej zadanej wykresem funkcji
na przedziale
Ponieważ zatem
Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned l(K) & = & \displaystyle\int\limits_0^1\sqrt{1+f'(x)^2}\,dx \ =\ \displaystyle\int\limits_0^1\sqrt{1+\frac{1}{4x}}\,dx \ =\ \frac{1}{2} \displaystyle\int\limits_0^1\frac{1}{\sqrt{x}}\sqrt{1+4x}\,dx. \endaligned}
Jest to całka typu
przy czym
(patrz twierdzenie 13.22.),
zatem stosujemy podstawienie
Stąd
Zatem po zmianie zmiennych otrzymujemy
Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned l(K) & = & \frac{1}{2} \displaystyle\int\limits_{+\infty}^{\sqrt{5}} \sqrt{t^2-4}\cdot\sqrt{1+\frac{4}{t^2-4}} \cdot\frac{-2t}{(t^2-4)^2}\,dt \ =\ \displaystyle\int\limits_{\sqrt{5}}^{+\infty} \frac{t^2}{(t^2-4)^2}\,dt. \endaligned}
Szukamy rozkładu funkcji wymiernej podcałkowej na ułamki proste
w postaci
Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \frac{t^2}{(t^2-4)^2} \ =\ \frac{t^2}{(t-2)^2(t+2)^2} \ =\ \frac{a}{(t-2)} +\frac{b}{(t-2)^2} +\frac{c}{(t+2)} +\frac{d}{(t+2)^2}. }
Mnożąc stronami przez wspólny mianownik ,
dostajemy
Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle t^2 \ =\ a(t-2)(t+2)^2 +b(t+2)^2 +c(t-2)^2(t+2) +d(t-2)^2. }
Podstawiając kolejno oraz , dostajemy, że
oraz
Wstawiając otrzymane stałe i przekształcając dostajemy:
Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \frac{1}{2}t^2-2 \ =\ a(t-2)(t+2)^2 +c(t-2)^2(t+2), }
czyli
Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \frac{1}{2}(t-2)(t+2) \ =\ a(t-2)(t+2)^2 +c(t-2)^2(t+2). }
Dzieląc obustronnie przez , mamy
Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \frac{1}{2} \ =\ a(t+2) +c(t-2). }
Podstawiając kolejno oraz , dostajemy, że
oraz
Wstawmy otrzymane stałe i obliczmy całkę nieoznaczoną:
Parser nie mógł rozpoznać (nieznana funkcja „\begin{array}”): {\displaystyle \displaystyle \begin{array}{lll} \int\frac{t^2}{(t^2-4)^2}\,dt & = &\displaystyle \frac{1}{8}\int\frac{dt}{t-2} +\frac{1}{4}\int\frac{dt}{(t-2)^2} -\frac{1}{8}\int\frac{dt}{t+2} +\frac{1}{4}\int\frac{dt}{(t+2)^2}\\ & = &\displaystyle \frac{1}{8}\ln|t-2| -\frac{1}{4(t-2)} -\frac{1}{8}\ln|t+2| -\frac{1}{4(t+2)}+c \ =\ \ln\sqrt[8]{\left|\frac{t-2}{t+2}\right|} -\frac{t}{2(t^2-4)}+c \end{array}}
(zauważmy, że wykonanie ostatniego odejmowania logarytmów jest
niezbędne do dalszego obliczenia całki oznaczonej).
Zatem
Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned l(K) & = & \bigg[ \ln\sqrt[8]{\frac{t-2}{t+2}} -\frac{t}{2(t^2-4)} \bigg]\bigg|_{\sqrt{5}}^{+\infty} \ =\ \frac{1}{8}\ln\bigg(\frac{\sqrt{5}+2}{\sqrt{5}-2}\bigg) +\frac{1}{2}\sqrt{5} \ =\ \frac{1}{4}\ln\big(\sqrt{5}+2\big) +\frac{1}{2}\sqrt{5}. \endaligned}
Sposób II.
Otrzymaną całkę:
Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned l(K) & = & \displaystyle\int\limits_0^1\sqrt{1+f'(x)^2}\,dx \ =\ \displaystyle\int\limits_0^1\sqrt{1+\frac{1}{4x}}\,dx \ =\ \frac{1}{2} \displaystyle\int\limits_0^1\sqrt{\frac{1+4x}{x}}\,dx \ =\ \frac{1}{2} \displaystyle\int\limits_0^1\frac{1+4x}{\sqrt{4x^2+x}}\,dx \endaligned}
możemy policzyć metodą współczynników nieoznaczonych.
Wiemy, że całka nieoznaczona jest postaci:
Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \int\frac{1+4x}{\sqrt{4x^2+x}}\,dx \ =\ a\sqrt{4x^2+x} +k \int\frac{dx}{\sqrt{4x^2+x}}. }
Aby wyznaczyć i
różniczkujemy stronami i dostajemy:
Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \frac{1+4x}{\sqrt{4x^2+x}} \ =\ \frac{a(8x+1)}{2\sqrt{4x^2+x}} +\frac{k}{\sqrt{4x^2+x}}, }
a mnożąc stronami przez dostajemy:
Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle 1+4x \ =\ 4ax+\frac{1}{2}a+k, }
stąd i
Ponadto obliczamy całkę
Parser nie mógł rozpoznać (nieznana funkcja „\begin{array}”): {\displaystyle \begin{array}{lll}\displaystyle \int\frac{dx}{\sqrt{4x^2+x}} & = &\displaystyle \int\frac{dx}{\sqrt{(2x+\frac{1}{4})^2-\frac{1}{16}}} \ =\ \left| \begin{array} {rcl} 2x+\frac{1}{4} & = & t \\ \,dx & = & \frac{1}{2}\,dt \end{array} \right| \ =\ \frac{1}{2}\int\frac{dt}{\sqrt{t^2-\frac{1}{16}}}\\\\ & = &\displaystyle \frac{1}{2} \ln\left|t+\sqrt{t^2-\frac{1}{16}}\right|+c \ =\ \frac{1}{2} \ln\left|2x+\frac{1}{4}+\sqrt{4x^2+x}\right|+c. \end{array}}
Wracając do naszej całki, mamy
Parser nie mógł rozpoznać (nieznana funkcja „\begin{array}”): {\displaystyle \displaystyle \begin{array}{lll} l(K) & = &\displaystyle \frac{1}{2}\bigg[ 1\cdot\sqrt{4x^2+x} +\frac{1}{2}\cdot\frac{1}{2} \ln\left|2x+\frac{1}{4}+\sqrt{4x^2+x}\right| \bigg]\bigg|_0^1 \ =\ \frac{1}{2} \bigg[\sqrt{5}+\frac{1}{4}\ln\bigg(\frac{9}{4}+\sqrt{5}\bigg) -\frac{1}{4}\ln\frac{1}{4}\bigg]\\\\ & = &\displaystyle \frac{1}{2}\sqrt{5}+\frac{1}{8}\ln(9+4\sqrt{5}) \ =\ \frac{1}{2}\sqrt{--~~~~5}+\frac{1}{8}\ln(2+\sqrt{5})^2 \ =\ \frac{1}{2}\sqrt{5}+\frac{1}{4}\ln(2+\sqrt{5}). \end{array}}
Sposób III.
Zauważmy, że nasza krzywa ma tę samą długość ,co krzywa będąca
wykresem funkcji dla
(gdyż jedna z krzywych powstaje z drugiej przez odbicie
symetryczne względem prostej ).
Zatem wystarczy policzyć długość nowej krzywej:
Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned l(K) & = & \displaystyle\int\limits_0^1\sqrt{1+g'(x)^2}\,dx \ =\ \displaystyle\int\limits_0^1\sqrt{1+4x^2}\,dx. \endaligned}
Jest to całka typu
przy czym
(patrz twierdzenie 13.22.),
zatem stosujemy podstawienie
Stąd
Zatem po zmianie zmiennych otrzymujemy
Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned l(K) & = & \displaystyle\int\limits_{+\infty}^{\sqrt{5}} \sqrt{1+\frac{4}{t^2-4}} \cdot\frac{-t}{(t^2-4)\sqrt{t^2-4}}\,dt \ =\ \displaystyle\int\limits_{\sqrt{5}}^{+\infty} \frac{t^2}{(t^2-4)^2}\,dt, \endaligned}
zatem otrzymaliśmy tę samą całkę co w rozwiązaniu I.
Sposób IV.
Podobnie jak w rozwiązaniu III rozważamy krzywą o tej samej
długości, a mianowicie
dla
Liczymy więc długość:
Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned l(K) & = & \displaystyle\int\limits_0^1\sqrt{1+g'(x)^2}\,dx \ =\ \displaystyle\int\limits_0^1\sqrt{1+4x^2}\,dx \ =\ \displaystyle\int\limits_0^1\frac{1+4x^2}{\sqrt{1+4x^2}}\,dx \endaligned}
metodą współczynników nieoznaczonych.
Wiemy, że całka nieoznaczona jest postaci:
Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \int\frac{1+4x^2}{\sqrt{1+4x^2}}\,dx \ =\ (ax+b)\sqrt{1+4x^2} +k \int\frac{dx}{\sqrt{1+4x^2}}. }
Aby wyznaczyć i
różniczkujemy stronami i dostajemy:
Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \frac{1+4x^2}{\sqrt{1+4x^2}} \ =\ a\sqrt{1+4x^2} +\frac{(ax+b)\cdot 8x}{2\sqrt{1+4x^2}} +\frac{k}{\sqrt{1+4x^2}}, }
a mnożąc stronami przez dostajemy:
Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle 1+4x^2 \ =\ a(1+4x^2) +4ax^2+4bx+k, }
stąd i
Ponadto obliczamy całkę
Parser nie mógł rozpoznać (nieznana funkcja „\begin{array}”): {\displaystyle \begin{array}{lll}\displaystyle\int\frac{dx}{\sqrt{1+4x^2}} & = &\displaystyle \left| \begin{array} {rcl} 2x & = & t \\ \,dx & = & \frac{1}{2}\,dt \end{array} \right| \ =\ \frac{1}{2}\int\frac{dt}{\sqrt{t^2+1}}\\\\ & = &\displaystyle \frac{1}{2} \ln\left|t+\sqrt{t^2+1}\right|+c \ =\ \frac{1}{2} \ln\left|2x+\sqrt{1+4x^2}\right|+c. \end{array}}
Wracając do naszej całki mamy
Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned l(K) & = & \bigg[ \frac{1}{2}x\cdot\sqrt{1+4x^2} +\frac{1}{4} \ln\left|2x+\sqrt{1+4x^2}\right| \bigg]\bigg|_0^1 \ =\ \frac{1}{2}\sqrt{5}+\frac{1}{4}\ln(2+\sqrt{5}). \endaligned}
Inne sposoby.
Całkę, która powstaje w rozwiązaniu II:
,
można policzyć z I lub III podstawienia Eulera.
Całkę, która powstaje w rozwiązaniu III:
,
można policzyć z I lub II podstawienia Eulera.
Odpowiedź: Długość zadanej krzywej wynosi