Construction in GCLC language

dim 120 120

point B 20 40
point T_{b} 94.25 68.88
point T_{c} 55.38 72.43

color 220 0 0
fontsize 11

cmark_b B
cmark_rt T_{b}
cmark_lt T_{c}
color 0 0 0
fontsize 10

% 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:  point T_{b} is not incident to the line c
% Constructing a point P_{\_G26890} which is a foot of the point T_{b} on the line c
foot P_{\_G26890} T_{b} c 
cmark_r P_{\_G26890}
color 200 200 200
drawline T_{b} P_{\_G26890} 
color 0 0 0

% Constructing a circle k(T_{b},foot[T_{b},c]) whose center is at point T_{b} and which passes through point P_{\_G26890}
circle k(T_{b},foot[T_{b},c]) T_{b} P_{\_G26890} 

color 200 200 200
drawcircle k(T_{b},foot[T_{b},c])
color 0 0 0



% NDG:  point B is outside the circle k(T_{b},foot[T_{b},c])
% Constructing a point P_{\_G27281} which is a foot of the point T_{b} on the line c
foot P_{\_G27281} T_{b} c 
cmark_r P_{\_G27281}
color 200 200 200
drawline T_{b} P_{\_G27281} 
color 0 0 0

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

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


% Constructing a point P_{\_G27287} which is an image of the point P_{\_G27281} in the symmetry to point/line L_{\_G27284}
sim P_{\_G27287} L_{\_G27284} P_{\_G27281} 
cmark_r P_{\_G27287}

% Constructing a line a which passes through point B and point P_{\_G27287}
line a B P_{\_G27287} 

color 200 200 200
drawline a
color 0 0 0



% NDG:  point T_{c} is not incident to the line a
% Constructing a point P_{\_G27568} which is a foot of the point T_{c} on the line a
foot P_{\_G27568} T_{c} a 
cmark_r P_{\_G27568}
color 200 200 200
drawline T_{c} P_{\_G27568} 
color 0 0 0

% Constructing a circle k(T_{c},foot[T_{c},b]) whose center is at point T_{c} and which passes through point P_{\_G27568}
circle k(T_{c},foot[T_{c},b]) T_{c} P_{\_G27568} 

color 200 200 200
drawcircle k(T_{c},foot[T_{c},b])
color 0 0 0



% NDG:  point T_{b} is outside the circle k(T_{c},foot[T_{c},b])
% Constructing midpoint P_{\_G27986} of the segment T_{b}T_{c}
midpoint P_{\_G27986} T_{b} T_{c} 
cmark_r P_{\_G27986}

% Constructing a circle C_{\_G27989} whose center is at point P_{\_G27986} and which passes through point T_{b}
circle C_{\_G27989} P_{\_G27986} T_{b} 

color 200 200 200
drawcircle C_{\_G27989}
color 0 0 0


% Constructing points P_{\_G27992} and P_{\_G27995} which are in intersection of C_{\_G27989} and k(T_{c},foot[T_{c},b])
intersec2 P_{\_G27992} P_{\_G27995} C_{\_G27989} k(T_{c},foot[T_{c},b]) 
cmark_r P_{\_G27992}
cmark_r P_{\_G27995}

% Constructing a line b2 which passes through point T_{b} and point P_{\_G27992}
line b2 T_{b} P_{\_G27992} 

color 200 200 200
drawline b2
color 0 0 0


% Constructing a line b which passes through point T_{b} and point P_{\_G27995}
line b T_{b} P_{\_G27995} 

color 200 200 200
drawline b
color 0 0 0



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


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



drawsegment A B
drawsegment A C
drawsegment B C

% Non-degenerate conditions:  lines a and b are not parallel; lines b and c are not parallel; point T_{b} is outside the circle k(T_{c},foot[T_{c},b]); point T_{c} is not incident to the line a; point B is outside the circle k(T_{b},foot[T_{b},c]); point T_{b} is not incident to the line c
% Determination conditions:  lines a and b are not the same; lines b and c are not the same; points B and T_{c} are not the same