Use one equal-unit orthonormal Euclidean Cartesian frame. Rotate P=(4, 17) about the origin counterclockwise by 0 quarter-turns of 90°. Find the image coordinates.
G001 — Use one equal-unit orthonormal Euclidean Cartesian frame. Rotate P=(4, 17) about the origin counterclockwise by 0 quarter-turns of 90°. Find the image coordinates.
Definition and scope
Use the original question domain, assumptions and cited MKO definitions. This item has second-context mathematical and bilingual review, with the model, answer and every arithmetic step independently recomputed from the original parameters; the source question remains a candidate.
Follow THIS bank exact keys,domain/frame,operation and answer role.STR22/App20 tuples differ from legacy scalars;retain or omit/1 by the ORIGINAL contract,not a generic visual convention.
At n=0 retain the original point;otherwise use exactly the stated updates.This image calculation is not a new formal certificate for a whole-plane theorem.
S002 · premise_and_result_audit — Reverse-check EACH original datum,index,direction,representative and premise,not only the answer.Exact candidate checking,independent review,formal proof and publication clearance remain separate.
S001 · premise_and_result_audit — Reverse-check EACH original datum,index,direction,representative and premise,not only the answer.Exact candidate checking,independent review,formal proof and publication clearance remain separate.
Result
(4, 17)
The full substitutions and premise checks give the original answer; source identity,format and status are unchanged.
This question review and source binding
Review date: 2026-10-26
Original questions, answers, step expressions, numeric ASTs and historical records are retained. Source candidate labels remain historical and are not overwritten as formal proof.