逐步推導
S001 · implies
操作前
source roles = [qf-rate-quadratic-average, quadratic_average]
操作後
derived = [exact_quadratic_endpoint_average_not_derivative]
條件:無
本題輸出依原scalar/set/是非/fraction角色;有理數整數保留/1。不加未宣告domain,不改中英來源、公式或題目。
步驟識別與依賴
規則:R56_source_answer_role_and_EXACT_family_interface · 依賴:G001
S002 · calculation
操作前
Rate ORIGINAL x1 minus x0 := sub(29, 7)
操作後
Rate ORIGINAL x1 minus x0 = 22
條件:無
按本題原始角色作精確有理運算;SAFE只約束原輸入,衍生整數不截斷,不作浮點近似。
步驟識別與依賴
規則:exact_rational_arithmetic · 依賴:G001, S001
S003 · calculation
操作前
Rate quadratic ORIGINAL displacement0 := sub(7, 8)
操作後
Rate quadratic ORIGINAL displacement0 = -1
條件:無
按本題原始角色作精確有理運算;SAFE只約束原輸入,衍生整數不截斷,不作浮點近似。
步驟識別與依賴
規則:exact_rational_arithmetic · 依賴:G001, S002
S004 · calculation
操作前
Rate quadratic ORIGINAL square0 := mul(-1, -1)
操作後
Rate quadratic ORIGINAL square0 = 1
條件:無
按本題原始角色作精確有理運算;SAFE只約束原輸入,衍生整數不截斷,不作浮點近似。
步驟識別與依賴
規則:exact_rational_arithmetic · 依賴:G001, S003
S005 · calculation
操作前
Rate quadratic ORIGINAL a times square0 := mul(21, 1)
操作後
Rate quadratic ORIGINAL a times square0 = 21
條件:無
按本題原始角色作精確有理運算;SAFE只約束原輸入,衍生整數不截斷,不作浮點近似。
步驟識別與依賴
規則:exact_rational_arithmetic · 依賴:G001, S004
S006 · calculation
操作前
Rate quadratic ORIGINAL endpoint0 plus k := sum(21, 8)
操作後
Rate quadratic ORIGINAL endpoint0 plus k = 29
條件:無
按本題原始角色作精確有理運算;SAFE只約束原輸入,衍生整數不截斷,不作浮點近似。
步驟識別與依賴
規則:exact_rational_arithmetic · 依賴:G001, S005
S007 · calculation
操作前
Rate quadratic ORIGINAL displacement1 := sub(29, 8)
操作後
Rate quadratic ORIGINAL displacement1 = 21
條件:無
按本題原始角色作精確有理運算;SAFE只約束原輸入,衍生整數不截斷,不作浮點近似。
步驟識別與依賴
規則:exact_rational_arithmetic · 依賴:G001, S006
S008 · calculation
操作前
Rate quadratic ORIGINAL square1 := mul(21, 21)
操作後
Rate quadratic ORIGINAL square1 = 441
條件:無
按本題原始角色作精確有理運算;SAFE只約束原輸入,衍生整數不截斷,不作浮點近似。
步驟識別與依賴
規則:exact_rational_arithmetic · 依賴:G001, S007
S009 · calculation
操作前
Rate quadratic ORIGINAL a times square1 := mul(21, 441)
操作後
Rate quadratic ORIGINAL a times square1 = 9261
條件:無
按本題原始角色作精確有理運算;SAFE只約束原輸入,衍生整數不截斷,不作浮點近似。
步驟識別與依賴
規則:exact_rational_arithmetic · 依賴:G001, S008
S010 · calculation
操作前
Rate quadratic ORIGINAL endpoint1 plus k := sum(9261, 8)
操作後
Rate quadratic ORIGINAL endpoint1 plus k = 9269
條件:無
按本題原始角色作精確有理運算;SAFE只約束原輸入,衍生整數不截斷,不作浮點近似。
步驟識別與依賴
規則:exact_rational_arithmetic · 依賴:G001, S009
S011 · implies
操作前
source roles = [21, 8, 8, 7, 29]
操作後
derived = [[29, 9269], dy=a*(x1-x0)*(x1+x0-2h)]
條件:無
用完整vertex quadratic,k消去且兩平方差=(x1-x0)(x1+x0-2h)。對稱端點可dy=0但a非0,不能推函數常數。
步驟識別與依賴
規則:Rate_WHOLE_quadratic_difference_of_squares · 依賴:G001, S010
S012 · calculation
操作前
Rate ORIGINAL y1 minus y0 := sub(9269, 29)
操作後
Rate ORIGINAL y1 minus y0 = 9240
條件:無
按本題原始角色作精確有理運算;SAFE只約束原輸入,衍生整數不截斷,不作浮點近似。
步驟識別與依賴
規則:exact_rational_arithmetic · 依賴:G001, S011
S013 · calculation
操作前
Rate ORIGINAL dy over dx := div(9240, 22)
操作後
Rate ORIGINAL dy over dx = 420
條件:無
按本題原始角色作精確有理運算;SAFE只約束原輸入,衍生整數不截斷,不作浮點近似。
步驟識別與依賴
規則:exact_rational_arithmetic · 依賴:G001, S012
S014 · implies
操作前
source roles = [7, 29, 29, 9269, 22, 9240]
操作後
derived = [420/1]
條件:無
保持同一端點次序,平均率=(y1-y0)/(x1-x0)。可同時逆轉兩個差,不可只逆一個;可負、可0,分母約正後整數也保/1。這不由有限樣本證一般導數。
步驟識別與依賴
規則:Rate_oriented_quotient_reverse_BOTH_differences · 依賴:G001, S013