[數學] 求在單位正方形中, 內切於正方形兩組鄰邊及互相外切的兩圓形的最小面積和

問題：

(出處：Facebook數學討論群組)




題解：
設 $r_1$ 和 $r_2$ 分別是 $O_1$ 和 $O_2$的半徑，
外切點通過圓心至正方形角落的距離為
$(1+\sqrt{2})r$

正方形的對角線長為$\sqrt{2}$

外切點至左下角的距離+外切點至右上角的距離=對角線長
$(1+\sqrt{2})r_1+(1+\sqrt{2})r_2=\sqrt{2}$
$r_1+r_2=\frac{\sqrt{2}}{1+\sqrt{2}}$ ，這是(1)的答案

(2)
$兩圓面積和=(r_1^2+r_2^2)\pi$

根據柯西不等式(Cauchy–Schwarz inequality)
$2(r_1^2+r_2^2) \geq (r_1+r_2)^2$
$(r_1^2+r_2^2) \geq (\frac{1}{1+\sqrt{2}})^2$
$(r_1^2+r_2^2) \geq \frac{1}{3+2\sqrt{2}}$

最小的面積和出現在 $r_1=r_2=r$，其中 $r$ 是常數(可從(1)的答案解出，不過不需要)
所以
$最小面和$ $\\=(r^2+r^2)\pi
\\=\frac{\pi}{3+2\sqrt{2}}$


原發問人是問我怎用梯度(Gradient)和拉格朗日乘數(Lagrange multiplier)去解，
附上該解法：