Problem 254 from Wernick's corpus

Problem 254 from Wernick's corpus: C, H_b, H_c

Given a point C, a point H_b and a point H_c, construct the triangle ABC.

ArgoTriCS says that the problem is solvable.

Using the point C and the point H_b, construct a line b (rule W02);

% DET: points C and H_b are not the same
Using the point C and the point H_c, construct a line h_c (rule W02);

% DET: points C and H_c are not the same
Using the point H_c and the line h_c, construct a line c (rule W10a);
Using the line c and the line b, construct a point A (rule W03);

% NDG: lines c and b are not parallel
% DET: lines c and b are not the same
Using the point H_b and the line b, construct a line h_b (rule W10b);
Using the line c and the line h_b, construct a point B (rule W03);

% NDG: lines c and h_b are not parallel
% DET: lines c and h_b are not the same