{"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-compound-interest"},"kind":"guides","total":1,"pages":1,"page":1,"entries":[{"id":"derivation-mko-compound-interest-01","title":{"zh-Hant":"複利模型：本金 1000、每年 2%、三年的餘額與單利比較","en":"Compound-interest model: principal 1000 at 2% per year for three years, compared with simple interest"},"summary":{"zh-Hant":"在期別為一年、每期利率 i=1/50（2%）、期間內無存提款與費用的模型中，以歸納證明 B_n=B_0(1+i)^n，算出 B_0=1000 時三年後的餘額 132651/125（即 1061.208）與利息；與單利 B_0(1+ni)=1060 比較，並以 Bernoulli 不等式證明複利餘額對每個 n 都不小於單利；說明期別混用與期間現金流如何使單一冪次公式失效。","en":"In the model with one-year periods, rate i=1/50 (2%) per period and no deposits, withdrawals or fees, prove B_n=B_0(1+i)^n by induction, compute the balance after three years from B_0=1000, namely 132651/125 (that is 1061.208), and the interest; compare with simple interest B_0(1+ni)=1060 and prove by Bernoulli's inequality that the compound balance is never below the simple one for any n; explain how mixing period units and cash flows during the period break the single-power formula."},"mko_ids":["mko-compound-interest"]}],"title":"Concept derivation guides"}