Question: ab is constructible or not?
Answer: One of the points where this circle intersects the line will be a distance of |a + b| from p. Claim: If a and b are constructible numbers, so is a - b Proof: If b is constructible, then so is -b. So a + (-b) is constructible. As a consequence of the two claims above, every integer is constructible.