Construction in GCLC language

dim 120 120

point G 70 58.33
point H_{c} 68.91 84.83
point T_{c} 55.38 72.43

color 220 0 0
fontsize 11

cmark_t G
cmark_lt H_{c}
cmark_lt T_{c}
color 0 0 0
fontsize 10

% 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




% Constructing a point P_{\_G96103} such that GP_{\_G96103}/GH_{c}=-2
towards P_{\_G96103} G H_{c} -2 
cmark_r P_{\_G96103}
color 200 200 200
drawsegment H_{c} P_{\_G96103} 
color 0 0 0

% Constructing a line h_{G,-2/1}(c) which contains the point P_{\_G96103} and is parallel to the line c
parallel h_{G,-2/1}(c) P_{\_G96103} c 

color 200 200 200
drawline h_{G,-2/1}(c)
color 0 0 0



% NDG:  lines h_{G,-2/1}(c) and h_{c} are not parallel% DET:  lines h_{G,-2/1}(c) and h_{c} are not the same
% Constructing a point C which belongs to line h_{G,-2/1}(c) and line h_{c}
intersec C h_{G,-2/1}(c) h_{c} 
cmark_b C



% Constructing a point M_{c} such that CM_{c}/CG=1.5
towards M_{c} C G 1.5 
cmark_lt M_{c}
color 200 200 200
drawsegment C M_{c} 
color 0 0 0


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

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




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

color 200 200 200
drawline m_{c}
color 0 0 0



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


% DET:  points C and N_{c} are not the same
% Constructing bisector m(CN_{c}) of the segment CN_{c}
med m(CN_{c}) C N_{c} 

color 200 200 200
drawline m(CN_{c})
color 0 0 0

color 200 200 200
drawsegment C N_{c} 
color 0 0 0


% NDG:  lines m(CN_{c}) and m_{c} are not parallel% DET:  lines m(CN_{c}) and m_{c} are not the same
% Constructing a point O which belongs to line m(CN_{c}) and line m_{c}
intersec O m(CN_{c}) m_{c} 
cmark_t O


% NDG:  points C and O are not the same
% Constructing a circle k(O,C) whose center is at point O and which passes through point C
circle k(O,C) O C 

color 200 200 200
drawcircle k(O,C)
color 0 0 0



% NDG:  line c and circle k(O,C) intersect
% Constructing points A and B which are in intersection of k(O,C) and c
intersec2 A B k(O,C) c 
cmark_t A
cmark_b B



drawsegment A B
drawsegment A C
drawsegment B C

% Non-degenerate conditions:  line c and circle k(O,C) intersect; points C and O are not the same; lines m(CN_{c}) and m_{c} are not parallel; lines m_{c} and s_{c} are not parallel; lines h_{G,-2/1}(c) and h_{c} are not parallel
% Determination conditions:  lines m(CN_{c}) and m_{c} are not the same; points C and N_{c} are not the same; lines m_{c} and s_{c} are not the same; points T_{c} and C are not the same; lines h_{G,-2/1}(c) and h_{c} are not the same; points H_{c} and T_{c} are not the same