Positiveness of the distance from the point to the line

#	User	Rating
1	Benq	3676
2	Kevin114514	3657
3	jiangly	3638
4	turmax	3442
5	tourist	3380
6	Um_nik	3353
7	strapple	3350
8	squareOf105	3346
9	heuristica	3322
10	maroonrk	3310

#	User	Contrib.
1	Qingyu	158
2	nik_exists	151
3	maspy	150
4	AmShZ	144
4	Um_nik	144
6	Errichto	139
7	adamant	137
8	BledDest	135
9	maroonrk	133
10	Proof_by_QED	131

There is a line l given by the equation ax + by + c = 0 and the point P(x₀, y₀). Let Q(x₁, y₁) be projection of P on l. Am I right that $\text{[math]}$ ?

professorbrill's blog