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