Question Number 143293 by Huy last updated on 12/Jun/21
$${f}\left({x}\right)={ln}\left(\mathrm{1}+{ln}\left({x}\right)\right). \\ $$$${f}\left({x}\right)={ln}\left({f}'\left({x}\right)\right).{Find}\:{x} \\ $$
Answered by Olaf_Thorendsen last updated on 12/Jun/21
$${f}\left({x}\right)\:=\:\mathrm{ln}\left(\mathrm{1}+\mathrm{ln}{x}\right) \\ $$$${f}'\left({x}\right)\:=\:\frac{\frac{\mathrm{1}}{{x}}}{\mathrm{1}+\mathrm{ln}{x}} \\ $$$${f}\left({x}\right)\:=\:\mathrm{ln}\left({f}'\left({x}\right)\right) \\ $$$$\mathrm{ln}\left(\mathrm{1}+\mathrm{ln}{x}\right)\:=\:\mathrm{ln}\left(\frac{\mathrm{1}}{{x}\left(\mathrm{1}+\mathrm{ln}{x}\right)}\right) \\ $$$$\mathrm{1}+\mathrm{ln}{x}\:=\:\frac{\mathrm{1}}{{x}\left(\mathrm{1}+\mathrm{ln}{x}\right)} \\ $$$${x}\left(\mathrm{1}+\mathrm{ln}{x}\right)^{\mathrm{2}} \:=\:\mathrm{1} \\ $$$${x}\:=\:\mathrm{1}\:\mathrm{is}\:\mathrm{an}\:\mathrm{evident}\:\mathrm{solution} \\ $$
Answered by mathmax by abdo last updated on 12/Jun/21
$$\mathrm{f}\left(\mathrm{x}\right)=\mathrm{log}\left(\mathrm{1}+\mathrm{logx}\right)\:\:\mathrm{we}\:\mathrm{have}\:\mathrm{1}+\mathrm{logx}>\mathrm{0}\:\Rightarrow\mathrm{logx}>−\mathrm{1}\:\Rightarrow\mathrm{x}>\mathrm{e}^{−\mathrm{1}} \\ $$$$\left.\mathrm{f}\:\mathrm{is}\:\mathrm{defined}\:\mathrm{on}\right]\mathrm{e}^{−\mathrm{1}} \:,+\infty\left[\right. \\ $$$$\mathrm{f}\left(\mathrm{x}\right)=\mathrm{log}\left(\mathrm{f}^{'} \left(\mathrm{x}\right)\right)\:\Rightarrow\mathrm{log}\left(\mathrm{1}+\mathrm{logx}\right)=\mathrm{log}\left(\frac{\mathrm{1}}{\mathrm{x}\left(\mathrm{1}+\mathrm{logx}\right)}\right)\:\Rightarrow \\ $$$$\mathrm{1}+\mathrm{logx}=\frac{\mathrm{1}}{\mathrm{x}\left(\mathrm{1}+\mathrm{logx}\right)}\:\Rightarrow\mathrm{x}\left(\mathrm{1}+\mathrm{logx}\right)^{\mathrm{2}} =\mathrm{1}\:\Rightarrow \\ $$$$\mathrm{x}\left(\mathrm{1}+\mathrm{2logx}\:+\mathrm{log}^{\mathrm{2}} \mathrm{x}\right)−\mathrm{1}=\mathrm{0}\:\Rightarrow\mathrm{xlog}^{\mathrm{2}} \mathrm{x}+\mathrm{2xlogx}+\mathrm{x}−\mathrm{1}=\mathrm{0}=\Psi\left(\mathrm{x}\right) \\ $$$$\Psi\left(\mathrm{x}\right)=\mathrm{xlog}^{\mathrm{2}} \mathrm{x}+\mathrm{2xlogx}+\mathrm{x}−\mathrm{1}\:\Rightarrow \\ $$$$\Psi^{'} \left(\mathrm{x}\right)=\mathrm{log}^{\mathrm{2}} \mathrm{x}+\mathrm{2logx}\:+\mathrm{2logx}\:+\mathrm{2}+\mathrm{1}\:=\mathrm{log}^{\mathrm{2}} \mathrm{x}+\mathrm{4logx}\:+\mathrm{3} \\ $$$$=\mathrm{u}^{\mathrm{2}} \:+\mathrm{4u}+\mathrm{3}\:\left(\mathrm{u}=\mathrm{logx}\right) \\ $$$$\Delta^{'} \:=\mathrm{2}^{\mathrm{2}} −\mathrm{3}=\mathrm{1}\:\Rightarrow\mathrm{logx}=−\mathrm{2}+\mathrm{1}\:\mathrm{or}\:\mathrm{logx}=−\mathrm{2}−\mathrm{1}\:\Rightarrow\mathrm{x}=\mathrm{e}^{−\mathrm{1}} \:\mathrm{or}\:\mathrm{x}=\mathrm{e}^{−\mathrm{3}} \\ $$$$\mathrm{x}\:\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{e}^{−\mathrm{3}} \:\:\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{e}^{−\mathrm{1}} \:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:+\infty \\ $$$$\Psi^{'} \:\:\:\:\:\:\:\:\:\:\:\mathrm{0}\:\:\:\:\:\:−\:\:\:\:\:\:\:\:\:\mathrm{0}\:\:\:\:\:\:\:\:\:\:\:\:\:+ \\ $$$$\Psi\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{decr}\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{incr}\:\:\:\:\:\:\:\:\:\:+\infty \\ $$$$\left.\Psi\:\mathrm{is}\:\mathrm{decreazing}\:\mathrm{onI}=\right]\frac{\mathrm{1}}{\mathrm{e}^{\mathrm{3}} },\frac{\mathrm{1}}{\mathrm{e}}\left[\:\:\Rightarrow\exists!\mathrm{x}_{\mathrm{0}} \in\mathrm{I}\:/\Psi\left(\mathrm{x}_{\mathrm{0}} \right)=\mathrm{0}\right. \\ $$$$\left.\Psi\:\mathrm{is}\:\mathrm{increazing}\:\:\mathrm{onJ}=\right]\frac{\mathrm{1}}{\mathrm{e}},+\infty\left[\:\Rightarrow\exists!\mathrm{y}_{\mathrm{0}} \in\:\mathrm{J}\:/\:\Psi\left(\mathrm{y}_{\mathrm{0}} \right)=\mathrm{0}\right. \\ $$$$\mathrm{we}\:\mathrm{see}\:\mathrm{that}\:\Psi\left(\mathrm{1}\right)=\mathrm{0}\:\Rightarrow\mathrm{y}_{\mathrm{0}} =\mathrm{1} \\ $$$$\mathrm{we}\:\mathrm{can}\:\mathrm{determine}\:\mathrm{x}_{\mathrm{0}} \mathrm{by}\:\mathrm{newton}\:\mathrm{method}… \\ $$