一次函数的定理、公理是什么

1、 直线y=kx+b(k≠0)和x轴的交点是(-b/k，0)和y轴的交点是(0，b).

2、 直线y=kx+b(k≠0) 和x、y轴围成的三角形面积是S=1/2∣-b/k∣·∣b∣=b2/2∣k∣.

3、 直线y=kx+b(k≠0)与k、b之间的关系：

（1）k>0，b>0，直线过一、二、三象限

其中（0，b）是它与y轴的交点。

（2）k>0，b<0，直线过一、三、四象限

（3）k<0，b>0，直线过一、二、四象限

（4）k<0，b<0，直线过二、三、四象限。

4、一次函数y=kx+b(k≠0).

(1)当k>0时，y随x增大而增大

（2）当k<0时，y随x增大而减小。

5、两直线的位置关系：

已知l1:y=k1x+b1，l2:y=k2x+b2(k1，k2≠0)

两直线平行k1=k2，b1≠b2

两直线重合k1=k2，b1=b2

两直线相交k1≠k2

是定理---------------证明如下---------------------------首先我们有，这是公理。

我们定义，其中表示的后继，这是定义。

我们定义加法为：那么---------------------------------------------------------更多疑问详见《陶哲轩实分析》