Question Number 182103 by mr W last updated on 04/Dec/22
Commented by mr W last updated on 04/Dec/22
$${find}\:{the}\:{smallest}\:{area}\:{of}\:{inscribed}\: \\ $$$${equilateral}\:{triangle}\:{in}\:{the}\:{given}\: \\ $$$${triangle}\:{with}\:{sides}\:\mathrm{3},\mathrm{5},\mathrm{7}. \\ $$
Answered by CrispyXYZ last updated on 04/Dec/22
$$\boldsymbol{\mathrm{Theorem}}\:\mathrm{The}\:\mathrm{side}\:\mathrm{of}\:\mathrm{the}\:\mathrm{smallest}\:\mathrm{inscribed} \\ $$$$\mathrm{equilateral}\:\mathrm{triangle}\:\mathrm{of}\:\bigtriangleup{ABC}\:\mathrm{is}\:\frac{\mathrm{2}{S}}{\:\sqrt{{K}}}, \\ $$$$\mathrm{where}\:{K}=\frac{\mathrm{1}}{\mathrm{2}}\left({a}^{\mathrm{2}} +{b}^{\mathrm{2}} +{c}^{\mathrm{2}} \right)+\mathrm{2}\sqrt{\mathrm{3}}{S}. \\ $$$$ \\ $$$$\mathrm{let}\:{n}=\mathrm{side}\:\mathrm{of}\:\mathrm{the}\:\mathrm{inscribed}\:\mathrm{triangle} \\ $$$${S}=\frac{\mathrm{15}\sqrt{\mathrm{3}}}{\mathrm{4}} \\ $$$${K}=\mathrm{64} \\ $$$${n}=\frac{\mathrm{15}\sqrt{\mathrm{3}}}{\mathrm{16}} \\ $$$${S}_{\mathrm{2}} =\frac{\sqrt{\mathrm{3}}}{\mathrm{4}}{n}^{\mathrm{2}} =\frac{\mathrm{675}\sqrt{\mathrm{3}}}{\mathrm{1024}} \\ $$
Commented by CrispyXYZ last updated on 04/Dec/22
$$\mathrm{The}\:\mathrm{position}\:\mathrm{of}\:\mathrm{the}\:\mathrm{inscribed}\:\mathrm{triangle}. \\ $$$$\mathrm{Order}:\:\mathrm{black}\rightarrow\mathrm{cyan}\rightarrow\mathrm{green}\rightarrow\mathrm{red} \\ $$
Commented by CrispyXYZ last updated on 04/Dec/22
Commented by mr W last updated on 04/Dec/22
$${thanks}\:{sir}! \\ $$$${i}\:{didn}'{t}\:{know}\:{this}\:{theorem}.\:{what}'{s} \\ $$$${the}\:{name}\:{of}\:{this}\:{theorem}?\:{can}\:{you} \\ $$$${tell}\:{me}\:{a}\:{source}?\:{i}\:{want}\:{to}\:{get}\:{to}\:{know} \\ $$$${more}\:{about}\:{it}. \\ $$
Commented by CrispyXYZ last updated on 05/Dec/22
$$\mathrm{It}\:\mathrm{is}\:\mathrm{from}\:\mathrm{a}\:\mathrm{journal}\:\mathrm{in}\:\mathrm{China}. \\ $$$$\mathrm{DOI}: \\ $$10.3969/j.issn.1002-4123.2003.03.025
$$\mathrm{Below}\:\mathrm{is}\:\mathrm{the}\:\mathrm{proof}\:\mathrm{in}\:\mathrm{English}. \\ $$$$\mathrm{Let}\:\angle{C}\:\mathrm{is}\:\mathrm{the}\:\mathrm{largest}\:\mathrm{angle}\:\mathrm{in}\:\bigtriangleup{ABC}, \\ $$$$\bigtriangleup{DEF}\:\mathrm{is}\:\mathrm{any}\:\mathrm{inscribed}\:\mathrm{regular}\:\mathrm{triangle}\:\left(\mathrm{as}\:\mathrm{shown}\:\mathrm{below}\right), \\ $$$$\angle{FDB}=\alpha,\:{FD}={x}. \\ $$$$\mathrm{Then},\:\angle{EDC}=\mathrm{120}°−\alpha,\:\angle{DEC}=\mathrm{60}°+\alpha−\angle{C}, \\ $$$$\angle{AEF}=\mathrm{60}°−\alpha+\angle{C} \\ $$$${BF}=\frac{{x}\:\mathrm{sin}\alpha}{\mathrm{sin}{B}},\:{FA}=\frac{{x}\:\mathrm{sin}\left(\mathrm{60}°−\alpha+{C}\right)}{\mathrm{sin}{A}}\:\left(\mathrm{The}\:\mathrm{Law}\:\mathrm{of}\:\mathrm{Sines}\right) \\ $$$$\mathrm{Therefore}, \\ $$$${c}\:=\:{BA}\:=\:{BF}\:+\:{FA}\:= \\ $$$$\frac{{x}\left(\mathrm{sin}{A}\:\mathrm{sin}\alpha\:+\:\mathrm{sin}{B}\:\mathrm{sin}\left(\mathrm{60}°+{C}−\alpha\right)\right)}{\mathrm{sin}{A}\:\mathrm{sin}{B}} \\ $$$${x}=\frac{{c}\:\mathrm{sin}{A}\:\mathrm{sin}{B}}{\mathrm{sin}{A}\:\mathrm{sin}\alpha\:+\:\mathrm{sin}{B}\:\mathrm{sin}\left(\mathrm{60}°+{C}−\alpha\right)} \\ $$$$\mathrm{Let}\:{L}=\mathrm{sin}{A}\:\mathrm{sin}\alpha\:+\:\mathrm{sin}{B}\:\mathrm{sin}\left(\mathrm{60}°+{C}−\alpha\right) \\ $$$$=\mathrm{sin}{A}\mathrm{sin}\alpha+\mathrm{sin}{B}\left(\mathrm{sin}\left(\mathrm{60}°+{C}\right)\mathrm{cos}\alpha−\mathrm{cos}\left(\mathrm{60}°+{C}\right)\mathrm{sin}\alpha\right) \\ $$$$=\left(\mathrm{sin}{A}−\mathrm{sin}{B}\mathrm{cos}\left(\mathrm{60}°+{C}\right)\right)\mathrm{sin}\alpha+\mathrm{sin}{B}\mathrm{sin}\left(\mathrm{60}°+{C}\right)\mathrm{cos}\alpha \\ $$$$\mathrm{Let}\:\mathrm{tan}\varphi=\frac{\mathrm{sin}{B}\:\mathrm{sin}\left(\mathrm{60}°+{C}\right)}{\mathrm{sin}{A}−\mathrm{sin}{B}\mathrm{cos}\left(\mathrm{60}°+{C}\right)},\:\mathrm{0}\leqslant\varphi\leqslant\pi \\ $$$$\left(\mathrm{use}\:\mathrm{the}\:\mathrm{auxiliary}\:\mathrm{angle}\:\mathrm{method},\:\mathrm{aka}\:\mathrm{R}\:\mathrm{method}\right) \\ $$$${L}=\sqrt{\left(\mathrm{sin}{A}−\mathrm{sin}{B}\mathrm{cos}\left(\mathrm{60}°+{C}\right)\right)^{\mathrm{2}} +\left(\mathrm{sin}{B}\mathrm{sin}\left(\mathrm{60}°+{C}\right)\right)^{\mathrm{2}} }\mathrm{sin}\left(\alpha+\varphi\right) \\ $$$$=\sqrt{\mathrm{sin}^{\mathrm{2}} {A}+\mathrm{sin}^{\mathrm{2}} {B}−\mathrm{2sin}{A}\mathrm{sin}{B}\mathrm{cos}\left(\mathrm{60}°+{C}\right)}\mathrm{sin}\left(\alpha+\varphi\right) \\ $$$$\left(\mathrm{use}\:\mathrm{The}\:\mathrm{Law}\:\mathrm{of}\:\mathrm{Sines}\right) \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}{R}}\sqrt{{a}^{\mathrm{2}} +{b}^{\mathrm{2}} −\mathrm{2}{ab}\mathrm{cos}\left({C}+\mathrm{60}°\right)}\mathrm{sin}\left(\alpha+\varphi\right) \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}{R}}\sqrt{\frac{\mathrm{1}}{\mathrm{2}}\left({a}^{\mathrm{2}} +{b}^{\mathrm{2}} +{c}^{\mathrm{2}} \right)+\mathrm{2}\sqrt{\mathrm{3}}{S}}\centerdot\mathrm{sin}\left(\alpha+\varphi\right) \\ $$$$\mathrm{Let}\:{K}=\frac{\mathrm{1}}{\mathrm{2}}\left({a}^{\mathrm{2}} +{b}^{\mathrm{2}} +{c}^{\mathrm{2}} \right)+\mathrm{2}\sqrt{\mathrm{3}}{S} \\ $$$$\mathrm{Then},\:{L}\leqslant\frac{\sqrt{{K}}}{\mathrm{2}{R}} \\ $$$$\mathrm{if}\:\mathrm{and}\:\mathrm{only}\:\mathrm{if}\:\mathrm{sin}\left(\alpha+\varphi\right)=\mathrm{1},\:\left(\mathrm{that}\:\mathrm{is},\:\alpha+\varphi=\frac{\pi}{\mathrm{2}},\right)\:{L}=\frac{\sqrt{{K}}}{\mathrm{2}{R}}\:\mathrm{is}\:\mathrm{true}. \\ $$$$\mathrm{Therefore},\:{x}=\frac{{c}\:\mathrm{sin}{A}\:\mathrm{sin}{B}}{{L}}\geqslant\frac{\mathrm{2}{Rc}\:\mathrm{sin}{A}\:\mathrm{sin}{B}}{\:\sqrt{{K}}}=\frac{\mathrm{2}{S}}{\:\sqrt{{K}}} \\ $$$${x}_{\mathrm{min}} =\frac{\mathrm{2}{S}}{\:\sqrt{{K}}} \\ $$
$$\mathrm{Below}\:\mathrm{is}\:\mathrm{the}\:\mathrm{proof}\:\mathrm{in}\:\mathrm{English}. \\ $$$$\mathrm{Let}\:\angle{C}\:\mathrm{is}\:\mathrm{the}\:\mathrm{largest}\:\mathrm{angle}\:\mathrm{in}\:\bigtriangleup{ABC}, \\ $$$$\bigtriangleup{DEF}\:\mathrm{is}\:\mathrm{any}\:\mathrm{inscribed}\:\mathrm{regular}\:\mathrm{triangle}\:\left(\mathrm{as}\:\mathrm{shown}\:\mathrm{below}\right), \\ $$$$\angle{FDB}=\alpha,\:{FD}={x}. \\ $$$$\mathrm{Then},\:\angle{EDC}=\mathrm{120}°−\alpha,\:\angle{DEC}=\mathrm{60}°+\alpha−\angle{C}, \\ $$$$\angle{AEF}=\mathrm{60}°−\alpha+\angle{C} \\ $$$${BF}=\frac{{x}\:\mathrm{sin}\alpha}{\mathrm{sin}{B}},\:{FA}=\frac{{x}\:\mathrm{sin}\left(\mathrm{60}°−\alpha+{C}\right)}{\mathrm{sin}{A}}\:\left(\mathrm{The}\:\mathrm{Law}\:\mathrm{of}\:\mathrm{Sines}\right) \\ $$$$\mathrm{Therefore}, \\ $$$${c}\:=\:{BA}\:=\:{BF}\:+\:{FA}\:= \\ $$$$\frac{{x}\left(\mathrm{sin}{A}\:\mathrm{sin}\alpha\:+\:\mathrm{sin}{B}\:\mathrm{sin}\left(\mathrm{60}°+{C}−\alpha\right)\right)}{\mathrm{sin}{A}\:\mathrm{sin}{B}} \\ $$$${x}=\frac{{c}\:\mathrm{sin}{A}\:\mathrm{sin}{B}}{\mathrm{sin}{A}\:\mathrm{sin}\alpha\:+\:\mathrm{sin}{B}\:\mathrm{sin}\left(\mathrm{60}°+{C}−\alpha\right)} \\ $$$$\mathrm{Let}\:{L}=\mathrm{sin}{A}\:\mathrm{sin}\alpha\:+\:\mathrm{sin}{B}\:\mathrm{sin}\left(\mathrm{60}°+{C}−\alpha\right) \\ $$$$=\mathrm{sin}{A}\mathrm{sin}\alpha+\mathrm{sin}{B}\left(\mathrm{sin}\left(\mathrm{60}°+{C}\right)\mathrm{cos}\alpha−\mathrm{cos}\left(\mathrm{60}°+{C}\right)\mathrm{sin}\alpha\right) \\ $$$$=\left(\mathrm{sin}{A}−\mathrm{sin}{B}\mathrm{cos}\left(\mathrm{60}°+{C}\right)\right)\mathrm{sin}\alpha+\mathrm{sin}{B}\mathrm{sin}\left(\mathrm{60}°+{C}\right)\mathrm{cos}\alpha \\ $$$$\mathrm{Let}\:\mathrm{tan}\varphi=\frac{\mathrm{sin}{B}\:\mathrm{sin}\left(\mathrm{60}°+{C}\right)}{\mathrm{sin}{A}−\mathrm{sin}{B}\mathrm{cos}\left(\mathrm{60}°+{C}\right)},\:\mathrm{0}\leqslant\varphi\leqslant\pi \\ $$$$\left(\mathrm{use}\:\mathrm{the}\:\mathrm{auxiliary}\:\mathrm{angle}\:\mathrm{method},\:\mathrm{aka}\:\mathrm{R}\:\mathrm{method}\right) \\ $$$${L}=\sqrt{\left(\mathrm{sin}{A}−\mathrm{sin}{B}\mathrm{cos}\left(\mathrm{60}°+{C}\right)\right)^{\mathrm{2}} +\left(\mathrm{sin}{B}\mathrm{sin}\left(\mathrm{60}°+{C}\right)\right)^{\mathrm{2}} }\mathrm{sin}\left(\alpha+\varphi\right) \\ $$$$=\sqrt{\mathrm{sin}^{\mathrm{2}} {A}+\mathrm{sin}^{\mathrm{2}} {B}−\mathrm{2sin}{A}\mathrm{sin}{B}\mathrm{cos}\left(\mathrm{60}°+{C}\right)}\mathrm{sin}\left(\alpha+\varphi\right) \\ $$$$\left(\mathrm{use}\:\mathrm{The}\:\mathrm{Law}\:\mathrm{of}\:\mathrm{Sines}\right) \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}{R}}\sqrt{{a}^{\mathrm{2}} +{b}^{\mathrm{2}} −\mathrm{2}{ab}\mathrm{cos}\left({C}+\mathrm{60}°\right)}\mathrm{sin}\left(\alpha+\varphi\right) \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}{R}}\sqrt{\frac{\mathrm{1}}{\mathrm{2}}\left({a}^{\mathrm{2}} +{b}^{\mathrm{2}} +{c}^{\mathrm{2}} \right)+\mathrm{2}\sqrt{\mathrm{3}}{S}}\centerdot\mathrm{sin}\left(\alpha+\varphi\right) \\ $$$$\mathrm{Let}\:{K}=\frac{\mathrm{1}}{\mathrm{2}}\left({a}^{\mathrm{2}} +{b}^{\mathrm{2}} +{c}^{\mathrm{2}} \right)+\mathrm{2}\sqrt{\mathrm{3}}{S} \\ $$$$\mathrm{Then},\:{L}\leqslant\frac{\sqrt{{K}}}{\mathrm{2}{R}} \\ $$$$\mathrm{if}\:\mathrm{and}\:\mathrm{only}\:\mathrm{if}\:\mathrm{sin}\left(\alpha+\varphi\right)=\mathrm{1},\:\left(\mathrm{that}\:\mathrm{is},\:\alpha+\varphi=\frac{\pi}{\mathrm{2}},\right)\:{L}=\frac{\sqrt{{K}}}{\mathrm{2}{R}}\:\mathrm{is}\:\mathrm{true}. \\ $$$$\mathrm{Therefore},\:{x}=\frac{{c}\:\mathrm{sin}{A}\:\mathrm{sin}{B}}{{L}}\geqslant\frac{\mathrm{2}{Rc}\:\mathrm{sin}{A}\:\mathrm{sin}{B}}{\:\sqrt{{K}}}=\frac{\mathrm{2}{S}}{\:\sqrt{{K}}} \\ $$$${x}_{\mathrm{min}} =\frac{\mathrm{2}{S}}{\:\sqrt{{K}}} \\ $$
Commented by CrispyXYZ last updated on 05/Dec/22
Commented by mr W last updated on 05/Dec/22
$${thank}\:{you}\:{very}\:{much}\:{sir}! \\ $$$${in}\:{fact}\:{i}\:{solved}\:{this}\:{problem}\:{long}\:{time} \\ $$$${ago}\:{and}\:{got} \\ $$$${s}_{{min}} =\frac{\mathrm{2}\sqrt{\mathrm{2}}\Delta}{\:\sqrt{{a}^{\mathrm{2}} +{b}^{\mathrm{2}} +{c}^{\mathrm{2}} +\mathrm{4}\sqrt{\mathrm{3}}\Delta}}. \\ $$$${with}\:\Delta={area}\:{of}\:{given}\:{outer}\:{triangle} \\ $$$${my}\:{solution}\:{see}\:{Q}\mathrm{82131}.\:{but}\:{i}\:{reposted} \\ $$$${this}\:{question}\:{here}\:{again}\:{to}\:{see}\:{other} \\ $$$${methods}\:{of}\:{solution}. \\ $$$${thank}\:{you}\:{for}\:{telling}\:{me}\:{this}\:{solution}. \\ $$$${i}'{ll}\:{study}\:{it}\:{in}\:{detail}. \\ $$