Goniometrická nerovnice

Přeji pěkné odpoledne, Danieli,

zkoušel jsem to řešit analyticky nejrůznějšími způsoby, strávil jsem u toho rovněž víc času, než bych byl ochotný připustit, a tragicky jsem selhal. Zkusil jsem tedy použít matematický software, ale ani ten nenašel pěkné analytické řešení v $\mathbb{ R}$.

Abyste tu tedy měl alespoň nějakou odpověď, nastíním, jak bych přistoupil k numerickému řešení. Začnu nějakými analytickými úpravami a úvahami.

V nerovnici $\Big|\tan^4(x) - |\sin(- 2 \cdot x)| - 1\Big| \leq 2$ můžeme evidentně vyjádřit $\sin(-2 \cdot x)$ jako $-\sin(2 \cdot x)$, protože sinus je lichá funkce. Minus před sinem můžeme rovnou zanedbat, protože násobí celý vnitřek absolutní hodnoty.

Máme tedy $\Big|\tan^4(x) - |\sin(2 \cdot x)| - 1\Big| \leq 2$.

Vnější absolutní hodnoty se rádoby elegantně zbavíme tak, že celek rozdělíme na dvě nerovnice.

$-2 \leq \tan^4(x) - |\sin(2 \cdot x)| - 1 \leq 2$

V tuto chvíli je docela dobré si uvědomit, že $\tan^4(x)$ je funkce zdola omezená (je umocněna na sudé číslo), tedy se zobrazuje pouze na nezáporná čísla. Dále postřehněme, že sinus je omezený shora, tedy nikdy nenabude vyšší funkční hodnoty než $1$. Pokud tedy od $\tan^4(x)$ odečteme $|\sin(2 \cdot x)| - 1$, nemůže být výsledek nikdy nižší než $-2$, tedy druhou zavedenou nerovnici můžeme opět elegantně ignorovat, protože tato nerovnost je splněna vždy.

$\tan^4(x) - |\sin(2 \cdot x)| - 1 \leq 2$

Přistupme teď k další mentální gymnastice. Funkce $\tan(x)$ je periodická s periodou $\pi$ na intervalech $(-\frac{ \pi} { 2} + k \cdot \pi , \frac{ \pi} { 2} + k \cdot \pi)$, kde $k \in \mathbb{ Z}$. To samé musí platit pro $\tan^4(x)$, protože umocnění s periodou nic neudělalo.

Je známo, že $\tan(x)$ je lichá funkce, tudíž $\tan^4(x)$ musí být sudá, neboť z lichosti obyčejného tangensu vyplývá $\tan^4(-x) = (-1)^4 \cdot \tan^4(x) = \tan^4(x)$.

Současně i $|\sin(2 \cdot x)|$ musí být sudá funkce, protože $|\sin(-2 \cdot x)| = |-\sin(2 \cdot x)| = |\sin(2 \cdot x)|$, jak už jsem vysvětloval výše.

Že je funkce $f(x) = -1$ sudá, snad není třeba dále rozvádět.

Na levé straně nerovnice $\tan^4(x) - |\sin(2 \cdot x)| - 1 \leq 2$ tedy máme součet/rozdíl tří funkcí, které jsou všechny sudé, tedy i funkce $f(x) = \tan^4(x) - |\sin(2 \cdot x)| - 1$ musí být sudá.

K čemu to je? Vy chcete řešit rovnici na intervalu $(-1, 1)$, ale s vědomím výše zmíněného faktu o sudosti funkce nám stačí vyřešit nerovnici na intervalu $\langle 0, 1)$ a výsledek následně jen zrcadlově překlopit na interval $(-1, 0 \rangle$.

Práce na intervalu $\langle 0, 1)$ nám přinese další příjemné benefity. Funkce $\sin(2 \cdot x)$ je na celém tomto intervalu nezáporná, v nerovnici tedy můžeme odstranit i druhou absolutní hodnotu, protože na intervalu $\langle 0, 1)$ bude platit $\sin(2 \cdot x) = |\sin(2 \cdot x)|$.

