Reasoning by contradiction in dynamic geometry