$\frac{77}{111}$ を小数で表したとき、小数第 $n$ 位にあらわれる数字を $a_n$ とします。$a_n$ を $n$ を用いた1つの式で表しなさい。ただし、三角関数を用いて答えること。

数論循環小数三角関数数列周期性
2025/4/18

1. 問題の内容

77111\frac{77}{111} を小数で表したとき、小数第 nn 位にあらわれる数字を ana_n とします。ana_nnn を用いた1つの式で表しなさい。ただし、三角関数を用いて答えること。

2. 解き方の手順

まず、77111\frac{77}{111} を小数で表すと、
77111=0.693693693...=0.693\frac{77}{111} = 0.693693693... = 0.\overline{693} となります。
これは、小数点以下3桁ごとに 6, 9, 3 が繰り返される循環小数です。
したがって、ana_n は3を法として nn を考えれば良いことになります。
nn を3で割った余りによって場合分けします。
* n1(mod3)n \equiv 1 \pmod{3} のとき、an=6a_n = 6
* n2(mod3)n \equiv 2 \pmod{3} のとき、an=9a_n = 9
* n0(mod3)n \equiv 0 \pmod{3} のとき、an=3a_n = 3
これを三角関数を用いて表します。
ω=e2πi3=cos2π3+isin2π3=12+32i\omega = e^{\frac{2\pi i}{3}} = \cos{\frac{2\pi}{3}} + i \sin{\frac{2\pi}{3}} = -\frac{1}{2} + \frac{\sqrt{3}}{2}i と置くと、ω3=1\omega^3 = 1 です。
an=Aω0+Bω1+Cω2a_n = A \omega^0 + B \omega^1 + C \omega^2 と仮定します。ここで、ωk=cos(2πk3)+isin(2πk3)\omega^k = \cos\left(\frac{2\pi k}{3}\right) + i \sin\left(\frac{2\pi k}{3}\right) です。
n1(mod3)n \equiv 1 \pmod{3} のとき、an=6=A+Bω+Cω2a_n = 6 = A + B\omega + C\omega^2
n2(mod3)n \equiv 2 \pmod{3} のとき、an=9=A+Bω2+Cωa_n = 9 = A + B\omega^2 + C\omega
n0(mod3)n \equiv 0 \pmod{3} のとき、an=3=A+B+Ca_n = 3 = A + B + C
まず、AA, BB, CC を実数と仮定すると、
n=1n=1 のとき、an=A+Bcos2π3+Ccos4π3=A12B12C=6a_n = A + B\cos{\frac{2\pi}{3}} + C\cos{\frac{4\pi}{3}} = A - \frac{1}{2}B - \frac{1}{2}C = 6
n=2n=2 のとき、an=A+Bcos4π3+Ccos2π3=A12B12C=9a_n = A + B\cos{\frac{4\pi}{3}} + C\cos{\frac{2\pi}{3}} = A - \frac{1}{2}B - \frac{1}{2}C = 9
n=3n=3 のとき、an=A+B+C=3a_n = A + B + C = 3
上の2式は同じなので、3つの変数に対して2つの式しかありません。
したがって、an=A+Bcos2πn3+Csin2πn3a_n = A + B \cos\frac{2\pi n}{3} + C \sin \frac{2\pi n}{3} とおきます。
すると、n=1n=1 のとき、an=A+Bcos2π3+Csin2π3=A12B+32C=6a_n = A + B\cos\frac{2\pi}{3} + C\sin\frac{2\pi}{3} = A - \frac{1}{2}B + \frac{\sqrt{3}}{2}C = 6
n=2n=2 のとき、an=A+Bcos4π3+Csin4π3=A12B32C=9a_n = A + B\cos\frac{4\pi}{3} + C\sin\frac{4\pi}{3} = A - \frac{1}{2}B - \frac{\sqrt{3}}{2}C = 9
n=3n=3 のとき、an=A+Bcos6π3+Csin6π3=A+B=3a_n = A + B\cos\frac{6\pi}{3} + C\sin\frac{6\pi}{3} = A + B = 3
この連立方程式を解きます。
上の2式を足すと 2AB=152A - B = 15
下の式から、B=3AB = 3 - A なので、 2A(3A)=152A - (3 - A) = 15
3A=183A = 18 よって A=6A = 6
B=36=3B = 3 - 6 = -3
C=6A+12B32=663232=33=3C = \frac{6 - A + \frac{1}{2}B}{\frac{\sqrt{3}}{2}} = \frac{6 - 6 - \frac{3}{2}}{\frac{\sqrt{3}}{2}} = -\frac{3}{\sqrt{3}} = -\sqrt{3}
よって、an=63cos(2πn3)3sin(2πn3)a_n = 6 - 3\cos\left(\frac{2\pi n}{3}\right) - \sqrt{3}\sin\left(\frac{2\pi n}{3}\right)
別の変形をすると、an=6+9+3cos(2πn3+α)=6+23cos(2πn3+α)a_n = 6 + \sqrt{9+3}\cos(\frac{2\pi n}{3} + \alpha) = 6 + 2\sqrt{3} \cos(\frac{2\pi n}{3} + \alpha).
an=63cos(2πn3)3sin(2πn3)a_n = 6 - 3 \cos(\frac{2\pi n}{3}) - \sqrt{3} \sin(\frac{2\pi n}{3}) とおくとき
a1=63(12)3(32)=6+3232=6a_1 = 6 - 3 (-\frac{1}{2}) - \sqrt{3} (\frac{\sqrt{3}}{2}) = 6 + \frac{3}{2} - \frac{3}{2} = 6
a2=63(12)3(32)=6+32+32=9a_2 = 6 - 3 (-\frac{1}{2}) - \sqrt{3} (-\frac{\sqrt{3}}{2}) = 6 + \frac{3}{2} + \frac{3}{2} = 9
a3=63(1)3(0)=3a_3 = 6 - 3 (1) - \sqrt{3} (0) = 3
したがって、
an=63cos(2πn3)3sin(2πn3)a_n = 6 - 3 \cos(\frac{2\pi n}{3}) - \sqrt{3} \sin(\frac{2\pi n}{3}) が答えです。

