-
Using the point C and the point Ta, construct a line a (rule W02); % DET: points C and Ta are not the same
-
Choose freely a point B on the line a (rule WOnline1)
-
Using the point B, the point C, the point Ta and the line a, construct a point T`a (rule W19); % NDG: points B and C are not the same points C and Ta are not the same points C and midpoint([B,Ta]) are not the same
-
Choose freely a point A on the circle k_over(Ta,T`a) (rule WOncircle)
|
 |