synthetic-construction

Prove triangle congruence by constructing auxiliary lines and applying SSS, SAS, ASA, or AAS criteria with CPCTC justifications. The workflow guides each synthetic geometry inference with clear citations and step-by-step construction logic.

Synthetic geometry proves theorems through classical compass-and-straightedge construction without coordinate algebra. It reveals hidden structural relationships by building auxiliary figures, enabling rigorous congruence and similarity arguments across Euclidean geometry.

Use auxiliary constructions to expose hidden proportional relationships, then apply AA, SAS~, or SSS~ similarity criteria. The process transforms difficult Euclidean geometry problems into structured, solvable similarity arguments with clear step-by-step justifications.

Apply CPCTC conclusions directly after establishing triangle congruence via SSS, SAS, ASA, or AAS. The synthetic construction workflow supports CPCTC-style inferences with explicit citations for each corresponding part conclusion.

Structure your geometric proof by first constructing necessary auxiliary lines, then applying congruence or similarity rules sequentially. Each inference requires clear citations, ensuring rigorous justification from construction through CPCTC conclusions.

Synthetic geometry proofs focus on compass-and-straightedge reasoning and may not handle complex algebraic coordinate relationships. For problems requiring analytic geometry calculations, consider alternative approaches outside classical construction-based methods.