MathDB
Prove that BAM=CAX and AM/AX=cos(BAC)

Source:

August 29, 2010
geometrycircumcircletrigonometryTriangleIMO Shortlist

Problem Statement

The tangents at BB and CC to the circumcircle of the acute-angled triangle ABCABC meet at XX. Let MM be the midpoint of BCBC. Prove that
(a) BAM=CAX\angle BAM = \angle CAX, and
(b) AMAX=cosBAC.\frac{AM}{AX} = \cos\angle BAC.