奥数题及偏导数极值证明思路
2017土耳其奥数不等式题; 感觉土耳其不是奥数发达国家; 问题大致是证明如果
那么:
我觉得比较好的奥数问题是用高等的方法也不容易求解或证明才算数; 这个问题如果修改成如下多元函数的极值问题:
则求函数对
一般的三元二次方程组求解是繁琐和困难的,但是这个特殊在每个等式左侧都是线性因式相乘形式,右侧是0,通过假设它的每个等式中的不同因子分别为0,则每个等式有两种0因子的可能, 3个等式因子为0组合起来, 乘法原理共得到
其中3个得到矛盾的线性方程组或系数矩阵的秩小于增广矩阵的秩, 从而无解(意味着重根); 所以有5个可以求解, 满足
容易得到
各阶主子式对角占优且行列式大于0, 这个证明因为在高等数学多元微积分里面都是常规的思路,所以这道题出成奥数题有些过了;
其它想法
想把非线性混合整数规划功能加到sam的pso工具箱,却没有太多时间
https://www.mathworks.com/matlabcentral/fileexchange/25986-constrained-particle-swarm-optimization
是否可以发起个类似众筹的计划, 针对不少人期望和亟待解决的问题,建立开源工具箱