$\frac{77}{111}$ を小数で表したとき、小数第 $n$ 位にあらわれる数字を $a_n$ とするとき、$a_n$ を $n$ を用いた式で表す。

数論循環小数合同式数列
2025/4/18

1. 問題の内容

77111\frac{77}{111} を小数で表したとき、小数第 nn 位にあらわれる数字を ana_n とするとき、ana_nnn を用いた式で表す。

2. 解き方の手順

まず、77111\frac{77}{111} を小数で表す。
77111=7×113×37=73×1137\frac{77}{111} = \frac{7 \times 11}{3 \times 37} = \frac{7}{3} \times \frac{11}{37}
77111\frac{77}{111}を計算すると、
77111=0.693693693...=0.693\frac{77}{111} = 0.693693693... = 0.\overline{693}
小数部分は、6, 9, 3 の繰り返しになる。
したがって、ana_n は、nn を3で割った余りによって決まる。
- nn を 3 で割った余りが 1 のとき、an=6a_n = 6
- nn を 3 で割った余りが 2 のとき、an=9a_n = 9
- nn を 3 で割った余りが 0 のとき、an=3a_n = 3
これを式で表すと、
an={6(n1(mod3))9(n2(mod3))3(n0(mod3))a_n = \begin{cases} 6 & (n \equiv 1 \pmod{3}) \\ 9 & (n \equiv 2 \pmod{3}) \\ 3 & (n \equiv 0 \pmod{3}) \end{cases}
あるいは、合同式を使わずに場合分けを明確にすると
an={6(n=3k+1)9(n=3k+2)3(n=3k)a_n = \begin{cases} 6 & (n = 3k+1) \\ 9 & (n = 3k+2) \\ 3 & (n = 3k) \end{cases}
ただし、kkは0以上の整数とする。

3. 最終的な答え

an={6(n1(mod3))9(n2(mod3))3(n0(mod3))a_n = \begin{cases} 6 & (n \equiv 1 \pmod{3}) \\ 9 & (n \equiv 2 \pmod{3}) \\ 3 & (n \equiv 0 \pmod{3}) \end{cases}
もしくは
an={6(n=3k+1)9(n=3k+2)3(n=3k)a_n = \begin{cases} 6 & (n = 3k+1) \\ 9 & (n = 3k+2) \\ 3 & (n = 3k) \end{cases}
ただし、kkは0以上の整数とする。

「数論」の関連問題

(1) $\frac{2}{m} + \frac{4}{n} = 1$ を満たす自然数 $m, n$ の組 $(m, n)$ をすべて求める。 (2) $x^2 + 7y^2 = 32$ を満たす自然...

整数問題方程式約数
2025/4/20

連続する3つの整数の和が3の倍数になる理由を説明する問題です。

整数の性質倍数証明
2025/4/20

1000の約数の総和を求める問題です。

約数素因数分解約数の総和
2025/4/19

有理数全体の集合を $Q$ とします。 (1) $4$ と $Q$、(2) $-\frac{2}{3}$ と $Q$、(3) $\sqrt{2}$ と $Q$ の間に、それぞれ $\in$ または $...

有理数集合
2025/4/19

5で割ると2余り、6で割ると2余る2桁の自然数の個数を求める問題です。

合同式剰余整数の性質連立合同式
2025/4/19

117番の問題は以下の通りです。 (1) $n^2 - 28n + 160$ が素数となるような自然数 $n$ をすべて求めよ。 (2) $\frac{2310}{n}$ が素数となるような自然数 $...

素数約数因数分解整数の性質約数の個数約数の総和
2025/4/19

問題文は2つの主張からなり、2番目の主張について考える。 3で割ったとき余りが1と2になる連続する2つの整数を考える。 その2つの整数の積から2を引いた数は9で割り切れることを示す。

整数の性質合同算術約数と倍数
2025/4/19

連続する2つの整数を3で割ったとき、余りがそれぞれ1と2になる。この2つの整数の積から2を引いた数が9で割り切れることを示しなさい。

整数の性質剰余因数分解倍数
2025/4/19

70の約数の個数を求める問題です。

約数素因数分解整数の性質
2025/4/19

$x, y, x', y'$ が有理数のとき、$x + \sqrt{2}y = x' + \sqrt{2}y'$ ならば、$x = x'$ かつ $y = y'$ であることを証明する問題です。空欄 ...

無理数有理数証明代数
2025/4/18