Question Number 28303 by ajfour last updated on 24/Jan/18
$${If}\:{one}\:{line}\:{of}\:{the}\:{equation}\:: \\ $$$$\boldsymbol{{ax}}^{\mathrm{3}} +\boldsymbol{{bx}}^{\mathrm{2}} \boldsymbol{{y}}+\boldsymbol{{cxy}}^{\mathrm{2}} +\boldsymbol{{dy}}^{\mathrm{3}} =\mathrm{0} \\ $$$${bisects}\:{the}\:{angle}\:{between}\:{the} \\ $$$${the}\:{other}\:{two}\:{then}\:{prove} \\ $$$$\left(\mathrm{3}{a}+{c}\right)^{\mathrm{2}} \left({bc}+\mathrm{2}{cd}−\mathrm{3}{ad}\right)= \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\left({b}+\mathrm{3}{d}\right)^{\mathrm{2}} \left({bc}+\mathrm{2}{ab}−\mathrm{3}{ad}\right)\:. \\ $$
Answered by ajfour last updated on 24/Jan/18
$${let}\:{the}\:{lines}\:{be} \\ $$$${y}={m}_{\mathrm{1}} {x},\:{y}={m}_{\mathrm{0}} {x},\:{and}\:{y}={m}_{\mathrm{2}} {x} \\ $$$$\theta_{\mathrm{0}} =\left(\frac{\theta_{\mathrm{1}} +\theta_{\mathrm{2}} }{\mathrm{2}}\right) \\ $$$$\Rightarrow\:\:\frac{\mathrm{2}{m}_{\mathrm{0}} }{\mathrm{1}−{m}_{\mathrm{0}} ^{\mathrm{2}} }=\frac{{m}_{\mathrm{1}} +{m}_{\mathrm{2}} }{\mathrm{1}−{m}_{\mathrm{1}} {m}_{\mathrm{2}} }\:\:\:\:…\left({i}\right) \\ $$$${m}_{\mathrm{1}} {m}_{\mathrm{2}} {m}_{\mathrm{0}} =−{a}/{d}\:\:\:\:\:….\left({ii}\right) \\ $$$$\left({m}_{\mathrm{1}} +{m}_{\mathrm{2}} \right){m}_{\mathrm{0}} +{m}_{\mathrm{1}} {m}_{\mathrm{2}} ={b}/{d}\:\:\:…\left({iii}\right) \\ $$$${m}_{\mathrm{1}} +{m}_{\mathrm{2}} +{m}_{\mathrm{0}} =−{c}/{d}\:\:\:\:\:….\left({iv}\right) \\ $$$${using}\:\left({ii}\right)\:{and}\:\left({iv}\right)\:{in}\:\left({i}\right)\:{and}\:\left({iii}\right) \\ $$$${to}\:{obtain}\:{two}\:{equations}\:{in}\:{m}_{\mathrm{0}} : \\ $$$$\frac{\mathrm{2}{m}_{\mathrm{0}} }{\mathrm{1}−{m}_{\mathrm{0}} ^{\mathrm{2}} }=−\frac{\left({m}_{\mathrm{0}} +\frac{{c}}{{d}}\right)}{\left(\mathrm{1}+\frac{{a}}{{m}_{\mathrm{0}} {d}}\right)}\:\:\: \\ $$$$\Rightarrow\:\frac{\mathrm{2}}{\mathrm{1}−{m}_{\mathrm{0}} ^{\mathrm{2}} }=−\:\frac{{c}+{m}_{\mathrm{0}} {d}}{{a}+{m}_{\mathrm{0}} {d}}\:\:\:\:…..\left({I}\right) \\ $$$${m}_{\mathrm{0}} =−\frac{\left(\frac{{b}}{{d}}+\frac{{a}}{{m}_{\mathrm{0}} {d}}\right)}{\left({m}_{\mathrm{0}} +\frac{{c}}{{d}}\right)}\:\:\:\:\: \\ $$$$\Rightarrow\:\:\:\:{m}_{\mathrm{0}} ^{\mathrm{2}} =−\:\frac{{a}+{m}_{\mathrm{0}} {b}}{{c}+{m}_{\mathrm{0}} {d}}\:\:\:\:\:…..\left({II}\right) \\ $$$$\left({I}\right)×\left({II}\right)\:\:{gives} \\ $$$$\frac{\mathrm{2}{m}_{\mathrm{0}} ^{\mathrm{2}} }{\mathrm{1}−{m}_{\mathrm{0}} ^{\mathrm{2}} }=\frac{{a}+{m}_{\mathrm{0}} {b}}{{a}+{m}_{\mathrm{0}} {d}} \\ $$$${adding}\:\mathrm{2}\:{on}\:{bothsides} \\ $$$$\frac{\mathrm{2}}{\mathrm{1}−{m}_{\mathrm{0}} ^{\mathrm{2}} }=\frac{\mathrm{3}{a}+{m}_{\mathrm{0}} \left({b}+\mathrm{2}{d}\right)}{{a}+{m}_{\mathrm{0}} {d}}\:\:\:\:…..\left({A}\right) \\ $$$${equating}\:\left({I}\right)\:{with}\:\left({A}\right): \\ $$$$\frac{\mathrm{2}}{\mathrm{1}−\boldsymbol{{m}}_{\mathrm{0}} ^{\mathrm{2}} }=\frac{\mathrm{3}\boldsymbol{{a}}+\boldsymbol{{m}}_{\mathrm{0}} \left(\boldsymbol{{b}}+\mathrm{2}\boldsymbol{{d}}\right)}{\boldsymbol{{a}}+\boldsymbol{{m}}_{\mathrm{0}} \boldsymbol{{d}}}=−\frac{\boldsymbol{{c}}+\boldsymbol{{m}}_{\mathrm{0}} \boldsymbol{{d}}}{\boldsymbol{{a}}+\boldsymbol{{m}}_{\mathrm{0}} \boldsymbol{{d}}} \\ $$$$\boldsymbol{{hence}} \\ $$$$\mathrm{3}{a}+{m}_{\mathrm{0}} \left({b}+\mathrm{2}{d}\right)=−\left({c}+{m}_{\mathrm{0}} {d}\right) \\ $$$$\boldsymbol{{m}}_{\mathrm{0}} =−\:\frac{\mathrm{3}\boldsymbol{{a}}+\boldsymbol{{c}}}{\boldsymbol{{b}}+\mathrm{3}\boldsymbol{{d}}} \\ $$$${substituting}\:{in}\:\left({II}\right): \\ $$$$\left(\frac{\mathrm{3}\boldsymbol{{a}}+\boldsymbol{{c}}}{\boldsymbol{{b}}+\mathrm{3}\boldsymbol{{d}}}\right)^{\mathrm{2}} =−\:\frac{\boldsymbol{{a}}−\left(\frac{\mathrm{3}\boldsymbol{{a}}+\boldsymbol{{c}}}{\boldsymbol{{b}}+\mathrm{3}\boldsymbol{{d}}}\right)\boldsymbol{{b}}}{\boldsymbol{{c}}−\left(\frac{\mathrm{3}\boldsymbol{{a}}+\boldsymbol{{c}}}{\boldsymbol{{b}}+\mathrm{3}\boldsymbol{{d}}}\right)\boldsymbol{{d}}} \\ $$$$\boldsymbol{{or}}\: \\ $$$$\left(\frac{\mathrm{3}\boldsymbol{{a}}+\boldsymbol{{c}}}{\boldsymbol{{b}}+\mathrm{3}\boldsymbol{{d}}}\right)^{\mathrm{2}} =−\:\frac{\mathrm{3}\boldsymbol{{ad}}−\mathrm{2}\boldsymbol{{ab}}−\boldsymbol{{bc}}}{\boldsymbol{{bc}}+\mathrm{2}\boldsymbol{{cd}}−\mathrm{3}\boldsymbol{{ad}}}\: \\ $$$$\Rightarrow\:\:\left(\frac{\mathrm{3}\boldsymbol{{a}}+\boldsymbol{{c}}}{\boldsymbol{{b}}+\mathrm{3}\boldsymbol{{d}}}\right)^{\mathrm{2}} =\:\frac{\boldsymbol{{bc}}+\mathrm{2}\boldsymbol{{ab}}−\mathrm{3}\boldsymbol{{ad}}}{\boldsymbol{{bc}}+\mathrm{2}\boldsymbol{{cd}}−\mathrm{3}\boldsymbol{{ad}}}\:\:. \\ $$$$ \\ $$