(1) Denote ∠NPC=ϕ1, ∠MPC=ϕ2, then
S△NPAS△NPC=ANCN=APcosϕ2CPsinϕ1.
Therefore, tanϕ1=ANCN⋅CPAP.
Similarly, tanϕ2=BMCM⋅CPBP.
Thus, tanϕ1=tanϕ2 is equivalent to
ANCN⋅BPAP⋅CMBM=1.
In △ABC, applying Ceva's theorem to the lines AM,BN,CP gives the above equation directly.
(2) Denote ∠NPC=∠MPC=ϕ.
To prove the conclusion, it suffices to prove
sinxsin(ϕ−x)=sinγsin(ϕ−y),
where x=∠EPO,γ=∠DPO. In fact, the latter is equivalent to
⇔sinγsinxsinϕcosx−cosϕsinx=sinγsinϕcosx−cosϕsinγcotx=cotγ⇔x=γ.
Suppose E∈NH,D∈CM, then
EHNE=S△EHPS△NEP=PH⋅sinxNP⋅sin(ϕ−x).
Therefore,sinxsin(ϕ−x)=EHNE⋅NPPH(1)
Similarly, we obtain
sinγsin(ϕ−γ)=CDDM⋅PMCP(2)
Using (1) and (2), it suffices to prove
EHNE⋅DMCD⋅CPPH⋅NOMO=1.(3)
(since PO is the angle bisector of ΔNPM, that is, PNPM=NOMO.)
Also, since
EHNE=SΔEHOSΔNEO=OHsinψNOsinδ,DMCD=SΔDMOSΔCDO=OMsinδCOsinψ,
where δ=∠MOD,ψ=∠EOP. Thus, (3) simplifies to
OHOC⋅PCPH=1.
Applying Menelaus's theorem to ΔBHC and line MN, to ΔCHM and line AB, and to ΔBHM and line AC respectively, we obtain
NHBN⋅OCHO⋅MBCM=1,PHCP⋅AMHA⋅BCMB=1,NBHN⋅CMBC⋅HAMA=1,
Multiplying the three equations gives
OHOC⋅PCPH=1.