Well, you can do that reasoning algebraically as equations on the coordinates. So you translate the constraints into equations. See https://en.wikipedia.org/wiki/Analytic_geometry

If memory serves right, there's a certain subset of geometry that decidable in that way. Ie you can just run an algorithm.