Wyznacz funkcję odwrotną do $\color{Cyan} f(x) $ w przedziale $\color{Cyan} \left[ \frac{\pi}{2}; \frac{3\pi}{2} \right] $

Wprowadzenie Na początek przypomnijmy sobie czym w ogóle jest funkcja odwrotna.
Jeśli dziedzinę funkcji $\color{Cyan}f$ oznaczymy jako zbiór $X$, a przeciwdziedzinę jako zbiór $Y$, możemy napisać: $$\color{Cyan} f: X \to Y $$ Czytamy to w taki sposób: „funkcja $f$ jest zdefiniowana na zbiorze $X$ i przyjmuje wartości ze zbioru $Y$.”
A funkcja odwrotna? Nic prostrzego: $$\color{#ff6600} f^{-1}: Y \to X $$ Jeśli więc $\color{Cyan} f(2) = 4$, to $\color{#ff6600} f^{-1}(4) = 2$.
Jeśli przedstawimy na jedym układzie współrzędnych pewną funkcję oraz funkcję do niej odwrotną, to... wykresy nałożą się na siebie. Cóż, w szkole/na studiach pewnie uczyli Cię inaczej — że funkcja odwrotna $\color{#ff6600} f^{-1}$ jest odbiciem funkcji $\color{Cyan} f$ względem prostej $\color{#88cc00} y=x$. Aby zrozumieć tę rozbieżność, weźmy przykładową funkcję i jej odwrotność: \begin{gather*}\color{Cyan} f: \mathbb{R} \to (0, \infty) \\\color{Cyan} y = 2^x \\\\\color{#ff6600} f^{-1}: (0, \infty) \to \mathbb{R} \\\color{#ff6600} x = \log_{2}{y} \end{gather*} $\color{Cyan} f$ przyjmuje argumenty ze zbioru liczb rzeczywistych, a zwraca wartości z przedziału $\color{Cyan} (0, \infty)$, natomiast $\color{#ff6600} f^{-1}$ robi dokładnie odwrotnie — przyjmuje argumenty z przedziału $\color{#ff6600} (0, \infty)$, a zwraca wartości ze zbioru liczb rzeczywistych. To oznacza, że $\color{#ff6600} f^{-1}$ przyjmuje jako argumenty to, co dla $\color{Cyan} f$ było wartościami, i odwrotnie.

Przyjęło się jednak, aby funkcje odwrotne opisywać za pomocą argumentu $x$ — zamiast $\color{#ff6600} f^{-1}(y)$ będzie $\color{#ff6600} f^{-1}(x)$. To tylko zamiana nazwy zmiennej, ale dzięki temu zachowujemy standard — oś pozioma to zawsze argumenty, pionowa to wartości.
I właśnie wtedy wykres $\color{#ff6600} f^{-1}$ staje się odbiciem wykresu $\color{Cyan} f$ względem prostej $\color{#88cc00} y=x$. Nie dlatego, że tak „ma być”, ale dlatego, że każdemu punktowi $(x, y)$ na wykresie $\color{Cyan} f$ odpowiada punkt $(y, x)$ na wykresie $\color{#ff6600} f^{-1}$.

A tak wyglądają wyresy naszych funcji $\color{Cyan} f(x)$ i $\color{#ff6600} f^{-1}(x)$:

---

Rozwiązanie Aby wyznaczyć funkcję odwrotną, wystarczy z podanego wzoru funkcji obliczyć $x$.
Funkcją odwrotną do sinusa jest $\color{Cyan} \arcsin(x)$, lecz pojawia się problem: zbiór wartości tej funkcji jest przedziałem $\color{Cyan} \left[ -\frac{\pi}{2}; \frac{\pi}{2} \right] $. Innymi słowy, $\color{Cyan} \arcsin(x)$ jest odwrotnością jedynie małego fragmentu sinusoidy - sinusoidy z dziedziną ograniczoną do przedziału $\color{Cyan} \left[ -\frac{\pi}{2}; \frac{\pi}{2} \right] $.
Aby ten problem rozwiązać, należy przekształcić funkcję $\color{Cyan} \sin(x)$ tak, aby zbiór wartości $\color{Cyan} \arcsin(x)$ przesunął się o $\color{Cyan} \pi$, ale sama sinusoida pozostała bez zmian: \begin{gather*}\color{Cyan} y = \sin(x) = -\sin(x-\pi) \end{gather*} Aby zrozumieć tę równość spójrz na poniższą wizualizację. Przesuń suwak w prawo, aby odjąć od argumentu $x$ liczbę $\pi$ oraz zaznacz opcję „odwróć“, aby odwrócić znak całego wyrażenia:

Fragment zaznaczony innym kolorem przedstawia tę część wykresu, którą odwracamy, stosując funkcję odwrotną $\color{Cyan} \arcsin(x)$. Zauważ, że gdy przesuniemy sinusoidę o $\color{Cyan}\pi$ w prawo, ten właśnie fragment idealnie wpisze się w interesujący nas przedział.

Teraz możemy obliczyć funkcję odwrotną: \begin{gather*}\color{Cyan} y = -\sin(x - \pi) \\\\\color{Cyan} -y = \sin(x - \pi) \\\\\color{Cyan} \arcsin(-y) = x - \pi \\\\\color{Cyan} \arcsin(-y) + \pi = x \\\\ {\color{Cyan}\arcsin(x)} \textrm{ jest funkcją nieparzystą, więc:} \\\\\color{Cyan} x = - \arcsin(y) + \pi \\\\ \end{gather*} Na koniec przedstawmy tę funkcję w postaci $\color{#ff6600} f^{-1}(x)$: \begin{gather*}\color{#00dd66} f^{-1}(x) = -\arcsin(x) + \pi \end{gather*} A tak wyglądają wykresy naszych funkcji:

Zaznaczony pogrubioną, niebieską linią fragment sinusoidy jest tym, co odbijamy względem prostej $\color{#88cc00} y=x$.