The question requires a formal proof that a geometric configuration has a specific property (e.g., a constructed triangle is equilateral, a locus satisfies a given equation) using coordinate or synthetic methods.