Question Number 210702 by depressiveshrek last updated on 17/Aug/24
$$\mathrm{How}\:\mathrm{many}\:\mathrm{real}\:\mathrm{solutions}\:\mathrm{does}\:\mathrm{the} \\ $$$$\mathrm{equation}\:{x}=\mathrm{sin3}{x}\:\mathrm{have}? \\ $$
Answered by Frix last updated on 17/Aug/24
$${x}=\mathrm{sin}\:\mathrm{3}{x} \\ $$$${t}=\mathrm{3}{x} \\ $$$$\frac{{t}}{\mathrm{3}}=\mathrm{sin}\:{t} \\ $$$${t}_{\mathrm{1}} =\mathrm{0} \\ $$$$−\mathrm{1}\leqslant\frac{{t}}{\mathrm{3}}\leqslant\mathrm{1} \\ $$$$−\mathrm{3}\leqslant{t}\leqslant\mathrm{3} \\ $$$$\mathrm{sin}\:{t}\:\geqslant\mathrm{0}\:\Rightarrow\:\mathrm{0}\leqslant{t}\leqslant\pi;\:\pi>\mathrm{3} \\ $$$$\Rightarrow\:\mathrm{1}\:\mathrm{solution}\:\mathrm{for}\:{t}\in\left(\mathrm{0},\:\mathrm{3}\right] \\ $$$$\:\:\:\:\:\:\mathrm{1}\:\mathrm{solution}\:\mathrm{for}\:{t}\in\left[−\mathrm{3},\:\mathrm{0}\right) \\ $$$$\Rightarrow\:\mathrm{3}\:\mathrm{solutions} \\ $$$$ \\ $$$$ \\ $$$$\frac{{t}}{{n}}=\mathrm{sin}\:{t} \\ $$$$−{n}\leqslant{t}\leqslant{n} \\ $$$$\mathrm{sin}\:{t}\:\geqslant\mathrm{0}\:\Rightarrow\:\mathrm{2}{k}\pi\leqslant{t}\leqslant\left(\mathrm{2}{k}+\mathrm{1}\right)\pi \\ $$$$\mathrm{First}\:\mathrm{time}\:\mathrm{more}\:\mathrm{than}\:\mathrm{3}\:\mathrm{solutions}\:\mathrm{possible} \\ $$$$\mathrm{at}\:{n}=\mathrm{7} \\ $$$$−\mathrm{7}\leqslant{t}\leqslant\mathrm{7} \\ $$$$\mathrm{0}\leqslant{t}\leqslant\pi\vee\mathrm{2}\pi\leqslant{t}\leqslant\mathrm{3}\pi \\ $$$$\mathrm{but}\:\mathrm{in}\:\mathrm{fact}\:\frac{{t}}{\mathrm{7}}>\mathrm{sin}\:{t};\:\mathrm{2}\pi\leqslant{t} \\ $$$$ \\ $$$${n}=\mathrm{8}\:\Rightarrow\:\frac{{t}}{\mathrm{8}}=\mathrm{sin}\:{t}\:\mathrm{has}\:\mathrm{7}\:\mathrm{solutions} \\ $$
Answered by mr W last updated on 17/Aug/24
$${say}\:\mathrm{3}{x}={t},\:{the}\:{equation}\:{becomes}\: \\ $$$$\frac{{t}}{\mathrm{3}}=\mathrm{sin}\:{t}.\:{let}'{s}\:{generall}\:{look}\:{at}\:{the} \\ $$$${equation}\:{kx}=\mathrm{sin}\:{x}.\: \\ $$$${we}\:{see}\:{x}=\mathrm{0}\:{is}\:{always}\:{a}\:{root}.\:{besides} \\ $$$${due}\:{to}\:{symmetry}\:{if}\:{x}={a}\:{is}\:{a}\:{root},\: \\ $$$${then}\:{x}=−{a}\:{is}\:{also}\:{a}\:{root}.\:{therefore} \\ $$$${the}\:{number}\:{of}\:{roots}\:{is}\:{always}\:{odd}. \\ $$$${due}\:{to}\:{symmetry}\:{we}\:{only}\:{need}\:{to} \\ $$$${treat}\:{k}\geqslant\mathrm{0}.\:{for}\:{x}=\mathrm{0},\:\mathrm{sin}\:{x}=\mathrm{0}\:{has} \\ $$$${infinite}\:{roots}.\:{so}\:{now}\:{we}\:{take}\:{k}>\mathrm{0}. \\ $$
Commented by mr W last updated on 17/Aug/24
Commented by mr W last updated on 17/Aug/24
$$\left({kx}\right)'=\left(\mathrm{sin}\:{x}\right)'\: \\ $$$$\Rightarrow{k}=\mathrm{cos}\:{x}=\sqrt{\mathrm{1}−{k}^{\mathrm{2}} {x}^{\mathrm{2}} }\:\Rightarrow{x}=\sqrt{\frac{\mathrm{1}}{{k}^{\mathrm{2}} }−\mathrm{1}} \\ $$$$\mathrm{2}\left({n}−\mathrm{1}\right)\pi<{x}<\left(\mathrm{2}\left({n}−\mathrm{1}\right)+\frac{\mathrm{1}}{\mathrm{2}}\right)\pi \\ $$$$\mathrm{4}\left({n}−\mathrm{1}\right)^{\mathrm{2}} \pi^{\mathrm{2}} <{x}^{\mathrm{2}} <\mathrm{4}\left({n}−\frac{\mathrm{3}}{\mathrm{4}}\right)^{\mathrm{2}} \pi^{\mathrm{2}} \\ $$$$\mathrm{4}\left({n}−\mathrm{1}\right)^{\mathrm{2}} \pi^{\mathrm{2}} +\mathrm{1}<\frac{\mathrm{1}}{{k}_{{n}} ^{\mathrm{2}} }<\mathrm{4}\left({n}−\frac{\mathrm{3}}{\mathrm{4}}\right)^{\mathrm{2}} \pi^{\mathrm{2}} +\mathrm{1} \\ $$$$\frac{\mathrm{1}}{\:\sqrt{\mathrm{4}\left({n}−\frac{\mathrm{3}}{\mathrm{4}}\right)^{\mathrm{2}} \pi^{\mathrm{2}} +\mathrm{1}}}<{k}_{{n}} <\frac{\mathrm{1}}{\:\sqrt{\mathrm{4}\left({n}−\mathrm{1}\right)^{\mathrm{2}} \pi^{\mathrm{2}} +\mathrm{1}}} \\ $$$${k}_{{n}} =\mathrm{cos}\:\sqrt{\frac{\mathrm{1}}{{k}_{{n}} ^{\mathrm{2}} }−\mathrm{1}} \\ $$$${this}\:{equation}\:{has}\:{infinite}\:{solutions}: \\ $$$${k}_{\mathrm{1}} ,\:{k}_{\mathrm{2}} ,\:{k}_{\mathrm{3}} ,\:… \\ $$$${k}_{\mathrm{1}} =\mathrm{1} \\ $$$${k}_{\mathrm{2}} \approx\frac{\mathrm{1}}{\mathrm{7}.\mathrm{789706}} \\ $$$${k}_{\mathrm{3}} \approx\frac{\mathrm{1}}{\mathrm{14}.\mathrm{101695}} \\ $$$${k}_{\mathrm{4}} \approx\frac{\mathrm{1}}{\mathrm{20}.\mathrm{395833}} \\ $$$$…… \\ $$$${at}\:{x}=\mathrm{0}:\:{k}={k}_{\mathrm{1}} =\mathrm{1}.\: \\ $$$${if}\:{k}\geqslant{k}_{\mathrm{1}} =\mathrm{1},\:{there}\:{is}\:{one}\:{root}\:{x}=\mathrm{0}. \\ $$$${if}\:{k}<{k}_{\mathrm{1}} =\mathrm{1},\:{there}\:{are}\:{at}\:{least}\:\mathrm{3}\:{roots}. \\ $$$$ \\ $$$${generally} \\ $$$${for}\:{k}={k}_{{n}} \:{there}\:{are}\:\mathrm{4}{n}−\mathrm{3}\:{roots} \\ $$$${for}\:{k}_{{n}+\mathrm{1}} <{k}<{k}_{{n}} \:{there}\:{are}\:\mathrm{4}{n}−\mathrm{1}\:{roots} \\ $$$$ \\ $$$${back}\:{to}\:{the}\:{original}\:{question}\:{with} \\ $$$${x}=\mathrm{sin}\:\mathrm{3}{x}. \\ $$$${it}\:{is}\:{the}\:{same}\:{as}\:\frac{{x}}{\mathrm{3}}=\mathrm{sin}\:{x} \\ $$$${since}\:{k}=\frac{\mathrm{1}}{\mathrm{3}}<{k}_{\mathrm{1}} ,\:>{k}_{\mathrm{2}} \:\Rightarrow{it}\:{has}\:\mathrm{3}\:{roots}. \\ $$