1 一次函数两直线互相垂直定理成立。
2 因为一次函数的解析式为y=ax+b，其中a为斜率，若两条直线的斜率分别为a1和a2，由于两直线垂直，所以a1×a2=-1，反之，若a1×a2=-1，则两条直线垂直。
3 这一定理的证明需要用到向量的知识和解析几何中的点到直线的距离公式，进一步可以推导出两直线的夹角公式。
直线Y=K1X+b1与直线Y2=K2X+b2互相垂直，则：K1*K2=-1。
一次函数是函数中的一种，一般形如y=kx+b（k，b是常数，k≠0），其中x是自变量，y是因变量。特别地，当b=0时，y=kx（k为常数，k≠0），y叫做x的正比例函数。
一次函数有三种表示方法，如下：
1、解析式法：用含自变量x的式子表示函数的方法叫做解析式法。
2、列表法：把一系列x的值对应的函数值y列成一个表来表示的函数关系的方法叫做列表法。
3、图像法：用图象来表示函数关系的方法叫做图象法。
