- Thread starter
- Admin
- #1

http://mathhelpboards.com/math-notes-49/finding-distance-between-point-line-2952.html

- Thread starter MarkFL
- Start date

- Thread starter
- Admin
- #1

http://mathhelpboards.com/math-notes-49/finding-distance-between-point-line-2952.html

- Mar 10, 2012

- 832

There is another nice way to do it.

http://mathhelpboards.com/math-notes-49/finding-distance-between-point-line-2952.html

Let $C$ be the circle $(x-x_0)^2+(y-y_0^2)=r^2$ centered at $P$ and having radius $r$. The line $y=mx+b$ can have two points in common

- Jan 30, 2012

- 2,488

I suggest the following proof that deals with the general (or standard) form of the line equation rather than the slope–intercept form.

Suppose in a Cartesian coordinate system a line $l$ is given by the equation $L(x,y)=0$ where $L(x)=Ax+By+C$. Also, let $\vec{n}=(A,B)$.

Theorem. The distance $d(P_0,l)$ from any point $P_0(x_0,y_0)$ to $l$ is $L(x_0,y_0)/|\vec{n}|$.

Proof. Let $P_1(x_1,y_1)$ be any point on $l$ (thus, $L(x_1,y_1)=0$) and let $\varphi$ be the (smaller) angle between $\overrightarrow{P_1P_0}$ and $\vec{n}$. Since $\vec{n}$ is perpendicular to $l$ (Lemma 2 below), we have

\begin{align*}

d(P_0,l)&= |\overrightarrow{P_1P_0}|\cdot|\cos\varphi|\\

&=\frac{|\overrightarrow{P_1P_0}\cdot\vec{n}|} {|\vec{n}|}\\

&= \frac{|A(x_0-x_1)+B(y_0-y_1|)}{|\vec{n}|}\\

&=\frac{|L(x_0,y_0)-L(x_1,y_1)|}{|\vec{n}|}\\

&=\frac{|L(x_0,y_0)|}{|\vec{n}|}

\end{align*}

Since $|\vec{n}|=\sqrt{A^2+B^2}$, $d(P_0,l)$ can be expanded to

\[

\frac{|Ax_0+By_0+C|}{\sqrt{A^2+B^2}}

\]

Lemma 1. Vector $(-B,A)$ is parallel to $l$. This holds in any affine coordinate system, not necessarily a Cartesian one.

Proof. Let $P_0(x_0,y_0)$, $P_1(x_1,y_1)$ be two different points on $l$. Then $\overrightarrow{P_0P_1}=(x_1-x_0,y_1-y_0)$ is parallel to $l$. Also,

\[

L(x_1,y_1)-L(x_1,y_1)=A(x_1-x_0)+B(y_1-y_0)=0

\]

or

\[

A(x_1-x_0)=-B(y_1-y_0)\tag{*}

\]

If $A\ne0$ and $B\ne0$, then (*) is equivalent to

\[

\frac{x_1-x_0}{-B}=\frac{y_1-y_0}{A}

\]

But even if $A=0$ or $B=0$ (but not $A=B=0$), (*) expresses the fact that $(x_1-x_0,y_1-y_0)$ is proportional to, and thus parallel to, $(-B,A)$.

Lemma 2. If the coordinate system is Cartesian, then $n$ is perpendicular to $l$.

Proof. By Lemma 1, vector $\vec{p}=(-B,A)$ is parallel to $l$, and $\vec{n}\cdot\vec{p}=-AB+BA=0$, so $n$ is perpendicular to $p$ and to $l$.

Suppose in a Cartesian coordinate system a line $l$ is given by the equation $L(x,y)=0$ where $L(x)=Ax+By+C$. Also, let $\vec{n}=(A,B)$.

Theorem. The distance $d(P_0,l)$ from any point $P_0(x_0,y_0)$ to $l$ is $L(x_0,y_0)/|\vec{n}|$.

Proof. Let $P_1(x_1,y_1)$ be any point on $l$ (thus, $L(x_1,y_1)=0$) and let $\varphi$ be the (smaller) angle between $\overrightarrow{P_1P_0}$ and $\vec{n}$. Since $\vec{n}$ is perpendicular to $l$ (Lemma 2 below), we have

\begin{align*}

d(P_0,l)&= |\overrightarrow{P_1P_0}|\cdot|\cos\varphi|\\

&=\frac{|\overrightarrow{P_1P_0}\cdot\vec{n}|} {|\vec{n}|}\\

&= \frac{|A(x_0-x_1)+B(y_0-y_1|)}{|\vec{n}|}\\

&=\frac{|L(x_0,y_0)-L(x_1,y_1)|}{|\vec{n}|}\\

&=\frac{|L(x_0,y_0)|}{|\vec{n}|}

\end{align*}

Since $|\vec{n}|=\sqrt{A^2+B^2}$, $d(P_0,l)$ can be expanded to

\[

\frac{|Ax_0+By_0+C|}{\sqrt{A^2+B^2}}

\]

Lemma 1. Vector $(-B,A)$ is parallel to $l$. This holds in any affine coordinate system, not necessarily a Cartesian one.

Proof. Let $P_0(x_0,y_0)$, $P_1(x_1,y_1)$ be two different points on $l$. Then $\overrightarrow{P_0P_1}=(x_1-x_0,y_1-y_0)$ is parallel to $l$. Also,

\[

L(x_1,y_1)-L(x_1,y_1)=A(x_1-x_0)+B(y_1-y_0)=0

\]

or

\[

A(x_1-x_0)=-B(y_1-y_0)\tag{*}

\]

If $A\ne0$ and $B\ne0$, then (*) is equivalent to

\[

\frac{x_1-x_0}{-B}=\frac{y_1-y_0}{A}

\]

But even if $A=0$ or $B=0$ (but not $A=B=0$), (*) expresses the fact that $(x_1-x_0,y_1-y_0)$ is proportional to, and thus parallel to, $(-B,A)$.

Lemma 2. If the coordinate system is Cartesian, then $n$ is perpendicular to $l$.

Proof. By Lemma 1, vector $\vec{p}=(-B,A)$ is parallel to $l$, and $\vec{n}\cdot\vec{p}=-AB+BA=0$, so $n$ is perpendicular to $p$ and to $l$.

Last edited: