陈计书本上的局部不等式构造

read`E:/机器证明/sydc2013.txt`;read`E:/机器证明/proineq0125`;"===================================================================\============================""Copyright(C)2013-2016byDengHE"[sgm,pro,dsh,dcpf,dcpf2,dcfc]"dcpf为【三元完全对称不等式】的配方程序""此程序为试探性程序,算法还不完备,运行前需要先调用韩京俊的proineq程序及杨路教\授的