MathLabs

Problem 3

Let ABCDABCD be a cyclic convex quadrilateral and Γ\Gamma be its circumcircle. Let EE be the intersection of the diagonals ACAC and BDBD, let LL be the center of the circle tangent to sides ABAB, BCBC, and CDCD, and let MM be the midpoint of the arc BCBC of Γ\Gamma not containing AA and DD. Prove that the excenter of triangle BCEBCE opposite EE lies on the line LMLM.
Step 4 of 8: M is the isosceles apex over BC
∠MBC=∠MCB=b2,MB=MC\angle MBC=\angle MCB=\tfrac b2,\quad MB=MC
Detailed analysis

Since MM is the midpoint of arc BCBC (measure 2b2b) not containing A,DA,D, arcs BMBM and MCMC each measure bb, so ∠MBC=∠MCB=b2\angle MBC=\angle MCB=\tfrac b2 and MB=MCMB=MC.