$n$を2以上の自然数とする。$n$個の数$1, 2, \dots, n$の積の総和$P$を求めたい。ただし、$a \times b$と$b \times a$は同じものとする。 $S = 1 + 2 + 3 + \dots + n$, $T = 1^2 + 2^2 + 3^2 + \dots + n^2$とするとき、$P$を$S$と$T$で表せ。

離散数学組み合わせ総和自然数組み合わせ論
2025/7/10

1. 問題の内容

nnを2以上の自然数とする。nn個の数1,2,,n1, 2, \dots, nの積の総和PPを求めたい。ただし、a×ba \times bb×ab \times aは同じものとする。
S=1+2+3++nS = 1 + 2 + 3 + \dots + n, T=12+22+32++n2T = 1^2 + 2^2 + 3^2 + \dots + n^2とするとき、PPSSTTで表せ。

2. 解き方の手順

積の総和PPは、
(1+2+3++n)(1+2+3++n)(1+2+3+\dots+n)(1+2+3+\dots+n)を展開したときに現れる項のうち、i×ji \times j (iji \neq j)の形の項は2回現れるので、1回だけ数えるように調整する必要がある。
(1+2+3++n)(1+2+3++n)=(1+2+3++n)2=S2(1+2+3+\dots+n)(1+2+3+\dots+n) = (1+2+3+\dots+n)^2 = S^2
S2S^2を展開すると、
12+22+32++n21^2 + 2^2 + 3^2 + \dots + n^2の形の項が1つずつと、i×ji \times j (iji \neq j)の形の項が2つずつ現れる。
PPi×ji \times j (iji \neq j)の形の項が1つずつ現れるようにしたものなので、
S2S^2から12+22+32++n2=T1^2 + 2^2 + 3^2 + \dots + n^2 = Tを引き、i×ji \times j (iji \neq j)の形の項が1つずつになるように2で割ればよい。
したがって、P=S2T2P = \frac{S^2 - T}{2}.

3. 最終的な答え

P=S2T2P = \frac{S^2 - T}{2}

「離散数学」の関連問題

5人の人を、A, B, Cの3つのグループに分ける方法は何通りあるかを求める問題です。ただし、各グループに少なくとも1人は属している必要があります。

組み合わせ場合の数グループ分け
2025/7/11

(1) 5人の人を3つの部屋A, B, Cに入れる方法は何通りあるかを求める問題です。ただし、1人も入らない部屋があっても良いものとします。 (2) 5人の人を3つの組A, B, Cに分ける方法は何通...

組み合わせ場合の数重複組み合わせ
2025/7/11

右図のA地点からB地点へ行く最短経路の総数と、P地点を通ってA地点からB地点へ行く最短経路の総数を求める問題です。

組み合わせ最短経路組み合わせ論
2025/7/11

正方形の頂点に1から4までの番号を振る方法は何通りあるか。ただし、回転させて一致するものは同じとみなす。

組み合わせ順列対称性群論
2025/7/11

男子4人と女子5人がいる。女子と女子の間に必ず男子が入るように、男女交互に一列に並べる方法は何通りあるか。

順列組み合わせ場合の数数え上げ
2025/7/11

全体集合 $U = \{1, 2, 3, 4, 5, 6, 7, 8, 9\}$ が与えられ、部分集合 $A = \{1, 3, 5, 6, 7, 9\}$ と $B = \{2, 3, 4, 5, ...

集合集合演算補集合共通部分
2025/7/11

与えられた集合 $A$ と $B$ について、共通部分 $A \cap B$ と和集合 $A \cup B$ を求める問題です。

集合共通部分和集合集合演算
2025/7/11

(8) 重複組合せ ${}_4H_5$ の値を求める問題です。 (9) 区別のつかない7個の球を5つの箱に入れる方法の総数を求める問題です。

重複組合せ組合せ数え上げ場合の数
2025/7/11

与えられた集合$A$と$B$の共通部分$A \cap B$と和集合$A \cup B$を求める問題。また、与えられた命題が真であるか偽であるかを判定し、偽である場合は反例を答える問題。さらに、与えられ...

集合命題真偽否定
2025/7/10

問題は、与えられた2つの集合 $A$ と $B$ に対して、その共通部分 $A \cap B$ と和集合 $A \cup B$ を求めることです。2つの異なる組の集合 $A$ と $B$ について、そ...

集合共通部分和集合集合演算
2025/7/10