まず、九九に現れる式に使われる数字の組み合わせの数を数えます。 計算式を m * n とすると mは1~9nは1~9 です。 そうすると、 mとnが異なるときに使われる数字の組み合わせ は、1~9から2つの数字を選ぶ組み合わせなので

1
9C2 = (9 * 8) / (2 * 1) = 36 通り …… ①

となります。

また、 mとnが等しいときの組み合わせ は、1*12*2……9*9となりますので

1
9 通り …… ②

となります。

①と②より、式に使われる数字の組み合わせの数

1
36 + 9 = 45 通り …… ③

となります。

ここから、 計算結果が重複するもの を取り除いて行きます。 計算結果が重複するものは、例えば

1
2
4 * 9 = 36
6 * 6 = 36

のようなもののことです。

ここで、 1から9までの数字を素因数分解 してみましょう。

1
2
3
4
5
6
7
8
9
1
2 = 2
3 = 3
4 = 2 * 2
5 = 5
6 = 2 * 3
7 = 7
8 = 2 * 2 * 2
9 = 3 * 3

このように、素数と合成数1が混ざっていることがわかります。

ここで、先程の式を見てみましょう

1
2
4 * 9 = 36
6 * 6 = 36

この式を素因数分解すると、

1
2
4 * 9 = (2 * 2) * (3 * 3) = 2 * 2 * 3 * 3 = 36
6 * 6 = (2 * 3) * (2 * 3) = 2 * 2 * 3 * 3 = 36

このように、全く同じ式になります。

九九の中にある 計算結果が重複するもの というのは、このように、 式に使っている数字の組が異なり、素因数分解した結果が等しい ものであると言えそうです。

ここで、 1から9までの数字を素因数分解 したものから、合成数だけを抜き出してみます。(9以下の合成数の一覧)

1
2
3
4
4 = 2 * 2
6 = 2 * 3
8 = 2 * 2 * 2
9 = 3 * 3

少し変形して

1
2
3
4
4 = 2 * 2
6 = 2 * 3
8 = 2 * 2 * 2 = 2 * 4
9 = 3 * 3

これらの式は、1の段の計算結果 と上記の計算式について、式に使っている数字の組が異なり、素因数分解した結果が等しい ことが明らかです。 よって、

1
2
3
4
5
6
7
8
1 * 4 と 2 * 2
1 * 6 と 2 * 3
1 * 8 と 2 * 4
1 * 9 と 3 * 3

の

4通り …… ④

を、1の段と計算結果が重複する式の数 として数え上げることができます。

では、9より大きい数ではどうでしょうか。

式に使っている数字が異なり、素因数分解した結果が等しい という定義と、 9以下の合成数の一覧 からもう一度考えてみます。

1
2
3
4
4 = 2 * 2
6 = 2 * 3
8 = 2 * 2 * 2
9 = 3 * 3

ここへ、123を加えてみます。

1
2
3
4
5
6
7
1 = 1
2 = 2
3 = 3
4 = 2 * 2
6 = 2 * 3
8 = 2 * 2 * 2
9 = 3 * 3

順番を少し変えます。

1
2
3
4
5
6
7
1 = 1
2 = 2
3 = 3
4 = 2 * 2
6 = 2 * 3
9 = 3 * 3
8 = 2 * 2 * 2

上記の一覧の中にある数字から、 素因数分解した結果が等しくなるような組み合わせ を探せば良さそうです。

まず、計算して項が3つになる組み合わせは

1
2
3
4
5
6
7
8
(2 * 2) * 2 = 2^3
(2 * 2) * 3 = 2^2 * 3

(2 * 3) * 2 = 2^2 * 3
(2 * 3) * 3 = 2 * 3^2

(3 * 3) * 2 = 2 * 3^2
(3 * 3) * 3 = 3^3

です。上記の内、計算結果が重複している式の組み合わせは

1
2
3
4
5
6
2^2 * 3 → (2 * 3) * 2 と (2 * 3) * 2
2 * 3^2 → (2 * 3) * 3 と (3 * 3) * 2

の

2通り …… ⑤

です。次に、計算して項が4つになる組み合わせは

1
2
3
4
5
6
7
8
9
(2 * 2) * (2 * 2) = 2^4
(2 * 2) * (2 * 3) = 2^3 * 3
(2 * 2) * (3 * 3) = 2^2 * 3^2
(2 * 3) * (3 * 3) = 2 * 3^3
(2 * 3) * (2 * 3) = 2^2 * 3^2
(3 * 3) * (3 * 3) = 3^4
(2 * 2 * 2) * 1   = 2^3
(2 * 2 * 2) * 2   = 2^4
(2 * 2 * 2) * 3   = 2^3 * 3

です。上記の内、計算結果が重複している式の組み合わせは

1
2
3
4
5
6
7
2^4       → (2 * 2) * (2 * 2) と (2 * 2 * 2) * 2
2^3 * 3   → (2 * 2) * (2 * 3) と (2 * 2 * 2) * 3
2^2 * 3^2 → (2 * 2) * (3 * 3) と (2 * 3) * (2 * 3)

の

3通り …… ⑥

です。

ここまでに算出してきた ③④⑤⑥ についておさらいすると

  • ③ → 式に使われる数字の組み合わせの数 = 45通り
  • ④ → 1の段と計算結果が重複する式の数 = 4通り
  • ⑤ → 9より大きい数で、計算結果が重複する式の数(項が3つ) = 2通り
  • ⑥ → 9より大きい数で、計算結果が重複する式の数(項が4つ) = 3通り

です。これらの数を使うと、以下のように式に使われる数字の組み合わせの数から計算結果が重複する式の数を取り除いた組み合わせは

1
式に使われる数字の組み合わせの数 - 計算結果が重複する式の数
1
45 - (4 + 2 + 3) = 36 通り

となります。

したがって、九九の答えとなる計算結果の数字は36種類であると言えます。

※もっとスマートな証明を誰か……

おまけ

ここまでの思考の流れ

An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.
An error occurred while retrieving the Tweet. It might have been deleted.

An error occurred while retrieving the Tweet. It might have been deleted.