Construction in GCLC language
dim 120 120
point T_{a} 70.86 40
point T_{b} 94.25 68.88
point I 74.37 61.15
color 220 0 0
fontsize 11
cmark_b T_{a}
cmark_rt T_{b}
cmark_b I
color 0 0 0
fontsize 10
% DET: points T_{a} and I are not the same
% Constructing a line s_{a} which passes through point T_{a} and point I
line s_{a} T_{a} I
color 200 200 200
drawline s_{a}
color 0 0 0
% 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
% NDG: points T_{a} and I are not the same; points I and T_{b} are not the same; points T_{a} and T_{b} are not the same
% Constructing an angle angle[_G114896] which is equal to the angle T_{a}IT_{b}
angle_o angle[_G114896] T_{a} I T_{b}
% Calculating value angle[_G114908] using formula 90-(2/pow(2,0)*angle[_G114896]+-1/pow(2,0)*180)
expression angle[_G114908] { 90-(2/pow(2,0)*angle[_G114896]+-1/pow(2,0)*180) }
% Constructing a line L_{\_G114980} which passes through point T_{a} and point T_{b}
line L_{\_G114980} T_{a} T_{b}
color 200 200 200
drawline L_{\_G114980}
color 0 0 0
% Constructing bisector L_{\_G114983} of the segment T_{a}T_{b}
med L_{\_G114983} T_{a} T_{b}
color 200 200 200
drawline L_{\_G114983}
color 0 0 0
color 200 200 200
drawsegment T_{a} T_{b}
color 0 0 0
% Constructing a point P_{\_G114986} which is an image of the point T_{b} in a rotation around the point T_{a} for the angle angle[_G114908]
rotate P_{\_G114986} T_{a} angle[_G114908] T_{b}
cmark_r P_{\_G114986}
color 200 200 200
drawarc_p T_{a} T_{b} angle[_G114908]
color 0 0 0
% Constructing a line L_{\_G114989} which passes through point T_{a} and point P_{\_G114986}
line L_{\_G114989} T_{a} P_{\_G114986}
color 200 200 200
drawline L_{\_G114989}
color 0 0 0
% Constructing a point P_{\_G114992} which belongs to line L_{\_G114983} and line L_{\_G114989}
intersec P_{\_G114992} L_{\_G114983} L_{\_G114989}
cmark_r P_{\_G114992}
% Constructing a circle circle[T_{a},T_{b},angle[b][a]] whose center is at point P_{\_G114992} and which passes through point T_{a}
circle circle[T_{a},T_{b},angle[b][a]] P_{\_G114992} T_{a}
color 200 200 200
drawcircle circle[T_{a},T_{b},angle[b][a]]
color 0 0 0
% NDG: points T_{a} and I are not the same; points I and T_{b} are not the same; points T_{b} and I are not the same
% Constructing an angle angle[_G115878] which is equal to the angle T_{a}IT_{b}
angle_o angle[_G115878] T_{a} I T_{b}
% Calculating value angle[_G115890] using formula 90-(2/pow(2,1)*angle[_G115878]+-1/pow(2,1)*180)
expression angle[_G115890] { 90-(2/pow(2,1)*angle[_G115878]+-1/pow(2,1)*180) }
% Constructing a line L_{\_G115962} which passes through point T_{b} and point I
line L_{\_G115962} T_{b} I
color 200 200 200
drawline L_{\_G115962}
color 0 0 0
% Constructing bisector L_{\_G115965} of the segment T_{b}I
med L_{\_G115965} T_{b} I
color 200 200 200
drawline L_{\_G115965}
color 0 0 0
color 200 200 200
drawsegment T_{b} I
color 0 0 0
% Constructing a point P_{\_G115968} which is an image of the point I in a rotation around the point T_{b} for the angle angle[_G115890]
rotate P_{\_G115968} T_{b} angle[_G115890] I
cmark_r P_{\_G115968}
color 200 200 200
drawarc_p T_{b} I angle[_G115890]
color 0 0 0
% Constructing a line L_{\_G115971} which passes through point T_{b} and point P_{\_G115968}
line L_{\_G115971} T_{b} P_{\_G115968}
color 200 200 200
drawline L_{\_G115971}
color 0 0 0
% Constructing a point P_{\_G115974} which belongs to line L_{\_G115965} and line L_{\_G115971}
intersec P_{\_G115974} L_{\_G115965} L_{\_G115971}
cmark_r P_{\_G115974}
% Constructing a circle circle[T_{b},I,angle[b][s[c]]] whose center is at point P_{\_G115974} and which passes through point T_{b}
circle circle[T_{b},I,angle[b][s[c]]] P_{\_G115974} T_{b}
color 200 200 200
drawcircle circle[T_{b},I,angle[b][s[c]]]
color 0 0 0
% NDG: circles circle[T_{b},I,angle[b][s[c]]] and circle[T_{a},T_{b},angle[b][a]] intersect% DET: circles circle[T_{b},I,angle[b][s[c]]] and circle[T_{a},T_{b},angle[b][a]] are not the same
% Constructing points C_{c1} and C which are in intersection of circle[T_{b},I,angle[b][s[c]]] and circle[T_{a},T_{b},angle[b][a]]
intersec2 C_{c1} C circle[T_{b},I,angle[b][s[c]]] circle[T_{a},T_{b},angle[b][a]]
cmark_r C_{c1}
cmark_b C
% DET: points C and T_{a} are not the same
% Constructing a line a which passes through point C and point T_{a}
line a C T_{a}
color 200 200 200
drawline a
color 0 0 0
% DET: points T_{b} and C are not the same
% Constructing a line b which passes through point T_{b} and point C
line b T_{b} C
color 200 200 200
drawline b
color 0 0 0
% NDG: lines s_{a} and b are not parallel% DET: lines s_{a} and b are not the same
% Constructing a point A which belongs to line s_{a} and line b
intersec A s_{a} b
cmark_t A
% NDG: lines s_{b} and a are not parallel% DET: lines s_{b} and a are not the same
% Constructing a point B which belongs to line s_{b} and line a
intersec B s_{b} a
cmark_b B
drawsegment A B
drawsegment A C
drawsegment B C
% Non-degenerate conditions: lines s_{b} and a are not parallel; lines s_{a} and b are not parallel; circles circle[T_{b},I,angle[b][s[c]]] and circle[T_{a},T_{b},angle[b][a]] intersect; points T_{a} and I are not the same; points I and T_{b} are not the same; points T_{b} and I are not the same; points T_{a} and I are not the same; points I and T_{b} are not the same; points T_{a} and T_{b} are not the same
% Determination conditions: lines s_{b} and a are not the same; lines s_{a} and b are not the same; points T_{b} and C are not the same; points C and T_{a} are not the same; circles circle[T_{b},I,angle[b][s[c]]] and circle[T_{a},T_{b},angle[b][a]] are not the same; points T_{b} and I are not the same; points T_{a} and I are not the same