自然数 $a$ があり、和が2、積が $2-a$ となる2つの異なる整数が存在するとき、$a$ の値を小さい順に $a_1, a_2, a_3, \dots$ と並べます。$a_1, a_2, a_3$ を求め、数列 $\{a_n\}$ の初項から第 $k$ 項までの和が294であるとき、$k$ の値を求めます。

数論数列平方数二次方程式和の公式
2025/3/7

1. 問題の内容

自然数 aa があり、和が2、積が 2a2-a となる2つの異なる整数が存在するとき、aa の値を小さい順に a1,a2,a3,a_1, a_2, a_3, \dots と並べます。a1,a2,a3a_1, a_2, a_3 を求め、数列 {an}\{a_n\} の初項から第 kk 項までの和が294であるとき、kk の値を求めます。

2. 解き方の手順

和が2、積が 2a2-a となる2つの整数を x,yx, y とすると、次の2つの式が成り立ちます。
x+y=2x + y = 2
xy=2axy = 2 - a
y=2xy = 2 - xxy=2axy = 2 - a に代入すると、
x(2x)=2ax(2 - x) = 2 - a
2xx2=2a2x - x^2 = 2 - a
x22x+(2a)=0x^2 - 2x + (2 - a) = 0
xx は整数なので、この2次方程式の判別式 DD は平方数でなければなりません。
D=(2)24(1)(2a)=48+4a=4a4=4(a1)D = (-2)^2 - 4(1)(2 - a) = 4 - 8 + 4a = 4a - 4 = 4(a - 1)
DD は平方数なので、a1a - 1 も平方数である必要があります。
a1=m2a - 1 = m^2mm は整数)とおくと、a=m2+1a = m^2 + 1 となります。
x=2±4(a1)2=2±2a12=1±a1=1±mx = \frac{2 \pm \sqrt{4(a-1)}}{2} = \frac{2 \pm 2\sqrt{a-1}}{2} = 1 \pm \sqrt{a-1} = 1 \pm m
x,yx, y は異なる整数なので、m0m \neq 0 である必要があります。
また、aa は自然数なので、a1a \ge 1 です。
a=m2+1a = m^2 + 1 より、a1a_1 を求めるには m=1m = 1 とします。
a1=12+1=2a_1 = 1^2 + 1 = 2
x=1±1x = 1 \pm 1 なので、x=0,2x = 0, 2 となります。
x+y=2x + y = 2 なので、y=2,0y = 2, 0 となり、xy=0=2a1xy = 0 = 2 - a_1 なので、a1=2a_1 = 2 となります。
a2a_2 を求めるには m=2m = 2 とします。
a2=22+1=5a_2 = 2^2 + 1 = 5
x=1±2x = 1 \pm 2 なので、x=1,3x = -1, 3 となります。
x+y=2x + y = 2 なので、y=3,1y = 3, -1 となり、xy=3=2a2xy = -3 = 2 - a_2 なので、a2=5a_2 = 5 となります。
a3a_3 を求めるには m=3m = 3 とします。
a3=32+1=10a_3 = 3^2 + 1 = 10
x=1±3x = 1 \pm 3 なので、x=2,4x = -2, 4 となります。
x+y=2x + y = 2 なので、y=4,2y = 4, -2 となり、xy=8=2a3xy = -8 = 2 - a_3 なので、a3=10a_3 = 10 となります。
数列 {an}\{a_n\}an=n2+1a_n = n^2 + 1 で与えられます。
n=1kan=n=1k(n2+1)=n=1kn2+n=1k1=k(k+1)(2k+1)6+k=294\sum_{n=1}^k a_n = \sum_{n=1}^k (n^2 + 1) = \sum_{n=1}^k n^2 + \sum_{n=1}^k 1 = \frac{k(k+1)(2k+1)}{6} + k = 294
k(k+1)(2k+1)6+k=294\frac{k(k+1)(2k+1)}{6} + k = 294
k(k+1)(2k+1)+6k=1764k(k+1)(2k+1) + 6k = 1764
k(2k2+3k+1)+6k=1764k(2k^2 + 3k + 1) + 6k = 1764
2k3+3k2+k+6k=17642k^3 + 3k^2 + k + 6k = 1764
2k3+3k2+7k1764=02k^3 + 3k^2 + 7k - 1764 = 0
k=9k=9 のとき、2(93)+3(92)+7(9)1764=2(729)+3(81)+631764=1458+243+631764=17641764=02(9^3) + 3(9^2) + 7(9) - 1764 = 2(729) + 3(81) + 63 - 1764 = 1458 + 243 + 63 - 1764 = 1764 - 1764 = 0
よって、k=9k = 9 が解の一つです。

3. 最終的な答え

a1=2a_1 = 2
a2=5a_2 = 5
a3=10a_3 = 10
k=9k = 9

「数論」の関連問題

$\sqrt{245-7n}$ が整数となる自然数 $n$ の値を全て求めよ。

平方根整数の性質因数分解平方数
2025/4/4

自然数 $a, b, c$ が $a^2 + b^2 = c^2$ を満たすとき、$a, b, c$ のうち少なくとも1つは偶数であることを証明します。

ピタゴラス数整数の性質背理法偶数奇数
2025/4/3

自然数 $n$ について、「$n^2$ が 3 の倍数ならば、$n$ は 3 の倍数である」という命題を、対偶を用いて証明する。

整数の性質対偶倍数証明
2025/4/3

次の数を素因数分解せよ。 (1) 48 (2) 60 (3) 91

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

自然数Nを3進法で表すと4桁の数 $1ab1_{(3)}$ となり、5進法で表すと3桁の数 $a0b_{(5)}$ となる。 このとき、$a$, $b$, $N$ を求める。

進法整数方程式解法
2025/4/3

次の2つの不定方程式の整数解をすべて求める問題です。 (1) $3x - 5y = 1$ (2) $75x + 64y = 1$

不定方程式整数解ユークリッドの互除法
2025/4/2

$n > 1$ のとき、$n^7 - n$ が42で割り切れることを示す問題です。

整数の性質合同式因数分解フェルマーの小定理
2025/3/31

$n > 1$ のとき、$n^7 - n$ が $42$ で割り切れることを示す問題です。

整数の性質割り算因数分解フェルマーの小定理
2025/3/31

$n$ を自然数とするとき、「$n$ が 3 の倍数ならば $n^2$ も 3 の倍数となる」という命題の逆と裏の真偽を判定し、正しい組み合わせを選ぶ問題です。

命題真偽倍数整数の性質対偶
2025/3/31

自然数 $n$ に対して、「$n$ が 3 の倍数ならば、$n^2$ も 3 の倍数となる」という命題がある。この命題の逆と裏の真偽を判定し、正しい組み合わせを選択する。

命題真偽倍数対偶
2025/3/31