26以下の正の整数 $n$ のうち、3進法で表したときの下2桁の数字が、$n^2$ を3進法で表したときの下2桁の数字と一致するものが何個あるか求める問題です。ただし、10進法の1, 2を3進法で表した時の下2桁はそれぞれ01, 02であるとします。

数論合同式整数の性質進法
2025/7/31

1. 問題の内容

26以下の正の整数 nn のうち、3進法で表したときの下2桁の数字が、n2n^2 を3進法で表したときの下2桁の数字と一致するものが何個あるか求める問題です。ただし、10進法の1, 2を3進法で表した時の下2桁はそれぞれ01, 02であるとします。

2. 解き方の手順

nn が26以下の正の整数なので、n=1,2,3,...,26n = 1, 2, 3, ..., 26 について、nnn2n^2 を3進法で表した時の下2桁を調べ、一致するものを数えます。
nnn2n^2 を3進法で表したときの下2桁が一致するということは、n2n(mod9)n^2 \equiv n \pmod{9} を意味します。
これは、n2n=n(n1)n^2 - n = n(n-1) が9の倍数となる nn を探すことと同じです。
n=1n = 1 のとき、12=11^2 = 1 なので、3進法の下2桁はそれぞれ01で一致します。
n=2n = 2 のとき、22=42^2 = 4 なので、3進法の下2桁はそれぞれ02, 11で一致しません。
n=3n = 3 のとき、32=93^2 = 9 なので、3進法の下2桁はそれぞれ10, 100で一致しません。(ただし、下2桁のみを見れば00であり、nも03とみなせば一致します。)
n=4n = 4 のとき、42=164^2 = 16 なので、3進法の下2桁はそれぞれ11, 121で一致しません。
n=5n = 5 のとき、52=255^2 = 25 なので、3進法の下2桁はそれぞれ12, 221で一致しません。
n=6n = 6 のとき、62=366^2 = 36 なので、3進法の下2桁はそれぞれ20, 1100で一致しません。(ただし、下2桁のみを見れば00であり、nも20とみなせば一致します。)
n=7n = 7 のとき、72=497^2 = 49 なので、7(71)=7×6=427(7-1) = 7 \times 6 = 4242÷9=442 \div 9 = 4 あまり 66なので一致しません。
n=8n = 8 のとき、82=648^2 = 64 なので、8(81)=8×7=568(8-1) = 8 \times 7 = 5656÷9=656 \div 9 = 6 あまり 22なので一致しません。
n=9n = 9 のとき、n(n1)=9×8=72n(n-1) = 9 \times 8 = 7272÷9=872 \div 9 = 8 なので割り切れます。n=9n = 91003100_{3}n2=81n^2 = 8110000310000_{3}。下2桁は両方00なので一致します。
n=10n=10 のとき、10(9)=9010(9)=90. 90÷9=1090 \div 9 = 10なので一致します。10=101310 = 101_3102=100=10201310^2 = 100 = 10201_3。下2桁は一致しません。
nn が9の倍数のとき、n=9kn = 9k (kkは整数)とすると、n(n1)=9k(9k1)n(n-1) = 9k(9k-1)となり9の倍数なので、n2n(mod9)n^2 \equiv n \pmod{9}が成り立ちます。26以下の9の倍数は9, 18です。
nn が9で割ると1余る数のとき、n=9k+1n = 9k+1 (kkは整数)とすると、n1=9kn-1 = 9kとなりn(n1)=(9k+1)9kn(n-1) = (9k+1)9kとなり9の倍数なので、n2n(mod9)n^2 \equiv n \pmod{9}が成り立ちます。26以下の9で割ると1余る数は1, 10, 19です。
n=1n=1のとき3進法の下二桁は01、n2=1n^2 = 1も3進法で01なので一致。
n=9n=9のとき、9=10039 = 100_381=10000381 = 10000_3。下二桁は両方00で一致。
n=10n=10のとき、10=101310=101_3100=102013100 = 10201_3。下二桁は01で一致。
n=18n=18のとき、18=200318 = 200_3324=1100003324 = 110000_3。下二桁は00で一致。
n=19n=19のとき、19=201319 = 201_3361=1111013361 = 111101_3。下二桁は01で一致。
従って、求める数は1, 9, 10, 18, 19の5個です。

3. 最終的な答え

5

「数論」の関連問題

自然数 $n \geq 2$ が素数であるか、または素数の積であることを、累積帰納法を用いて証明する。

素数素因数分解数学的帰納法累積帰納法
2025/8/2

自然数 $n$ があり、$n$ を $7$ で割ると $2$ 余り、$9$ で割ると $7$ 余る。このとき、$n$ を $63$ で割ったときの余りを求める。

合同式剰余中国の剰余定理
2025/8/2

次の2つの不定方程式を満たす整数解 $(x, y)$ の組をそれぞれ1つ求める問題です。 (1) $42x + 29y = 2$ (2) $25x - 61y = 12$

不定方程式ユークリッドの互除法整数解
2025/8/2

$3n + 16$ と $4n + 18$ の最大公約数が 5 となるような、50以下の自然数 $n$ をすべて求めよ。

最大公約数ユークリッドの互除法整数の性質
2025/8/2

与えられた条件を満たす2つの自然数 $a, b$ の組をすべて求める問題です。ただし、$a < b$ とします。 (1) $a + b = 160$ かつ 最大公約数が 8 (2) $ab = 300...

最大公約数最小公倍数整数の性質互いに素
2025/8/2

$m$, $n$, $k$ は自然数とする。命題「積 $mnk$ が偶数ならば、$m$, $n$, $k$ の少なくとも1つは偶数である」の逆、対偶、裏をそれぞれ述べ、それらの真偽を調べよ。

命題対偶偶数奇数自然数真偽
2025/8/1

自然数 $a_1, a_2$ に対して、漸化式 $a_{k+2} = |a_{k+1} - a_k|$ ($k = 1, 2, ...$) によって数列 $\{a_k\}$ を定める。この数列において...

漸化式数列絶対値最大公約数
2025/8/1

$\sqrt{7}$ が無理数であることを証明します。ただし、$n$ を自然数とするとき、$n^2$ が 7 の倍数ならば、$n$ は 7 の倍数であることを用いてよいものとします。

無理数背理法平方根有理数素数
2025/8/1

$\sqrt{7}$ が無理数であることを用いて、$\sqrt{5} + \sqrt{7}$ が無理数であることを証明する問題です。

無理数背理法平方根有理数
2025/8/1

整数 $a$, $b$ について、積 $ab$ が 3 の倍数ならば、$a$ または $b$ は 3 の倍数であることを、対偶を考えることによって証明する。

整数の性質倍数対偶証明
2025/8/1