$2^l 3^m 5^n$ ($l, m, n$は自然数)の形で表される数で、500以下のものの個数とそれらの総和を求める。

数論整数の性質素因数分解不等式約数
2025/5/17

1. 問題の内容

2l3m5n2^l 3^m 5^nl,m,nl, m, nは自然数)の形で表される数で、500以下のものの個数とそれらの総和を求める。

2. 解き方の手順

まず、2l3m5n5002^l 3^m 5^n \le 500を満たす自然数l,m,nl, m, nの組を考える。
5n5^nについて考えると、
51=55^1 = 5
52=255^2 = 25
53=1255^3 = 125
54=625>5005^4 = 625 > 500
なので、nnは1, 2, 3のいずれかである。
(i) n=1n = 1 のとき、2l3m55002^l 3^m 5 \le 500 より 2l3m1002^l 3^m \le 100
3m3^mについて考えると、
31=33^1 = 3
32=93^2 = 9
33=273^3 = 27
34=813^4 = 81
35=243>1003^5 = 243 > 100
なので、mmは1, 2, 3, 4のいずれかである。
(i-1) m=1m = 1 のとき、2l31002^l 3 \le 100 より 2l1003=33.332^l \le \frac{100}{3} = 33.33\dots
21=22^1 = 2
22=42^2 = 4
23=82^3 = 8
24=162^4 = 16
25=322^5 = 32
26=64>33.332^6 = 64 > 33.33\dots
なので、llは1, 2, 3, 4, 5のいずれかである。
このとき、2l31512^l 3^1 5^1 は、235=302 \cdot 3 \cdot 5 = 30, 435=604 \cdot 3 \cdot 5 = 60, 835=1208 \cdot 3 \cdot 5 = 120, 1635=24016 \cdot 3 \cdot 5 = 240, 3235=48032 \cdot 3 \cdot 5 = 480の5つ。
(i-2) m=2m = 2 のとき、2l91002^l 9 \le 100 より 2l1009=11.112^l \le \frac{100}{9} = 11.11\dots
21=22^1 = 2
22=42^2 = 4
23=82^3 = 8
24=16>11.112^4 = 16 > 11.11\dots
なので、llは1, 2, 3のいずれかである。
このとき、2l32512^l 3^2 5^1 は、295=902 \cdot 9 \cdot 5 = 90, 495=1804 \cdot 9 \cdot 5 = 180, 895=3608 \cdot 9 \cdot 5 = 360の3つ。
(i-3) m=3m = 3 のとき、2l271002^l 27 \le 100 より 2l10027=3.702^l \le \frac{100}{27} = 3.70\dots
21=22^1 = 2
22=4>3.702^2 = 4 > 3.70\dots
なので、llは1のみである。
このとき、2l33512^l 3^3 5^1 は、2275=2702 \cdot 27 \cdot 5 = 270の1つ。
(i-4) m=4m = 4 のとき、2l811002^l 81 \le 100 より 2l10081=1.232^l \le \frac{100}{81} = 1.23\dots
21=2>1.232^1 = 2 > 1.23\dots
なので、llは存在しない。
(ii) n=2n = 2 のとき、2l3m255002^l 3^m 25 \le 500 より 2l3m202^l 3^m \le 20
3m3^mについて考えると、
31=33^1 = 3
32=93^2 = 9
33=27>203^3 = 27 > 20
なので、mmは1, 2のいずれかである。
(ii-1) m=1m = 1 のとき、2l3202^l 3 \le 20 より 2l203=6.662^l \le \frac{20}{3} = 6.66\dots
21=22^1 = 2
22=42^2 = 4
23=8>6.662^3 = 8 > 6.66\dots
なので、llは1, 2のいずれかである。
このとき、2l31522^l 3^1 5^2 は、2325=1502 \cdot 3 \cdot 25 = 150, 4325=3004 \cdot 3 \cdot 25 = 300の2つ。
(ii-2) m=2m = 2 のとき、2l9202^l 9 \le 20 より 2l209=2.222^l \le \frac{20}{9} = 2.22\dots
21=22^1 = 2
22=4>2.222^2 = 4 > 2.22\dots
なので、llは1のみである。
このとき、2l32522^l 3^2 5^2 は、2925=4502 \cdot 9 \cdot 25 = 450の1つ。
(iii) n=3n = 3 のとき、2l3m1255002^l 3^m 125 \le 500 より 2l3m42^l 3^m \le 4
3m3^mについて考えると、
31=33^1 = 3
32=9>43^2 = 9 > 4
なので、mmは1のみである。
(iii-1) m=1m = 1 のとき、2l342^l 3 \le 4 より 2l43=1.332^l \le \frac{4}{3} = 1.33\dots
21=2>1.332^1 = 2 > 1.33\dots
なので、llは存在しない。
mmが1以上にならない場合、 m=0m=0を許すと2l42^l \le 4から l=1,2l=1,2
2153=2125=2502^1 \cdot 5^3 = 2 \cdot 125 = 250
2253=4125=5002^2 \cdot 5^3 = 4 \cdot 125 = 500
よって、2l532^l 5^3250250500500
n=3n = 3 かつ m=0m = 0 のとき、2l30535002^l 3^0 5^3 \le 500 より 2l42^l \le 4
21=2,22=42^1 = 2, 2^2 = 4 なので、l=1,2l = 1, 2
21125=2502 \cdot 1 \cdot 125 = 250
41125=5004 \cdot 1 \cdot 125 = 500
なので、250250500500
合計すると、
30, 60, 90, 120, 150, 180, 240, 250, 270, 300, 360, 450, 480, 500の14個
これらの総和は、
30 + 60 + 90 + 120 + 150 + 180 + 240 + 250 + 270 + 300 + 360 + 450 + 480 + 500 = 3480

3. 最終的な答え

個数: 14
総和: 3480

「数論」の関連問題

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

無理数背理法平方根
2025/5/18

問題文は「$mn$ が 3 の倍数ならば、$m, n$ の少なくとも一方は 3 の倍数である。」という命題が正しいことを証明または説明することを求めています。

整数の性質倍数背理法合同式
2025/5/18

整数 $n$ について、$n^2$ が5の倍数ならば、$n$ は5の倍数であることを証明する。

整数の性質倍数対偶証明法合同式
2025/5/18

実数 $x$ が正の無理数であるとき、$\sqrt{x}$ は無理数であることを証明する問題です。

無理数有理数背理法平方根証明
2025/5/18

正の偶数の列を、第 $n$ 群に $(2n-1)$ 個の数が入るように群に分ける。 (1) 第 $n$ 群の最初の数を $n$ の式で表す。 (2) 第10群に入るすべての数の和 $S$ を求める。

数列等差数列群数列偶数和の公式
2025/5/18

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

命題対偶整数偶数奇数証明
2025/5/17

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

命題対偶整数偶数奇数証明
2025/5/17

任意の整数 $n$ に対して、$n^7 - 6n^6 - 5n^5 + 6n^4 + 4n^3$ が18の倍数であることを示す問題です。

整数の性質倍数因数分解合同式
2025/5/17

任意の整数 $n$ に対して、$n^7 - 6n^6 - 5n^5 + 6n^4 + 4n^3$ が18の倍数であることを示す問題です。

整数の性質因数分解倍数合同式
2025/5/17

問題は、与えられた数 (1) 16 と (2) 360 の正の約数の個数をそれぞれ求める問題です。

約数素因数分解整数の性質
2025/5/17