Construction in GCLC language


dim 120 120

point T_{c} 55.38 72.43
point I 74.37 61.15

color 220 0 0
fontsize 11

cmark_lt T_{c}
cmark_b I
color 0 0 0
fontsize 10


% point C is given by the problem setting, but it has to belong to the line s_{c} which is constructible from the others objects given 
% DET:  points T_{c} and I are not the same
% Constructing a line s_{c} which passes through point T_{c} and point I
line s_{c} T_{c} I 

color 200 200 200
drawline s_{c}
color 0 0 0




% Constructing a point C such that T_{c}C/T_{c}I=0.1008263289480228
towards C T_{c} I 0.1008263289480228 
color 220 0 0
fontsize 11
cmark_b C
color 0 0 0
fontsize 10

color 200 200 200
drawsegment T_{c} I 
color 0 0 0


% DET:  points C and I are not the same
% Constructing bisector m(CI) of the segment CI
med m(CI) C I 

color 200 200 200
drawline m(CI)
color 0 0 0

color 200 200 200
drawsegment C I 
color 0 0 0



% Constructing a free point A
point A 80 95

cmark_t A



% Constructing a point M_{b} such that AM_{b}/AC=0.5
towards M_{b} A C 0.5 
cmark_rt M_{b}
color 200 200 200
drawsegment A C 
color 0 0 0


% DET:  points A and C are not the same
% Constructing a line b which passes through point A and point C
line b A C 

color 200 200 200
drawline b
color 0 0 0



% DET:  points A and T_{c} are not the same
% Constructing a line c which passes through point A and point T_{c}
line c A T_{c} 

color 200 200 200
drawline c
color 0 0 0




% Constructing a line m_{b} which is perpendicular to line b and which passes through point M_{b}
perp m_{b} M_{b} b 

color 200 200 200
drawline m_{b}
color 0 0 0



% NDG:  lines m_{b} and m(CI) are not parallel% DET:  lines m_{b} and m(CI) are not the same
% Constructing a point N_{b} which belongs to line m_{b} and line m(CI)
intersec N_{b} m_{b} m(CI) 
cmark_rb N_{b}


% DET:  points N_{b} and I are not the same
% Constructing a line s_{b} which passes through point N_{b} and point I
line s_{b} N_{b} I 

color 200 200 200
drawline s_{b}
color 0 0 0



% NDG:  lines c and s_{b} are not parallel% DET:  lines c and s_{b} are not the same
% Constructing a point B which belongs to line c and line s_{b}
intersec B c s_{b} 
cmark_b B



drawsegment A B
drawsegment A C
drawsegment B C

% Non-degenerate conditions:  lines c and s_{b} are not parallel; lines m_{b} and m(CI) are not parallel
% Determination conditions:  lines c and s_{b} are not the same; points N_{b} and I are not the same; lines m_{b} and m(CI) are not the same; points A and T_{c} are not the same; points A and C are not the same; points C and I are not the same; points T_{c} and I are not the same