Construction in GCLC language
dim 120 120
point M_{c} 50 67.5
point H_{a} 80 40
point T_{c} 55.38 72.43
color 220 0 0
fontsize 11
cmark_lt M_{c}
cmark_b H_{a}
cmark_lt T_{c}
color 0 0 0
fontsize 10
% DET: points M_{c} and T_{c} are not the same
% Constructing a line c which passes through point M_{c} and point T_{c}
line c M_{c} T_{c}
color 200 200 200
drawline c
color 0 0 0
% NDG: points H_{a} and M_{c} are not the same
% Constructing a circle k(M_{c},A) whose center is at point M_{c} and which passes through point H_{a}
circle k(M_{c},A) M_{c} H_{a}
color 200 200 200
drawcircle k(M_{c},A)
color 0 0 0
% NDG: line c and circle k(M_{c},A) intersect
% Constructing points A and B which are in intersection of k(M_{c},A) and c
intersec2 A B k(M_{c},A) c
cmark_t A
cmark_b B
% DET: points H_{a} and B are not the same
% Constructing a line a which passes through point H_{a} and point B
line a H_{a} B
color 200 200 200
drawline a
color 0 0 0
% NDG: points A and B are not the same; points B and T_{c} are not the same; points B and midpoint([A,T_{c}]) are not the same
% Constructing a point P_{\_G53380} which is an image of the point B in a rotation around the point T_{c} for the angle 90
rotate P_{\_G53380} T_{c} 90 B
cmark_r P_{\_G53380}
color 200 200 200
drawarc_p T_{c} B 90
color 0 0 0
% Constructing a line L_{\_G53383} which passes through point T_{c} and point P_{\_G53380}
line L_{\_G53383} T_{c} P_{\_G53380}
color 200 200 200
drawline L_{\_G53383}
color 0 0 0
% Constructing midpoint P_{\_G53386} of the segment BP_{\_G53380}
midpoint P_{\_G53386} B P_{\_G53380}
cmark_r P_{\_G53386}
% Constructing a line L_{\_G53389} which passes through point A and point P_{\_G53386}
line L_{\_G53389} A P_{\_G53386}
color 200 200 200
drawline L_{\_G53389}
color 0 0 0
% Constructing a line L_{\_G53392} which passes through point B and point P_{\_G53386}
line L_{\_G53392} B P_{\_G53386}
color 200 200 200
drawline L_{\_G53392}
color 0 0 0
% Constructing a point P_{\_G53395} which belongs to line L_{\_G53383} and line L_{\_G53389}
intersec P_{\_G53395} L_{\_G53383} L_{\_G53389}
cmark_r P_{\_G53395}
% Constructing a point P_{\_G53398} which belongs to line L_{\_G53383} and line L_{\_G53392}
intersec P_{\_G53398} L_{\_G53383} L_{\_G53392}
cmark_r P_{\_G53398}
% Constructing a line L_{\_G53401} which passes through point A and point P_{\_G53398}
line L_{\_G53401} A P_{\_G53398}
color 200 200 200
drawline L_{\_G53401}
color 0 0 0
% Constructing a line L_{\_G53404} which passes through point B and point P_{\_G53395}
line L_{\_G53404} B P_{\_G53395}
color 200 200 200
drawline L_{\_G53404}
color 0 0 0
% Constructing a point P_{\_G53407} which belongs to line L_{\_G53401} and line L_{\_G53404}
intersec P_{\_G53407} L_{\_G53401} L_{\_G53404}
cmark_r P_{\_G53407}
% Constructing a line L_{\_G53410} which passes through point P_{\_G53386} and point P_{\_G53407}
line L_{\_G53410} P_{\_G53386} P_{\_G53407}
color 200 200 200
drawline L_{\_G53410}
color 0 0 0
% Constructing a point T`_{c} which belongs to line L_{\_G53410} and line c
intersec T`_{c} L_{\_G53410} c
cmark_r T`_{c}
% NDG: points T_{c} and T`_{c} are not the same
% Constructing midpoint P_{\_G54241} of the segment T_{c}T`_{c}
midpoint P_{\_G54241} T_{c} T`_{c}
cmark_r P_{\_G54241}
% Constructing a circle k_over(T_{c},T`_{c}) whose center is at point P_{\_G54241} and which passes through point T_{c}
circle k_over(T_{c},T`_{c}) P_{\_G54241} T_{c}
color 200 200 200
drawcircle k_over(T_{c},T`_{c})
color 0 0 0
% NDG: line a and circle k_over(T_{c},T`_{c}) intersect
% Constructing points C_{wb} and C which are in intersection of k_over(T_{c},T`_{c}) and a
intersec2 C_{wb} C k_over(T_{c},T`_{c}) a
cmark_r C_{wb}
cmark_b C
drawsegment A B
drawsegment A C
drawsegment B C
% Non-degenerate conditions: line a and circle k_over(T_{c},T`_{c}) intersect; points T_{c} and T`_{c} are not the same; points A and B are not the same; points B and T_{c} are not the same; points B and midpoint([A,T_{c}]) are not the same; line c and circle k(M_{c},A) intersect; points H_{a} and M_{c} are not the same
% Determination conditions: points H_{a} and B are not the same; points M_{c} and T_{c} are not the same