3. 最終的な答え

an=63cos(2πn3)3sin(2πn3)a_n = 6 - 3 \cos(\frac{2\pi n}{3}) - \sqrt{3} \sin(\frac{2\pi n}{3})

「数論」の関連問題

9で割り切れる整数全体の集合をA、15で割り切れる整数全体の集合をBとします。 Cを、$C = \{x+y | x \in A, y \in B\}$と定義したとき、Cが3で割り切れる整数全体の集合と...

整数の性質集合割り算
2025/5/29

与えられた二組の数の最大公約数を、ユークリッドの互除法を用いて求める問題です。 (1) は $2664$ と $1554$ の最大公約数を求める問題です。 (2) は $1728$ と $2520$ ...

最大公約数ユークリッドの互除法整数の性質
2025/5/29

1071と1029の2つの数の最大公約数を、ユークリッドの互除法を用いて求めます。計算の過程を省略せずに記述する必要があります。

最大公約数ユークリッドの互除法整数
2025/5/29

3桁の自然数について、以下の個数を求めます。 (1) 3の倍数かつ5の倍数であるものの個数 (2) 3の倍数または5の倍数であるものの個数 (3) 15と互いに素であるものの個数

整数の性質倍数互いに素包除原理
2025/5/29

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

整数の性質倍数対偶証明
2025/5/28

「偶数と奇数の和が奇数であること」を説明するために、偶数と奇数を表したい。正しい表し方を選ぶ問題です。選択肢は以下の3つです。 1. $m$ を偶数として、$n$ を奇数とする

偶数奇数整数の性質証明
2025/5/28

すべての自然数 $n$ に対して、$2^{n-1} + 3^{3n-2} + 7^{n-1}$ が5の倍数であることを、数学的帰納法を用いて証明する。

数学的帰納法整数の性質倍数
2025/5/28

$\frac{175}{n+4}$ が自然数となるような素数 $n$ をすべて求めよ。

素数約数整数の性質
2025/5/28

与えられた数(40と180)について、正の約数の個数と正の約数の総和をそれぞれ求める問題です。

約数素因数分解約数の個数約数の総和
2025/5/28

この問題は、次の3つの問いに答えるものです。 (1) $2^{2017}$ の一の位の数字を求める。 (2) $11^{2017}$ の下二桁を求める。 (3) $6^{2017}$ の下二桁を求める...

整数の性質剰余合同算術累乗
2025/5/28