已知斜率相乘-1求证两直线垂直

设方向向量为(x1,y1),(x2,y2)
根据题意，得到(y1/x2)(y2/x1)=-1
即y1y2=-x1x2
x1x2+y1y2=0
得到方向向量垂直
即直线垂直

证明：设两直线方程为
y=kx+m （斜率tana=k ）
y=-x/k+n （斜率tanb=-1/k）
两直线的夹角为a-b
tan(a-b)=（tana-tanb）/(1+tana*tanb)
=(k+1/k)/(1-k*1/k)
分母为0，tan(a-b)无穷大，则a-b=90°
所以两直线垂直。

E ..楼上的逻辑有点问题。。这个要用更基础的东西来证