设l1与x轴夹角为a1,l2与x轴夹角为a2
那么k1=tana1=cot(π/2-a1),k2=tana2=cot(π/2-a2)
所以l1与l2的夹角β满足
cotβ=1/(tanβ)=1/|tan(a1-a2)|=1/[(tana1-tana2)/(1+tana1tana2)]=1/[(k1-k2)/(1+k1k2)]
=(1+k1k2)/(k1-k2)
因为k1k2=0
所以cotβ=0
所以β=π/2
即l1与l2的夹角是直角,
所以l1⊥l2
如题（点击放大）：那个prove就是求证的意思,