# A way to directly see the Inscribed angle theorem? (i.e. central angle is twice the inscribed angle)

Dotted line is parallel to the diameter; radii are equal length.

The upper angle is the inscribed angle; the double angle at the center is the central angle.

1. The upper triangle is isosceles, because radii are equal; therefore its base angles are equal.

2. The leftmost angle (with the dotted line) equals the inscribed angle, because they are alternate interior angles.

3. The double angle on the left equals the central angle, again by alternate interior angles.

Is there a better way to see this?

Note: This special case works whether the central angle is acute (as shown) or obtuse; it also works if reflected to the other side.

1. The first generalization is to when the arms on either side of the diameter shown is to use this construction on both sides, and add all the angles.

2. The second generalization is to where the arms are both on the same side of the diameter shown, and to subtract the lesser angles from the greater.

There's more details of the generalizations at Khan Academy's High School Geometry's Inscribed angle theorem proof ( review text; video ), but they use algebra for the special case/lemma, whereas the above is geometrical.

I really liked their reuse of the special case as a lemma - very elegant. But hard to visualize the complete proof of the special case, because it relied on triangle internal angles summing to $180^\circ$. With the great answers to this question, especially @EthanBolker's, I got a way to visualize it - which surprisingly also lead to a simpler proof, by not needing the angle supplementary to the central angle.

(I couldn't find a way to label the parallels/radii with arrows/strike-throughs at geogebra, though an otherwise excellent tool).

• +1. I like your approach. :) As to the question, "Is there a better way to see this?" ... There may not be. Any argument that resorts to the angle-sum theorem is implicitly using the alternate interior angles theorem, while adding an extra step (plus algebra). Some other argument that goes directly from parallelism to the Inscribed Angle Theorem would, I think, be as good as yours, but not necessarily "better". – Blue Apr 12 at 5:42
• In Geogebra, (1) right click the line segment drawn to open the ‘properties’ popup window; (2) if necessary, scroll down to the last option box to include a ‘decoration’ to the line segment drawn. This will not work for rays or lines. – Mick Apr 12 at 8:07
• @hyperpallium: Take a look: trigonography.com/2018/04/12/… – Blue Apr 12 at 9:27
• @Blue Thanks, it's like being written up in a textbook! Being horizontal with labelled points is like seeing it for the first time. I'm unsure of the conventions in geometry, so I defer to your judgement, but: shouldn't segments $\overline{PR}$ and $\overline{OQ}$ be solid? Also, shouldn't the parallel arrows be the same colour and boldness? (Great you have them, unlike mine!) Finally, this may be the "equivalent parallel postulate" and over my head, but I haven't seen equalities being equivalent to parallel lines (as in the line with $\overleftrightarrow{PQ}\parallel\overleftrightarrow{RS}$). – hyperpallium Apr 12 at 11:01
• @Blue Don't worry too much about my comments, it's just feedback; what you've done is the most appreciation I've received in a long time! – hyperpallium Apr 12 at 11:08

• I agree that Euclid $I, 32$ has a lopsided look compared with the figure in the other answer you mention. I believe Aristotle also preferred that one. Please edit in the links--something I need to learn how to do,--and send your diagram. – Edward Porcella Apr 16 at 15:56
• I've edited in the links (they're peer-reviewed, so might take a while). Links are square-backeted text, then parenthesised url: [text](url). Here's the first one: [Elements, III, 20](https://mathcs.clarku.edu/~djoyce/elements/bookIII/propIII20.html) (you can edit your answer to see the others). The "help" link (eg, below "Add Comment") gives a quick reminder without leaving the page. BTW I found the links by googling e.g. "Elements, III, 20", and those pages have links to the relied on postulates, on the right hand side. BTW did you know these postulates off the top of your head? – hyperpallium Apr 17 at 8:52