Analiza matematyczna 1/Ćwiczenia 2: Funkcje elementarne

Funkcje elementarne

Ćwiczenie 2.1.

Dana jest funkcja afiniczna $f(x)=-x+2$. Wyznaczyć
a) odwrotność tej funkcji,
b) funkcję odwrotną do $f$,
c) złożenie $f^2=f\circ f$, $f^3=f\circ f\circ f$, $f^4=f\circ f\circ f\circ f$, $f^9=f\circ f\circ f\circ f\circ f\circ f\circ f\circ f\circ f$.
d) Czy istnieje malejąca funkcja afiniczna $g$ taka, że $(g\circ g)(x)=4x+3$?

Wskazówka

a) Co to jest odwrotność?
b) Wystarczy wyznaczyć $y$ z równania $x=f(y)$.
c) Skorzystać z definicji złożenia. Składanie funkcji jest łączne.
d) Niech $g(x)=ax+b$. Jakie warunki muszą spełniać współczynniki $a$ i $b$, aby $(g\circ g)(x)=4x+3$?

Rozwiązanie

a) Odwrotnością funkcji $f$ jest funkcja $x\mapsto \frac{1}{f(x)}=\frac{1}{-x+2}.$
b) Wyznaczamy $y$ z równania $x=-y+2$. Stąd $g(x)=-x+2$ jest funkcją odwrotną do $f$. A więc funkcją odwrotną do $f$ jest $f$.
c) Funkcją odwrotną do $f$ jest $f$, więc $f\circ f=\mathrm{i}\mathrm{d}$, gdzie $\mathrm{i}\mathrm{d}:x\mapsto x$ oznacza odwzorowanie identycznościowe. Wobec tego $f^3=(f\circ f)\circ f=\mathrm{i}\mathrm{d}\circ f=f$. Podobnie $f^4=(f\circ f)\circ (f\circ f)=\mathrm{i}\mathrm{d}\circ \mathrm{i}\mathrm{d}=\mathrm{i}\mathrm{d}$. Spostrzegamy, że:

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle f^n \ =\ \left\{\begin{array}{ll} f, &\textrm{ jeśli }n \textrm{ jest liczbą nieparzystą}\\ \mathrm{id}\,&\textrm{ jeśli }n \textrm{jest liczbą parzystą,}\end{array}\right . }

wobec tego $f^9=f.$
d) Jeśli $g(x)=ax+b$, to $(g\circ g)(x)=a(ax+b)+b=a^{2}x+ab+b$. Jeśli $(g\circ g)(x)=4x+3$, to współczynniki $a$, $b$ muszą spełniać układ równań:

$\{\begin{array}{l}{a}^2=4\\ (a+1)b=3\end{array}$

który spełniają dwie pary liczb $(a,b)\in \{(-2,-3),(2,1)\}$. Funkcja $g_1(x)=-2x-3$ jest malejąca, a $g_2(x)=2x+1$ jest rosnącą funkcją afiniczną.

Ćwiczenie 2.2.

Dana jest homografia $f(x)=\frac{x+1}{x-1}$. Wyznaczyć
a) odwrotność tej homografii,
b) homografię odwrotną,
c) złożenie $f^2=f\circ f$, $f^3=f\circ f\circ f$, $f^4=f\circ f\circ f\circ f$ oraz $f^{11}=f\circ f\circ f\circ f\circ f\circ f\circ f\circ f\circ f\circ f\circ f$.
d) Czy istnieje homografia $g:\mathbb{ℝ}\mapsto \mathbb{ℝ}$ taka, że $g\circ g=f$?

Wskazówka

a), b) c) Zastosować wskazówki do ćwiczenia 2.1.
d) Niech $g(x)=\frac{ax+b}{cx+d}$. Zauważyć, że można przyjąć, że $c=1$ (dlaczego?). Jakie równania muszą spełniać współczynniki $a,b,d$, aby $g\circ g=f$?

Rozwiązanie

