MathDB
from 3 points of circumcircle, two tangents to incircle, means one more

Source: INAMO Shortlist 2015 G3

May 14, 2019
geometrycircumcircleTangentsincircle

Problem Statement

Given ABCABC triangle with incircle L1L_1 and circumcircle L2L_2. If points X,Y,ZX, Y, Z lie on L2L_2, such that XY,XZXY, XZ are tangent to L1L_1, then prove that YZYZ is also tangent to L1L_1.