Question Number 60287 by naka3546 last updated on 19/May/19
$${f}\left({x}\right)\:\:=\:\:{x}^{\mathrm{3}} \:+\:\mathrm{3}{x}\:−\:\mathrm{7} \\ $$$${f}\:^{−\mathrm{1}} \left({x}\right)\:\:=\:\:? \\ $$
Commented by mr W last updated on 19/May/19
$${f}^{−\mathrm{1}} \left({x}\right)=\sqrt[{\mathrm{3}}]{\frac{\sqrt{{x}^{\mathrm{2}} +\mathrm{14}{x}+\mathrm{53}}+{x}+\mathrm{7}}{\mathrm{2}}}−\sqrt[{\mathrm{3}}]{\frac{\mathrm{2}}{\:\sqrt{{x}^{\mathrm{2}} +\mathrm{14}{x}+\mathrm{53}}+{x}+\mathrm{7}}} \\ $$
Commented by naka3546 last updated on 19/May/19
$${please}\:\:{show}\:\:{the}\:\:{workings},\:\:{sir}\:\:. \\ $$
Answered by mr W last updated on 19/May/19
$${x}^{\mathrm{3}} +\mathrm{3}{x}−\mathrm{7}={y} \\ $$$${x}^{\mathrm{3}} +\mathrm{3}{x}−\left(\mathrm{7}+{y}\right)=\mathrm{0} \\ $$$${let}\:{c}=\mathrm{7}+{y} \\ $$$$\Rightarrow{x}^{\mathrm{3}} +\mathrm{3}{x}−{c}=\mathrm{0} \\ $$$${due}\:{to}\:\left({u}+{v}\right)^{\mathrm{3}} −\mathrm{3}{uv}\left({u}+{v}\right)−\left({u}^{\mathrm{3}} +{v}^{\mathrm{3}} \right)=\mathrm{0} \\ $$$${x}={u}+{v} \\ $$$${uv}=−\mathrm{1}\:\Rightarrow{u}^{\mathrm{3}} {v}^{\mathrm{3}} =−\mathrm{1} \\ $$$${u}^{\mathrm{3}} +{v}^{\mathrm{3}} ={c} \\ $$$$\Rightarrow{u}^{\mathrm{3}} \:{and}\:{v}^{\mathrm{3}} \:{are}\:{roots}\:{of}\:{eqn}. \\ $$$${t}^{\mathrm{2}} −{ct}−\mathrm{1}=\mathrm{0} \\ $$$${t}=\frac{{c}\pm\sqrt{{c}^{\mathrm{2}} +\mathrm{4}}}{\mathrm{2}} \\ $$$${i}.{e}.\:{u}^{\mathrm{3}} =\frac{{c}+\sqrt{{c}^{\mathrm{2}} +\mathrm{4}}}{\mathrm{2}},\:{v}^{\mathrm{3}} =\frac{{c}−\sqrt{{c}^{\mathrm{2}} +\mathrm{4}}}{\mathrm{2}}=−\frac{\mathrm{1}}{{u}^{\mathrm{3}} } \\ $$$${x}={u}+{v}={u}−\frac{\mathrm{1}}{{u}}=\sqrt[{\mathrm{3}}]{\frac{{c}+\sqrt{{c}^{\mathrm{2}} +\mathrm{4}}}{\mathrm{2}}}−\sqrt[{\mathrm{3}}]{\frac{\mathrm{2}}{{c}+\sqrt{{c}^{\mathrm{2}} +\mathrm{4}}}} \\ $$$${c}+\sqrt{{c}^{\mathrm{2}} +\mathrm{4}}=\mathrm{7}+{y}+\sqrt{{y}^{\mathrm{2}} +\mathrm{14}{y}+\mathrm{49}+\mathrm{4}}=\sqrt{{y}^{\mathrm{2}} +\mathrm{14}{y}+\mathrm{53}}+{y}+\mathrm{7} \\ $$$${x}=\sqrt[{\mathrm{3}}]{\frac{\sqrt{{y}^{\mathrm{2}} +\mathrm{14}{y}+\mathrm{53}}+{y}+\mathrm{7}}{\mathrm{2}}}−\sqrt[{\mathrm{3}}]{\frac{\mathrm{2}}{\:\sqrt{{y}^{\mathrm{2}} +\mathrm{14}{y}+\mathrm{53}}+{y}+\mathrm{7}}} \\ $$$$\Rightarrow{f}^{−\mathrm{1}} \left({x}\right)=\sqrt[{\mathrm{3}}]{\frac{\sqrt{{x}^{\mathrm{2}} +\mathrm{14}{x}+\mathrm{53}}+{x}+\mathrm{7}}{\mathrm{2}}}−\sqrt[{\mathrm{3}}]{\frac{\mathrm{2}}{\:\sqrt{{x}^{\mathrm{2}} +\mathrm{14}{x}+\mathrm{53}}+{x}+\mathrm{7}}} \\ $$
Commented by naka3546 last updated on 19/May/19
$${thank}\:{you},\:{sir}\:\:{Mr}\:{W} \\ $$
Answered by MJS last updated on 19/May/19
$${x}^{\mathrm{3}} +\mathrm{3}{x}−\mathrm{7}−{y}=\mathrm{0} \\ $$$${D}=\frac{\mathrm{3}^{\mathrm{3}} }{\mathrm{27}}+\frac{\left(−\mathrm{7}−{y}\right)^{\mathrm{2}} }{\mathrm{4}}=\frac{\mathrm{1}}{\mathrm{4}}{y}^{\mathrm{2}} +\frac{\mathrm{7}}{\mathrm{2}}{y}+\frac{\mathrm{53}}{\mathrm{4}}>\mathrm{0}\:\forall{y}\in\mathbb{R} \\ $$$$\frac{{df}}{{dx}}=\mathrm{3}{x}^{\mathrm{2}} +\mathrm{3}=\mathrm{0}\:\Rightarrow\:{x}\notin\mathbb{R}\:\Rightarrow\:{f}\left({x}\right)\:\mathrm{has}\:\mathrm{no}\:“\mathrm{knee}'' \\ $$$$ \\ $$$$\Rightarrow\:\mathrm{we}\:\mathrm{can}\:\mathrm{use}\:\mathrm{Cardano}'\mathrm{s}\:\mathrm{formula}\:\mathrm{to}\:\mathrm{solve} \\ $$$${y}={x}^{\mathrm{3}} +\mathrm{3}{x}−\mathrm{7} \\ $$$${x}={u}^{\mathrm{1}/\mathrm{3}} −{v}^{\mathrm{1}/\mathrm{3}} \\ $$$${u}=\frac{{y}+\mathrm{7}}{\mathrm{2}}+\frac{\sqrt{{y}^{\mathrm{2}} +\mathrm{14}{y}+\mathrm{53}}}{\mathrm{2}} \\ $$$${v}=−\frac{{y}+\mathrm{7}}{\mathrm{2}}+\frac{\sqrt{{y}^{\mathrm{2}} +\mathrm{14}{y}+\mathrm{53}}}{\mathrm{2}} \\ $$$${x}=\sqrt[{\mathrm{3}}]{\frac{{y}+\mathrm{7}}{\mathrm{2}}+\frac{\sqrt{{y}^{\mathrm{2}} +\mathrm{14}{y}+\mathrm{53}}}{\mathrm{2}}}−\sqrt[{\mathrm{3}}]{−\frac{{y}+\mathrm{7}}{\mathrm{2}}+\frac{\sqrt{{y}^{\mathrm{2}} +\mathrm{14}{y}+\mathrm{53}}}{\mathrm{2}}} \\ $$$$\Rightarrow \\ $$$${f}^{−\mathrm{1}} \left({x}\right)=\sqrt[{\mathrm{3}}]{\frac{{x}+\mathrm{7}}{\mathrm{2}}+\frac{\sqrt{{x}^{\mathrm{2}} +\mathrm{14}{x}+\mathrm{53}}}{\mathrm{2}}}−\sqrt[{\mathrm{3}}]{−\frac{{x}+\mathrm{7}}{\mathrm{2}}+\frac{\sqrt{{x}^{\mathrm{2}} +\mathrm{14}{x}+\mathrm{53}}}{\mathrm{2}}} \\ $$$$\mathrm{which}\:\mathrm{is}\:\mathrm{the}\:\mathrm{same}\:\mathrm{as}\:\mathrm{MrW}'\mathrm{s}\:\mathrm{solution} \\ $$
Commented by naka3546 last updated on 19/May/19
$${thank}\:\:{you}\:\:,\:\:{sir}\:\:{MJS} \\ $$
Commented by MJS last updated on 19/May/19
$${f}\left({x}\right)={ax}^{\mathrm{3}} +{bx}^{\mathrm{2}} +{cx}+{d} \\ $$$${f}^{−\mathrm{1}} \left({x}\right)=? \\ $$$$\mathrm{we}\:\mathrm{have}\:\mathrm{to}\:\mathrm{solve} \\ $$$${ax}^{\mathrm{3}} +{bx}^{\mathrm{2}} +{cx}+\left({d}−{y}\right)=\mathrm{0} \\ $$$${x}^{\mathrm{3}} +\frac{{b}}{{a}}{x}^{\mathrm{2}} +\frac{{c}}{{a}}{x}+\frac{{d}−{y}}{{a}}=\mathrm{0} \\ $$$${x}={z}−\frac{{b}}{\mathrm{3}{a}} \\ $$$${z}^{\mathrm{3}} +\left(\frac{{c}}{{a}}−\frac{{b}^{\mathrm{2}} }{\mathrm{3}{a}^{\mathrm{2}} }\right){z}+\left(\frac{{d}}{{a}}−\frac{{bc}}{\mathrm{3}{a}^{\mathrm{2}} }+\frac{\mathrm{2}{b}^{\mathrm{3}} }{\mathrm{27}{a}^{\mathrm{3}} }−\frac{{y}}{{a}}\right)=\mathrm{0} \\ $$$${p}=\frac{{c}}{{a}}−\frac{{b}^{\mathrm{2}} }{\mathrm{3}{a}^{\mathrm{2}} } \\ $$$${q}=\frac{{d}}{{a}}−\frac{{bc}}{\mathrm{3}{a}^{\mathrm{2}} }+\frac{\mathrm{2}{b}^{\mathrm{3}} }{\mathrm{27}{a}^{\mathrm{3}} } \\ $$$${D}=\frac{{p}^{\mathrm{3}} }{\mathrm{27}}+\frac{\left({q}−\frac{{y}}{{a}}\right)^{\mathrm{2}} }{\mathrm{4}}=\frac{\mathrm{1}}{\mathrm{4}{a}^{\mathrm{2}} }{y}^{\mathrm{2}} −\frac{{q}}{\mathrm{2}{a}}{y}+\frac{\mathrm{4}{p}^{\mathrm{3}} +\mathrm{27}{q}^{\mathrm{2}} }{\mathrm{108}} \\ $$$$\mathrm{we}\:\mathrm{have}\:\mathrm{to}\:\mathrm{decide} \\ $$$$\begin{cases}{\left(\mathrm{1}\right)\:{D}\geqslant\mathrm{0}\:\Rightarrow\:\mathrm{1}\:\mathrm{real}\:\mathrm{solution}\:\mathrm{for}\:{z}\:\Rightarrow\:\mathrm{Cardano}}\\{\left(\mathrm{2}\right)\:{D}<\mathrm{0}\:\Rightarrow\:\mathrm{3}\:\mathrm{real}\:\mathrm{solutions}\:\mathrm{for}\:{z}\:\Rightarrow\:\mathrm{trigonometric}\:\mathrm{method}}\end{cases} \\ $$$$\Rightarrow\:{f}^{−\mathrm{1}} \left({x}\right)=\begin{cases}{\left(\mathrm{1}\right)\:\mathrm{curve}\:\mathrm{in}\:\mathrm{1}\:\mathrm{part}}\\{\left(\mathrm{2}\right)\:\mathrm{curve}\:\mathrm{in}\:\mathrm{3}\:\mathrm{parts}}\end{cases} \\ $$