{"schema_version":"ocme-site-results-v1","locale":"en","page_type":"derivations","facts":{"questions":36000,"reviewed":36000,"display_candidates":0,"knowledge":302,"guides":299,"paths":59,"batches":360,"families":1441,"atlas":302,"core":80,"evidence":9,"formal_evidence":5,"formal_subjects":4,"lean_files":6,"lean_toolchain":"leanprover/lean4:v4.30.0","question_state":"candidate","english_state":"ai_candidate","question_Lean":"NOT_RUN","canonical_truth_promotion":false},"filters":{"q":"mko-rate-of-change"},"kind":"guides","total":1,"pages":1,"page":1,"entries":[{"id":"derivation-mko-rate-of-change-01","title":{"zh-Hant":"兩點間的平均變化率：資格、端點對調、仿射與二次公式","en":"Average rate of change between distinct inputs: eligibility, swapping endpoints, the affine and quadratic formulas"},"summary":{"zh-Hant":"（一）已知某指定函數 f 的 f(2)=7、f(−4)=3：判定資格並求平均變化率，化為最簡正分母分數，並說明同時對調兩端點不改變結果。（二）證明 f(x)=mx+b 的平均變化率為 m，並以 ℓ(x)=−3x+7 在 −2 與 4 之間核對。（三）證明 q(x)=a(x−h)²+k（a≠0）的平均變化率為 a(x₀+x₁−2h)，以 q(x)=−2(x−3)²+5 在 1 與 4 之間核對；並以對稱端點、改變第二端點與相同輸入三個情形說明它不是導數，也不能對相同輸入填 0。","en":"(1) For a specified function f with f(2)=7 and f(−4)=3: check eligibility, compute the average rate of change as a reduced fraction with positive denominator, and show that swapping both endpoints does not change it. (2) Prove that f(x)=mx+b has average rate m, and check it with ℓ(x)=−3x+7 between −2 and 4. (3) Prove that q(x)=a(x−h)²+k (a≠0) has average rate a(x₀+x₁−2h), check it with q(x)=−2(x−3)²+5 between 1 and 4, and use symmetric endpoints, a changed second endpoint and equal inputs to show that it is not a derivative and that 0 must not be assigned when the inputs coincide."},"mko_ids":["mko-rate-of-change"]}],"title":"Concept derivation guides"}
