Two Angles making Two Right Angles make Straight Line

Proof


Let $AB$ be the given straight line and $B$ the given point on it.

Let $BC$ and $BD$ be the two straight lines not lying on the same side of it such that $\angle ABC + \angle ABD$ equal two right angles.

Suppose $BD$ is not in a straight line with $BC$.

Now some line must be, so let $BE$ be in a straight line with $BC$ instead.

Then since $AB$ stands on the (supposed) straight line $CBE$, $\angle ABC + \angle ABE$ equal two right angles.

But we already know that $\angle ABC + \angle ABD$ equal two right angles.

Therefore, by Common Notion 1 and the fact that all right angles are congruent, $\angle ABC + \angle ABD = \angle ABC + \angle ABE$.

So let $\angle ABC$ be subtracted from each.

Then by Common Notion 3, the remaining angle $\angle ABE$ equals remaining angle $\angle ABD$.

But $\angle ABD$ is greater than $\angle ABE$, so this is impossible.

So $BE$ can not be in a straight line with $BC$.

Similarly we can show that any straight line which is not $BD$ can not be in a straight line with $BC$.

Therefore $BC$ is in a straight line with $BD$, hence the result.