How can we prove that opposite angles (when two lines intersect) are in fact equal to one another?

Well, first of all – let’s draw a circle…

We know that in a full circle, there are 360 degrees. This is an indisputable fact. Now, what happens if we split this circle in two with a straight line (going through its centre)?

Well, each half of the circle (top and bottom) – will now contain 180 degrees. We know this because:

Ok, so far so good… Now, let’s draw another line through the circle (going through its centre) which intersects the first line we have drawn…

As we can see, because we have done this, we now have 4 different angles. Let’s name the two angles which are situated in the top half of the circle **Î±**Â and **Î˛**…

Earlier in this demonstration, we remarked that the top half of the circle (when it was split in two) contained 180 degrees. Mathematically and logically speaking, as this is the case, we must say that:

Great, now let’s name the angles in the bottom half of the circle **x** and **y**…

It follows, because the angles in the top half of the circle add up to 180 degrees, we must deduce that:

So, it turns out we now have two useful equations:

Do we have enough to form our proof though? Unfortunately, not quite… We have to look at our most recent figure again, but this time from a different perspective…

You see, there are different top halves and bottomÂ halves…

- There exists top halvesÂ
**Î±+Î˛** and also…Â **Î˛+y**
- There exists bottom halves
**x+y** but alsoÂ **Î±+x**

You may ask, why is this important? Well, here’s what’s crucial:

And now we have 4 different equations, 3 of which – will help us finally complete our proof.

Here’s why we needÂ these equations…

**Î±+Î˛** andÂ **Î±+x** are equivalent (180 degrees), so we can deduce that:

**SubtractÂ ***Î±** from both sides of the equation.

**Î±+Î˛**Â and **Î˛****+y** are equivalent (180 degrees), so we can deduce that:

**SubtractÂ ***Î˛** from both sides of the equation.

Hence, we’ve proven that: **Opposite angles (when two lines intersect) are equal to one another**.

**Â Î˛=x** andÂ **Î±=y**: