好像不是。

用到了分式方程引入兰姆达恒等因子，用到了一元三次函数的韦达定理，用到了三角函数变换（且跟三次函数能瞬时联系起来），用到了偏导求极值。前面的一些分析也挺重要，后面这些是解决方法。

【 在 ld2020 的大作中提到: 】
: 看来是构造了一个形如a=2+2cos(a’)的四个非负数
--
FROM 202.108.199.*