对于任意两个实数a,b,都有
a-b>0←→a >b,
a-b<0←→a <b,
a-b=0←→a =b.
上面等价符号的左式反映的是实数的运算性质,右式反映的则是实数的大小顺序,合起来就成为实数的运算性质与大小顺序之间的关系.它是不
等式这一章内容的理论基础,也是证明不等式的性质、证明不等式和解不等式的主要依据.