Construction in GCLC language
dim 120 120
point C 110 40
point M_{c} 50 67.5
point T_{c} 55.38 72.43
color 220 0 0
fontsize 11
cmark_b C
cmark_lt M_{c}
cmark_lt T_{c}
color 0 0 0
fontsize 10
% DET: points C and T_{c} are not the same
% Constructing a line s_{c} which passes through point C and point T_{c}
line s_{c} C T_{c}
color 200 200 200
drawline s_{c}
color 0 0 0
% DET: points M_{c} and T_{c} are not the same
% Constructing a line c which passes through point M_{c} and point T_{c}
line c M_{c} T_{c}
color 200 200 200
drawline c
color 0 0 0
% Constructing a line m_{c} which is perpendicular to line c and which passes through point M_{c}
perp m_{c} M_{c} c
color 200 200 200
drawline m_{c}
color 0 0 0
% NDG: lines m_{c} and s_{c} are not parallel% DET: lines m_{c} and s_{c} are not the same
% Constructing a point N_{c} which belongs to line m_{c} and line s_{c}
intersec N_{c} m_{c} s_{c}
cmark_b N_{c}
% DET: points C and N_{c} are not the same
% Constructing bisector m(CN_{c}) of the segment CN_{c}
med m(CN_{c}) C N_{c}
color 200 200 200
drawline m(CN_{c})
color 0 0 0
color 200 200 200
drawsegment C N_{c}
color 0 0 0
% NDG: lines m(CN_{c}) and m_{c} are not parallel% DET: lines m(CN_{c}) and m_{c} are not the same
% Constructing a point O which belongs to line m(CN_{c}) and line m_{c}
intersec O m(CN_{c}) m_{c}
cmark_t O
% NDG: points C and O are not the same
% Constructing a circle k(O,C) whose center is at point O and which passes through point C
circle k(O,C) O C
color 200 200 200
drawcircle k(O,C)
color 0 0 0
% NDG: line c and circle k(O,C) intersect
% Constructing points A and B which are in intersection of k(O,C) and c
intersec2 A B k(O,C) c
cmark_t A
cmark_b B
drawsegment A B
drawsegment A C
drawsegment B C
% Non-degenerate conditions: line c and circle k(O,C) intersect; points C and O are not the same; lines m(CN_{c}) and m_{c} are not parallel; lines m_{c} and s_{c} are not parallel
% Determination conditions: lines m(CN_{c}) and m_{c} are not the same; points C and N_{c} are not the same; lines m_{c} and s_{c} are not the same; points M_{c} and T_{c} are not the same; points C and T_{c} are not the same