MathLabs

Problem 1

Let ABCABC be an acute-angled triangle with AB≠ACAB\ne AC. The circle with diameter BCBC intersects the sides ABAB and ACAC at MM and NN respectively. Denote by OO the midpoint of side BCBC. The bisectors of angles ∠BAC\angle BAC and ∠MON\angle MON intersect at RR. Prove that the circumcircles of triangles BMRBMR and CNRCNR have a common point lying on side BCBC.
Step 4 of 4: Force a common point on BCBC
In plain words

A directed-angle identity makes the second intersections with BCBC coincide.

angleCNR+angleRMB=180circimpliesextthecircles(CNR)extand(BMR)extmeetagainonBCangle CNR+angle RMB=180^circimplies ext{the circles }(CNR) ext{ \quad\text{and}\quad }(BMR) ext{ meet again on }BC
Detailed analysis

Let KK be the second intersection of (CNR)(CNR) with BCBC. Write ∠ACB=a\angle ACB=a, ∠CBA=b\angle CBA=b, and ∠ONR=∠RMO=k\angle ONR=\angle RMO=k; the equality follows because RR lies on the perpendicular bisector of MNMN. From the cyclic quadrilateral AMRNAMRN and ARAR bisecting ∠A\angle A, one obtains ∠RMN=90∘−a2−b2\angle RMN=90^\circ-\frac a2-\frac b2. On the other hand, angle chasing at MM gives ∠RMN=180∘−a−b−k\angle RMN=180^\circ-a-b-k, hence a+b+2k=180∘a+b+2k=180^\circ. Finally ∠CNR=a+k\angle CNR=a+k and ∠RMB=b+k\angle RMB=b+k, so ∠CNR+∠RMB=180∘\angle CNR+\angle RMB=180^\circ. Therefore KK also lies on (BMR)(BMR), proving the required common point on BCBC.