Explore related knowledge and questions →

Question 1846: Net Compound Interest Can Be Negative

On this page
  1. Original question and givens
  2. Definition and scope
  3. Step-by-step derivation
  4. Reverse checks
  5. Result
  6. This question review and source binding

Return to catalogue page 10

← Question derivation index · Original question batch

R0002-01846 · q-20261013-advance-20261020-r07-compound-interest-0096

Original question and givens

Use one fixed exact rate per declared period and no deposits, withdrawals, fees, taxes or rounding. Rate and period conventions agree; balances/principal are nonnegative and 1+rate>0. This is not investment advice, a quote or a market forecast. Use exact rational inputs. Normalize denominator signs and reduce output fractions; print integers without /1. These specified-value checks do not identify truncation, rounding, measurement or model-error causes. principal=200/1, rate=-2/20, periods=2. Give (principal, rate, periods, future value, future value−principal). A permitted negative rate may produce negative net interest.

  • G001 — Use one fixed exact rate per declared period and no deposits, withdrawals, fees, taxes or rounding. Rate and period conventions agree; balances/principal are nonnegative and 1+rate>0. This is not investment advice, a quote or a market forecast. Use exact rational inputs. Normalize denominator signs and reduce output fractions; print integers without /1. These specified-value checks do not identify truncation, rounding, measurement or model-error causes. principal=200/1, rate=-2/20, periods=2. Give (principal, rate, periods, future value, future value−principal). A permitted negative rate may produce negative net interest.

Definition and scope

Use the original question domain, assumptions and cited MKO definitions. This item has second-context mathematical and bilingual review, with the model, answer and every arithmetic step independently recomputed from the original parameters; the source question remains a candidate.

Step-by-step derivation

S001 · calculation

Before

accumulation factor := sum(1, -1/10)

After

accumulation factor = 9/10

Conditions: none

Add1 to the per-period rate to obtain the multiplicative accumulation factor.

Step identifiers and dependencies

Rule: exact_rational_arithmetic · Uses: G001

S002 · implies

Before

per-period rate=-1/10; factor=9/10>0

After

fixed-period exact recurrence B_(k+1)=(1+r)B_k

Conditions: none

Use only the exact fixed-period,fixed-rate model with no extra cash flows;this is not product advice and no currency rounding is introduced.

Step identifiers and dependencies

Rule: compound_model_assumptions · Uses: G001, S001

S003 · implies

Before

B₀=200; periods=2

After

0 periods leave the principal unchanged

Conditions: none

At0 periods the balance is the principal;do not add a period of interest.

Step identifiers and dependencies

Rule: principal_and_period_count · Uses: G001, S002

S004 · calculation

Before

B_1 := mul(200, 9/10)

After

B_1 = 180

Conditions: none

Accumulate into the balance before the next period,using the same factor each time.

Step identifiers and dependencies

Rule: exact_rational_arithmetic · Uses: G001, S003

S005 · calculation

Before

B_2 := mul(180, 9/10)

After

B_2 = 162

Conditions: none

Accumulate into the balance before the next period,using the same factor each time.

Step identifiers and dependencies

Rule: exact_rational_arithmetic · Uses: G001, S004

S006 · implies

Before

B₀=P; B_(k+1)=(1+r)B_k

After

B_n=P(1+r)^n by induction

Conditions: none

The0-period base case holds,and multiplying by the same factor proves the next induction case.

Step identifiers and dependencies

Rule: compound_power_identity · Uses: G001, S005

S007 · implies

Before

(9/10)^2

After

(1+r)^n = 81/100

Conditions: none

Evaluate the finite nonnegative-integer power exactly; exponent0 uses the polynomial multiplicative identity.

Step identifiers and dependencies

Rule: integer_power · Uses: G001, S006

S008 · calculation

Before

future balance := mul(200, 81/100)

After

future balance = 162

Conditions: none

Substitute into the power formula and cross-check against the periodwise balances.

Step identifiers and dependencies

Rule: exact_rational_arithmetic · Uses: G001, S007

S009 · calculation

Before

net interest := sub(162, 200)

After

net interest = -38

Conditions: none

Net interest is final balance minus principal;it may be negative at a negative rate and must not be clipped to0.

Step identifiers and dependencies

Rule: exact_rational_arithmetic · Uses: G001, S008

Reverse checks

  • S009 · premise_and_result_audit — Recompute net interest with exact rational arithmetic, not rounded decimals.
  • S008 · premise_and_result_audit — Recompute future balance with exact rational arithmetic, not rounded decimals.
  • S007 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
  • S006 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
  • S005 · premise_and_result_audit — Recompute B_2 with exact rational arithmetic, not rounded decimals.
  • S004 · premise_and_result_audit — Recompute B_1 with exact rational arithmetic, not rounded decimals.
  • S003 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
  • S002 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
  • S001 · premise_and_result_audit — Recompute accumulation factor with exact rational arithmetic, not rounded decimals.

Result

(200, -1/10, 2, 162, -38)

The full substitutions and premise checks give the original answer; source identity,format and status are unchanged.

This question review and source binding

Review date: 2026-10-26

Original questions, answers, step expressions, numeric ASTs and historical records are retained. Source candidate labels remain historical and are not overwritten as formal proof.

Source hashes and review receipts
  • input commit: 0f7be61e2c22317a4075561dc822c87d881a50db
  • original question SHA-256: 4bbd8c6b47cf25f88ff4c943cdfc43479036eb83eac121926c15723f9e5cd00d
  • candidate record SHA-256: a5f922a41fc483c0826fbc063afc18a7a87911467fe14558bd327444722f557c
  • semantic review receipt SHA-256: 340d74dcc6e37df6249594a0b79a9ee2af804337b7847478b3c1342af9722861
  • question-first witness SHA-256: 9a06233d190d31a16f13fb03b6c3ceba4cbb748fff6c997941f66ab1888dcca8
  • Lean: NOT_RUN · human review: NOT_PERFORMED
Same-source full JSON