Řešíme tedy

$\tan^4(x) - \sin(2 \cdot x) - 1 \leq 2$ na intervalu $\langle 0, 1)$.

To už vypadá o něco příjemněji!

Nyní nerovnici převedeme na porovnávání s nulou a budeme hledat nulové body, tedy z nerovnice uděláme rovnici.

$\tan^4(x) - \sin(2 \cdot x) - 3 = 0$ na intervalu $\langle 0, 1)$

nebo taky

$\tan^4(x) = \sin(2 \cdot x) + 3$ na intervalu $\langle 0, 1)$

Hledat tyto kořeny je ovšem stále nepřekonatelný problém. Můžeme říct s jistotou jen to, že na daném intervalu je funkce $\tan^4(x)$ rostoucí a funkce $\sin(2 \cdot x) + 3$ je rostoucí na $\langle 0, \frac{ \pi} { 4} \rangle$ a klesající na $\langle \frac{ \pi} { 4} , 1)$ s lokálním maximem v bodě $\frac{ \pi} { 4}$. To plyne z derivací těchto funkcí.

Přitom na $\langle 0, 1)$ se funkční hodnoty funkce $\sin(2 \cdot x) + 3$ pohybují na intervalu $\langle 3, 4 \rangle$ a funkční hodnoty $\tan^4(x)$ na intervalu $\langle 0, \tan^4(1))$, kde $\tan^4(1) > 4$ (což lze ukázat s pomocí Taylorova rozvoje tangensu po několika iteracích).

Jelikož obor hodnot jedné z funkcí je podmnožinou druhého a obě funkce jsou na intervalu $\langle 0, 1)$ spojité, existuje alespoň $1$ kořen rovnice.

Nyní si připomeňme vzrušující fakt, že $\sin(2 \cdot x) + 3$ dosahuje lokálního maxima v bodě $\frac{ \pi} { 4}$ a $\tan^4(\frac{ \pi} { 4} ) = 1$, tedy na intervalu $\langle 0, \frac{ \pi} { 4} \rangle$ nabývá funkce $\sin(2 \cdot x) + 3$ hodnot z intervalu $\langle 3, 4\rangle$, zatímco funkce $\tan^4(x)$ se zde zobrazí pouze do intervalu $\langle 0, 1\rangle$, tudíž na intervalu $\langle 0, \frac{ \pi} { 4} \rangle$ určitě žádný kořen rovnice ležet nemůže.

To je pro náš příklad ale podstatná informace, protože na zbývajícím intervalu $\langle \frac{ \pi} { 4} , 1)$ jsou obě sledované funkce ryze monotónní, přičemž jedna je rostoucí a druhá klesající, tedy může existovat maximálně jeden kořen rovnice. My jsme v předešlých odstavcích ukázali, že musí existovat alespoň jeden. Nyní víme, že existuje právě jeden, který označíme jako $x_0$.

K čemu je všechno toto dobré? Právě jsme si (bez vykreslení grafů a bez použití matematického software) zdůvodnili, že řešením celé původní nerovnice je pouze jediný interval $\langle -x_0, x_0 \rangle$, kde $x_0$ je jediným existujícím řešením rovnice $\tan^4(x) = \sin(2 \cdot x) + 3$ na intervalu $\langle \frac{ \pi} { 4} , 1)$. Argumenty ke všem těmto dílčím tvrzením najdete výše.

To je asi tak všechno, k čemu se mi podařilo dohrabat analytickou cestou. Nyní nastupuje na řadu numerická matematika. Jak ale víme, řada numerických metod (např. půlení intervalu nebo Regula falsi) má jeden závažný nedostatek - pokud na intervalu existuje větší množství řešení, tato metoda najde vždy jen jedno.

