Construction in GCLC language


dim 120 120

point B 20 40
point O 65 51.14
point M_{b} 95 67.5

color 220 0 0
fontsize 11

cmark_b B
cmark_t O
cmark_rt M_{b}
color 0 0 0
fontsize 10


% Constructing a line L_{\_G13729} which passes through point B and point M_{b}
line L_{\_G13729} B M_{b} 

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


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

% Constructing a point P_{\_G13754} such that BP_{\_G13754}/BP_{\_G13830}=2
towards P_{\_G13754} B P_{\_G13830} 2 
cmark_r P_{\_G13754}
color 200 200 200
drawsegment B P_{\_G13754} 
color 0 0 0

% Constructing a point P_{\_G13799} such that BP_{\_G13799}/BP_{\_G13830}=3
towards P_{\_G13799} B P_{\_G13830} 3 
cmark_r P_{\_G13799}
color 200 200 200
drawsegment B P_{\_G13799} 
color 0 0 0

% Constructing a line L_{\_G13760} which passes through point M_{b} and point P_{\_G13799}
line L_{\_G13760} M_{b} P_{\_G13799} 

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


% Constructing a line L_{\_G13723} which contains the point P_{\_G13754} and is parallel to the line L_{\_G13760}
parallel L_{\_G13723} P_{\_G13754} L_{\_G13760} 

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


% Constructing a point G which belongs to line L_{\_G13723} and line L_{\_G13729}
intersec G L_{\_G13723} L_{\_G13729} 
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 B and H are not the same
% Constructing a line h_{b} which passes through point B and point H
line h_{b} B H 

color 200 200 200
drawline h_{b}
color 0 0 0



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

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




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

color 200 200 200
drawline b
color 0 0 0



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



drawsegment A B
drawsegment A C
drawsegment B C

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