P(x1,y1) 에서 ax + by + c = 0  위의 한 점 Q(x,y) 까지의 거리는  l 이라하면

양변에  을 곱하면 

코시 슈바르츠 부등식에 의해