Given a triangle ABC and a midpoint M (of the line AB), is it possible to check whether the line CM is perpendicular to AB with a straightedge only? By this, I mean that points can be added imprecisely into any open region, or along any open line segment, and the straightedge can be used to draw the unique connecting lines (but no distances can be measured) with a programmable procedure.
I was hoping that the colinearity of some generated points in the end could check this, but now suspect that this is impossible.
This differs a little from "Steiner construction" becuase the "final constructed point" is given, so only confirmation is needed. In the problem here, I don't have the circle for the Poncelet–Steiner theorem.