自然数 $1, 2, \dots, n$ から異なる2つを取り出して積を作り、それらの積の総和を求める問題です。

数論総和自然数組み合わせ計算
2025/6/4

1. 問題の内容

自然数 1,2,,n1, 2, \dots, n から異なる2つを取り出して積を作り、それらの積の総和を求める問題です。

2. 解き方の手順

まず、11 から nn までの自然数の総和 S1S_1 と、自然数の二乗の総和 S2S_2 を考えます。
S1=i=1ni=n(n+1)2S_1 = \sum_{i=1}^{n} i = \frac{n(n+1)}{2}
S2=i=1ni2=n(n+1)(2n+1)6S_2 = \sum_{i=1}^{n} i^2 = \frac{n(n+1)(2n+1)}{6}
求める積の和を AA とすると、AA は次のように表現できます。
A=1i<jnijA = \sum_{1 \le i < j \le n} ij
次に、総和の二乗を考えます。
(i=1ni)2=(i=1ni)(j=1nj)=i=1nj=1nij=i=1ni2+21i<jnij(\sum_{i=1}^{n} i)^2 = (\sum_{i=1}^{n} i) (\sum_{j=1}^{n} j) = \sum_{i=1}^{n} \sum_{j=1}^{n} ij = \sum_{i=1}^{n} i^2 + 2\sum_{1 \le i < j \le n} ij
=S2+2A= S_2 + 2A
したがって、AA は次のように表せます。
A=12(S12S2)A = \frac{1}{2} (S_1^2 - S_2)
S1S_1S2S_2 を代入します。
A=12((n(n+1)2)2n(n+1)(2n+1)6)A = \frac{1}{2} \left( \left( \frac{n(n+1)}{2} \right)^2 - \frac{n(n+1)(2n+1)}{6} \right)
A=12(n2(n+1)24n(n+1)(2n+1)6)A = \frac{1}{2} \left( \frac{n^2(n+1)^2}{4} - \frac{n(n+1)(2n+1)}{6} \right)
A=n(n+1)2(n(n+1)42n+16)A = \frac{n(n+1)}{2} \left( \frac{n(n+1)}{4} - \frac{2n+1}{6} \right)
A=n(n+1)2(3n(n+1)2(2n+1)12)A = \frac{n(n+1)}{2} \left( \frac{3n(n+1) - 2(2n+1)}{12} \right)
A=n(n+1)24(3n2+3n4n2)A = \frac{n(n+1)}{24} (3n^2 + 3n - 4n - 2)
A=n(n+1)24(3n2n2)A = \frac{n(n+1)}{24} (3n^2 - n - 2)
A=n(n+1)24(3n+2)(n1)A = \frac{n(n+1)}{24} (3n+2)(n-1)
A=n(n+1)(n1)(3n+2)24A = \frac{n(n+1)(n-1)(3n+2)}{24}

3. 最終的な答え

n(n+1)(n1)(3n+2)24\frac{n(n+1)(n-1)(3n+2)}{24}

「数論」の関連問題

与えられた選択肢の中から、正しいものを全て選ぶ問題です。 選択肢は以下の4つです。 (1) 無理数と無理数の差は常に無理数である。 (2) 有理数と有理数の差は常に有理数である。 (3) 無理数と無理...

有理数無理数数の性質四則演算
2025/7/30

$n^2 + n$ が200の倍数となるような自然数 $n$ のうち、最も小さい数を求めよ。

整数の性質因数分解倍数約数
2025/7/30

自然数 $n$ に対して、$2^{6n-5} + 3^{2n}$ が11で割り切れることを示す問題です。

数学的帰納法整数の性質割り算倍数
2025/7/30

自然数 $n$ が与えられたとき、$n$ と 28 の最小公倍数が 168 であるような $n$ をすべて求める問題です。

最小公倍数素因数分解整数の性質
2025/7/30

4で割ると1余る整数と4で割ると3余る整数の積に1を加えた数が、4の倍数であることを証明する問題です。空欄(1)~(6)に適切な選択肢を当てはめます。

整数の性質合同式剰余
2025/7/30

$1997^{20}$ の一の位の数を求める問題です。

整数の性質合同算術一の位周期性
2025/7/30

$\sqrt{5}$が無理数であることを利用して、$2 - \sqrt{5}$が無理数であることを証明する問題です。与えられた証明の空欄を埋めます。

無理数有理数背理法数の性質
2025/7/30

自然数 $n$ についての命題「$n$ が 3 の倍数ならば、$n$ は 6 の倍数である」の真偽を判定する問題です。

倍数命題真偽判定反例
2025/7/30

次の2つの一次不定方程式の整数解をすべて求めます。 (1) $11x + 8y = 1$ (2) $56x - 23y = 2$

一次不定方程式整数解ユークリッドの互除法
2025/7/30

問題は、次の不定方程式を満たす整数 $x$ と $y$ の組を1つ求めることです。 (1) $42x + 29y = 2$ (2) $25x - 61y = 12$

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