a) Odwrotnością danej homografii jest $x\mapsto \frac{1}{f(x)}=\frac{x-1}{x+1}$.
b) Homografię odwrotną do $f$ otrzymamy wyznaczając $x$ z równania $y=\frac{x+1}{x-1}$. Stąd $x=\frac{y+1}{y-1}$, czyli homografią odwrotną do $f$ jest ta sama funkcja.
c) Skoro $f^{-1}=f$, więc -- podobnie jak w zadaniu Uzupelnic z.am1.02.010| -- złożenie $f\circ f=\mathrm{i}\mathrm{d}$, $f^4=(f\circ f)\circ (f\circ f)=\mathrm{i}\mathrm{d}\circ \mathrm{i}\mathrm{d}=\mathrm{i}\mathrm{d}$. Spostrzegamy, że:

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle f^n \ =\ \left\{\aligned &f, &\textrm{ jeśli }n \textrm{ jest liczbą nieparzystą}\\ &\mathrm{id}\,, &\textrm{ jeśli }n \textrm{ jest liczbą parzystą,}\endaligned\right . }

wobec tego $f^3=f$, $f^{11}=f$.
d) Niech $g(x)=\frac{ax+b}{cx+d}$. Współczynnik $c\ne 0$, gdyż w przeciwnym przypadku funkcja $g$ byłaby afiniczna i złożenie $g\circ g$ byłoby funkcją afiniczną, co nie jest możliwe. Skoro $c\ne 0$ możemy podzielić licznik i mianownik rozważanego ułamka przez stałą $c$ i przyjąć, że $c=1$ to znaczy: $g(x)=\frac{ax+b}{x+d}$. Wobec tego

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned (g\circ g)(x)=&g(g(x)) =\frac{ag(x)+b}{g(x)+d}\\=&\frac{a\frac{ax+b}{x+d}+b}{\frac{ax+b}{x+d}+d} =\frac{a(ax+b)+b(x+d)}{ax+b+d(x+d)}=\frac{(a^2+b)x+(ab+bd)}{(a+d)x+(b+d^2)}.\endaligned }

Równość $g\circ g=f$ zachodziłaby, gdyby odpowiednie współczynniki homografii $g\circ g$ oraz $f$ były równe,

$0\ne a^2+b=b(a+d)=a+d=-(b+d^2).$ Ale jest to niemożliwe,

gdyż z równości $b(a+d)=a+d$ wynika, że $b=1$, co pociąga za sobą w konsekwencji nierówność: $1\le a^2+1=a^2+b=-(b+d^2)=-(1+d^2)\le -1$, która jest fałszywa. Nie ma więc takiej homografii $g:\mathbb{ℝ}\mapsto \mathbb{ℝ}$, aby $g\circ g=f$.

Ćwiczenie 2.3.

Wyrazić w prostszej postaci:
a) $\arcsin (\cos x)$, $\arccos (\sin x)$,
b) $\sin (\arccos x)$, $\cos (\arcsin x)$,
c) $\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{t}\mathrm{g}(\mathrm{c}\mathrm{t}\mathrm{g}x)$, $\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{c}\mathrm{t}\mathrm{g}(\mathrm{t}\mathrm{g}x)$,
d) $\mathrm{t}\mathrm{g}(\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{c}\mathrm{t}\mathrm{g}x)$, $\mathrm{c}\mathrm{t}\mathrm{g}(\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{t}\mathrm{g}x)$,
e) $\sinh (\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}\mathrm{h}x)$, $\cosh (\mathrm{a}\mathrm{r}\mathrm{s}\mathrm{i}\mathrm{n}\mathrm{h}x)$.

Wskazówka

a) Skorzystać ze związku: $\arccos x=\arcsin (-x)+\frac{\pi }{2}$.
b) Skorzystać z jedynki trygonometrycznej.

Rozwiązanie

a) Zauważmy, że funkcja $x\mapsto \arcsin (\cos x)$ jest określona w każdym punkcie zbioru liczb rzeczywistych i jest okresowa o okresie $2\pi$. Wystarczy więc wyznaczyć jej wartości w jakimkolwiek przedziale postaci $[a-\pi ,a+\pi ]$. Funkcja cosinus jest parzysta, stąd złożenie $x\mapsto \arcsin (\cos x)$ jest funkcją parzystą. Wystarczy więc rozważyć wyrażenie $\arcsin (\cos x)$ w zbiorze $0\le x\le \pi$. Jeśli $0\le x\le \pi$, to różnica $\frac{\pi }{2}-x\in [-\frac{\pi }{2},\frac{\pi }{2}]$. Korzystając ze wzoru redukcyjnego: $\cos x=\sin (\frac{\pi }{2}-x)$ otrzymujemy

$\arcsin (\cos x)=\arcsin (\sin (\frac{\pi }{2}-x))=\frac{\pi }{2}-x$

