*This blog post corresponds to my newest olympiad handout on mixtilinear incircles.*

My favorite circle associated to a triangle is the -mixtilinear incircle. While it rarely shows up on olympiads, it is one of the richest configurations I have seen, with many unexpected coincidences showing up, and I would be overjoyed if they become fashionable within the coming years.

Here’s the picture:

The points and are the contact points of the incircle and -excircle on the side . Points , , are the midpoints of the arcs.

As a challenge to my recent USAMO class (I taught at A* Summer Camp this year), I asked them to find as many “coincidences” in the picture as I could (just to illustrate the richness of the configuration). I invite you to do the same with the picture above.

The results of this exercise were somewhat surprising. Firstly, I found out that students without significant olympiad experience can’t “see” cyclic quadrilaterals in a picture. Through lots of training I’ve gained the ability to notice, with some accuracy, when four points in a diagram are concyclic. This has taken me a long way both in setting problems and solving them. (Aside: I wonder if it might be possible to train this skill by e.g. designing an “eyeballing” game with real olympiad problems. I would totally like to make this happen.)

The other two things that happened: one, I discovered one new property while preparing the handout, and two, a student found yet another property which I hadn’t known to be true before. In any case, I ended up covering the board in plenty of ink.

Here’s the list of properties I have.

- First, the classic: by Pascal’s Theorem on , we find that points , , are collinear; hence the contact chord of the -mixtilinear incircle passes through the incenter. The special case of this problem with appeared in IMO 1978.
- Then, by Pascal on , we discover that lines , , and are also concurrent.
- This also lets us establish (by angle chasing) that and are concyclic. In addition, lines and are tangents to these circumcircles at (again by angle chasing).
- An Iran 2002 problem asks to show that ray passes through the point diametrically opposite on the circumcircle. This is solved by noticing that is a symmedian of the triangle and (by the previous fact) that is a median. This is the key lemma in Taiwan TST 2014, Problem 3, which is one of my favorite problems (a nice result by Cosmin Pohoatza).
- Lines and are isogonal. This was essentially EGMO 2012, Problem 5, and the “morally correct” solution is to do an inversion at followed by a reflection along the -bisector (sometimes we call this a “ inversion”).
- As a consequence of this, one can also show that lines and are isogonal (with respect to ).
- One can also deduce from this that the circumcircle of passes through the intersection of and .

- Lines and meet on the mixtilinear incircle. (Homothety!)
- Moreover, line passes through the exsimilicenter of the incircle and circumcircle, by, say Monge d’Alembert. Said another way, the mentioned exsimilicenter is the isogonal conjugate of the Nagel point.

To put that all into one picture:

#2 is also a key in solving 2014 ISL G7.

LikeLike

A wonderful article indeed.Just to contribute an idea that occurred to me just now I think much more could be proved via square root bc inversion.For example if instead there was a mixitilinear excircle opposite A and we were to prove that its touch chord passes through the A excenter the above mentioned technique gives a neat proof.

LikeLike

Something more came to me, both properties 1 and 2 are a direct consequence of $\sqrtbc$ inversion.This might add a little bit of insight into this already wonderful article.This technique somehow naturally connects the mixitilinear incircle with the excircle and make things easier a bit.Of course its just an idea that i think might add something more to the list.

LikeLiked by 1 person

Yep, sqrt bc inverison will certainly prove the other properties here. :) The trick is that the mixtilinear incircle gets swapped with the excircle, which is much easier to deal with.

LikeLike

Awesome! I was really wondering how to prove some of these properties in class. Btw really nice blog!

LikeLiked by 1 person

Well, my favorite circle is the B-mixtillinear circle ^_^

On a more serious note, perhaps you could also include that the radical axis of the B,C mixt. circles goes through the midpoint of arc $BC$ and the midpoint of $ID$, where $D$ is the tangency point of the incircle with $BC$. It’s not very useful, but it’s nice to know it exists.

LikeLike