# Does this geometry theorem have a name?

Start with a circle and draw two tangent circles inside. The (black) inner tangent lines to the smaller circles intersect the large circle. The (red) lines through these intersection points are parallel to the (green) outer tangents to the small circles.

A long time ago I worked on this theorem, but I never knew the name. Without a name it's difficult to find more information. Does anyone know if this theorem has a name and where I can find more information about it?

• If it doesn't have a name, you can rightfully call it "angry dude" (or some variation thereof) :-)
– M.G.
Oct 26, 2017 at 16:48
• This reminds me of the following problem from an old issue of "Kvant" (around mid-80s). Consider an inscribed quadrilateral ABCD where neither pair of the opposite sides are parallel. Now form the triangle T whose vertices are intersections of lines AB and CD, AC and BD, AD and BC. Then the center of the circle in which ABCD is inscribed is the orthocenter of T. I remember that the proof had to do with poles and polars. It's probably all online, not too hard to find. Oct 27, 2017 at 1:33
• Hyperbolic Hyperbole Theorem in Two-Dimensions?
– user102126
Jul 5, 2018 at 7:40
• Please see similarly subject: mathoverflow.net/questions/304300/… Apr 24, 2019 at 11:18

Even more is true for this theorem. Check out this drawing from Arseniy Akopyan wonderful book of Geometry in Figures (Second, extended edition, 2017). On page 65 we find Figure 4.7.29)

In the foreword, Arseniy Akopyan writes

"It is commonly very hard to determine who the author of a certain result is."

He nevertheless provides source for many of the figures in the end of his book. Unfortunately for Figure 4.7.29 he doesn't provide such a reference.

This leads me to the answer: Probably it doesn't have a name (like many "geometry theorems").

• Is the inner circle in this diagram any circle tangent to the two smaller circles, or is it a specific one? Oct 26, 2017 at 20:13
• It's any circle tangent to both, just as you can replace the outer circle by any circle tangent to both. Oct 27, 2017 at 5:35
• @user1998586 As I point out in my comment right above yours, I believe it does, only you have to swap the role of the two pairs of tangent lines. Using the old roles clearly doesn't work, but a quick drawing I made by hand made it seem plausible that it works the other way. Oct 27, 2017 at 14:24
• @Arthur thanks, I was too excited by the diagrams to read the comments! Oct 27, 2017 at 14:30
• I think, I've found the statement by myself, looking for a static version of Protasov's segment theorem demonstrations.wolfram.com/SegmentTheorem Nov 6, 2017 at 11:43

This is theorem 2 (the Parallel tangent theorem) in "Two Applications of the Generalized Ptolemy Theorem" by Shay Gueron.