-
Using the point Mb and the point Hb, construct a line b (rule W02);
% DET: points Mb and Hb are not the same
-
Using the point Mb and the line b, construct a line mb (rule W10b);
-
Choose freely a point O on the line mb (rule WOnline2)
-
Using the point Hb and the line b, construct a line hb (rule W10b);
-
Choose freely a point A on the line b (rule WOnline1)
-
Using the point A and the point Mb, construct a point C (rule W01);
-
Using the point A and the point O, construct a circle k(O,C) (rule W06);
% NDG: points A and O are not the same
-
Using the circle k(O,C) and the line hb, construct a point Bk and a point B (rule W04);
% NDG: line hb and circle k(O,C) intersect