3または5で割り切れる100以下の自然数の和

【SQ05】3または5で割り切れる数の総和
【SQ06】10と80の間にk個の数を入れます
【SQ07】各項の逆数が等差数列
【SQ08】三次方程式の３つの解が等差
【SQ09】２種類の数列の共通項を並べます
【SQ10】等差数列であるための必要十分条件

【SQ05】3または5で割り切れる数の総和

$100$ 以下の自然数で、 $3$ または $5$ で割り切れる数の和を求めてください。

【ヒント】足し過ぎ（？）に注意です。

　
【解答】 $100$ 以下の $3$ の倍数を並べてみます。
$3, 6, 9, \dots, 96, 99$
これは初項 $3$ , 末項 $99$ の等差数列です。和を求めるには項数 $n$ が必要です。
$n$ は $100$ を $3$ で割って、余りを切り捨てて $33$ です。ガウスの記号 $[x]$ を使うと
$n = [\frac{100}{3}] = 33$
というように求めることができます。 $[x]$ は $x$ を超えない整数という意味です。初項 $a_{1}$ , 末項 $a_{l}$ , 項数 $n$ の等差数列の和の公式は
$S = \frac{n (a_{1} + a_{l})}{2}$
で与えられるので、 $100$ 以下の $3$ の倍数の和は
$S_{(3)} = \frac{33 (3 + 99)}{2} = 1683$
となります。次は $5$ の倍数を並べます。
$5, 10, 15, \dots, 85, 100$
初項 $5$ , 末項 $100$ の等差数列です。項数は
$n = [\frac{100}{5}] = 20$
なので、 $100$ 以下の $5$ の倍数の和は
$S_{(5)} = \frac{20 (5 + 100)}{2} = 1050$
となります。ここで $S_{(3)}$ と $S_{(5)}$ を足し合わせると、ちょっと足し過ぎになります。

3または5の倍数の総和

$S_{(3)}$ と $S_{(5)}$ をそのまま足してしまうと、上の図のように、「 $3$ の倍数かつ $5$ の倍数」の部分を余計に加えてしまっていることになります。したがって、この部分、すなわち「 $3$ と $5$ の最小公倍数 $15$ で割り切れる数」を差し引かなくてはなりません。 $15$ の倍数を並べてみると
$15, 30, 45, \dots, 75, 90$
これは初項 $15$ , 末項 $90$ の等差数列です。項数は
$n = [\frac{100}{15}] = 6$
なので、 $100$ 以下の $15$ の倍数の和は
$S_{(15)} = \frac{6 (15 + 90)}{2} = 315$
となります。したがって、求める数は
$S_{(3)} + S_{(5)} - S_{(15)} = 1683 + 1050 - 315 = 2418$
となります。

【SQ06】10と80の間にk個の数を入れます

$10$ と $80$ の間に $k$ 個の数を入れて等差数列をつくると総和が $495$ になりました。 $k$ の値と公差を求めてください。

【ヒント】等差数列の和は初項と末項、項数によって計算します。

　
【解答】 $10$ と $80$ の間に入れる $k$ 個の数を $a_{n} (n = 1, 2, \dots, k)$ とすると、
$10, a_{1}, a_{2}, \dots, a_{k}, 80$
すなわち、項数 $k + 2$ の等差数列になります。
初項 $a_{1}$ 、末項 $a_{l}$ 、項数 $n$ の等差数列の総和は
$S = \frac{n (a_{1} + a_{l})}{2}$
で与えられるので、
$495 = \frac{(k + 2) (10 + 80)}{2}$
これを解いて $k = 9$ が得られます。
$80$ は初項から数えて $11$ 番目の項なので、公差を $d$ とすると
$80 = 10 + (11 - 1) d$
したがって、求める公差は $d = 7$ です。

【SQ07】各項の逆数が等差数列

数列 ${\frac{1}{a_{n}}}$ は等差数列をなし、 $a_{4} = 6, a_{6} = 4$ です。一般項 $a_{n}$ を求めて $a_{10}$ を計算してください。（福岡大一部改）

