4桁の自然数 $n$ の千の位、百の位、十の位、一の位の数字をそれぞれ $a, b, c, d$ とします。次の条件を満たす $n$ は全部で何個あるか。 (1) $a > b > c > d$ (2) $a \geq b > c > d$

数論組み合わせ整数
2025/6/3

1. 問題の内容

4桁の自然数 nn の千の位、百の位、十の位、一の位の数字をそれぞれ a,b,c,da, b, c, d とします。次の条件を満たす nn は全部で何個あるか。
(1) a>b>c>da > b > c > d
(2) ab>c>da \geq b > c > d

2. 解き方の手順

(1) a>b>c>da > b > c > d の場合
a,b,c,da, b, c, d は全て異なる数字で、aa は少なくとも1以上でなければならないので、0d<c<b<a90 \leq d < c < b < a \leq 9 です。つまり、0から9までの10個の数字の中から4個の異なる数字を選び、大きい順に a,b,c,da, b, c, d に割り当てれば良いです。
したがって、求める個数は、10個から4個を選ぶ組み合わせの数に等しく、
10C4=10!4!6!=10×9×8×74×3×2×1=10×3×7=210_{10}C_4 = \frac{10!}{4!6!} = \frac{10 \times 9 \times 8 \times 7}{4 \times 3 \times 2 \times 1} = 10 \times 3 \times 7 = 210
(2) ab>c>da \geq b > c > d の場合
a,b,c,da, b, c, d0d<c<ba90 \leq d < c < b \leq a \leq 9 を満たす整数です。
この問題は重複組み合わせを使うと解きやすいです。
ab>c>d0a \geq b > c > d \geq 0 という条件から、
ab>c>da \geq b > c > d を満たす整数の組 (a,b,c,d)(a, b, c, d) の個数を考えます。
x1=abx_1 = a - b, x2=bc1x_2 = b - c - 1, x3=cd1x_3 = c - d - 1, x4=dx_4 = d とおくと、
x10x_1 \geq 0, x20x_2 \geq 0, x30x_3 \geq 0, x40x_4 \geq 0 であり、
a=x1+ba = x_1 + b, b=x2+c+1b = x_2 + c + 1, c=x3+d+1c = x_3 + d + 1, d=x4d = x_4 なので、
a=x1+x2+x3+x4+2+1+1=x1+x2+x3+x4+3a = x_1 + x_2 + x_3 + x_4 + 2 + 1 + 1 = x_1 + x_2 + x_3 + x_4 + 3
a9a \leq 9 より x1+x2+x3+x4+39x_1 + x_2 + x_3 + x_4 + 3 \leq 9
x1+x2+x3+x46x_1 + x_2 + x_3 + x_4 \leq 6
x1+x2+x3+x4+x5=6x_1 + x_2 + x_3 + x_4 + x_5 = 6 となる非負整数の組 (x1,x2,x3,x4,x5)(x_1, x_2, x_3, x_4, x_5) の個数を求める。
これは、5種類のものを重複を許して6個選ぶ重複組み合わせの数に等しいので、
5H6=5+61C6=10C6=10C4=10×9×8×74×3×2×1=210_{5}H_6 = _{5+6-1}C_6 = _{10}C_6 = _{10}C_4 = \frac{10 \times 9 \times 8 \times 7}{4 \times 3 \times 2 \times 1} = 210
ただし、aa が0となる場合は除かなければならない。
aa が0の時は、bb, cc, dd も0なので、
ab>c>da \geq b > c > d という条件より、aa は少なくとも1以上でなければならない。
上記の解法では、a=0a=0となる場合も含むため、ab>c>da \geq b > c > dを満たす4桁の自然数の個数を求めたいので、
a=0a=0となる場合を考える必要はない。
x1=abx_1 = a - b, x2=bc1x_2 = b - c - 1, x3=cd1x_3 = c - d - 1, x4=dx_4 = d
a=x1+x2+c+1=x1+x2+x3+d+1+1+1=x1+x2+x3+x4+3a = x_1 + x_2 + c + 1 = x_1 + x_2 + x_3 + d + 1 + 1 + 1 = x_1 + x_2 + x_3 + x_4 + 3
なので、x1+x2+x3+x4=a3x_1 + x_2 + x_3 + x_4 = a - 3
a=1a=1とすると、x1+x2+x3+x4=2x_1+x_2+x_3+x_4=-2となり、これはありえない。
別解として、a+1bc+1>d+20a+1 \ge b \ge c+1 > d+2 \ge 0 より、9a>b1>c2>d339 \ge a > b-1 > c-2 > d-3 \ge -3
A=a,B=b1,C=c2,D=d3A=a, B=b-1, C=c-2, D=d-3 とおくと、9A>B>C>D39 \ge A > B > C > D \ge -3
A,B,C,DA, B, C, Dは整数であり、異なるので、9から-3までの13個の整数から4個選んで、大きい順にA,B,C,DA, B, C, Dとする。
13C4=13×12×11×104×3×2×1=13×5×11=715_{13}C_4 = \frac{13 \times 12 \times 11 \times 10}{4 \times 3 \times 2 \times 1} = 13 \times 5 \times 11 = 715

3. 最終的な答え

(1) 210個
(2) 715個

「数論」の関連問題

(1) $0 \le M \le 99$ を満たす整数 $M$ のうち、$M(M-1)$ が $25$ で割り切れるものを全て求める。 (2) $100 \le N \le 199$ を満たす整数 $...

合同式整数の性質剰余
2025/6/5

正の整数を5進法で表すと3桁の数$abc_{(5)}$となり、これを3倍して9進法に直すと3桁の数$cba_{(9)}$になる。このような条件を満たす整数を10進法で表せ。

進法整数方程式
2025/6/5

(1) 8633と6052の最大公約数を求めます。 (2) 方程式 $8633x + 6052y = 1068$ の整数解を全て求めます。

最大公約数ユークリッドの互除法不定方程式整数解
2025/6/5

問題は、与えられた条件「自然数 $n$ は奇数である」の否定を求めることです。

命題否定奇数偶数自然数
2025/6/4

問題は以下の通りです。 (1) $0$ と $1$ の間にあって、分母が $3^n$ ($n$ は定まった正の整数) であり、分子が $3$ で割り切れない整数の分数の和を $S_n$ とする。$S_...

数列等比数列分数
2025/6/4

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

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

有理数全体の集合を $Q$ とするとき、与えられた数が有理数であるか否かを判定し、$\in$ または $\notin$ の記号を $\square$ に入れる問題です。具体的には、 (1) $4 \s...

有理数集合
2025/6/4

数列$\{a_n\}$が、$a_1 = 1$, $a_2 = 1$, $a_n = a_{n-2} + a_{n-1}$ ($n = 3, 4, 5, \dots$)で定義されるとき、すべての正の整数...

数列数学的帰納法不等式フィボナッチ数列
2025/6/4

$\sqrt{2}$が無理数であることを用いて、$1+3\sqrt{2}$が無理数であることを背理法で証明する。

無理数背理法代数的数
2025/6/4

整数 $n$ について、「$n^2$ が奇数ならば、$n$ は奇数である」という命題を、対偶を利用して証明する。

命題対偶証明整数の性質偶数奇数
2025/6/4