$m, n$ は正の整数で $m < n$ とする。このとき、$m$ 以上 $n$ 以下の分数で、5を分母とし、5の倍数でない整数を分子とするもの全体の和を求めよ。

数論分数整数数列
2025/7/22

1. 問題の内容

m,nm, n は正の整数で m<nm < n とする。このとき、mm 以上 nn 以下の分数で、5を分母とし、5の倍数でない整数を分子とするもの全体の和を求めよ。

2. 解き方の手順

まず、mm 以上 nn 以下の整数で、5の倍数でないものを列挙します。
整数 kk に対して、k5\frac{k}{5} が条件を満たす分数の候補となります。mk5nm \le \frac{k}{5} \le n を満たす kk を探します。
これは 5mk5n5m \le k \le 5n と同値です。したがって、kk5m5m 以上 5n5n 以下の整数となります。
次に、これらの整数の中で、5の倍数であるものを除外します。
5の倍数でない整数の全体を SS とすると、求める和は kSk5=15kSk\sum_{k \in S} \frac{k}{5} = \frac{1}{5} \sum_{k \in S} k となります。
5m5m 以上 5n5n 以下のすべての整数の和は (5m+5n)(5n5m+1)2\frac{(5m + 5n)(5n - 5m + 1)}{2} であり、5の倍数の和は 5×(m+n)(nm+1)25 \times \frac{(m + n)(n - m + 1)}{2} となります。
5m5m 以上 5n5n 以下の5の倍数である数を 5k5k と表すと、5m5k5n5m \le 5k \le 5n より mknm \le k \le n であるので、 k=m,m+1,...,nk = m, m+1, ..., n となります。
このとき、kk の和は (m+n)(nm+1)2\frac{(m+n)(n-m+1)}{2} ですから、5k5k の和は 5×(m+n)(nm+1)25 \times \frac{(m+n)(n-m+1)}{2} となります。
求める和は、全体から5の倍数の和を引いたものです。
k=5m5nkk=mn5k=(5m+5n)(5n5m+1)25(m+n)(nm+1)2\sum_{k=5m}^{5n} k - \sum_{k=m}^{n} 5k = \frac{(5m+5n)(5n-5m+1)}{2} - \frac{5(m+n)(n-m+1)}{2}
=5(m+n)(5n5m+1)5(m+n)(nm+1)2= \frac{5(m+n)(5n-5m+1) - 5(m+n)(n-m+1)}{2}
=5(m+n)(5n5m+1(nm+1))2= \frac{5(m+n)(5n-5m+1-(n-m+1))}{2}
=5(m+n)(4n4m)2= \frac{5(m+n)(4n-4m)}{2}
=10(m+n)(nm)= 10(m+n)(n-m)
求める和は 15×10(m+n)(nm)=2(n2m2)\frac{1}{5} \times 10(m+n)(n-m) = 2(n^2 - m^2)

3. 最終的な答え

2(n2m2)2(n^2 - m^2)

「数論」の関連問題

$a, b$ は実数であるとき、命題「$a+b$ は無理数 $\implies$ $a, b$ の少なくとも一方は無理数」の真偽を判定する問題です。

命題真偽無理数有理数対偶
2025/7/23

自然数 $n$ に対して、以下の2つの条件の否定を求める問題です。 (1) $n$ は偶数である。 (2) $n$ は 5 より小さい。

命題否定自然数偶数奇数不等式
2025/7/23

$\sqrt{2}$が無理数であることを用いて、$1 + 3\sqrt{2}$ が無理数であることを証明します。

無理数有理数背理法代数的数
2025/7/23

整数 $n$ について、「$n^2$ が奇数ならば、$n$ は奇数である」という命題を、対偶を利用して証明する。

命題対偶整数の性質証明
2025/7/23

$m$, $n$ は自然数である。次の命題とその対偶の真偽を調べ、それらが一致することを確認する。 (1) $m$ は $4$ の倍数 $\Rightarrow$ $m$ は偶数 (2) $m+n$ ...

命題真偽対偶偶数奇数倍数
2025/7/23

自然数 $n$ に対し、以下の2つの条件の否定を求める問題です。 (1) $n$ は偶数である (2) $n$ は5より小さい

命題否定自然数偶数奇数不等式
2025/7/23

自然数 $n$ に対して、命題「$n$ が素数ならば、$n$ は奇数である」が偽であることを示す問題です。

素数命題反例偶数奇数
2025/7/23

正の奇数全体の集合を $A$ とするとき、次の数(5, 6, -3)が集合 $A$ に含まれるか、含まれないかを判定する問題です。$\in$ または $\notin$ のいずれかをそれぞれの $\sq...

集合奇数整数の性質
2025/7/23

自然数 $k$ に対して、$x < y < k < x + y$ を満たす自然数の組 $(x, y)$ の個数を $a_k$ とします。 (1) $a_7$, $a_8$ を求めよ。 (2) 自然数 ...

不等式数列数え上げΣ
2025/7/23

与えられた問題は以下の4つです。 (1) ユークリッドの互除法を用いて、$m = 663$ と $n = 2371$ の最大公約数 $\gcd(m, n)$ を求める。 (2) (1) で求めた $\...

ユークリッドの互除法拡張ユークリッドの互除法合同式連立合同方程式最大公約数
2025/7/23