Check out the demo above and fiddle with the sliders for just a minute to see how they affect the diagram. The "a" and "b" sliders control the sides of the central angle (the angle with red sides)--and increase and decrease its measure. The value O on Line 8 shows the measure of the central angle. The "c" slider controls the vertex of the inscribed angle (the angle with the dashed sides), and the "r" slider increases and decreases the size of the circle.
The idea here is to get close to demonstrating the inscribed angle theorem, which says that the measure of the inscribed angle (dashed sides) is always half the measure of the central angle (red sides). It seems that this is true for most of the positions you can get to above, but it certainly doesn't seem true for every position (like when \(\small \mathtt{a = 0, b = -2.2, c = -1}\)).
The Sorta Kinda Proof
The way that this is typically done is to look at 3 different cases (shown below)--one where the center of the circle is inside the inscribed angle; one where it's outside the angle, and one where the center lies on one of the sides of the inscribed angle. Notice that we get to use the Greek letters alpha (\(\small\mathtt{\alpha}\)) and beta (\(\small\mathtt{\beta}\)) in order to make this seem really cool and sophisticated.
First, construct a diameter that runs through the vertex of the inscribed angle (and of course the center). In this case, the green dashed line segment, \(\overline{\small\mathtt
{BQ}}\), is our diameter.
The base angle theorem tells us that if two sides of a triangle are congruent, then the angles opposite those sides are also congruent. The congruent radii give us 2 pairs of congruent angles, as you can see below: \(\small\measuredangle\mathtt{OBR} \cong \small\measuredangle\mathtt{ORB}\), and \(\small\measuredangle\mathtt{OBS} \cong \small\measuredangle\mathtt{OSB}\). Anyway, although I deleted the \(\small\mathtt{\alpha}\) and \(\small\mathtt{\beta}\) above to make the diagram cleaner, I hope you can see that the measure of the inscribed angle, \(\small\measuredangle\mathtt{B}\), is 1 pink + 1 green. Now we have to show that the measure of the central angle is twice that, or 2 × (pink + green), or 2(pink) + 2(green). |
Diameter \(\overline{\small\mathtt{OB}}\) again reveals some congruent radii, marked with red tick marks. The base angle theorem also reveals some congruent angles--marked
again in pink and green.
For \(\small\Delta\mathtt{JOB}\), 2(pink) + \(\small\mathtt{\alpha}\) + \(\small\mathtt{\gamma}\) = \(\small\mathtt{180^\circ}\). For \(\small\Delta\mathtt{BOD}\), 2(pink) + 2\(\small\mathtt{\beta}\) + \(\small\mathtt{\gamma}\) = \(\small\mathtt{180^\circ}\). The only difference between those equations is that one uses \(\small\mathtt{\alpha}\) and the other uses 2\(\small\mathtt{\beta}\). This means that 2\(\small\mathtt{\beta}\) = \(\small\mathtt{\alpha}\), or 2 times the measure of the inscribed angle is equal to the measure of the central angle. |
This case is the most straightforward--at least as I've drawn it here. The base angle theorem once again allows us to mark congruent angles.
So, we get \(\small\mathtt{\alpha} + \small\mathtt{\gamma} = \small\mathtt{180^\circ}\) and also, looking at the triangle, we see that 2\(\small\mathtt{\beta} + \small\mathtt {\gamma} = \small\mathtt{180^\circ}\). Thus, 2\(\small\mathtt{\beta} = \small\mathtt{\alpha}\), or the measure of the central angle is twice that of the measure of the inscribed angle. |
The Remaining Problem
When you played with the inscribed angle on the Desmos graph above, you saw that there were situations when the inscribed angle was definitely not half the measure of the central angle. This was when the inscribed angle was "facing toward" the central angle, as you can see at the right.
You can see some of the more technical language for this exception at this link, where, incidentally, the theorem is called the central angle theorem.