不等式基本性质的证明如a>b所以ka大于kb(k>0)这也是公理吧