Herien Wolf je napisao:[dispmath]1+\sin^2ax=\cos x\\
\cos x\in\left(-1,1\right)\\
\sin^2ax\ge0\\
\Rightarrow\;\sin^2ax=0\;\Rightarrow\;\sin ax=0\\
\Rightarrow\;\cos x=1[/dispmath]
Samo da ovaj deo malo pojasnim, zbog drugih. Pošto je [inlmath]\sin^2ax\ge0[/inlmath], odatle je [inlmath]1+\sin^2ax\ge1[/inlmath], tj. leva strana jednačine je [inlmath]\ge1[/inlmath], pa samim tim mora biti i desna, što znači [inlmath]\cos x\ge1[/inlmath]. Pošto kosinus može biti maksimalno [inlmath]1[/inlmath], sledi [inlmath]\cos x=1[/inlmath], a odatle, pošto mora biti [inlmath]1[/inlmath] i leva strana jednačine, [inlmath]\sin ax=0[/inlmath].
Herien Wolf je napisao:[dispmath]x_1=0\\
x_2=2\pi[/dispmath]
Zbog čega si za [inlmath]\cos x=1[/inlmath] napisao samo ova dva rešenja? Zar nisu rešenja i [inlmath]x=6\pi[/inlmath], [inlmath]x=8\pi[/inlmath], [inlmath]x=-2\pi[/inlmath] itd.?
Za jednačinu [inlmath]\cos x=1[/inlmath] pravilno je kao rešenja napisati [inlmath]x=2k\pi[/inlmath].
Herien Wolf je napisao:[inlmath]\Rightarrow\;\sin a0=0[/inlmath] vazi za svako [inlmath]a[/inlmath]
[dispmath]\Rightarrow\;\sin a0=0\\
a\cdot0=0[/dispmath]
Upravo tako, znači, jednačina sigurno ima najmanje jedno rešenje, bez obzira na vrednost parametra [inlmath]a[/inlmath], a to je rešenje [inlmath]x=0[/inlmath].
E sad, u zatatku se traže one vrednosti parametra [inlmath]a[/inlmath] za koje će jednačina imati
jedinstveno rešenje. To znači, da pored rešenja [inlmath]x=0[/inlmath], jednačina nema nijedno drugo rešenje.
Znači, za [inlmath]x\ne0[/inlmath] ne sme istovremeno biti [inlmath]\sin ax=0[/inlmath] i [inlmath]\cos x=1[/inlmath]. To, opet, znači da ne sme istovremeno biti [inlmath]ax=k_1\pi[/inlmath] i [inlmath]x=2k_2\pi[/inlmath], gde su [inlmath]k_1[/inlmath] i [inlmath]k_2[/inlmath] celi brojevi različiti od nule.
Dakle, [inlmath]\frac{k_1}{a}[/inlmath] ne sme biti paran broj ni za jedno [inlmath]k_1[/inlmath].
Pretpostavimo da je [inlmath]a[/inlmath] bilo koji racionalan broj, oblika [inlmath]\frac{p}{q},\;p,q\in\mathbb{Z},\;q\ne0[/inlmath]. Tada će [inlmath]\frac{k_1}{a}[/inlmath] biti jednak [inlmath]\frac{k_1q}{p}[/inlmath], a on će biti paran za svako [inlmath]k_1[/inlmath] koje predstavlja celobrojni umnožak od [inlmath]2p[/inlmath]. Sledi da [inlmath]a[/inlmath] ne sme biti racionalan broj.
Kada je [inlmath]a[/inlmath] iracionalan broj, tada će i [inlmath]\frac{k_1}{a}[/inlmath] biti iracionalan broj, pa samim tim ne može biti paran, čime zaključujemo da [inlmath]a[/inlmath] mora biti iracionalan broj da bi jednačina imala jedinstveno rešenje.
U tekstu zadatka nije navedeno da [inlmath]a[/inlmath] mora biti realno, mada pretpostavljam da se podrazumeva. Ipak, ako je potrebno, lako se može pokazati da ako je [inlmath]a[/inlmath] kompleksan broj s imaginarnim delom različitim od nule, tada jednačina takođe ima jedinstveno rešenje [inlmath]x=0[/inlmath].