Construction in GCLC language

dim 120 120

point C 110 40
point T_{a} 70.86 40
point T_{b} 94.25 68.88

color 220 0 0
fontsize 11

cmark_b C
cmark_b T_{a}
cmark_rt T_{b}
color 0 0 0
fontsize 10

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

color 200 200 200
drawline a
color 0 0 0



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

color 200 200 200
drawline b
color 0 0 0



% NDG:  points C and T_{a} are not the same; points T_{b} and C are not the same% DET:  points C and T_{b} are not the same
% Constructing an angle V[_G59968] which is equal to the angle T_{b}CT_{a}
angle_o V[_G59968] T_{b} C T_{a} 


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


% Constructing a point P_{\_G60044} which is an image of the point T_{b} in a rotation around the point C for the angle 1/pow(2,1)*V[_G59968]+0/pow(2,0)*180
rotate P_{\_G60044} C angle[_G60047] T_{b} 
cmark_r P_{\_G60044}
color 200 200 200
drawarc_p C T_{b} angle[_G60047] 
color 0 0 0

% Constructing a line s_{c} which passes through point C and point P_{\_G60044}
line s_{c} C P_{\_G60044} 

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



% NDG:  points T_{b} and C are not the same; points C and T_{a} are not the same; points T_{a} and T_{b} are not the same
% Constructing an angle angle[_G60494] which is equal to the angle T_{b}CT_{a}
angle_o angle[_G60494] T_{b} C T_{a} 


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


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

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


% Constructing bisector L_{\_G60579} of the segment T_{a}T_{b}
med L_{\_G60579} T_{a} T_{b} 

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

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

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

% Constructing a line L_{\_G60585} which passes through point T_{a} and point P_{\_G60582}
line L_{\_G60585} T_{a} P_{\_G60582} 

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


% Constructing a point P_{\_G60588} which belongs to line L_{\_G60579} and line L_{\_G60585}
intersec P_{\_G60588} L_{\_G60579} L_{\_G60585} 
cmark_r P_{\_G60588}

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

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



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


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

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



% 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



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


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



drawsegment A B
drawsegment A C
drawsegment B C

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