dla $0\le x\le \pi$. Wobec parzystości rozważanej funkcji mamy dla $-\pi \le x\le \pi$

równość $\arcsin (\cos x)=\frac{\pi }{2}-|x|$

{{red}Rysunek am1c02.0020}
Funkcja $x\mapsto \arccos (\sin x)$ ma okres $2\pi$ i jest określona dla wszystkich liczb rzeczywistych. Podobnie jak w poprzednim przykładzie określimy więc jej wartość w przedziale $[-\pi ,\pi ]$. Dzięki okresowości wystarczy to, aby określić jej wartość dla dowolnej liczby rzeczywistej $x$. Zauważmy, że funkcja $y\mapsto f(y)=\arccos y-\frac{\pi }{2}$ jest nieparzysta, więc $f(-y)=-f(y)$, stąd

$\arccos (-y)=\pi -\arccos y,\text{<mrow data-mjx-texclass="ORD">dla</mrow>}|y|\le \frac{\pi }{2}.$

Rozumując jak poprzednio, na mocy wzoru redukcyjnego równość: $\sin x=\cos (\frac{\pi }{2}-x)$. Stąd

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \arccos (\sin x)) \ =\ \arccos\bigg(\cos\bigg(\frac{\pi}{2}-x\bigg)\bigg) \ =\ \frac{\pi}{2}-x }

dla $x\in [0,\frac{\pi }{2}]$. Natomiast dla $x\in [\frac{\pi }{2},\pi ]$ mamy równość

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \arccos (\sin x) \ =\ -\bigg(\frac{\pi}{2}-x\bigg) \ =\ x-\frac{\pi}{2}. }

Stąd dla $|x-\frac{\pi }{2}|\le \frac{\pi }{2}$ mamy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \arccos (\sin x)) \ =\ \bigg|x-\frac{\pi}{2}\bigg|. }

Korzystając teraz z nieparzystości funkcji $y\mapsto \arccos y-\frac{\pi }{2}$ dla $x\in [-\pi ,0]$ otrzymamy $\arccos (\sin x)=\pi -|x+\frac{\pi }{2}|.$ Stąd ostatecznie dla $x\in [-\pi ,\pi ]$ mamy

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \arccos (\sin x)=\left\{\aligned &\frac{3\pi}{2}+x, &\textrm{ dla }& -\pi \leq x\leq-\frac{\pi}{2}\\ &\frac{\pi}{2}-x, &\textrm{ dla }& -\frac{\pi}{2} \leq x\leq \frac{\pi}{2}\\ &x-\frac{\pi}{2}, &\textrm{ dla }&+ \frac{\pi}{2} \leq x\leq \pi.\endaligned \right. }

{{red}Rysunek am1c02.0030}
b) Niech $y=\arccos x$. Zatem $\sin y\ge 0$. Z jedynki trygonometrycznej: ${\sin }^{2}y=1-{\cos }^{2}y=1-x^2$. Stąd $\sin (\arccos x)=\sqrt{1-x^2}$ dla $-1\le x\le 1$.

Podobnie dostajemy równość: $\cos (\arcsin x)=\sqrt{1-x^2}$ dla $-1\le x\le 1$.
c) Funkcja $x\mapsto \mathrm{a}\mathrm{r}\mathrm{c}\mathrm{t}\mathrm{g}(\mathrm{c}\mathrm{t}\mathrm{g}x)$ jest nieparzysta, gdyż jest złożeniem dwóch funkcji nieparzystych: $x\mapsto \mathrm{c}\mathrm{t}\mathrm{g}x$ oraz $u\mapsto \mathrm{a}\mathrm{r}\mathrm{c}\mathrm{t}\mathrm{g}u$. Jest okresowa o okresie $\pi$ wystarczy więc rozważyć ją np. na przedziale $0<x<\pi$. Ze wzoru redukcyjnego mamy $\mathrm{c}\mathrm{t}\mathrm{g}x=\mathrm{t}\mathrm{g}(\frac{\pi }{2}-x),$ stąd

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \mathrm{arctg}\,(\mathrm{ctg}\, x) \ =\ \mathrm{arctg}\,\left(\mathrm{tg}\,\left(\frac{\pi}{2}-x\right)\right)=\frac{\pi}{2}-x }

dla $0<x<\pi$.

