Construction in GCLC language

dim 120 120

point B 20 40
point T_{a} 70.86 40
point T_{c} 55.38 72.43

color 220 0 0
fontsize 11

cmark_b B
cmark_b T_{a}
cmark_lt T_{c}
color 0 0 0
fontsize 10

% 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



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

color 200 200 200
drawline c
color 0 0 0



% NDG:  points B and T_{c} are not the same; points T_{a} and B are not the same% DET:  points B and T_{a} are not the same
% Constructing an angle V[_G51197] which is equal to the angle T_{a}BT_{c}
angle_o V[_G51197] T_{a} B T_{c} 


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


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

% Constructing a line s_{b} which passes through point B and point P_{\_G51273}
line s_{b} B P_{\_G51273} 

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



% NDG:  points T_{a} and B are not the same; points B and T_{c} are not the same; points T_{c} and T_{a} are not the same
% Constructing an angle angle[_G51723] which is equal to the angle T_{a}BT_{c}
angle_o angle[_G51723] T_{a} B T_{c} 


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


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

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


% Constructing bisector L_{\_G51808} of the segment T_{c}T_{a}
med L_{\_G51808} T_{c} T_{a} 

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

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

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

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

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


% Constructing a point P_{\_G51817} which belongs to line L_{\_G51808} and line L_{\_G51814}
intersec P_{\_G51817} L_{\_G51808} L_{\_G51814} 
cmark_r P_{\_G51817}

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

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



% NDG:  line s_{b} and circle circle[T_{c},T_{a},angle[s[c]][s[a]]] intersect
% Constructing points B_{sa} and I which are in intersection of circle[T_{c},T_{a},angle[s[c]][s[a]]] and s_{b}
intersec2 B_{sa} I circle[T_{c},T_{a},angle[s[c]][s[a]]] s_{b} 
cmark_r B_{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_{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 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


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



drawsegment A B
drawsegment A C
drawsegment B C

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