# Incenter and circumcenter of triangle ABC collinear with orthocenter of MNP, tangency points of incircle

Let $$M$$, $$N$$, and $$P$$ be points of intersection of the incircle of triangle $$ABC$$ with sides $$AB$$, $$BC$$, and $$CA$$, respectively. Prove that the orthocenter of $$\triangle MNP$$, the incenter of $$\triangle ABC$$ and the circumcenter of $$\triangle ABC$$ are collinear.

Can someone prove this without using inversion? Or is it possible to turn 'inversive geometyr proof' to 'euclidean geometry proof'?

• "Inversive geometry" is "Euclidean geometry", so it's certainly possible to convert an "inversive proof" into a "Euclidean proof" ... but it may require unpacking a lot of the conveniences that inversion affords. If you have an inversive proof, include it in your question, so that answerers can avoid wasting time duplicating the effort.
– Blue
Feb 5, 2020 at 0:43
• I don't know inversive geometry so I asked a proof without inversion. I mentioned inversion because someone told me this problem can be solved using inversion. Feb 5, 2020 at 0:49
• That kind of context is helpful to put into the question. Also, you've been here long enough to know that you should include your own thoughts on a problem and/or your attempts at a solution, so that answerers don't waste time explaining things you already know or using techniques with which you are unfamiliar.
– Blue
Feb 5, 2020 at 1:16
• Animation : demonstrations.wolfram.com/… Feb 5, 2020 at 23:47
• No comment ?.... Observe that this site is based on exchanges Feb 10, 2020 at 12:10

Here is a possible proof "without inversion". (Note: Generally i am against settings of problems, which discriminate some structural part of mathematics, and ask for a solution "without" some ingredient, which would make the solution straightforward, simple, and easy to remember. But in this case i will accept the challenge. There will be some similitude argument instead... well, same two circles as in the solution using inversion are the main actors.)

Note that even the main wiki page for the inversion uses this problem to illustrate the use and usefulness of the inversion:

https://en.wikipedia.org/wiki/Inversive_geometry#Application

I will slightly change the notation to fit the order in the alphabet. So $$M$$ is not on $$AB$$, but on the side opposite to the vertex $$A$$, and similarly for $$N,P$$. (Else i would commit errors.) So let us state explicitly...

Let $$\Delta ABC$$ be a triangle. Let $$I$$ be the incenter, the intersection of the bisectors of the angles of the triangle. The incircle $$(I)$$ touches the sides of $$\Delta ABC$$ in the points $$M\in BC$$, $$N\in CA$$, and $$P\in AB$$.

Let $$S,T,U$$ be the intersections of the the angle bisectors $$AI$$, $$BI$$, $$CI$$ with the segments respectively perpendicular on them, $$NP$$, $$PM$$, $$MN$$.

Let $$O$$ be the circumcenter of $$\Delta ABC$$, the center of the circle $$(ABC)$$.

Let $$o$$ be the circumcenter of $$\Delta MNP$$, the center of the circle $$(MNP)$$. Of course, $$o=I$$, but it may be useful to use the notation $$o$$ when addressing this point for its quality of being the center of $$(MNP)$$. We use in the notation a small letter as possible, and with the same convention let $$h$$, $$g$$, $$9$$ be respectively for $$\Delta MNP$$ the orthocenter, the centroid, and the center of the nine point (Euler) circle $$(STU)$$. Here, $$g=MS\cap NT\cap PU$$, and $$9$$ is the mid point of $$oh$$. We denote by $$A'$$ the intersection of the bisector $$AI$$ with the circle $$(O)=(ABC)$$. Construct $$B',C'$$ similarly.

Let $$M'$$ be the mid point of the segment $$Mh$$, so $$M'\in(STU)$$.

The we have:

(1) The Euler line (e) of $$\Delta MNP$$ is passing through $$o=I$$, $$9$$, $$g$$, $$h$$, in particular these points are colinear.

(2) $$OA'\| oM\|S9M'$$, and similarly $$OB'\| oN\|T9N'$$, $$OC'\| oP\|U9P'$$.

(3) The triangles $$\Delta STU$$ and $$\Delta A'B'C'$$ are perspective / similar / homothetic, the center of the perspectivity being $$o=I$$, the intersection of the bisectors $$ASIA'$$, $$BTIB'$$, $$CUIC'$$.

(4) The circles $$(STU)$$ and $$(A'B'C')=(ABC)$$ respect the same homothety. In particular, the center of homothety $$o$$ is on the line their centers $$9$$ and $$O$$.

(5) The points $$o=I$$, $$9$$, $$g$$, $$h$$, $$O$$ are on the Euler line $$(e)$$ of $$\Delta MNP$$.

Proof: All points are clear. (2) deserves maybe a slight explanation. The lines $$oM=IM$$, and $$OA'$$ are perpendicular on $$BC$$. ($$M$$ is the tangency point of $$(I)$$, and $$OA'$$ is the side bisector of $$BC$$.) So $$oM\|OA'$$. Then in $$\Delta MNP$$ we have the parallelogram $$oMM'S$$. (For instance, $$IS$$, $$MM'$$ are perpendicular on $$NP$$, it remains to show they have the same length. Use now that $$9$$ is the mid point of $$oh$$, $$9$$ is also the mid point of the diameter $$M'S$$, so $$ShM'o$$ parallelogram, so $$SI=So=hM'=M'M$$.)

$$\square$$