My ale víme, že potřebujeme najít na konkrétním intervalu jediné řešení, které tam zcela určitě je jako jediné, což je naprosto ideální východisko pro numerickou metodu.

Moje odpověď na původní dotaz je tedy taková: zvolte si nějakou přesnost a najděte na intervalu $\langle \frac{ \pi} { 4} , 1)$ pomocí metody půlení intervalu (která vždy konverguje, pokud existuje řešení) kořen $x_0$ rovnice $\tan^4(x) = \sin(2 \cdot x) + 3$, který je tam právě jeden.

Interval $\langle -x_0, x_0 \rangle$ pak určitě musí být úplným řešením původní nerovnice.

Je mi líto, Danieli, že jsem vám nepomohl najít řešení analytické, ale snad vám alespoň toto bude k užitku. Pokud je to školní úloha a váš kantor se vytasí s nějakým analytickým řešením, určitě dejte vědět, protože by mě to opravdu zajímalo.

Zatím přeji pěkný zbytek dne.

Zdravím.

Přidám malý dodatek.

Stejně jako kolega i já nad problémem strávil značnou část víkendu. A také nemám analytické řešení.

Víceméně stejnými úvahami jsem se dostal k tomu, že potřebuji vyřešit rovnici

$\tan^4 x=\sin2x+3$ pro $x\in(0;1]$

Ta rovnice se dá celkem triviálními úpravami upravit tak, aby v ní byla jen fce tangens.

$\tan^4x=2\sin x\cos x+3\sin^2x+3\cos^2x$

$\tan^4x=\cos^2x(2\tan x+3\tan^2x+3)$ a protože $\cos x\ne0$

$\frac{ \tan^4x} { \cos^2x} =3\tan^2x+2\tan x+3$ a identita $\frac1{ \cos^2x} =\tan^2x+1$ dává

$\tan^6x+\tan^4x-3\tan^2x-2\tan x-3=0$

a tady jsem skončil, protože tuto rovnici 6. stupně analyticky nevyřeším.

Snad ti to k něcemu bude.

Přeji pěkný večer,

děkuji za doplnění. Přiznám se, že jsem to zkoušel také rozložit na substituovatelný polynom a tuto možnost jsem úplně přehlédl.

Každopádně, příliš pozdě jsem si všiml, že dotaz byl položen v sekci střední škola a nejsem si úplně jistý, jestli se na střední škole běžně probírá numerická matematika, o které jsem psal, tak svou předchozí odpověď ještě stručně doplním o drobné vysvětlení.

Danieli, v okamžiku, kdy nemůžeme najít analytické řešení (tj. naprosto přesné řešení, které v případě goniometrických nerovnic často operuje s konstantou $\pi$), je v praxi možné se iterativně (v postupných krocích) neustále správnému výsledku přibližovat, ačkoliv jej nikdy nedosáhneme. U určitém okamžiku je ale z našeho pohledu dost přesné na to, abychom ho mohli považovat za uspokojující. Vytrácí se tím sice ta krása analytické matematiky, ale mnohdy nám nezbývá nic jiného.

Abych tedy uvedl příklad, k čemu můžete dospět při numerickém řešení výše odvozených rovnic na intervalu $\langle \frac{ \pi} { 4} , 1)$, přibližně po $40$ krocích pomocí takzvané metody půlení intervalu jsem dospěl k tomu, že řešení je přibližně

$x_0 \sim \frac{ 1899731017741 \cdot \pi + 27585448017868} { 35184372088832}$,

přičemž skutečné řešení se od tohoto liší maximálně o $1.2 \cdot 10^{ -14}$. V metodě se samozřejmě dá pokračovat dalšími a dalšími kroky, které výsledek stále o něco zpřesňují.

V dalších krocích se jednotlivé konstanty výsledku stále dramaticky zvyšují a zlomek se stává obludným.

správnost přibližného řešení potvrzuje WolframAlpha:

https://www.wolframalpha.com/input/?i=solve+tan%28x%29%5E4…