Construction in GCLC language


dim 120 120

point T_{b} 94.25 68.88
point I 74.37 61.15

color 220 0 0
fontsize 11

cmark_rt T_{b}
cmark_b I
color 0 0 0
fontsize 10


% point B is given by the problem setting, but it has to belong to the line s_{b} which is constructible from the others objects given 
% DET:  points T_{b} and I are not the same
% Constructing a line s_{b} which passes through point T_{b} and point I
line s_{b} T_{b} I 

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




% Constructing a point B such that T_{b}B/T_{b}I=0.3061091541877564
towards B T_{b} I 0.3061091541877564 
color 220 0 0
fontsize 11
cmark_b B
color 0 0 0
fontsize 10

color 200 200 200
drawsegment T_{b} I 
color 0 0 0


% DET:  points B and I are not the same
% Constructing bisector m(BI) of the segment BI
med m(BI) B I 

color 200 200 200
drawline m(BI)
color 0 0 0

color 200 200 200
drawsegment B I 
color 0 0 0



% Constructing a free point A
point A 80 95

cmark_t A



% Constructing a point M_{c} such that AM_{c}/AB=0.5
towards M_{c} A B 0.5 
cmark_lt M_{c}
color 200 200 200
drawsegment A B 
color 0 0 0


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

color 200 200 200
drawline c
color 0 0 0



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

color 200 200 200
drawline b
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 m(BI) are not parallel% DET:  lines m_{c} and m(BI) are not the same
% Constructing a point N_{c} which belongs to line m_{c} and line m(BI)
intersec N_{c} m_{c} m(BI) 
cmark_b N_{c}


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

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



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



drawsegment A B
drawsegment A C
drawsegment B C

% Non-degenerate conditions:  lines b and s_{c} are not parallel; lines m_{c} and m(BI) are not parallel
% Determination conditions:  lines b and s_{c} are not the same; points N_{c} and I are not the same; lines m_{c} and m(BI) are not the same; points A and T_{b} are not the same; points A and B are not the same; points B and I are not the same; points T_{b} and I are not the same