4桁の正の整数について、千の位を $a$, 百の位を $b$, 十の位を $c$, 一の位を $d$ とします。以下の条件を満たす4桁の正整数の数をそれぞれ求めます。 (1) $a > b > c > d$ (2) $a \geq b \geq c \geq d$ (3) $a \geq b \geq c < d$

離散数学組み合わせ重複組み合わせ整数
2025/7/10

1. 問題の内容

4桁の正の整数について、千の位を aa, 百の位を bb, 十の位を cc, 一の位を dd とします。以下の条件を満たす4桁の正整数の数をそれぞれ求めます。
(1) a>b>c>da > b > c > d
(2) abcda \geq b \geq c \geq d
(3) abc<da \geq b \geq c < d

2. 解き方の手順

(1) a>b>c>da > b > c > d を満たす場合
a,b,c,da, b, c, d は全て異なる数字であり、0は使用できません(aaは少なくとも1である必要があります)。
1から9までの数字の中から4つを選び、大きい順に a,b,c,da, b, c, d とすれば良いので、組み合わせの数で求められます。
9C4=9×8×7×64×3×2×1=302424=126_{9}C_{4} = \frac{9 \times 8 \times 7 \times 6}{4 \times 3 \times 2 \times 1} = \frac{3024}{24} = 126
(2) abcda \geq b \geq c \geq d を満たす場合
これは重複組み合わせの問題です。a,b,c,da, b, c, d は0以上9以下の整数です。
a=a,b=b+1,c=c+2,d=d+3a' = a, b' = b + 1, c' = c + 2, d' = d + 3 とおくと、9abcd09 \geq a \geq b \geq c \geq d \geq 09a>b>c>d39 \geq a' > b' > c' > d' \geq 3 となります。
x1=a,x2=b+1,x3=c+2,x4=d+3x_1 = a', x_2 = b' + 1, x_3 = c' + 2, x_4 = d' + 3とし、a,b,c,da,b,c,dは0から9の数字から選ぶので、1a91 \le a \le 9, 0b,c,d90 \le b,c,d \le 9である。
そこで、x1=a+0,x2=b+1,x3=c+2,x4=d+3x_1 = a+0, x_2 = b+1, x_3 = c+2, x_4 = d+3とすると、9abcd09 \ge a \ge b \ge c \ge d \ge 0を満たすa,b,c,da,b,c,dの個数は、a,b,c,da,b,c,dそれぞれに0,1,2,30,1,2,3を足したx1,x2,x3,x4x_1, x_2, x_3, x_4を使って、9x1>x2>x3>x409 \ge x_1 > x_2 > x_3 > x_4 \ge 0を満たす整数の組(x1,x2,x3,x4)(x_1, x_2, x_3, x_4)の個数に等しくなります。
したがって、0から9までの10個の数字から重複を許して4個選ぶ重複組み合わせの数に等しくなります。
10+41C4=13C4=13×12×11×104×3×2×1=1716024=715_{10+4-1}C_{4} = _{13}C_{4} = \frac{13 \times 12 \times 11 \times 10}{4 \times 3 \times 2 \times 1} = \frac{17160}{24} = 715
(3) abc<da \geq b \geq c < d を満たす場合
a,b,ca, b, cabca \geq b \geq c を満たし、d>cd > c を満たす必要があります。
まず、abca \geq b \geq c を満たす整数の組 (a,b,c)(a, b, c) の数を求めます。これは0から9までの10個の数字から重複を許して3個を選ぶ重複組み合わせの数です。
10+31C3=12C3=12×11×103×2×1=13206=220_{10+3-1}C_{3} = _{12}C_{3} = \frac{12 \times 11 \times 10}{3 \times 2 \times 1} = \frac{1320}{6} = 220
次に、d>cd > c を満たす dd の数を考えます。cc が決まれば、c+1c+1 から 9 までの 10(c+1)+1=10c1+1=10c10 - (c+1) + 1 = 10 - c - 1 + 1 = 10 - c 個の整数が dd の候補となります。
したがって、求める整数の数は、
c=09(10c)[c+31C2]=c=09(10c)[c+2C2]\sum_{c=0}^{9} (10-c) \cdot [_{c+3-1}C_2] = \sum_{c=0}^{9} (10-c) \cdot [_{c+2}C_2]
これを計算するのは大変なので、別の方法を考えます。
abca \ge b \ge c かつ d>cd > c を満たす場合を直接数え上げます。
cc の値を固定して考えます。c=0c=0 のとき dd1,2,...,91, 2, ..., 9 のいずれかとなります。d=1d=1 のときは ab0a \ge b \ge 0 なので、2+21C2=3C2=3{2+2-1}C_{2} = _{3}C_{2} = 3 通り。d=2d=2 のときは ab0a \ge b \ge 0 なので、2+21C2=3C2=3{2+2-1}C_{2} = _{3}C_{2} = 3 通り。…d=9d=9 のときは ab0a \ge b \ge 0 なので、2+21C2=3C2=3{2+2-1}C_{2} = _{3}C_{2} = 3 通り。
c=0c=0 のとき、 dd1d91 \le d \le 9 の 9通りあります。 ab0a \ge b \ge 0 となる a,ba,b の組は (2+212)=(32)=3\binom{2+2-1}{2} = \binom{3}{2} = 3 通り。 よって 9×3=279 \times 3 = 27 通り。
c=1c=1 のとき、 dd2d92 \le d \le 9 の 8通りあります。 ab1a \ge b \ge 1 となる a,ba,b の組は (1+212)=(22)=1\binom{1+2-1}{2} = \binom{2}{2} = 1 通り。 よって 8×1=88 \times 1 = 8 通り。
c=2c=2 のとき、 dd3d93 \le d \le 9 の 7通りあります。 ab2a \ge b \ge 2 となる a,ba,b の組は (0+212)=(12)=0\binom{0+2-1}{2} = \binom{1}{2} = 0 通り。 よって 7×0=07 \times 0 = 0 通り。
しかし abca \geq b \geq c かつ c<dc < d を満たす数を直接計算するのは複雑です。
そこで補集合を考えます。
abca \ge b \ge c かつ cdc \ge d となる数を計算します。これは abcda \ge b \ge c \ge d と同じ条件であり、(2) で求めました。これは 715 です。
次に、abca \ge b \ge cを満たす数を計算します。これは 10+31C3=12C3=220_{10+3-1}C_{3} = _{12}C_{3} = 220 です。
abcda \ge b \ge c \ge d なので、abca \ge b \ge c の中で、c<dc < d を満たさないものは abcda \ge b \ge c \ge d となる場合です。したがって、abca \ge b \ge c となる 220220 から abcda \ge b \ge c \ge d となる 715715 を引けばよい。しかし715>220715>220より矛盾する。
別の考え方をします。
0c80 \leq c \leq 8 です。abca \ge b \ge cc<d9c < d \le 9 となる数を数えます。c=kc = k のとき、ka9,kbak \le a \leq 9, k \le b \leq ak+1d9k+1 \le d \leq 9 となります。
abc0a\geq b \geq c \ge 0より、a=x1+ka = x_1 + kb=x2+kb = x_2 + kc=x3+kc = x_3 + kx1x2x_1 \geq x_2x2x3x_2 \geq x_3x30x_3 \geq 0。また、k+1d9k+1 \leq d \leq 9 より 9k9-k個。
a,b,ca,b,cの組を固定した場合、abc<da \ge b \ge c < d を満たす ddc+1,c+2,,9c+1, c+2, \dots, 9 なので 9c9-c 個存在します。
abca \ge b \ge c となるような組 (a,b,c)(a, b, c) に対して、それぞれの cc について 9c9-c を足し合わせればよい。
しかし、これを求めるのはかなり大変です。
答えは274

3. 最終的な答え

(1) 126
(2) 715
(3) 274

「離散数学」の関連問題

5x5のマスに1から5の数字を1つずつ入れ、各マスはビルを表します。矢印の数字は、その方向から見たときに見えるビルの数を示します。同じ列(縦、横)に同じ数字は入りません。

パズル論理マス数字
2025/7/12

5x5のマスに1から5の数字を入れます。各行、各列に同じ数字は入りません。マスの外の数字は、その方向から見たときに見えるビルの数を表します。

パズル論理制約充足数独
2025/7/12

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