Construction in GCLC language

dim 120 120

point T_{b} 94.25 68.88
point T_{c} 55.38 72.43
point I 74.37 61.15

color 220 0 0
fontsize 11

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

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

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



% 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



% NDG:  points T_{b} and I are not the same; points I and T_{c} are not the same; points T_{b} and T_{c} are not the same
% Constructing an angle angle[_G77231] which is equal to the angle T_{b}IT_{c}
angle_o angle[_G77231] T_{b} I T_{c} 


% Calculating value angle[_G77242] using formula 90-(2/pow(2,0)*angle[_G77231]+-1/pow(2,0)*180)
expression angle[_G77242]  { 90-(2/pow(2,0)*angle[_G77231]+-1/pow(2,0)*180)  } 


% Constructing a line L_{\_G77313} which passes through point T_{b} and point T_{c}
line L_{\_G77313} T_{b} T_{c} 

color 200 200 200
drawline L_{\_G77313}
color 0 0 0


% Constructing bisector L_{\_G77316} of the segment T_{b}T_{c}
med L_{\_G77316} T_{b} T_{c} 

color 200 200 200
drawline L_{\_G77316}
color 0 0 0

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

% Constructing a point P_{\_G77319} which is an image of the point T_{c} in a rotation around the point T_{b} for the angle angle[_G77242]
rotate P_{\_G77319} T_{b} angle[_G77242] T_{c} 
cmark_r P_{\_G77319}
color 200 200 200
drawarc_p T_{b} T_{c} angle[_G77242] 
color 0 0 0

% Constructing a line L_{\_G77322} which passes through point T_{b} and point P_{\_G77319}
line L_{\_G77322} T_{b} P_{\_G77319} 

color 200 200 200
drawline L_{\_G77322}
color 0 0 0


% Constructing a point P_{\_G77325} which belongs to line L_{\_G77316} and line L_{\_G77322}
intersec P_{\_G77325} L_{\_G77316} L_{\_G77322} 
cmark_r P_{\_G77325}

% Constructing a circle circle[T_{b},T_{c},angle[c][b]] whose center is at point P_{\_G77325} and which passes through point T_{b}
circle circle[T_{b},T_{c},angle[c][b]] P_{\_G77325} T_{b} 

color 200 200 200
drawcircle circle[T_{b},T_{c},angle[c][b]]
color 0 0 0



% NDG:  points T_{b} and I are not the same; points I and T_{c} are not the same; points T_{c} and I are not the same
% Constructing an angle angle[_G78204] which is equal to the angle T_{b}IT_{c}
angle_o angle[_G78204] T_{b} I T_{c} 


% Calculating value angle[_G78215] using formula 90-(2/pow(2,1)*angle[_G78204]+-1/pow(2,1)*180)
expression angle[_G78215]  { 90-(2/pow(2,1)*angle[_G78204]+-1/pow(2,1)*180)  } 


% Constructing a line L_{\_G78286} which passes through point T_{c} and point I
line L_{\_G78286} T_{c} I 

color 200 200 200
drawline L_{\_G78286}
color 0 0 0


% Constructing bisector L_{\_G78289} of the segment T_{c}I
med L_{\_G78289} T_{c} I 

color 200 200 200
drawline L_{\_G78289}
color 0 0 0

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

% Constructing a point P_{\_G78292} which is an image of the point I in a rotation around the point T_{c} for the angle angle[_G78215]
rotate P_{\_G78292} T_{c} angle[_G78215] I 
cmark_r P_{\_G78292}
color 200 200 200
drawarc_p T_{c} I angle[_G78215] 
color 0 0 0

% Constructing a line L_{\_G78295} which passes through point T_{c} and point P_{\_G78292}
line L_{\_G78295} T_{c} P_{\_G78292} 

color 200 200 200
drawline L_{\_G78295}
color 0 0 0


% Constructing a point P_{\_G78298} which belongs to line L_{\_G78289} and line L_{\_G78295}
intersec P_{\_G78298} L_{\_G78289} L_{\_G78295} 
cmark_r P_{\_G78298}

% Constructing a circle circle[T_{c},I,angle[c][s[a]]] whose center is at point P_{\_G78298} and which passes through point T_{c}
circle circle[T_{c},I,angle[c][s[a]]] P_{\_G78298} T_{c} 

color 200 200 200
drawcircle circle[T_{c},I,angle[c][s[a]]]
color 0 0 0



% NDG:  circles circle[T_{c},I,angle[c][s[a]]] and circle[T_{b},T_{c},angle[c][b]] intersect% DET:  circles circle[T_{c},I,angle[c][s[a]]] and circle[T_{b},T_{c},angle[c][b]] are not the same
% Constructing points A_{c2} and A which are in intersection of circle[T_{c},I,angle[c][s[a]]] and circle[T_{b},T_{c},angle[c][b]]
intersec2 A_{c2} A circle[T_{c},I,angle[c][s[a]]] circle[T_{b},T_{c},angle[c][b]] 
cmark_r A_{c2}
cmark_t A


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

color 200 200 200
drawline b
color 0 0 0



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

color 200 200 200
drawline c
color 0 0 0



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


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



drawsegment A B
drawsegment A C
drawsegment B C

% Non-degenerate conditions:  lines s_{c} and b are not parallel; lines s_{b} and c are not parallel; circles circle[T_{c},I,angle[c][s[a]]] and circle[T_{b},T_{c},angle[c][b]] intersect; points T_{b} and I are not the same; points I and T_{c} are not the same; points T_{c} and I are not the same; points T_{b} and I are not the same; points I and T_{c} are not the same; points T_{b} and T_{c} are not the same
% Determination conditions:  lines s_{c} and b are not the same; lines s_{b} and c are not the same; points T_{c} and A are not the same; points A and T_{b} are not the same; circles circle[T_{c},I,angle[c][s[a]]] and circle[T_{b},T_{c},angle[c][b]] are not the same; points T_{c} and I are not the same; points T_{b} and I are not the same