证明过点m(x0,y0)与AX+BY+C=0垂直的直线为x-x0/A=y-y0/B