Construction in GCLC language


dim 120 120

point A 80 95
point O 65 51.14
point M_{a} 65 40

color 220 0 0
fontsize 11

cmark_t A
cmark_t O
cmark_b M_{a}
color 0 0 0
fontsize 10


% Constructing a line L_{\_G7375} which passes through point A and point M_{a}
line L_{\_G3864} A M_{a} 

color 200 200 200
drawline L_{\_G3864}
color 0 0 0


% Constructing a point P_{\_G7476} with coordinates (0,0)
point P_{\_G3868} 0 0 
cmark_r P_{\_G3868}

% Constructing a point P_{\_G7400} such that AP_{\_G7400}/AP_{\_G7476}=2
towards P_{\_G3865} A P_{\_G3868} 2 
cmark_r P_{\_G3865}
color 200 200 200
drawsegment A P_{\_G3865} 
color 0 0 0

% Constructing a point P_{\_G7445} such that AP_{\_G7445}/AP_{\_G7476}=3
towards P_{\_G3867} A P_{\_G3868} 3 
cmark_r P_{\_G3867}
color 200 200 200
drawsegment A P_{\_G3867} 
color 0 0 0

% Constructing a line L_{\_G7406} which passes through point M_{a} and point P_{\_G7445}
line L_{\_G3866} M_{a} P_{\_G3867} 

color 200 200 200
drawline L_{\_G3866}
color 0 0 0


% Constructing a line L_{\_G7369} which contains the point P_{\_G7400} and is parallel to the line L_{\_G7406}
parallel L_{\_G3863} P_{\_G3865} L_{\_G3866} 

color 200 200 200
drawline L_{\_G3863}
color 0 0 0


% Constructing a point G which belongs to line L_{\_G7369} and line L_{\_G7375}
intersec G L_{\_G3863} L_{\_G3864} 
cmark_t G



% Constructing a point H such that OH/OG=3
towards H O G 3 
cmark_rt H
color 200 200 200
drawsegment O H 
color 0 0 0


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

color 200 200 200
drawline h_{a}
color 0 0 0



% NDG:  points A and O are not the same
% Constructing a circle k(O,C) whose center is at point O and which passes through point A
circle k(O,C) O A 

color 200 200 200
drawcircle k(O,C)
color 0 0 0




% Constructing a line a which is perpendicular to line h_{a} and which passes through point M_{a}
perp a M_{a} h_{a} 

color 200 200 200
drawline a
color 0 0 0



% NDG:  line a and circle k(O,C) intersect
% Constructing points C and B which are in intersection of k(O,C) and a
intersec2 C B k(O,C) a 
cmark_b C
cmark_b B



drawsegment A B
drawsegment A C
drawsegment B C

% Non-degenerate conditions:  line a and circle k(O,C) intersect; points A and O are not the same
% Determination conditions:  points A and H are not the same