【ヒント】公差を求めましょう。

　
【解答】数列 ${\frac{1}{a_{n}}}$ の公差を $d$ とすると
$f (x) = {\begin{cases} \frac{1}{a_{6}} - \frac{1}{a_{5}} & = d \\ \frac{1}{a_{5}} - \frac{1}{a_{4}} & = d \end{cases}$
が成り立ちます。すなわち、
$f (x) = {\begin{cases} \frac{1}{4} - \frac{1}{a_{5}} & = d \\ \frac{1}{a_{5}} - \frac{1}{6} & = d \end{cases}$
これを解いて $d = \frac{1}{24}$ となります。
$\frac{1}{a_{4}}$ から公差の $3$ 倍を引けば初項が得られます。
$\frac{1}{a_{1}} = \frac{1}{a_{4}} - 3 d = \frac{1}{6} - \frac{1}{8} = \frac{1}{24}$
したがって、等差数列 ${\frac{1}{a_{n}}}$ の一般項は
$\frac{1}{a_{n}} = \frac{1}{24} + \frac{n - 1}{24} = \frac{n}{24}$
となります。よって $a_{n}$ は
$a_{n} = \frac{24}{n}$
と表せます。 $a_{10}$ を計算すると
$a_{10} = \frac{12}{5}$
となります。

【SQ08】三次方程式の３つの解が等差

方程式 $x^{3} - 9 x^{2} + 2 x + k = 0$ の $3$ 解が等差であるとき、 $k$ の値と解を求めてください。

【ヒント】 $3$ 個の解を等差であるような形で表しましょう。しかし、それを直接方程式に入れると計算が大変です。

　
【解答】こういう問題では解と係数の関係を使うのがセオリーです。公差を $d$ として、求める $3$ 解を
$a - d, a, a + d (d > 0)$
とおくと（対称なので $d < 0$ としても同じです）、解と係数の関係より、
$\begin{aligned} (a - d) + a + (a + d) = 9 \\ (a - d) a + a (a + d) + (a - d) (a + d) = 2 \\ (a - d) a (a + d) = - k \end{aligned}$
が成り立ちます。これを解くと $a = 3, d = 5, k = 48$ が得られます。求める $3$ 個の解は
$(a - d, a, a + d) = (- 2, 3, 8)$
となります。

【SQ09】２種類の数列の共通項を並べます

初項 $2$ 、公差 $3$ の等差数列を ${a_{n}}$ 、初項 $1$ 、公差 $5$ の等差数列を ${b_{n}}$ とします。 ${a_{n}}$ と ${b_{n}}$ に共通する項を並べた数列 ${c_{n}}$ の一般項を求めてください。

【ヒント】整数と数列の融合問題です。 ${a_{n}}$ と ${b_{n}}$ を具体的に書き並べてみると、なんとなく答えが予想できるかもしれません。

【考え方】問題を解く前に数列 ${a_{n}}$ と ${b_{n}}$ を並べてみます。
$\begin{aligned} a_{n} = 2, 5, 8, 11, 14, 17, 20, 23, 26, 29, 32, \dots \\ b_{n} = 1, 6, 11, 16, 21, 26, 31, 36, 41, 46, 51, \dots \end{aligned}$
$11$ と $26$ が一致しています。公差 $3$ と $5$ の最小公倍数は $15$ なので、 $c_{n}$ はおそらく $15 n - 4$ という形になっていると予測できます。もちろん正式な解答では任意の $n$ についてそれが成り立っていることを証明しなくてはなりません。

　
【解答】条件式の両辺が等しくなるためには左辺が約数をもつ必要があります

数列 ${a_{m}}$ と ${b_{m}}$ の一般項はそれぞれ
$\begin{aligned} a_{m} = 2 + 3 (m - 1) = 3 m - 1 \\ b_{n} = 1 + 5 (n - 1) = 5 n - 4 \end{aligned}$
$a_{m} = b_{n}$ とおくと、
$3 m - 1 = 5 n - 4$
式を整理すると
$3 (m + 1) = 5 n$
となります。ここで左辺と右辺が等しくなるためには、左辺は $5$ を約数にもっていなければなりません。しかし、 $3$ と $5$ の最大公約数は $1$ ですから（すなわち $3$ と $5$ は互いに素なので）、お互いを約数にもちません。よって、 $m + 1$ の約数の中に $5$ があるはずです。すなわち
$m + 1 = 5 k$
とおくことができます。したがって $a_{5 k - 1}$ が数列 $c_{m}$ の各項と一致します。
$a_{5 k - 1} = 3 (5 k - 1) - 1 = 15 k - 4 (k = 1, 2, \dots)$
よって、求める数列 ${c_{n}}$ の一般項は
$c_{n} = 15 n - 4 (n = 1, 2, \dots)$
となります。

【SQ10】等差数列であるための必要十分条件

数列 ${a_{n}}$ の初項 $a_{1}$ から第 $n$ 項までの和を $S_{n}$ とします。 $S_{n} = p n^{2} + q n + r$ ( $r, p, q$ は定数) のとき、 ${a_{n}}$ が等差数列であるための必要十分条件を求めてください。（相模工大）

【ヒント】
やや難度の高い問題。 $S_{n}$ と $a_{n}$ の関係を使います。この問題の結論は覚えておきたいところです。

【考え方】等差数列の第 $n$ 項は $S_{n}$ から $S_{n - 1}$ を差し引いた形で表せます。
$a_{n} = S_{n} - S_{n - 1} (n \geq 2)$
ただし、 $n = 1$ のときは $S_{1} = a_{1}$ です。

　
【解答】 $n \geq 2$ のとき、
$\begin{aligned} a_{n} & = S_{n} - S_{n - 1} \\ = p n^{2} + q n + r - {p (n - 1)^{2} + q (n - 1) + r} \\ = p + q + 2 p (n - 1) \end{aligned}$
公差 $d$ の等差数列の一般項は $a_{n} = a_{1} + (n - 1) d$ なので、
$a_{2}, a_{3}, a_{4}, \dots$
は公差 $2 p$ の等差数列であることがわかります。したがって、
$\begin{matrix} (1) & a_{2} - a_{1} = 2 p \end{matrix}$
という条件さえ満たせば、 $a_{1}$ も含めて ${a_{n}}$ は等差数列になります。 $S_{n}$ を使って左辺を計算すると
$\begin{aligned} a_{2} - a_{1} & = (S_{2} - S_{1}) - S_{1} = S_{2} - 2 S_{1} \\ = 4 p + 2 q + r - 2 (p + q + r) \\ = 2 p - r \end{aligned}$
したがって、条件式 (1) は
$2 p - r = 2 p$
となるので、 ${a_{n}}$ が等差数列であるための必要十分条件は $r = 0$ です。