第 255 題：一次方程形式有效性

原題與已知條件

在有理數論域，考慮 1x+(-8)=0。依本 MKO，這是否是一元一次方程？

• G001 — 在有理數論域，考慮 1x+(-8)=0。依本 MKO，這是否是一元一次方程？

定義與適用範圍

有理數論域；一次方程定義要求 a≠0，a=0 是另行處理的退化常數等式。

• mko-linear-equation

逐步推導

a=1, b=-8, x∈Q

equation: 1x+(-8)=0

a=1

a≠0: 是

1x+(-8)=0

linear form qualified: 是

if a=0 then ax+b=b

constant equality is a separate boundary

逐步反向核對

• S004 · premise_and_result_audit — 代回原式核對，除法前的非零條件不可省略。
• S003 · premise_and_result_audit — 代回原式核對，除法前的非零條件不可省略。
• S002 · premise_and_result_audit — 代回原式核對，除法前的非零條件不可省略。
• S001 · premise_and_result_audit — 代回原式核對，除法前的非零條件不可省略。

結論

是

上述完整代值與條件核對得到原題答案；欄位次序及真假標記保持原始合約。

本題覆核與來源綁定

覆核日期：2026-10-26

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