不等式的证明中的比较法指的是什么