Construction in GCLC language

dim 120 120

point H_{b} 89.36 77.83
point H_{c} 68.91 84.83
point T_{c} 55.38 72.43

color 220 0 0
fontsize 11

cmark_rt H_{b}
cmark_lt H_{c}
cmark_lt T_{c}
color 0 0 0
fontsize 10

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

color 200 200 200
drawline H_{b}H_{c}
color 0 0 0



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

color 200 200 200
drawline c
color 0 0 0




% Constructing a line h_{c} which is perpendicular to line c and which passes through point H_{c}
perp h_{c} H_{c} c 

color 200 200 200
drawline h_{c}
color 0 0 0



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


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


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

% Constructing a line H_{c}H_{a} which passes through point H_{c} and point P_{\_G63368}
line H_{c}H_{a} H_{c} P_{\_G63368} 

color 200 200 200
drawline H_{c}H_{a}
color 0 0 0



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


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


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

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


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

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

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

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

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

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


% Constructing a point P_{\_G63942} which belongs to line L_{\_G63933} and line L_{\_G63939}
intersec P_{\_G63942} L_{\_G63933} L_{\_G63939} 
cmark_r P_{\_G63942}

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

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



% NDG:  line h_{c} and circle circle[T_{c},H_{b},angle[b][s[c]]] intersect
% Constructing points C_{ca2} and C which are in intersection of circle[T_{c},H_{b},angle[b][s[c]]] and h_{c}
intersec2 C_{ca2} C circle[T_{c},H_{b},angle[b][s[c]]] h_{c} 
cmark_r C_{ca2}
cmark_b C


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

color 200 200 200
drawline b
color 0 0 0



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



% Constructing a point M_{b} such that AM_{b}/AC=0.5
towards M_{b} A C 0.5 
cmark_rt M_{b}
color 200 200 200
drawsegment A C 
color 0 0 0


% NDG:  points H_{c} and M_{b} are not the same
% Constructing a circle k(M_{b},C) whose center is at point M_{b} and which passes through point H_{c}
circle k(M_{b},C) M_{b} H_{c} 

color 200 200 200
drawcircle k(M_{b},C)
color 0 0 0



% NDG:  line H_{c}H_{a} and circle k(M_{b},C) intersect% DET:  points H_{c} and H_{a} must be different
% Constructing a point P_{\_G65440} which is a foot of the point M_{b} on the line H_{c}H_{a}
foot P_{\_G65440} M_{b} H_{c}H_{a} 
cmark_r P_{\_G65440}
color 200 200 200
drawline M_{b} P_{\_G65440} 
color 0 0 0

% Constructing a point H_{a} which is an image of the point H_{c} in the symmetry to point/line P_{\_G65440}
sim H_{a} P_{\_G65440} H_{c} 
cmark_b H_{a}


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

color 200 200 200
drawline a
color 0 0 0



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



drawsegment A B
drawsegment A C
drawsegment B C

% Non-degenerate conditions:  lines c and a are not parallel; line H_{c}H_{a} and circle k(M_{b},C) intersect; points H_{c} and M_{b} are not the same; lines c and b are not parallel; line h_{c} and circle circle[T_{c},H_{b},angle[b][s[c]]] intersect; points H_{b} and H_{c} are not the same; points H_{c} and T_{c} are not the same; points T_{c} and H_{b} are not the same; points H_{c} and T_{c} are not the same; points H_{b} and H_{c} are not the same
% Determination conditions:  lines c and a are not the same; points C and H_{a} are not the same; points H_{c} and H_{a} must be different; lines c and b are not the same; points C and H_{b} are not the same; points H_{c} and T_{c} are not the same; points H_{c} and T_{c} are not the same; points H_{b} and H_{c} are not the same