a line tangent to circumcircle of a triangle at 1 of its ver