评论区里Frozenliuxy的方法是可行的,三角换元之后只需待定系数用权方和不等式+辅助角即可;美中不足的是最后的方程很难解,需要观察答案中分母形式猜想Lambda=2试根最后得出Lambda确实为2,最后回代得到S最小值为9