Question Number 128751 by bemath last updated on 10/Jan/21
$$\mathrm{Find}\:\mathrm{maximum}\:\mathrm{value}\:\mathrm{of}\: \\ $$$$\:\mid\mathrm{x}\mid\:\sqrt{\mathrm{16}−\mathrm{y}^{\mathrm{2}} }\:+\:\mid\mathrm{y}\mid\:\sqrt{\mathrm{4}−\mathrm{x}^{\mathrm{2}} }\:\mathrm{for}\:\mathrm{all}\:\mathrm{real}\:\mathrm{x}\:\mathrm{and}\:\mathrm{y}. \\ $$$$ \\ $$
Answered by mr W last updated on 10/Jan/21
$${a}=\mid{x}\mid=\mathrm{2}\:\mathrm{sin}\:\alpha\:\geqslant\mathrm{0},\:\mathrm{0}\leqslant\alpha\leqslant\frac{\pi}{\mathrm{2}} \\ $$$${b}=\mid{y}\mid=\mathrm{4}\:\mathrm{sin}\:\beta\:\geqslant\mathrm{0},\:\mathrm{0}\leqslant\beta\leqslant\frac{\pi}{\mathrm{2}} \\ $$$${a}\sqrt{\mathrm{4}^{\mathrm{2}} −{b}^{\mathrm{2}} }+{b}\sqrt{\mathrm{2}^{\mathrm{2}} −{a}^{\mathrm{2}} } \\ $$$$=\mathrm{8}\:\mathrm{sin}\:\alpha\:\mathrm{cos}\:\beta+\mathrm{8}\:\mathrm{sin}\:\beta\:\mathrm{cos}\:\alpha \\ $$$$=\mathrm{8}\:\mathrm{sin}\:\left(\alpha+\beta\right) \\ $$$${max}.\:=\mathrm{8}\:{at}\:\mathrm{sin}\:\left(\alpha+\beta\right)=\mathrm{1},\:{e}.{g}.\:\alpha=\beta=\frac{\pi}{\mathrm{4}} \\ $$
Commented by liberty last updated on 10/Jan/21
$$\mathrm{i}\:\mathrm{think}\:\mathrm{not}\:\mathrm{8}\:\mathrm{is}\:\mathrm{maximum}\:\mathrm{value} \\ $$
Commented by mr W last updated on 10/Jan/21
$${if}\:{the}\:{maximum}\:{from}\:\mathrm{8}\:\mathrm{sin}\:\left(\alpha+\beta\right) \\ $$$${is}\:{not}\:\mathrm{8},\:{then}\:{i}\:{don}'{t}\:{unterstand}\:{this}\: \\ $$$$\left.{world}\:{any}\:{more}\::\right) \\ $$
Commented by liberty last updated on 10/Jan/21
$$\mathrm{what}\:\mathrm{is}\:\mathrm{the}\:\mathrm{reason}\:\mathrm{by}\:\mathrm{assuming}\mid\mathrm{x}\mid\:=\:\mathrm{2}\:\mathrm{sin}\:\alpha\:?\: \\ $$
Commented by mr W last updated on 10/Jan/21
$${since}\:\mathrm{4}−{x}^{\mathrm{2}} \geqslant\mathrm{0}\:\Rightarrow\mid{x}\mid\leqslant\mathrm{2} \\ $$
Commented by liberty last updated on 10/Jan/21
$$\mathrm{ok}.\:\mathrm{you}\:\mathrm{are}\:\mathrm{right}. \\ $$
Answered by liberty last updated on 10/Jan/21
$$\:\mathrm{Using}\:\mathrm{the}\:\mathrm{inequality}\:\:{xy}\:\leqslant\:\frac{{x}^{\mathrm{2}} +{y}^{\mathrm{2}} }{\mathrm{2}} \\ $$$$\:\mathrm{we}\:\mathrm{have}\:\begin{cases}{\mid\mathrm{x}\mid\:\sqrt{\mathrm{16}−\mathrm{y}^{\mathrm{2}} }\:\leqslant\:\frac{\mathrm{x}^{\mathrm{2}} +\mathrm{16}−\mathrm{y}^{\mathrm{2}} }{\mathrm{2}}}\\{\mid\mathrm{y}\mid\:\sqrt{\mathrm{4}−\mathrm{x}^{\mathrm{2}} }\:\leqslant\:\frac{\mathrm{y}^{\mathrm{2}} +\mathrm{4}−\mathrm{x}^{\mathrm{2}} }{\mathrm{2}}}\end{cases} \\ $$$$\mathrm{adding}\:\mathrm{the}\:\mathrm{both}\:\mathrm{equation}\:\mathrm{we}\:\mathrm{find}\: \\ $$$$\:\mid\mathrm{x}\mid\:\sqrt{\mathrm{16}−\mathrm{y}^{\mathrm{2}} }\:+\:\mid\mathrm{y}\mid\:\sqrt{\mathrm{4}−\mathrm{x}^{\mathrm{2}} }\:\leqslant\:\frac{\mathrm{x}^{\mathrm{2}} +\mathrm{16}−\mathrm{y}^{\mathrm{2}} +\mathrm{y}^{\mathrm{2}} +\mathrm{4}−\mathrm{x}^{\mathrm{2}} }{\mathrm{2}}\:=\:\mathrm{10} \\ $$$$\therefore\:\mathrm{its}\:\mathrm{maximum}\:\mathrm{value}\:\mathrm{is}\:\mathrm{10}\: \\ $$$$ \\ $$
Commented by mr W last updated on 10/Jan/21
$${can}\:{you}\:{say}\:{what}\:{values}\:\:{x}\:{and}\:{y}\:{have} \\ $$$${such}\:{that}\:{you}\:{reach}\:{the}\:{maximum} \\ $$$$\mathrm{10}? \\ $$
Commented by liberty last updated on 10/Jan/21
$$\mathrm{10}\:\mathrm{is}\:\mathrm{only}\:\mathrm{an}\:\mathrm{upper}\:\mathrm{bound}\:\mathrm{but}\:\mathrm{cannot}\:\mathrm{be}\: \\ $$$$\mathrm{attained}\:\mathrm{since}\:\mathrm{the}\:\mathrm{inequality}\:\mathrm{xy}\:\leqslant\:\frac{\mathrm{x}^{\mathrm{2}} +\mathrm{y}^{\mathrm{2}} }{\mathrm{2}} \\ $$$$\mathrm{holds}\:\mathrm{if}\:\mathrm{and}\:\mathrm{only}\:\mathrm{if}\:\mathrm{x}=\mathrm{y}\:,\:\mathrm{therefore}\:\mathrm{the}\:\mathrm{max} \\ $$$$\mathrm{value}\:\mathrm{is}\:\mathrm{attained}\:\mid\mathrm{x}\mid\:=\sqrt{\mathrm{16}−\mathrm{y}^{\mathrm{2}} }\:\mathrm{and}\:\mid\mathrm{y}\mid=\sqrt{\mathrm{4}−\mathrm{x}^{\mathrm{2}} } \\ $$$$\mathrm{or}\:\mathrm{x}^{\mathrm{2}} =\mathrm{16}−\mathrm{y}^{\mathrm{2}} \:\mathrm{and}\:\mathrm{y}^{\mathrm{2}} =\mathrm{4}−\mathrm{x}^{\mathrm{2}} \:\Leftrightarrow\:\mathrm{x}^{\mathrm{2}} +\mathrm{y}^{\mathrm{2}} =\:\mathrm{16}=\mathrm{4} \\ $$$$\mathrm{contradictory}\:! \\ $$
Commented by mr W last updated on 10/Jan/21
$${correct}! \\ $$$${so}\:{be}\:{careful}\:{when}\:{adding}\:{two}\:{or} \\ $$$${more}\:{inequalities}\:{if}\:{they}\:{are}\:{not} \\ $$$${independent}\:{from}\:{each}\:{other}! \\ $$
Answered by mr W last updated on 10/Jan/21
$${an}\:{other}\:{way}: \\ $$$${f}\left({a},{b}\right)={a}\sqrt{\mathrm{16}−{b}^{\mathrm{2}} }+{b}\sqrt{\mathrm{4}−{a}^{\mathrm{2}} } \\ $$$$\frac{\partial{f}}{\partial{a}}=\sqrt{\mathrm{16}−{b}^{\mathrm{2}} }−\frac{{ab}}{\:\sqrt{\mathrm{4}−{a}^{\mathrm{2}} }}=\mathrm{0} \\ $$$$\frac{\partial{f}}{\partial{b}}=−\frac{{ab}}{\:\sqrt{\mathrm{16}−{b}^{\mathrm{2}} }}+\sqrt{\mathrm{4}−{a}^{\mathrm{2}} }=\mathrm{0} \\ $$$$\Rightarrow{ab}=\sqrt{\left(\mathrm{4}−{a}^{\mathrm{2}} \right)\left(\mathrm{16}−{b}^{\mathrm{2}} \right)} \\ $$$$\Rightarrow\mathrm{4}{a}^{\mathrm{2}} +{b}^{\mathrm{2}} =\mathrm{16} \\ $$$$\Rightarrow\mathrm{16}−{b}^{\mathrm{2}} =\mathrm{4}{a}^{\mathrm{2}} \\ $$$$\Rightarrow{b}=\mathrm{2}\sqrt{\mathrm{4}−{a}^{\mathrm{2}} } \\ $$$$\Rightarrow{f}_{{max}} =\mathrm{2}{a}^{\mathrm{2}} +\mathrm{2}\sqrt{\mathrm{4}−{a}^{\mathrm{2}} }×\sqrt{\mathrm{4}−{a}^{\mathrm{2}} }=\mathrm{8} \\ $$
Commented by liberty last updated on 10/Jan/21
$$\mathrm{yes}.\:\mathrm{nice} \\ $$