>>610
(θ-xsinθ)/2=π/8のときの
4√((cosθ-x)^2+(sinθ)^2) + 2xの最小値
かな?