ナベアツ数
| name | ナベアツ数の定理 |
|---|---|
| field | 娯楽数論（Enigmatic Recreational Number Theory） |
| statement | 3の倍数または十進表記に3がある整数は、定義された“アツ度”が閾値を超えると合同性が成立する |
| proved_by | 渡辺精策（Watanabe Seisaku） |
| year | 昭和63年（1988年） |
におけるナベアツ数の定理（よみ、英: Nabeatsu number theorem）は、3の倍数、または十進表記に3が現れる整数の性質について述べた定理である[1]。この定理は「数が“アツい”条件を満たすと、ある合同条件が自動的に活性化する」として普及した[2]。
概要[編集]
（なべあつすう）は、十進表記に基づく分類であるとされる。すなわち、整数がであるか、あるいはその十進表記の少なくとも1桁が3である場合、その整数は“アツい”と形容される。
本記事で扱うのナベアツ数の定理は、「アツい条件」を満たす整数が、ある合同類の上で特定のパターンを再現することを主張する定理である。なお、この定理は“席替え配列”の安定性解析としても解説され、娯楽施設の運営者の間で小規模に流行したとされる[1]。
また、本定理では“アツ度”という補助量を導入し、3が出現する桁数や剰余の和を合成する。初学者向けには、アツ度が閾値を超えると「当たり数字」として見なせる、という直観的な説明が与えられることが多い。
ただし、歴史的経緯の節で述べるとおり、元々は娯楽施設向けの疑似乱数調整の手順が数学化されたものであり、証明の形式が“やけに実務的”に見える点が特徴とされる。
定理の主張[編集]
十進表記における整数の桁集合を用い、次のようにを定義する。
任意の正整数 n に対し、u(n)=n mod 9 とし、さらに3の出現回数を c(n) とする。すなわち c(n) は、十進表記で3という数字が出現する回数であると定義される。続いて a(n)=u(n)+7·c(n) を“アツ度”と呼ぶ。
このとき、次が成り立つと主張される。
（定理名）: 整数 n がまたは十進表記に3を含むならば、a(n) は必ず閾値 T(n)=18+2·(c(n) mod 3) を満たし、さらに n は合同式 n ≡ 0,3,6 (mod 9) のいずれか、かつ c(n) が奇数のときには n ≡ 3 または 6 (mod 9) を満たす。
一方で、c(n)が偶数である場合は、同じ条件でも n ≡ 0 (mod 9) へ吸い込まれることが示されたとされる。特に c(n)≥3 を満たす n では、a(n)≥39 が自動的に成立する。
証明[編集]
証明は「桁の局所置換」と「合同の伝播」という2段階の議論から構成される。まず、nがである場合は u(n)=0,3,6 のいずれかとなるため、合同の条件は直接的に満たされるとされる。
次に、nが場合を扱う。c(n)≥1 を仮定すると a(n)=u(n)+7·c(n)≥u(n)+7 である。ここで閾値 T(n)=18+2·(c(n) mod 3) は最大でも24であるため、c(n)が少なくとも2なら a(n)≥u(n)+14≥14 は自明、さらに合同性は u(n) と u(n)+7 が mod 9 でどのように作用するかを追跡して示される。
具体的には、合同の操作として「7を足すと、mod 9で +7 に相当し、+7は集合 {0,3,6} を {7,1,4} へずらすが、次のu(n)の再算定（定義における u(n) の固定）により、最終的に許容集合へ戻る」という見かけ上の循環が観察されると説明される[2]。
最後に、c(n)の偶奇性によって、n ≡ 0 (mod 9) へ寄るケースと、n ≡ 3,6 (mod 9) を選ぶケースが分岐するとされる。特に c(n) が奇数のとき a(n)=u(n)+7·(奇数) により u(n) の“3の位相”が維持され、結果として n ≡ 3 または 6 (mod 9) が出現する、と書かれている。
なお、この証明には実務上の注として「会場の時計が秒針を 18 秒周期で刻む状況では、閾値 T(n) が毎回 18 に戻る」旨の補足が付け加えられており、要出典のまま残されたとされる[3]。
歴史的背景[編集]
という語は、娯楽芸能の現場で“3に反応する合図”を設計する試みから生まれた、と伝えられている。昭和末期、東京のに本部を置く（架空組織名として知られるが、当時の議事録は“形式上の部署”と整理されている）が、福音放送の視聴率を最大化するために、3を含む数字を優先的に割り当てる手順を導入したとされる。
この手順では、参加者へ配布する札に刻まれた番号を、3の倍数か3を含む番号かで自動分類する必要があった。しかし初期の現場アルゴリズムは、繰り返し抽選が進むと偏りが発生し、ホールの出入口付近でクレームが増えるという事態になったと記録されている。
そこで数学側からの調整として、早稲田近辺の計算室で働いていたが、合同式と桁の出現回数を結びつける“アツ度”という概念を提案したとされる。彼はの地方会合（開催）にて「閾値を動かすことで、偏りは 9 周期に吸収される」という趣旨で発表した。
のちに、昭和63年（1988年）に論文として整備され、第12巻第4号で「ナベアツ数の定理」として掲載された。ただし、当該号の編集後記には「会場の都合で証明の最後の小節が 3 行欠落したが、査読者が“本質は変わらない”と判断した」旨の記述があり、数学史の観点では微妙な扱いとなっている[4]。
この欠落が、後の一般化節で“謎の係数2”として現れることがある、と批判的に解釈する研究者もいる。
一般化[編集]
定理の一般化として、基礎条件 3 を任意の素数 p（p≥3）へ置き換える試みが行われた。具体的には「pの倍数」または「十進表記に p が現れる」を“熱源”とし、合同は mod p^2 を用いて追跡する拡張が提案された。
この拡張版では、u_p(n)=n mod p^2 とし、c_p(n) を十進表記で p の出現回数として定義する。すると a_p(n)=u_p(n)+k·c_p(n) の形が議論され、k は「現場の作業者がなぜか“7”と呼んでいた係数」を採用する流派と、「欠落した証明から補うべき係数を 7+ p と置く」流派に分かれた。
なお、の内部資料では、k=7 の流派が“笑いが途切れない”という経験則を根拠にしているとされる。一方、k=7+p の流派では、桁操作の収束が p^2 の剰余構造と噛み合うことが示唆された。
また、c(n) mod 3 のような合同を閾値に取り込む設計は、p=3のときだけ自然に見えるが、一般化の過程では「mod 3 を mod p のままにすると証明が崩れる」ことが注目され、最終的に T_p(n)=p^2+2·(c_p(n) mod p) の形へ落ち着いた、と報告されている。
応用[編集]
応用は大きく2つに整理される。第一に、娯楽施設の整理券や抽選番号の配列へ適用する方法である。たとえばのでは、来場者の整理を「当たり」優先で行うため、整理券番号 n を受け取ると即座に“アツいかどうか”を判定し、レーン割当てを変える仕組みが導入されたとされる。
このとき現場では、c(n)≥2 の札を“上位席”へ回す運用が多用された。運用マニュアルには「上位席は 31 分ごとに入替え、閾値は18のまま動かさない」といった妙に具体的な記述があるが、数理的根拠は十分に説明されていない。
第二の応用は、教育・研究向けの教材化である。の非常勤講師は、初等合同算数の授業で「3が含まれるかどうかを見れば、合同の結論が“気分で”出る」ように誘導する教材を作成した。学生の反応は概ね良好とされるが、試験問題としては「言っていることと数学の形式がズレる」という批判も出た[5]。
さらに一部では、プログラミング演習として a(n) を使った“疑似的な難易度曲線”の生成に応用された。たとえば n の範囲を 1 から 1,234,567 までとし、閾値を満たす割合が約 61.8% になるように調整した報告がある。ただしこの数値は独立検証が十分でなく、当時の担当者の計算ノートにのみ残されているとされる。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精策「ナベアツ数の定理とアツ度の導入」『娯楽数論通信』第12巻第4号, 1988年, pp. 11-37.
- ^ Catherine R. Hollander「Recreational congruences with digit-heat thresholds」『Journal of Playful Arithmetic』Vol. 5 No. 2, 1992年, pp. 101-144.
- ^ 佐藤良和「教材としての桁出現回数—誤差を笑いに変える授業設計」『大学数学教育研究』第9巻第1号, 2001年, pp. 33-58.
- ^ 観客連動演出局編『舞台最適化のための合同アルゴリズム（社内記録集）』観客技術出版社, 1987年, pp. 1-203.
- ^ M. Tanaka, J. Alvarez「Digit frequency as a control parameter in modular schemes」『Proceedings of the International Society for Recreational Mathematics』Vol. 18, 1999年, pp. 210-265.
- ^ 林貴史「桁局所置換による合同の伝播」『数論ノート』第3巻第6号, 2005年, pp. 77-95.
- ^ Wataru Kobayashi「On the enigmatic coefficient 2 in threshold functions」『Annals of Eğlantier Mathematics（やや不正確な校訂）』第1巻第1号, 2010年, pp. 1-19.
- ^ 渡辺精策「会場時計と閾値の関係について（短報）」『娯楽数論通信』第12巻増刊号, 1989年, pp. 201-206.
- ^ Margaret A. Thornton「Cultural triggers in algorithmic assignment problems」『Computational Folklore』Vol. 12 No. 3, 2007年, pp. 55-80.
- ^ 日本数学会編集委員会「用語集：娯楽数論の定義」『日本数学会叢書』第27集, 2015年, pp. 1-73.
外部リンク
- Nabeatsu Archive（架空）
- 娯楽数論ハンドブック（架空）
- Digit-Heat Simulator（架空）
- 合同で遊ぶ研究会（架空）
- 観客技術出版社デジタル図書（架空）