证明:
因为|PQ|2=(x-x0)2+(y-y0)2,A2+B2≠0,由柯西不等式,得
(A2+B2)[(x-x0)2+(y-y0)2]≥[A(x-x0)+B(y-y0)]2=[(Ax+By)-(Ax0+By0)]2=(Ax0+By0+C)2,
所以|PQ|≥,
当时,取等号,
由垂线段最短得d=.