Construction in GCLC language

dim 120 120

point T_{a} 70.86 40
point I 74.37 61.15

color 220 0 0
fontsize 11

cmark_b T_{a}
cmark_b I
color 0 0 0
fontsize 10


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

color 200 200 200
drawline s_{a}
color 0 0 0




% Constructing a point A such that T_{a}A/T_{a}I=0.4704381692202979
towards A T_{a} I 0.4704381692202979 
color 220 0 0
fontsize 11
cmark_t A
color 0 0 0
fontsize 10

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


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

color 200 200 200
drawline m(AI)
color 0 0 0

color 200 200 200
drawsegment A I 
color 0 0 0



% Constructing a free point B
point B 20 40

cmark_b B



% Constructing a point M_{c} such that BM_{c}/BA=0.5
towards M_{c} B A 0.5 
cmark_lt M_{c}
color 200 200 200
drawsegment B A 
color 0 0 0


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

color 200 200 200
drawline c
color 0 0 0



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

color 200 200 200
drawline a
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 m(AI) are not parallel% DET:  lines m_{c} and m(AI) are not the same
% Constructing a point N_{c} which belongs to line m_{c} and line m(AI)
intersec N_{c} m_{c} m(AI) 
cmark_b N_{c}


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

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



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



drawsegment A B
drawsegment A C
drawsegment B C

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