Podobnie $x\mapsto \mathrm{a}\mathrm{r}\mathrm{c}\mathrm{c}\mathrm{t}\mathrm{g}(\mathrm{t}\mathrm{g}x)$ jest nieparzysta, okresowa o okresie $\pi$. Wystarczy więc rozważyć ją np. w przedziale $(-\frac{\pi }{2},\frac{\pi }{2})$, gdzie zachodzi równość:

$\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{c}\mathrm{t}\mathrm{g}(\mathrm{t}\mathrm{g}x)=\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{c}\mathrm{t}\mathrm{g}(\mathrm{c}\mathrm{t}\mathrm{g}(\frac{\pi }{2}-x))=\frac{\pi }{2}-x.$

d) Pamiętając, że $\mathrm{t}\mathrm{g}u=\frac{1}{\mathrm{c}\mathrm{t}\mathrm{g}u}$, otrzymamy $\mathrm{t}\mathrm{g}(\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{c}\mathrm{t}\mathrm{g}x)=\frac{1}{\mathrm{c}\mathrm{t}\mathrm{g}(\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{c}\mathrm{t}\mathrm{g}x)}=\frac{1}{x}$, dla $x\ne 0$.

Podobnie: $\mathrm{c}\mathrm{t}\mathrm{g}(\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{t}\mathrm{g}x)=\frac{1}{\mathrm{t}\mathrm{g}(\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{t}\mathrm{g}x)}=\frac{1}{x}$, dla $x\ne 0$.
e) Z jedynki hiperbolicznej $\sinh (u)=\sqrt{{\cosh }^{2}u-1}$ dla $u\ge 0$. Po podstawieniu $u:=\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}\mathrm{h}x$, dostajemy $\sinh (\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}\mathrm{h}x)=\sqrt{x^2-1}$ dla $x\ge 1$.

Z kolei ${\cosh }^{2}v=1+{\sinh }^{2}v$. Funkcja $x\mapsto \cosh (\mathrm{a}\mathrm{r}\mathrm{s}\mathrm{i}\mathrm{n}\mathrm{h}x)$ jest określona na całym zbiorze liczb rzeczywistych i jest parzysta. Mamy równość:

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \cosh({\rm arsinh\, } x) \ =\ \sqrt{1+\sinh^2({\rm arsinh\, } x)} \ =\ \sqrt{1+x^2}, }

prawdziwą dla wszystkich liczb rzeczywistych $x$.

Ćwiczenie 2.4.

Wykazać, że dla dowolnych liczb $x$, $y$ zachodzą równości:
a) $\cosh (x+y)=\cosh x\cosh y+\sinh x\sinh y,$
b) $\sinh (x+y)=\sinh x\cosh y+\cosh x\sinh y.$

Wskazówka

a) Warto przekształcić wpierw prawą stronę równości, skorzystać z definicji funkcji $\sinh$ oraz $\cosh$, wykonać mnożenie i zredukować wyrazy podobne.
b) Należy postąpić podobnie jak w punkcie a) zadania.

Rozwiązanie

Uzupelnic z.am1.02.040|

a) Z definicji funkcji $\sinh$ i $\cosh$ mamy:

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned 4(\cosh x \cosh y+\sinh x\sinh y)&=(e^x+e^{-x} )(e^y+e^{-y} )(e^x-e^{-x} )(e^y-e^{-y} )\\ &=e^{x+y}+e^{x-y}+e^{-x+y}+e^{-x-y}+e^{x+y}-e^{x-y}-e^{-x+y}+e^{-x-y}\\ &=2(e^{x+y}+e^{-(x+y)})\\ &=4\cosh(x+y), \endaligned }

stąd $\cosh x\cosh y+\sinh x\sinh y=\cosh (x+y).$ b) Dokonując podobnych przekształceń jak w punkcie a) otrzymujemy:

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned 4(\sinh x \cosh y+\cosh x\sinh y)&=(e^x-e^{-x} )(e^y+e^{-y} )(e^x+e^{-x} )(e^y-e^{-y} )\\ &=e^{x+y}+e^{x-y}-e^{-x+y}-e^{-x-y}+e^{x+y}-e^{x-y}+^{-x+y}-e^{-x-y}\\ &=2(e^{x+y}-e^{-(x+y)})\\ &=4\sinh(x+y), \endaligned }

stąd $\sinh x\cosh y+\cosh x\sinh y=\sinh (x+y).$

