我们肯定都知道等式吧，比如说1+1=2，那么我们知道，在等式两边同时加减一个整式，这个等式依然成立，这是我们都所熟知的等式基本性质。而等式两边同时乘，或除同一个整式等式也依然成立，就是等式基本性质二。这些也让我们能够去探索方程的领域，我们也学习了一元一次方程，二元一次方程，还有一次函数等等。
那么，有没有一种可能就是我们也可以去探索不等式？因为我们学习了等式。比如说我们学过一元一次方程2x- 3=0，而他和一次函数y=2 x- 3的表达式其实是一样的
而X轴上的交点，就是2x- 3=0，而这一条直线就是y=2 x- 3，而y=2 x- 3，在x轴上方的部分这条无端点射线上所有点的横坐标都大于3/2，所以就可以列出不等式来表达，刚刚用文字语言表达的这一点，也就是2x- 3>0，而知道了这一点，我们也就可以用，图像的方法来解出这个不等式关于x的取值范围了，其实也就是x>3/2。
而我们知道，无论是几何和代数，他们每一个基本性质其实都有一个，我们无法证明的东西，作为后面的基础，比如说三角形全等，有它的公理平行四边形，也有它的公理，等式也有他的公理，而自然不等式也有他的公理。
而这其实就是我们找到的公理了。他是无法被证明的，但是他同时也是我们搭建不等式大桥的坚实基础。
之后我们进行猜想不等式两边同时加减同一个整式不等号方向不变。
我们的证明基础就是不等式公理。而我们想要推倒的结果，其实就是通过a小于b推导出来，a+c小于b+c。
这就是我们推理的结果了，通过这其实我们就证出来了，不等式的基本性质一，也就是不等式两边同时加或减同一个整式，不等号方向不变。
之后，我们对于乘除进行猜想，我们猜想不等式两边同时乘或除同一个大于零的整式不等号方向不改变，那为什么说要大于零呢。
我们举个例子
所以说我们就要先来验证大于零的这一观点，而我们起点就多了一个不等式的基本性质一，还有就是不等式公理。而我们要求证的就是a大于b，推导出ac大于bc。首先，我们已知的条件就是a大于b，还有就是c大于0。
而这就是我们推导的结果了。
之后，我们又推导出来了不等式基本性质，三也就是c小于零的情况。而推出来的不等式基本性质三，也就是不等式两边同时乘或除同一个小于零的整式不等号方向改变。
而我们得到了不等式的三个基本性质之后，就可以去解一元一次不等式和一元一次不等式组了。同时，我们在解一元一次不等式，的时候要注意他解出来的时候，和一元一次方程不一样，它的未知数解出来是一个值，但一元一次不等式解出来的是一个范围，也就是我们口中的解集。
而1元一次不等式组呢，就不一样了，他会有四种不同的情况。
我们学习完了，如何解一元一次不等式和一元一次不等式组，以及相对应的实际问题，这并不是一个终点，这只是一个我们学习更高原和更高次的不等式组的一个起点，我们之后还会学习，比如三个二次等等。
