MathDB
A point on the incircle

Source: 239 2013 S3

August 7, 2020
geometry

Problem Statement

Inside a regular triangle ABCABC, points XX and YY are chosen such that AXC=120\angle{AXC} = 120^{\circ}, 2XAC+YBC=902\angle{XAC} + \angle{YBC} = 90^{\circ}and XY=YB=AC3XY = YB = \frac{AC}{\sqrt{3}}. Prove that point YY lies on the incircle of triangle ABCABC.