Prove angle IPM=90

Question

Given triangle $ABC$ inscribed $(O)$. Let $I$ be the incenter and $D$ be the contact point of $(I)$ with $BC$. $AD$ intersect $(O)$ at the second point $E$. Let $M$ be the midpoint of $BC$ and $N$ the midpoint of arc $BAC$. Let $EN$ intersect $(BIC)$ at $P$ ($P$ lies inside $ABC$). Prove $\angle IPM=90^o$

I think it's just angle chasing, but it's hard to approach. I don't know what properties the construction of $E$ made ?

Answer 1

Proof

The following statements will use some well-known facts, for example, the center of the circle $(BIC)$ is the midpoint of the arc $\widehat{BEC}$ and so on. For convenience, we omit the proofs for them.

Let $NE$ intersect $ID$ at the point $K$. It's easy to find $\angle AIK=\angle AEK$. Thus $A,I,E,K$ are concyclic. Hence $$BD \cdot DC=AD \cdot DE=ID \cdot DK,$$which shows that $B,I,C,K$ are also concyclic, namely, $K$ lies on the circle $(BIC)$.

Moreover, we may notice that $NC,NB$ are the tangents to the circle $(BIC)$. Therefore, $BPCK$ is a harmonic quadrilateral. Since $M$ is the midpoint of the diagonal $BC$, we may claim that $$\triangle BPM \sim \triangle KPC.$$ Therefore, $$\angle IPM=\angle IPB+\angle BPM=\angle IPB+\angle KPC=\angle IKB+\angle KBC=90^o.$$

Answer 2

A longer way to solve:

Lemma: Given $\Delta ABC$ inscribed $(O)$ and its incenter $I$. Let $(I)$ touch $BC,CA,AB$ at $D,B',C'$. $B'C' \cap BC=T$. Let $N$ be the midpoint of arc $BAC$. Let $NT \cap (O)=${$N,Q$}. Let $A$-symmedian intersect $(O)$ at $G$. Then $(T,G,I,Q)$ concyclic.

For the proof of the lemma, please see here.

Back to the problem, let $(IBC) \cap (IDM)=${$I,P'$}. We define point $T,G,Q$ as the lemma said. (see figure below)

We will prove $\overline{N,P',E}$.

We have $E(AG;BC)=-1$ and $E(TD,BC)=-1$ so $\overline{T,E,G}$.

By using power of point: $TB.TC=TD.TM$, so $\overline{T,I,P'}$.

Hence, $TI.TP'=TB.TC=TQ.TN=TE.TG$.

$\Rightarrow (N,Q,I,P')$ and $(I,P',G,E)$ concyclic.

Now, $\angle IP'N + \angle IP'E= \angle TQI + \angle TGI = 180^o$, i.e. $\overline{E,P',N}$ (Q.E.D).

So $P' \equiv P$ and the problem solved.