Problem

Source: Itamo 2015

Tags: geometry, Angle Chasing, angle bisector



Let ABC a triangle, let K be the foot of the bisector relative to BC and J be the foot of the trisectrix relative to BC closer to the side AC (3* m(JAC)=m(CAB) ). Let C' and B' be two point on the line AJ on the side of J with respect to A, such that AC'=AC and AB=AB'. Prove that ABB'C is cyclic if and only if lines C'K and BB' are parallel.