MathDB
Classic configuration revisited

Source: 2021 Czech-Polish-Slovak Match, P2

August 3, 2021
geometryComputer problems

Problem Statement

In an acute triangle ABCABC, the incircle ω\omega touches BCBC at DD. Let IaI_a be the excenter of ABCABC opposite to AA, and let MM be the midpoint of DIaDI_a. Prove that the circumcircle of triangle BMCBMC is tangent to ω\omega.
Patrik Bak (Slovakia)