Construction in GCLC language

dim 120 120

point A 80 95
point T_{b} 94.25 68.88
point T_{c} 55.38 72.43

color 220 0 0
fontsize 11

cmark_t A
cmark_rt T_{b}
cmark_lt T_{c}
color 0 0 0
fontsize 10

% 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 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



% NDG:  points A and T_{b} are not the same; points T_{c} and A are not the same% DET:  points A and T_{c} are not the same
% Constructing an angle V[_G14866] which is equal to the angle T_{c}AT_{b}
angle_o V[_G14866] T_{c} A T_{b} 


% Calculating value angle[_G14945] using formula 1/pow(2,1)*V[_G14866]+0/pow(2,0)*180
expression angle[_G14945]  { 1/pow(2,1)*V[_G14866]+0/pow(2,0)*180  } 


% Constructing a point P_{\_G14942} which is an image of the point T_{c} in a rotation around the point A for the angle 1/pow(2,1)*V[_G14866]+0/pow(2,0)*180
rotate P_{\_G14942} A angle[_G14945] T_{c} 
cmark_r P_{\_G14942}
color 200 200 200
drawarc_p A T_{c} angle[_G14945] 
color 0 0 0

% Constructing a line s_{a} which passes through point A and point P_{\_G14942}
line s_{a} A P_{\_G14942} 

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



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


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


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

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


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

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

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

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

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

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


% Constructing a point P_{\_G15486} which belongs to line L_{\_G15477} and line L_{\_G15483}
intersec P_{\_G15486} L_{\_G15477} L_{\_G15483} 
cmark_r P_{\_G15486}

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

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



% NDG:  line s_{a} and circle circle[T_{b},T_{c},angle[s[b]][s[c]]] intersect
% Constructing points A_{sa} and I which are in intersection of circle[T_{b},T_{c},angle[s[b]][s[c]]] and s_{a}
intersec2 A_{sa} I circle[T_{b},T_{c},angle[s[b]][s[c]]] s_{a} 
cmark_r A_{sa}
cmark_b I


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

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:  lines b and s_{c} are not parallel% DET:  lines b and s_{c} are not the same
% Constructing a point C which belongs to line b and line s_{c}
intersec C b s_{c} 
cmark_b C


% 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 b and s_{c} are not parallel; line s_{a} and circle circle[T_{b},T_{c},angle[s[b]][s[c]]] intersect; points T_{c} and A are not the same; points A and T_{b} are not the same; points T_{b} and T_{c} are not the same; points A and T_{b} are not the same; points T_{c} and A are not the same
% Determination conditions:  lines c and s_{b} are not the same; lines b and s_{c} are not the same; points T_{c} and I are not the same; points I and T_{b} are not the same; points A and T_{c} are not the same; points A and T_{c} are not the same; points A and T_{b} are not the same