MathLabs

第1問

関数 f(n)f(n) は正の整数上で定義され、非負整数値をとる。f(2)=0f(2)=0、f(3)>0f(3)>0、f(9999)=3333f(9999)=3333 であり、任意の m,nm,n に対して f(m+n)−f(m)−f(n)=0 or 1.f(m+n)-f(m)-f(n)=0 \text{ or } 1. が成り立つ。f(1982)f(1982) を求めよ。
ステップ 4/7: f(1980)f(1980) を求める
ざっくり言うと

先に証明した一般公式の直接の具体例である。

f(1980)=f(3⋅660)=660f(1980)=f(3\cdot660)=660
詳しい解説

660≤3333660\le3333 なので、ステップ3を k=660k=660 としてそのまま適用できる。