{"schema_version":"ocme-site-results-v1","locale":"zh-Hant","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-fundamental-theorem-calculus"},"kind":"guides","total":1,"pages":1,"page":1,"entries":[{"id":"derivation-mko-fundamental-theorem-calculus-01","title":{"zh-Hant":"微積分基本定理：由連續性證明 G′=f，再推出 ∫_a^b f=F(b)−F(a)","en":"Fundamental theorem of calculus: proving G′=f from continuity, then ∫_a^b f=F(b)−F(a)"},"summary":{"zh-Hant":"設 f:ℝ→ℝ 在全 ℝ 連續，a∈ℝ，G(x)=∫_a^x f(t)dt 為有向積分。(1) 證明 G 在每一點可微且 G′(x)=f(x)；(2) 若 F:ℝ→ℝ 可微且 F′=f，證明對任意實數 a、b 有 ∫_a^b f(t)dt=F(b)−F(a)；(3) 以 f(t)=6t²−2t+1 與候選 F(x)=2x³−x²+x+1/2 算出 ∫_2^{−1} f(t)dt，並說明 G(2)=0 不推出 G′(2)=0、上下限在 x=0 重合也不推出導數為 0。","en":"Let f:ℝ→ℝ be continuous on all of ℝ, a∈ℝ, and G(x)=∫_a^x f(t)dt an oriented integral. (1) Prove that G is differentiable at every point with G′(x)=f(x); (2) if F:ℝ→ℝ is differentiable with F′=f, prove ∫_a^b f(t)dt=F(b)−F(a) for arbitrary real a, b; (3) with f(t)=6t²−2t+1 and the candidate F(x)=2x³−x²+x+1/2, compute ∫_2^{−1} f(t)dt, and explain why G(2)=0 does not give G′(2)=0 and why bounds coinciding at x=0 do not give a zero derivative."},"mko_ids":["mko-fundamental-theorem-calculus"]}],"title":"概念推導導讀"}