K是互为负倒数证明：A（X,0）B（0,Y)C(Z,0).Y/-X=AB斜率Y/-Z=BC斜率.X^2+Y^2+Y^2+Z^2=X^2+Z^2-XZ.Y^2=-XZAB斜率*（-X)*BC斜率*(-Z)=-XZ.AB斜率*BC斜率＝－1也可用三角函数证明 K=tana tan(a+90)=-cota tana*(-cota)=...三角函数法确实通俗易懂，但那个非三角函数法是不是有点特殊。交点不一定在Y轴上啊！