Construction in GCLC language

dim 120 120

point A 80 95
point H_{a} 80 40
point T_{c} 55.38 72.43

color 220 0 0
fontsize 11

cmark_t A
cmark_b H_{a}
cmark_lt T_{c}
color 0 0 0
fontsize 10

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

color 200 200 200
drawline h_{a}
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




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

color 200 200 200
drawline a
color 0 0 0



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


% NDG:  points A and B are not the same; points B and T_{c} are not the same; points B and midpoint([A,T_{c}]) are not the same
% Constructing a point P_{\_G24240} which is an image of the point B in a rotation around the point T_{c} for the angle 90
rotate P_{\_G24240} T_{c} 90 B 
cmark_r P_{\_G24240}
color 200 200 200
drawarc_p T_{c} B 90 
color 0 0 0

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

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


% Constructing midpoint P_{\_G24246} of the segment BP_{\_G24240}
midpoint P_{\_G24246} B P_{\_G24240} 
cmark_r P_{\_G24246}

% Constructing a line L_{\_G24249} which passes through point A and point P_{\_G24246}
line L_{\_G24249} A P_{\_G24246} 

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


% Constructing a line L_{\_G24252} which passes through point B and point P_{\_G24246}
line L_{\_G24252} B P_{\_G24246} 

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


% Constructing a point P_{\_G24255} which belongs to line L_{\_G24243} and line L_{\_G24249}
intersec P_{\_G24255} L_{\_G24243} L_{\_G24249} 
cmark_r P_{\_G24255}

% Constructing a point P_{\_G24258} which belongs to line L_{\_G24243} and line L_{\_G24252}
intersec P_{\_G24258} L_{\_G24243} L_{\_G24252} 
cmark_r P_{\_G24258}

% Constructing a line L_{\_G24261} which passes through point A and point P_{\_G24258}
line L_{\_G24261} A P_{\_G24258} 

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


% Constructing a line L_{\_G24264} which passes through point B and point P_{\_G24255}
line L_{\_G24264} B P_{\_G24255} 

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


% Constructing a point P_{\_G24267} which belongs to line L_{\_G24261} and line L_{\_G24264}
intersec P_{\_G24267} L_{\_G24261} L_{\_G24264} 
cmark_r P_{\_G24267}

% Constructing a line L_{\_G24270} which passes through point P_{\_G24246} and point P_{\_G24267}
line L_{\_G24270} P_{\_G24246} P_{\_G24267} 

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


% Constructing a point T`_{c} which belongs to line L_{\_G24270} and line c
intersec T`_{c} L_{\_G24270} c 
cmark_r T`_{c}


% NDG:  points T_{c} and T`_{c} are not the same
% Constructing midpoint P_{\_G25101} of the segment T_{c}T`_{c}
midpoint P_{\_G25101} T_{c} T`_{c} 
cmark_r P_{\_G25101}

% Constructing a circle k_over(T_{c},T`_{c}) whose center is at point P_{\_G25101} and which passes through point T_{c}
circle k_over(T_{c},T`_{c}) P_{\_G25101} T_{c} 

color 200 200 200
drawcircle k_over(T_{c},T`_{c})
color 0 0 0



% NDG:  line a and circle k_over(T_{c},T`_{c}) intersect
% Constructing points C_{wb} and C which are in intersection of k_over(T_{c},T`_{c}) and a
intersec2 C_{wb} C k_over(T_{c},T`_{c}) a 
cmark_r C_{wb}
cmark_b C



drawsegment A B
drawsegment A C
drawsegment B C

% Non-degenerate conditions:  line a and circle k_over(T_{c},T`_{c}) intersect; points T_{c} and T`_{c} are not the same; points A and B are not the same; points B and T_{c} are not the same; points B and midpoint([A,T_{c}]) are not the same; lines a and c are not parallel
% Determination conditions:  lines a and c are not the same; points A and T_{c} are not the same; points A and H_{a} are not the same