Construction in GCLC language
dim 120 120
point T_{a} 70.86 40
point T_{c} 55.38 72.43
point I 74.37 61.15
color 220 0 0
fontsize 11
cmark_b T_{a}
cmark_lt T_{c}
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_{c} and I are not the same
% Constructing a line s_{c} which passes through point T_{c} and point I
line s_{c} T_{c} I
color 200 200 200
drawline s_{c}
color 0 0 0
% NDG: points T_{c} and I are not the same; points I and T_{a} are not the same; points T_{a} and I are not the same
% Constructing an angle angle[_G94251] which is equal to the angle T_{c}IT_{a}
angle_o angle[_G94251] T_{c} I T_{a}
% Calculating value angle[_G94262] using formula 90-(2/pow(2,1)*angle[_G94251]+-1/pow(2,1)*180)
expression angle[_G94262] { 90-(2/pow(2,1)*angle[_G94251]+-1/pow(2,1)*180) }
% Constructing a line L_{\_G94333} which passes through point T_{a} and point I
line L_{\_G94333} T_{a} I
color 200 200 200
drawline L_{\_G94333}
color 0 0 0
% Constructing bisector L_{\_G94336} of the segment T_{a}I
med L_{\_G94336} T_{a} I
color 200 200 200
drawline L_{\_G94336}
color 0 0 0
color 200 200 200
drawsegment T_{a} I
color 0 0 0
% Constructing a point P_{\_G94339} which is an image of the point I in a rotation around the point T_{a} for the angle angle[_G94262]
rotate P_{\_G94339} T_{a} angle[_G94262] I
cmark_r P_{\_G94339}
color 200 200 200
drawarc_p T_{a} I angle[_G94262]
color 0 0 0
% Constructing a line L_{\_G94342} which passes through point T_{a} and point P_{\_G94339}
line L_{\_G94342} T_{a} P_{\_G94339}
color 200 200 200
drawline L_{\_G94342}
color 0 0 0
% Constructing a point P_{\_G94345} which belongs to line L_{\_G94336} and line L_{\_G94342}
intersec P_{\_G94345} L_{\_G94336} L_{\_G94342}
cmark_r P_{\_G94345}
% Constructing a circle circle[T_{a},I,angle[a][s[b]]] whose center is at point P_{\_G94345} and which passes through point T_{a}
circle circle[T_{a},I,angle[a][s[b]]] P_{\_G94345} T_{a}
color 200 200 200
drawcircle circle[T_{a},I,angle[a][s[b]]]
color 0 0 0
% NDG: points T_{c} and I are not the same; points I and T_{a} are not the same; points T_{c} and T_{a} are not the same
% Constructing an angle angle[_G95281] which is equal to the angle T_{c}IT_{a}
angle_o angle[_G95281] T_{c} I T_{a}
% Calculating value angle[_G95292] using formula 90-(2/pow(2,0)*angle[_G95281]+-1/pow(2,0)*180)
expression angle[_G95292] { 90-(2/pow(2,0)*angle[_G95281]+-1/pow(2,0)*180) }
% Constructing a line L_{\_G95363} which passes through point T_{c} and point T_{a}
line L_{\_G95363} T_{c} T_{a}
color 200 200 200
drawline L_{\_G95363}
color 0 0 0
% Constructing bisector L_{\_G95366} of the segment T_{c}T_{a}
med L_{\_G95366} T_{c} T_{a}
color 200 200 200
drawline L_{\_G95366}
color 0 0 0
color 200 200 200
drawsegment T_{c} T_{a}
color 0 0 0
% Constructing a point P_{\_G95369} which is an image of the point T_{a} in a rotation around the point T_{c} for the angle angle[_G95292]
rotate P_{\_G95369} T_{c} angle[_G95292] T_{a}
cmark_r P_{\_G95369}
color 200 200 200
drawarc_p T_{c} T_{a} angle[_G95292]
color 0 0 0
% Constructing a line L_{\_G95372} which passes through point T_{c} and point P_{\_G95369}
line L_{\_G95372} T_{c} P_{\_G95369}
color 200 200 200
drawline L_{\_G95372}
color 0 0 0
% Constructing a point P_{\_G95375} which belongs to line L_{\_G95366} and line L_{\_G95372}
intersec P_{\_G95375} L_{\_G95366} L_{\_G95372}
cmark_r P_{\_G95375}
% Constructing a circle circle[T_{c},T_{a},angle[a][c]] whose center is at point P_{\_G95375} and which passes through point T_{c}
circle circle[T_{c},T_{a},angle[a][c]] P_{\_G95375} T_{c}
color 200 200 200
drawcircle circle[T_{c},T_{a},angle[a][c]]
color 0 0 0
% NDG: circles circle[T_{c},T_{a},angle[a][c]] and circle[T_{a},I,angle[a][s[b]]] intersect% DET: circles circle[T_{c},T_{a},angle[a][c]] and circle[T_{a},I,angle[a][s[b]]] are not the same
% Constructing points B_{c1} and B which are in intersection of circle[T_{c},T_{a},angle[a][c]] and circle[T_{a},I,angle[a][s[b]]]
intersec2 B_{c1} B circle[T_{c},T_{a},angle[a][c]] circle[T_{a},I,angle[a][s[b]]]
cmark_r B_{c1}
cmark_b B
% DET: points B and T_{a} are not the same
% Constructing a line a which passes through point B and point T_{a}
line a B T_{a}
color 200 200 200
drawline a
color 0 0 0
% DET: points T_{c} and B are not the same
% Constructing a line c which passes through point T_{c} and point B
line c T_{c} B
color 200 200 200
drawline c
color 0 0 0
% NDG: lines s_{a} and c are not parallel% DET: lines s_{a} and c are not the same
% Constructing a point A which belongs to line s_{a} and line c
intersec A s_{a} c
cmark_t A
% NDG: lines s_{c} and a are not parallel% DET: lines s_{c} and a are not the same
% Constructing a point C which belongs to line s_{c} and line a
intersec C s_{c} a
cmark_b C
drawsegment A B
drawsegment A C
drawsegment B C
% Non-degenerate conditions: lines s_{c} and a are not parallel; lines s_{a} and c are not parallel; circles circle[T_{c},T_{a},angle[a][c]] and circle[T_{a},I,angle[a][s[b]]] intersect; points T_{c} and I are not the same; points I and T_{a} are not the same; points T_{c} and T_{a} are not the same; points T_{c} and I are not the same; points I and T_{a} are not the same; points T_{a} and I are not the same
% Determination conditions: lines s_{c} and a are not the same; lines s_{a} and c are not the same; points T_{c} and B are not the same; points B and T_{a} are not the same; circles circle[T_{c},T_{a},angle[a][c]] and circle[T_{a},I,angle[a][s[b]]] are not the same; points T_{c} and I are not the same; points T_{a} and I are not the same