Crossbar Theorem

From ProofWiki
Jump to navigation Jump to search


Let $\triangle ABC$ be a triangle.

Let $D$ be a point in the interior of $\triangle ABC$.

Then there exists a point $E$ such that $E$ lies on both $AD$ and $BC$.



Aiming for a contradiction, suppose $BC$ does not meet ray $\overrightarrow {AD}$.

Either $BC$ meets line $\overleftrightarrow {AD}$ or it does not.

If it meets $\overleftrightarrow {AD}$, by the Line Separation Property it must meet the ray opposite to $\overrightarrow {AD}$ at a point $E \ne A$.

According to Proposition 3.8 (b), $E$ is not in the interior of $\angle CAB$.

Point $B$ does not lie on $\overleftrightarrow {AD}$; this is because $D \in \operatorname {int} \angle CAB$, so $D$ and $C$ lie on the same side of $\overleftrightarrow {AB}$, so $D \notin \set {\overleftrightarrow {AB} }$, so $B \notin \set {\overleftrightarrow {AB} }$.

Thus, since $E \in \set {\overleftrightarrow {AD} }$, we have $E \ne B$.

By the same reasoning with $C$ and $B$ interchanged, we have $E \ne C$.

Since $E \in BC$ and $E$ is not an endpoint, we have $B ∗ E ∗ C$.

Thus by Proposition 3.7, $E$ is in the interior of $\angle CAB$, which is a contradiction.

Thus $\overleftrightarrow {AD}$ does not meet $BC$ at all; that is, $B$ and $C$ are on the same side of $\overleftrightarrow {AD}$.

By B-2, we have a point $E$ such that $C ∗ A ∗ E$.

By Lemma 3.2.2, $C$ and $E$ are on opposite sides of $\overleftrightarrow {AD}$.

Thus, by B-4(iii), E and B are on opposite sides of $\overleftrightarrow {AD}$.

But by Proposition 3.8(c), $B$ is on the interior of $\angle DAE$, so $E$ and $B$ are on the same side of $\overleftrightarrow {AD}$

This is a contradiction.

Thus $\overrightarrow {AD}$ meets $BC$.