S001 · calculation
操作前
accumulation factor := sum(1, 1/10)
操作後
accumulation factor = 11/10
條件:無
每期利率加1才是乘到餘額的累積因子。
步驟識別與依賴
規則:exact_rational_arithmetic · 依賴:G001
R0002-01860 · q-20261013-advance-20261020-r07-compound-interest-0010
固定每期利率且無現金流。操作=interest-period-update;資料={"balance":[113,2],"rate":[2,20]}。請依 [balance,rate,accumulation,next] 欄序回答。
G001 — 固定每期利率且無現金流。操作=interest-period-update;資料={"balance":[113,2],"rate":[2,20]}。請依 [balance,rate,accumulation,next] 欄序回答。沿用原題明示的論域、假設與來源 MKO 定義。本題已完成第二對話數理與中英語義覆核,並由原始參數逐題獨立重算模型、答案與每個算術步驟;原題仍為 candidate。
操作前
accumulation factor := sum(1, 1/10)
操作後
accumulation factor = 11/10
條件:無
每期利率加1才是乘到餘額的累積因子。
規則:exact_rational_arithmetic · 依賴:G001
操作前
per-period rate=1/10; factor=11/10>0
操作後
fixed-period exact recurrence B_(k+1)=(1+r)B_k
條件:無
只使用固定期、固定利率、無新增收支的精確模型;不當作實際金融商品建議,也不提前作分幣四捨五入。
規則:compound_model_assumptions · 依賴:G001, S001
操作前
current balance=113/2
操作後
next balance=113/2·11/10
條件:無
當期完整餘額都乘累積因子,不只對原始本金套一次利率。
規則:period_update_substitution · 依賴:G001, S002
操作前
next balance := mul(113/2, 11/10)
操作後
next balance = 1243/20
條件:無
以有理數精確計算下一期餘額。
規則:exact_rational_arithmetic · 依賴:G001, S003
S004 · premise_and_result_audit — 以精確有理數重算 next balance,不以小數近似替代。S003 · premise_and_result_audit — 回到原始資料與本步條件核對,不把單向推論誤稱等價。S002 · premise_and_result_audit — 回到原始資料與本步條件核對,不把單向推論誤稱等價。S001 · premise_and_result_audit — 以精確有理數重算 accumulation factor,不以小數近似替代。(113/2, 1/10, 11/10, 1243/20)
依上列完整代值及條件核對得到原題答案;原題編號、格式與狀態保持不變。
覆核日期:2026-10-26
原題、答案、步驟表達式、數值 AST 與既有歷史保持原樣;原來的候選狀態屬於來源歷史,不覆寫為形式化證明。
input commit: 0f7be61e2c22317a4075561dc822c87d881a50dboriginal question SHA-256: 7d637509194cb9b4f44070a7c03d7ad41b212bd4a61e24cc8d56846b232bb4decandidate record SHA-256: f988582064facd0e0c1f0d5297e3d0f3cf64d35b6de0ae7be62ef031a3d927f8semantic review receipt SHA-256: 340d74dcc6e37df6249594a0b79a9ee2af804337b7847478b3c1342af9722861question-first witness SHA-256: 9a06233d190d31a16f13fb03b6c3ceba4cbb748fff6c997941f66ab1888dcca8Lean: NOT_RUN · human review: NOT_PERFORMED