Ćwiczenie 2.5.

a) Niech $T_n(x):=\cos (n\arccos x)$ dla $n=0,1,2,...$. Wykaż, że $T_0(x)=1$, $T_1(x)=x$ oraz

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle T_{n+2}(x) \ =\ 2x T_{n+1}(x)-T_n (x), }

dla $n\ge 0$.
b) Wykazać, że funkcja $T_n(x)=\cos (n\arccos x)$ jest wielomianem zmiennej $x$, dla $n=0,1,2,3,...$.

Wskazówka

a) Przekształcić $T_{n+2}$ oraz $T_{n+1}$ wykorzystując wzory wyrażające sinus i cosinus sumy $x+y$, analogiczne do tych, które zostały wykazane w zadaniu Uzupelnic z.am1.02.040|, a mianowicie:

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned \cos(x+y)&=\cos x\cos y-\sin x\sin y\\ \sin(x+y)&=\sin x \cos y+\cos x\sin y. \endaligned }

b) Suma i iloczyn wielomianów jest wielomianem. Wykorzystać formułę z punktu a) zadania.

Rozwiązanie

Uzupelnic z.am1.02.050|

a) Niech $y:=\arccos x$. Stosując znane wzory na cosinus i sinus sumy $x+y$ oraz jedynkę trygonometryczną otrzymamy

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned T_{n+2}(x)&=\cos(n y+2 y)\\ &=\cos(n y)\cos(2y)-\sin(n y)\sin(2y)\\ &=\cos(ny)(2\cos^2 y-1)-\sin(ny)2\sin y\cos y\\ &=T_n (x)(2x^2-1)-2 x \sin(n\arccos x) \sin (\arccos x), \endaligned }

gdyż $\cos y=\cos (\arccos x)=x$ oraz $\cos ny=\cos (n\arccos x)=T_n(x).$ Przekształćmy także

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned T_{n+1}(x)&=\cos(n y+ y)\\ &=\cos(n y)\cos(y)-\sin(n y)\sin(y)\\ &=T_n (x) x-\sin(n\arccos x) \sin (\arccos x). \endaligned }

Stąd $\sin (n\arccos x)\sin (\arccos x)=x{T}_n(x)-T_{n+1}(x)$. Wobec tego

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned T_{n+2}(x)&=T_n (x)(2x^2-1)-2 x \sin(n\arccos x) \sin (\arccos x)\\ &=T_n (x)(2x^2-1)-2 x(x T_n (x)-T_{n+1}(x))\\ &=2x T_{n+1}(x)-T_{n}(x). \endaligned }

b) Formuła wykazana w punkcie b) pozwala wyznaczyć $T_{n+2}$ dla $n=0,1,2,...$. Iloczyn i suma wielomianów jest wielomianem. Funkcje $T_0(x)=1$ oraz $T_1(x)=x$ są wielomianami zmiennej $x$, więc każda kolejna funkcja

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned T_2(x)&=2xT_1(x)-T_0(x)=2x^2-1,\\ T_3(x)&=2xT_2(x)-T_1(x)=4x^3-3x,\\ T_4(x)&=2xT_3(x)-T_2(x)=8x^4-8x^2+1,\\ T_5(x)&=2xT_4(x)-T_3(x)=16x^5-20x^3+5x, \ \ ... \endaligned }

jest również wielomianem zmiennej $x$.

Ćwiczenie 2.6.

a) Niech $U_n(x):=\cosh (n\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}\mathrm{h}x)$ dla $n=0,1,2,...$. Wykaż, że $U_0(x)=1$, $U_1(x)=x$ oraz

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle U_{n+2}(x) \ =\ 2xU_{n+1}(x)-U_{n}(x),\quad } dla $n\ge 0$.

b) Wykazać, że funkcja $U_n(x)=\cosh (n\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}\mathrm{h}x)$ jest wielomianem zmiennej $x$, dla $n=0,1,2,3,...$.
c) Wykazać, że dla dowolnej liczby $n=0,1,2,3,...$ istnieje wielomian $W_n$ taki, że $U_n$ oraz $T_n$ są restrykcjami -- odpowiednio do przedziałów $[1,\mathrm{\infty })$ oraz $[-1,1]$ -- wielomianu $W_n$.

Wskazówka

