第 16 題：座標平面距離計算

原題與已知條件

在歐幾里得平面上，點 P=(-12, -20) 與 Q=(-77, -92)。求距離 d(P,Q)。

• G001 — 在歐幾里得平面上，點 P=(-12, -20) 與 Q=(-77, -92)。求距離 d(P,Q)。

定義與適用範圍

距離取非負主平方根，沿用引用來源既有假設 a3；相同點的距離為零。本批兩點均不同，結果皆為正。

• mko-euclidean-length

逐步推導

P=(-12,-20), Q=(-77,-92)

Δx=Q_x−P_x; Δy=Q_y−P_y

Δx := sub(-77, -12)

Δx = -65

Δy := sub(-92, -20)

Δy = -72

(Δx)² := square(-65)

(Δx)² = 4225

(Δy)² := square(-72)

(Δy)² = 5184

d² := sum(4225, 5184)

d² = 9409

d²=9409, d≥0

d=√(9409)=97

answer² := square(97)

answer² = 9409

逐步反向核對

• S008 · premise_and_result_audit — 以精確有理數重算 answer²，不以小數近似替代。
• S007 · premise_and_result_audit — 負平方根不是距離；不將平方距離直接當作距離。
• S006 · premise_and_result_audit — 以精確有理數重算 d²，不以小數近似替代。
• S005 · premise_and_result_audit — 以精確有理數重算 (Δy)²，不以小數近似替代。
• S004 · premise_and_result_audit — 以精確有理數重算 (Δx)²，不以小數近似替代。
• S003 · premise_and_result_audit — 以精確有理數重算 Δy，不以小數近似替代。
• S002 · premise_and_result_audit — 以精確有理數重算 Δx，不以小數近似替代。
• S001 · premise_and_result_audit — 交換兩點會同時改變差的符號，但不改變平方和。

結論

97

兩點距離為 97。

本題覆核與來源綁定

覆核日期：2026-10-24

原題、答案、步驟表達式、數值 AST 與既有歷史保持原樣；原來的候選狀態屬於來源歷史，不覆寫為形式化證明。