{"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-discrete-exponential-growth"},"kind":"guides","total":1,"pages":1,"page":1,"entries":[{"id":"derivation-mko-discrete-exponential-growth-01","title":{"zh-Hant":"離散指數成長模型：由 x_(n+1)=r·x_n 歸納證明 x_n=x_0·r^n","en":"Discrete exponential growth: proving x_n=x_0·r^n from x_(n+1)=r·x_n by induction"},"summary":{"zh-Hant":"在固定時間步、常數因子 r≥0 的模型 x_(n+1)=r·x_n 中，以數學歸納法證明對每個自然數 n 有 x_n=x_0·r^n，並說明遞迴式與閉式描述同一數列；以 x_0=8、r=3/2 計算 x_1 到 x_4 並與閉式比對；說明 r>1、r=1、0≤r<1 與 x_0=0 的行為；判定資料 8、12、18、26 不符合任何以 x_0=8 開始的固定因子模型；並說明每步因子 3/2 不是連續成長率 1/2。","en":"In the model x_(n+1)=r·x_n with a fixed time step and constant factor r≥0, prove by induction that x_n=x_0·r^n for every natural number n, and explain that the recurrence and the closed form describe the same sequence; with x_0=8 and r=3/2 compute x_1 to x_4 and compare with the closed form; describe the behaviour for r>1, r=1, 0≤r<1 and x_0=0; decide that the data 8, 12, 18, 26 fit no fixed-factor model starting at x_0=8; and explain why the per-step factor 3/2 is not the continuous growth rate 1/2."},"mko_ids":["mko-discrete-exponential-growth"]}],"title":"概念推導導讀"}