$n$を2以上の自然数とする。$n$個の数$1, 2, ..., n$の中から異なる2つの数を選び、その積を計算する。そのような積の総和を求めよ。ただし、$a \times b$ と $b \times a$ は同じものとする。

代数学数列組み合わせ総和数学的帰納法
2025/7/28

1. 問題の内容

nnを2以上の自然数とする。nn個の数1,2,...,n1, 2, ..., nの中から異なる2つの数を選び、その積を計算する。そのような積の総和を求めよ。ただし、a×ba \times bb×ab \times a は同じものとする。

2. 解き方の手順

まず、11からnnまでの数の総和をS1S_1、平方和をS2S_2と定義する。
S1=k=1nk=1+2+...+n=n(n+1)2S_1 = \sum_{k=1}^{n} k = 1 + 2 + ... + n = \frac{n(n+1)}{2}
S2=k=1nk2=12+22+...+n2=n(n+1)(2n+1)6S_2 = \sum_{k=1}^{n} k^2 = 1^2 + 2^2 + ... + n^2 = \frac{n(n+1)(2n+1)}{6}
次に、(1+2+...+n)2(1 + 2 + ... + n)^2を展開すると、
(1+2+...+n)2=12+22+...+n2+2(12+13+...+(n1)n)(1 + 2 + ... + n)^2 = 1^2 + 2^2 + ... + n^2 + 2(1 \cdot 2 + 1 \cdot 3 + ... + (n-1) \cdot n)
したがって、求める積の総和をAAとすると、
A=12+13+...+(n1)nA = 1 \cdot 2 + 1 \cdot 3 + ... + (n-1) \cdot n
上記の式より、
(k=1nk)2=k=1nk2+2A(\sum_{k=1}^{n} k)^2 = \sum_{k=1}^{n} k^2 + 2A
よって、
A=(k=1nk)2k=1nk22A = \frac{(\sum_{k=1}^{n} k)^2 - \sum_{k=1}^{n} k^2}{2}
A=S12S22A = \frac{S_1^2 - S_2}{2}
A=(n(n+1)2)2n(n+1)(2n+1)62A = \frac{(\frac{n(n+1)}{2})^2 - \frac{n(n+1)(2n+1)}{6}}{2}
A=n2(n+1)24n(n+1)(2n+1)62A = \frac{\frac{n^2(n+1)^2}{4} - \frac{n(n+1)(2n+1)}{6}}{2}
A=n(n+1)2n(n+1)22n+132A = \frac{n(n+1)}{2} \cdot \frac{\frac{n(n+1)}{2} - \frac{2n+1}{3}}{2}
A=n(n+1)23n(n+1)2(2n+1)612A = \frac{n(n+1)}{2} \cdot \frac{3n(n+1) - 2(2n+1)}{6} \cdot \frac{1}{2}
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)(3n+2)(n1)24A = \frac{n(n+1)(3n+2)(n-1)}{24}
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}
または
n(n+1)(3n2n2)24\frac{n(n+1)(3n^2-n-2)}{24}
または
3n4+2n33n22n24\frac{3n^4+2n^3-3n^2-2n}{24}

「代数学」の関連問題

2次関数 $y = x^2 - 2ax + b$ (定義域 $0 \le x \le 6$) の最大値が10、最小値が-6となるように、定数 $a, b$ の値を定める。

二次関数最大値最小値場合分け
2025/7/28

2次関数 $y = x^2 - 2ax + b$ ($0 \le x \le 6$) の最大値が10、最小値が-6であるとき、定数 $a$、$b$ の値を求めよ。

二次関数最大値最小値平方完成定義域
2025/7/28

複素数 $Z = 4 - 2i$ を原点を中心に $-\frac{\pi}{4}$ ラジアン回転させた点を表す複素数を求める。ここで、$i$ は虚数単位を表す。

複素数複素平面回転虚数単位
2025/7/28

与えられた複素数の和を計算する問題です。具体的には、$\frac{5-j}{1-3j} + \frac{9+5j}{3+j}$ を計算します。

複素数複素数の計算複素数の加算分母の実数化
2025/7/28

実数 $a$ を定数とし、$x$ の関数 $f(x) = ax^2 + 4ax + a^2 - 1$ を考える。区間 $-4 \leq x \leq 1$ における関数 $f(x)$ の最大値が $5...

二次関数最大値平方完成放物線
2025/7/28

実数 $a$ を定数とし、$x$ の関数 $f(x) = ax^2 + 4ax + a^2 - 1$ を考える。区間 $-4 \le x \le 1$ における関数 $f(x)$ の最大値が5であると...

二次関数最大値平方完成場合分け
2025/7/28

2次関数 $y = ax^2 + bx + 1$ が $x = -1$ のとき最大値3をとる。このとき、$a$ と $b$ の値を求める。

二次関数最大値最小値絶対値平方完成
2025/7/28

$1 \le x \le 27$ のとき、関数 $y = (\log_3 x)^2 - \log_3 x^2 - 3$ の最大値と最小値を求め、そのときの $x$ の値を求める。

対数最大値最小値二次関数不等式
2025/7/28

与えられた二次不等式を解く問題です。具体的には、以下の不等式を解きます。 (1) $x^2 + 5x - 6 > 0$ (2) $x^2 - 3x - 10 \ge 0$ (3) $x^2 - 8x ...

二次不等式因数分解不等式
2025/7/28

問題36は2次方程式の実数解の個数を求める問題で、問題7は2次不等式を解く問題です。 問題36は、 (1) $x^2 + 7x + 1 = 0$ (2) $4x^2 - 10x + 15 = 0$ 問...

二次方程式二次不等式判別式解の個数因数分解
2025/7/28