MathDB
8 lines and incircle

Source: Sharygin final round 2017

July 31, 2017
geometry

Problem Statement

Given triangle ABCABC and its incircle ω\omega prove you can use just a ruler and drawing at most 8 lines to construct pointsA,B,CA',B',C' on ω\omega such that A,B,CA,B',C' and B,C,AB,C',A' and C,A,BC,A',B' are collinear.