a) Warto uprościć $U_{n+2}$ oraz $U_{n+1}$ wykorzystując wzory wykazane w zadaniu Uzupelnic z.am1.02.040|.
b) Suma i iloczyn wielomianów jest wielomianem. Wykorzystać formułę z punktu a) zadania.
c) Porównać formuły z punktów b) w zadaniach Uzupelnic z.am1.02.050| i Uzupelnic z.am1.02.060|. Wyznaczyć dziedziny funkcji $T_n$ oraz $U_n$.

Rozwiązanie

Uzupelnic z.am1.02.060|

Niech $y:=\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}\mathrm{h}x$. Postępując podobnie jak w zadaniu Uzupelnic z.am1.02.050|, tzn. stosując wykazane w zadaniu Uzupelnic z.am1.02.040| wzory na cosinus hiperboliczny i sinus hiperboliczny sumy $x+y$ oraz jedynkę hiperboliczną otrzymamy

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned U_{n+2}(x)&=\cosh(n y+2 y)\\ &=\cosh(n y)\cosh(2y)+\sinh(n y)\sinh(2y)\\ &=\cosh(ny)(2\cosh^2 y-1)+\sinh(ny)2\sinh y\cosh y\\ &=U_n (x)(2x^2-1)+2 x \sinh(n{\rm arcosh\, } x) \sinh ({\rm arcosh\, } x), \endaligned }

gdyż $\cosh y=\cosh (\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}\mathrm{h}x)=x$ oraz $\cosh (ny)=\cosh (n\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}\mathrm{h}x)=U_n(x).$ Przekształćmy także

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned U_{n+1}(x)&=\cosh(n y+ y)\\ &=\cosh(n y)\cosh(y)+\sinh(n y)\sinh(y)\\ &=U_n (x) x+\sinh(n{\rm arcosh\, } x) \sinh ({\rm arcosh\, } x). \endaligned }

Stąd $\sinh (n\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}\mathrm{h}x)\sinh (\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}\mathrm{h}x)=-x{U}_n(x)+U_{n+1}(x)$. Wobec tego

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned U_{n+2}(x)&=U_n (x)(2x^2-1)+2 x \sinh(n{\rm arcosh\, } x) \sinh ({\rm arcosh\, } x)\\ &=U_n (x)(2x^2-1)+2 x(-x U_n (x)+U_{n+1}(x))\\ &=2x U_{n+1}(x)-U_{n}(x). \endaligned }

b) Zauważmy, że formuła wykazana w punkcie b) pozwala wyznaczyć $U_{n+2}$ dla $n=0,1,2,...$. Iloczyn i suma wielomianów jest wielomianem. Ponadto funkcje $U_0(x)=1$ oraz $U_1(x)=x$ są wielomianami zmiennej $x$, więc każda kolejna funkcja

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned U_2(x)&=2xU_1(x)-U_0(x)=2x^2-1,\\ U_3(x)&=2xU_2(x)-U_1(x)=4x^3-3x,\\ U_4(x)&=2xU_3(x)-U_2(x)=8x^4-8x^2+1,\\ U_5(x)&=2xU_4(x)-U_3(x)=16x^5-20x^3+5x, \ \ ... \endaligned }

jest również wielomianem zmiennej $x$.
c) Formuły pozwalające wyznaczyć $T_{n+2}$ oraz $U_{n+2}$ są identyczne:

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned T_{n+2}(x)&=2x T_{n+1}(x)-T_{n}, \ \ T_{0}(x)=1, \ \ T_1 (x)=x,\\ U_{n+2}(x)&=2x U_{n+1}(x)-U_{n}, \ \ U_{0}(x)=1, \ \ U_1 (x)=x. \endaligned }

Wielomiany $T_n$ oraz $U_n$ są więc zacieśnieniem -- odpowiednio do przedziałów $[-1,1]$ oraz $[1,\mathrm{\infty })$ -- tego samego wielomianu $W_n$, $n=0,1,2,...$. Zwróćmy uwagę na fakt, że dziedziną każdej z funkcji $T_n(x)=\cos (n\arccos x)$ jest przedział $[-1,1]$ a dziedziną funkcji $U_n(x)=\cosh (n\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}\mathrm{h}x)$ -- przedział $[1,+\mathrm{\infty })$. Stąd formalnie równość funkcji $T_n(x)=U_n(x)$ ma sens w części wspólnej obu dziedzin, tj. w punkcie $x=1$.