证明：设点P,直线AB,在AB上任取一点C,连接PC,直线AB的法向量为n,向量AB与n的夹角为a,P到直线AB的距离为H
H=|PC| |cos(PC,n)|
=||PC| PC点乘n/(|PC|*|n|)|
=|PC点乘n/|n|| (取绝对值是考虑距离恒为正数)