Question Number 4615 by love math last updated on 14/Feb/16 | ||
$$\mathrm{2}^{{log}_{\mathrm{0}.\mathrm{5}} ^{\mathrm{2}} {x}} +{x}^{{log}_{\mathrm{0}.\mathrm{5}} {x}} >\mathrm{2}.\mathrm{5} \\ $$ | ||
Answered by Yozzii last updated on 14/Feb/16 | ||
$${Rearranging}\:{the}\:{given}\:{inequality} \\ $$ $${leads}\:{to}\:{x}^{{log}_{\mathrm{0}.\mathrm{5}} {x}} >\mathrm{2}.\mathrm{5}−\mathrm{2}^{{log}_{\mathrm{0}.\mathrm{5}} ^{\mathrm{2}} {x}} . \\ $$ $${Taking}\:{logaritms}\:{to}\:{base}\:\mathrm{0}.\mathrm{5}\:{on}\:{both} \\ $$ $${sides}\:{leads}\:{to}\:{log}_{\mathrm{0}.\mathrm{5}} {x}^{{log}_{\mathrm{0}.\mathrm{5}} {x}} >{log}_{\mathrm{0}.\mathrm{5}} \left(\mathrm{2}.\mathrm{5}−\mathrm{2}^{{log}_{\mathrm{0}.\mathrm{5}} ^{\mathrm{2}} {x}} \right). \\ $$ $${By}\:{the}\:{power}\:{rule}\Rightarrow\left({log}_{\mathrm{0}.\mathrm{5}} {x}\right)\left({log}_{\mathrm{0}.\mathrm{5}} {x}\right)>{log}_{\mathrm{0}.\mathrm{5}} \left(\mathrm{2}.\mathrm{5}−\mathrm{2}^{{log}_{\mathrm{0}.\mathrm{5}} ^{\mathrm{2}} {x}} \right) \\ $$ $$\Rightarrow{log}_{\mathrm{0}.\mathrm{5}} ^{\mathrm{2}} {x}>{log}_{\mathrm{0}.\mathrm{5}} \left(\mathrm{2}.\mathrm{5}−\mathrm{2}^{{log}_{\mathrm{0}.\mathrm{5}} ^{\mathrm{2}} {x}} \right) \\ $$ $${Let}\:{u}={log}_{\mathrm{0}.\mathrm{5}} ^{\mathrm{2}} {x}.\:\therefore\:{u}>{log}_{\mathrm{0}.\mathrm{5}} \left(\mathrm{2}.\mathrm{5}−\mathrm{2}^{{u}} \right) \\ $$ $$\Rightarrow\mathrm{0}.\mathrm{5}^{{u}} >\mathrm{0}.\mathrm{5}^{{log}_{\mathrm{0}.\mathrm{5}} \left(\mathrm{2}.\mathrm{5}−\mathrm{2}^{{u}} \right)} \\ $$ $$\frac{\mathrm{1}}{\mathrm{2}^{{u}} }>\frac{\mathrm{5}}{\mathrm{2}}−\mathrm{2}^{{u}} \Rightarrow\mathrm{1}>\frac{\mathrm{5}}{\mathrm{2}}×\mathrm{2}^{{u}} −\left(\mathrm{2}^{{u}} \right)^{\mathrm{2}} \\ $$ $$\left(\mathrm{2}^{{u}} \right)^{\mathrm{2}} −\frac{\mathrm{5}}{\mathrm{2}}\left(\mathrm{2}^{{u}} \right)+\mathrm{1}>\mathrm{0} \\ $$ $$\mathrm{2}\left(\mathrm{2}^{{u}} \right)^{\mathrm{2}} −\mathrm{5}\left(\mathrm{2}^{{u}} \right)+\mathrm{2}>\mathrm{0} \\ $$ $$\left(\mathrm{2}\left(\mathrm{2}^{{u}} \right)−\mathrm{1}\right)\left(\mathrm{2}^{{u}} −\mathrm{2}\right)>\mathrm{0}\:\:\:\:\:\:\:\:\left(\ast\right) \\ $$ $$\left(\ast\right)\:{is}\:{true}\:{iff}\:\left(\mathrm{1}\right)\:\mathrm{2}^{{u}+\mathrm{1}} −\mathrm{1}>\mathrm{0}\:{and}\:\mathrm{2}^{{u}} −\mathrm{2}>\mathrm{0} \\ $$ $${or}\:\left(\mathrm{2}\right)\:\mathrm{2}^{{u}+\mathrm{1}} −\mathrm{1}<\mathrm{0}\:{and}\:\mathrm{2}^{{u}} −\mathrm{2}<\mathrm{0}. \\ $$ $$ \\ $$ $${From}\:\left(\mathrm{1}\right)\:\mathrm{2}^{{u}+\mathrm{1}} −\mathrm{1}>\mathrm{0}\Rightarrow{u}+\mathrm{1}>\mathrm{0}\Rightarrow{u}>−\mathrm{1} \\ $$ $${and}\:\mathrm{2}^{{u}} −\mathrm{2}>\mathrm{0}\Rightarrow{u}>\mathrm{1}.\:{Hence},{u}>\mathrm{1}. \\ $$ $${Since}\:{u}={log}_{\mathrm{0}.\mathrm{5}} ^{\mathrm{2}} {x}\Rightarrow{log}_{\mathrm{0}.\mathrm{5}} ^{\mathrm{2}} {x}>\mathrm{1} \\ $$ $$\left({log}_{\mathrm{0}.\mathrm{5}} {x}+\mathrm{1}\right)\left({log}_{\mathrm{0}.\mathrm{5}} {x}−\mathrm{1}\right)>\mathrm{0} \\ $$ $$\Rightarrow\:\left(\mathrm{3}\right)\:{log}_{\mathrm{0}.\mathrm{5}} {x}+\mathrm{1}>\mathrm{0}\:{and}\:{log}_{\mathrm{0}.\mathrm{5}} {x}−\mathrm{1}>\mathrm{0} \\ $$ $${or}\:\left(\mathrm{4}\right)\:{log}_{\mathrm{0}.\mathrm{5}} {x}+\mathrm{1}<\mathrm{0}\:{and}\:{log}_{\mathrm{0}.\mathrm{5}} {x}−\mathrm{1}<\mathrm{0}. \\ $$ $${From}\:\left(\mathrm{3}\right),{x}>\mathrm{0}.\mathrm{5}^{−\mathrm{1}} =\mathrm{2}\:{and}\:{x}>\mathrm{0}.\mathrm{5}^{\mathrm{1}} =\mathrm{0}.\mathrm{5} \\ $$ $$\therefore\:{x}>\mathrm{2}.\: \\ $$ $${From}\:\left(\mathrm{4}\right)\:\mathrm{0}<{x}<\mathrm{0}.\mathrm{5}^{−\mathrm{1}} =\mathrm{2}\:{and}\:\mathrm{0}<{x}<\mathrm{0}.\mathrm{5} \\ $$ $$\therefore\:\mathrm{0}<{x}<\mathrm{0}.\mathrm{5}. \\ $$ $$ \\ $$ $${From}\:\left(\mathrm{2}\right)\:\mathrm{2}^{{u}+\mathrm{1}} −\mathrm{1}<\mathrm{0}\Rightarrow{u}+\mathrm{1}<\mathrm{0}\Rightarrow{u}<−\mathrm{1} \\ $$ $${and}\:\mathrm{2}^{{u}} −\mathrm{2}<\mathrm{0}\Rightarrow{u}<\mathrm{1}\:\therefore\:{u}<−\mathrm{1}.\:{Since} \\ $$ $${u}={log}_{\mathrm{0}.\mathrm{5}} ^{\mathrm{2}} {x}\Rightarrow{log}_{\mathrm{0}.\mathrm{5}} ^{\mathrm{2}} {x}<−\mathrm{1}.\:{But}\:{for}\:{x}\in\mathbb{R}, \\ $$ $${log}_{\mathrm{0}.\mathrm{5}} ^{\mathrm{2}} {x}\nless−\mathrm{1}<\mathrm{0}.\:\therefore\:{for}\:{x}\in\mathbb{R},\:\left(\mathrm{2}\right)\:{has}\:{no} \\ $$ $${solutions}.\: \\ $$ $$ \\ $$ $${For}\:{real}\:{x},\:{the}\:{solution}\:{set}\:\Upsilon\:{of}\:{the}\: \\ $$ $${inequality}\:{given}\:{is}\:\Upsilon=\left\{{x}\in\mathbb{R}\mid\mathrm{0}<{x}<\mathrm{1}/\mathrm{2}\:{or}\:{x}>\mathrm{2}\right\}. \\ $$ | ||