Before generation
Use this workbench when a coordinate-geometry task asks for a proof rather than a visual classification. It assembles several accepted evidence routes so learners can connect slope, vector, distance, perpendicularity, and midpoint calculations with definitions. It can also reveal when a plausible-looking drawing fails a required property. The course may require a particular theorem, so the exported evidence should be rewritten in the assigned proof form.
Worked example
The fictional vertices A(1,1), B(5,2), C(4,6), and D(0,5) create side vectors (4,1), (-1,4), (-4,-1), and (1,-4). Opposite vectors are parallel, adjacent vectors have dot product zero, every squared side length is 17, and both diagonals share the same midpoint. Those calculations support the entered square claim without relying on the apparent shape of a graph.
Formula or methodology
Squared side length is delta x squared plus delta y squared. Two vectors are parallel when their two-dimensional cross product is zero, including vertical lines. Adjacent vectors are perpendicular when their dot product is zero. Diagonals bisect each other when their midpoint coordinates match. A rectangle requires a parallelogram plus a right angle; a rhombus requires a parallelogram plus four equal sides; a square requires both.
How to interpret the result
Supported means the entered coordinates satisfy the implemented defining conditions within a small floating-point tolerance. Not supported identifies a failed condition, not a corrected vertex. Side and definition tables should be cited as evidence. A different point order can create crossing sides or test another polygon, so order and a quick sketch are part of the proof setup.
Common mistakes
Do not trust graph appearance, divide by zero to calculate a vertical slope, round square roots before comparing sides, prove only one pair of opposite sides parallel, or assume equal diagonals alone prove a rectangle. Keep exact values where possible, verify perimeter order, name the theorem or definition used, and make the conclusion match the selected quadrilateral claim.