Reasoning by Contradiction in Dynamic Geometry