等一个大佬，跪谢

胡不归问题，即求点(-3,2)到直线y=x/√(3)的距离

基本不等式吧

三角换元
令√x²+6x+13=2/sinθ，x+3=2/tanθ
y=4/sinθ-2/tanθ+3
=(4-2cosθ)/sinθ+3
=(4s²+4c²-2c²+2s²)/2sc+3
=(6t²+2)/2t+3=3t+1/t+3≥3+2√3

导就完事了

基本不等式完事

模拟退火

用基本不等式，还有一个办法，就是把这个式子化为x的一元二次方程，y作为系数，根据德尔塔大于等于0去计算y的范围也是可以的

求导

三角换元

我记得有公式他俩都放到根号下面，然后求令函数最小的x值就行。不过公式早忘了

移项平方判别式吧。。。要么硬上导数

判别式