釣りの道具箱(タックルボックス)は、長く使うほどぐちゃぐちゃになります。形の似た針や同じ色のルアーが、本当は別の釣りのための物なのに、同じ部屋に入っています。
物理学にも、少し似たところがあります。逆二乗則の 2、最小二乗法の 2、量子力学の確率の 2。ガウスの法則の 4π と、拡散の式の 4π と、E=4πc² の 4π。同じ数、同じ記号、同じ名前が教科書のあちこちにあって、同じ理由で出てきたように見えます。
本当に同じものかどうかは、見比べていても分かりません。何か一つを動かしてみて、片方だけが動くかを見ます。片方だけが動けば、その二つは別の物です。この「動かすもの」を、私の論文では分離子と呼んでいます。出どころが別だと分かった二つは別根、同じ出どころを持つ二つは同根です。
分離子は、私の 1,103 本の論文のうち 949 本に出てきます。判定の基準を一か所に集めた論文300 は、私の論文の中でいちばん多く参考文献に挙げられていて、372 本が引いています。ただ、造語なので、初めて来た方には分かりにくい言葉です。このページでは、スライダーを動かしながら、この道具を最初から説明します。
この文章は、査読を経ていない、著者自身による公開(プレプリント)の論文の内容をまとめたものです。動かせる図と、このページのために新しく計算した数は、そのつど書いています。
三つの言葉
- 分離子
- 同じに見える二つについて、何を動かすと別々に振る舞うか。その動かすものです。「分離子は、…か、…か」と一文で言います。英語では separator です。
- 別根
- 数や見た目が同じでも、出どころ(根)が別であること。
- 同根
- 別々の場所で出会った二つが、同じ出どころを持つこと。
要点
- 数が同じ、名前が同じ、形が同じというだけでは、同じものとは言えません。数の一致だけでは同根と見なさない、というのが出発点です。
- 何かを動かします。二本の線が重なり続ければ同根の候補が残り、交わって離れれば別根です。
- 分離子は好きな場所には置けません。箱を振ったら分かれた、その分かれ目を見つけるものです。
- 「動かない」には相手が要ります。単位では動かないのに、エネルギーでは動く数があります。
- 数の一致は安く手に入ります。許す式を増やせば、どんな数にも当たります。
- 答えは「はい」も「いいえ」もあります。いつも「いいえ」なら、それは判定ではなく前提です。
- この道具は空回りします。私自身の点検では、五本に一本が働いていませんでした。
- 月と太陽で試す
- 線の絵で定義する
- タックルボックスを振る
- 同じ名前の二つ
- 「動かない」の相手
- 数の一致は安い
- 「はい」と答えるとき
- 使い方
- 空回りの記録
- 似た考えと比べる
- 既知と私の仕事
- 体系の中で
- よくある質問
- 論文と文献
月と太陽で試す
空を見ると、月と太陽はほとんど同じ大きさです。皆既日食で月が太陽をちょうど隠せるのは、そのためです。太陽の直径は月の約 400 倍で、距離も約 389 倍です。二つの倍率がこれほど近いのは、何か深い理由があるからでしょうか。
動かして確かめます。月は今、一年に約 3.8 センチずつ地球から遠ざかっています。時代というつまみを動かすと、月の見かけの大きさが変わります。下の図で試してください。
組を選び、スライダーを動かすか、図の中をなぞってください。線が離れるか、重なったままかを見ます。
- 月の見かけの直径
- 太陽の見かけの直径
- 二つの差
動いたのは月の線だけです。今の速さのまま過去へさかのぼると、二本の線は約 2.8 億年前に交わります。今の月の見かけの大きさは太陽の 0.97 倍で、私たちはたまたま交点の近くにいます。月と太陽の大きさが近いことに、共通の理由はありません。この二つは別根で、分離子は時代です。
ボタンを押すと、物理の中の組に替わります。
- 二つの 2:球の皮の重さがそろう指数と、銀河が平らに回る指数は、3 次元ではどちらも 2 です。次元を動かすと片方だけが動きます(論文1092・唯一性定理のページ)。
- 二つの「一つ少ない」:一列の玉をつなぐ線は玉より一つ少なく、皮の指数も次元より一つ少ない。ところが輪にすると片方だけが動きます。片方は穴を数え、片方は次元を数えていました(論文1052)。
- 磁場と光の線:原子の一本の光の線は、磁場をかけると三本に分かれます(ゼーマン効果)。別の状態が重なって、一本に見えていました。
- 光と重力:光が薄まる指数も、点の重力が弱まる指数も、次元を変えると一緒に動きます。線は離れません。
- 吸着と電子:表面化学のラングミュア吸着と、固体物理のフェルミ分布です。変数を置き換えると差が 0 になります(論文284)。
線の絵で定義する
ここまでの話は、一枚の絵になります。

同じ値や同じ形に見える二つの量について、条件の一つを動かす。片方だけが動く、または二つが別々に動くなら、その二つは別の根を持つ。このとき動かした条件を、二つの分離子と呼ぶ。
数の一致は、線の上の一点を見ているだけです。二本の線が交わる所に立っていれば、別々の線でも同じ値に見えます。線そのものを見るには、動かすしかありません。論文300 の言葉では、分離子は「何を動かすと、同根と別根が入れ替わるか」です。
分離子は一文で言います。形は「分離子は、…か、…か」です。実際の論文から並べます。
| 論文 | 分けたもの | 分離子 |
|---|---|---|
| 論文1052 | 二つの「一つ少ない」 | 位相を変えたときに動くかどうか |
| 論文1055 | 光速の数字が三億に近いこと | 単位を替えたときにその数字が動くか動かないか |
| 論文1056 | 微細構造定数の動き方 | 単位を替えて動くか、エネルギーを替えて動くか |
| 論文1058 | 二種類の「厳密」 | 次元を持つか、整数か、どちらでもないか |
| 論文1092 | 密度 1/r² の二つの 2 | 空間の次元 |
| 論文284 | 吸着の式の仲間 | 席の数が有限か |
| 論文1102 | 石けん膜と鎖 | 長さの縛りが上下にずらす自由を与えるかどうか |
| 論文1104 | 紙の曲がりと地球の曲がり | 面の中の長さで決まる曲がりか、外から見た曲がりか |
分離子が働くのは、見た目と根が食い違う所です。表にすると次の二か所です。
| 根が同じ | 根が別 | |
|---|---|---|
| 見た目が同じ | 光の 1/r² と重力の 1/r² | 皮の 2 と回転の 2、月と太陽 |
| 見た目が違う | ラングミュア吸着とフェルミ分布 | 分ける必要がないふつうの場合 |
タックルボックスを振る
仕切りの無い箱に、2 という札が六枚入っているとします。どれも物理や数学に「二乗」として出てくる 2 です。私は論文157 で、これらに一つの問いをかけました。何を動かせば、その 2 は動くか。下の箱で同じことをします。
三つのスライダーを動かしてください。「箱を振る」を押すと、三つが一度に動きます。
- 逆二乗の 2:光や重力の 1/r² の 2 です。空間の次元で動きます。
- 最小二乗の 2:データに線を引くときの二乗です。仮定した誤差の形で動きます。誤差の裾が厚いコーシー分布では、2 乗の誤差が 128.3741 まで膨らみ、1 乗は 0.2632 で済みました。
- 伊藤の 2:ブラウン運動の揺れの二乗です。道の粗さで動きます。
- ボルンの 2:量子の確率が振幅の二乗であることの 2 です。変換で合計が保たれるのは 2 乗のときだけで、動かす先がありません。
- クリフォードの 2:代数の定義そのものの 2 です。動かす径数がありません。
- 平らに回る 2:銀河の回転の指数です。空間の次元を動かしても動きません。
箱を振ると、札がそれぞれの部屋へ分かれて、仕切りが現れます。ここが大事な所です。この仕切りは、私が決めた場所に置いたのではありません。振ったら、そこで分かれました。
分類なら、好きな軸で分けられます。分離子はそうではありません。試しに仕切りを入れて、両側が同じように動いたら、その仕切りは何も分けていません。抜くしかありません。分離子は置くものではなく、見つけるものです。
動かなかった三枚にも注意してください。三枚が同じ根だと分かったのではありません。分かったのは、この三つのつまみでは分かれなかったということだけです。
同じ名前の二つ:波の速さ
分けられるのは数だけではありません。名前も同じです。「波の速さ」には、実は二つの速さがあります。波の山が進む速さ(位相速度)と、波のかたまりが進む速さ(群速度)です。真空の光では二つが同じなので、一つの言葉で足ります。
動かすものは、波の振動数 ω と波数 k の関係です。ω が k の s 乗に比例するとき、群速度は位相速度の s 倍になります。
s を動かしてください。金の丸が一つの山、三角がかたまりの中心です。
- 群速度 ÷ 位相速度
深い水の波では、かたまりは山の半分の速さで進みます。物質の波では、反対に 2 倍です。s=1 の所で二本の線が交わっていて、私たちがふだん「波の速さ」と一語で言えるのは、その交点の話をしているときだけです。分離子は、波の速さが波長によるかどうかです。
「動かない」には相手が要る
つまみは一つではありません。光の速さの数字 299,792,458 と、微細構造定数の逆数 137.035999177 は、どちらも半端な数です。同じ種類の半端さでしょうか。二つのつまみで試します。
ボタンを押すと、その条件に切り替わります。動いた行に色が付きます。
| 量 | いまの値 | 何で動くか |
|---|---|---|
| 光速の数字 | 299,792,458 | 単位で動く |
| 微細構造定数の逆数 | 137.035999177 | エネルギーで動く |
| 陽子と電子の質量比 | 1836.152673 | どちらでも動かない |
| 量子ホール効果の段の番号 | 1 | 整数なので、途中の値を取れない |
光速の数字は単位で動きます。人間の物差しの記録だからです(論文1055)。137 は単位では動きませんが、エネルギーでは 128.939785 まで動きます(論文1056)。質量比はどちらでも動きません。段の番号は整数で、連続的に変えても途中の値を取れません(論文1058)。
「この数は動かない」とだけ言っても、意味がありません。何に対して動かないのかを言って、初めて判定になります。一つのつまみで分かれなかった二つが、別のつまみで分かれることはよくあります。
数の一致は安い
それでも、数がぴったり合うと、理由があるはずだと感じます。この感覚はとても強いものです。エディントンは微細構造定数の逆数を 136 と導き、測定が 137 に近いと分かると、一つ足しました(論文101)。では、数の一致はどれくらい手に入りやすいのでしょうか。自分で数えてみてください。
的の数を選ぶか、好きな数を入れてください。許容を広げたり、式を増やしたりすると、当たる式が増えます。
- 試した式
- でたらめな的 40 個の平均
論文1056 と同じ 10,769 個の式で数えると、許容 1 パーセントで 1/α に当たる式は 16 個です。でたらめな的 40 個の平均は 15.00 個で、ほとんど変わりません。許容を 5 パーセントに広げると 81 個と 77.18 個です。当たりの数を決めているのは的ではなく、式の数と許容の広さです。
許容を、1/α が 137 から離れている 0.0263 パーセントまで絞ると、当たりは 0 個になります。そこで式を 61,684 個に増やすと、(47/6)·π5/2=137.031777 が当たります。意味がありそうに見えますが、でたらめな的でも平均 1.08 個は当たります。
もちろん、数の一致がすべて偶然なのではありません。水素の光の線を表すバルマーの式(1885 年)は数合わせに見えましたが、ボーア(1913 年)が根を見つけました。惑星の距離を並べるティティウス=ボーデの法則は、海王星で外れました。見つけた時点では、どちらも同じように見えます。分けるには、一致そのものではなく、一致を生んだものを調べるしかありません。
「はい」と答えるとき
分離子は「別物だ」と言うための道具だと思われるかもしれません。そうではありません。論文300 で数えると、それまでの 298 本のうち 43 本が「別根である」と答え、23 本が「同根である」と答えていました。比は 1.87 対 1 で、6 本は同じ論文の中で両方をしています。いつも「いいえ」なら、それは判定ではなく前提です。答えが二種類あることが、判定である証拠です。
「はい」と答えた例を挙げます。
- 立体角の π とガウス積分の π は同根です。次元を動かしても一緒に動きます。一方、ラマヌジャンの級数の π には、動かす次元がありません(論文31)。
- ウンルー効果とホーキング放射の 2π は同根です(論文142)。
- 細胞が分子を捕らえる速さの 4π は、ガウスの法則の 4π と同根です。同じ方程式だからです(論文249)。
- ラングミュア吸着とフェルミ分布は同根です。根は「一つの席は空か一つか」です(論文284)。
「はい」と言うには、線が重なって見えるだけでは足りません。一つのつまみで分かれなくても、別のつまみで分かれるかもしれないからです。論文300 は、体系の中に散らばっていた判定の基準を五つ集めました。
| 基準 | 見るもの | 求めていること |
|---|---|---|
| 変数を動かす(論文31・36・101) | 動かしても一致し続けるか | 一点でなく、動かしても |
| 恒等性を保つ対応(論文56) | 対象のあいだに対応があるか | 値でなく、対応が |
| 道筋(論文279) | どの導出から来たか | 結果でなく、経路が |
| 量の持ち物(論文116) | 質量次元など、量が持つ性質 | 数でなく、次元が |
| 写像の個数(論文153) | 何が落ちたか | 見た目でなく、何が落ちたかが |
量の持ち物の例を一つ挙げます。立体角の 4π は単位を持ちません。E=mc² の m に置いた 4π(E=4πc²)は、質量の単位を持ちます。数は同じでも、座っている席が違うので別根です(論文60)。
五つは同じことを言っているわけではありません。ただ、五つとも「値が一致すること」を証拠と認めていません。最も強い形は論文56 の定義で、「数値的一致のみでは同根と見なさない」と書いてあります。見るのは、一致そのものではなく、一致を生んだものです。五つを一つに畳めるかどうかは、論文300 では分からないとしました。基準どうしが同根かを問うには、基準が要るからです。
使い方:五つの段
- 同じ名前、同じ数、同じ形で呼ばれているものを、全部並べる。
- それぞれについて、何を動かすと値や形が変わるかを書く。空間の次元、単位の選び方、境界の条件、大きさの比、数え方など。
- 実際に動かす。別々の答えに分かれたら、動かしたものが分離子である。それを一文で言う。
- 分かれたものに、別々の札を付ける。
- 分かれなければ、同根の候補として残し、道筋や対応で確かめる。言えることと言えないことを分けて書く。
この手順は物理に限りません。「同じ言葉で呼ばれているが、本当に同じものか」と思ったら、どの分野でも使えます。AI に手伝ってもらうこともできます。私の論文のMCP サーバーには、この手順が「分離子で分ける」として入っています。
道具は空回りする
同じ道具を千回使えば、すり減ります。私は百本ごとに、自分の論文を機械で数える点呼をしています。分離子も、その検査にかけました。
論文600 では、501 番から 599 番で「同根」と答えた 39 本を読みました。30 本(0.769231)は、一つの式から出る二つの結果を同根と呼んでいました。同じ式から出るのですから、別根になりようがありません。判定になっていなかったのです。一方で、論文300 が恐れていた「数の一致だけ」の同根は、一本もありませんでした。
論文700 では、取り出せた 188 本の分離子を読みました。32 本(0.206452)は題名にある語だけでできていて、そのうち 28 本(0.875000)は題名の言い直しでした。「X は二つある」という題の論文の分離子が「X が二つに分かれること」では、何も分けていません。そこで、分離子には題名に無い語を一つは入れる、という決まりを足しました。
どこが働いていて、どこが空回りなのか、試してください。
一つずつ、ボタンで答えてください。
題名「質量は二つある」の論文の分離子:「質量が二つに分かれること」。
題名の言い直しです。何を動かすと分かれるのかを言っていません。
光速の数字と 137 の分離子:「単位を替えたときに、その数字が動くか動かないか」。
動かすものが名指しされていて、実際に片方だけが動きます。
「エネルギーと運動量は同じ式から出るので、同根である」。
同じ式から出ると決まっているものは、別根になりようがありません。判定になっていません。
「どちらも 12.566 になるので、二つの 4π は同根である」。
数の一致だけです。何も動かしていません。
二つの速さの分離子:「波の速さが波長によるかどうか」。
波長によらない所では二つが重なり、よる所では離れます。
似た考えと比べる
何かを動かして確かめる手順そのものは、私が発明したものではありません。科学のふつうの手順で、昔からいくつもの名前が付いています。並べると、分離子の席が見えます。
| 名前 | 動かすもの | 分かること | 分離子との違い |
|---|---|---|---|
| ミルの差異法と共変法(1843) | 条件の一つ | 原因の候補 | ミルは原因を探す。分離子は、二つが同じ物かを問う |
| 介入(パール) | 変数を外から固定する do(x) | 見ただけの相関か、因果か | 見ることと動かすことを分ける点が同じ。分離子は式や定数にも使う |
| 縮退を解く(ゼーマン 1896) | 磁場などの外からの力 | 同じエネルギーの状態が別物であること | 物理の中にある分離子そのもの |
| ライプニッツの法則 | 動かさず、性質を比べる | 性質がすべて同じなら同じ物、違う性質があれば別の物 | 違う性質を一つ見つければ足りる。分離子はその一つを名指す |
| 点を分離する関数(ストーン=ワイエルシュトラスの定理) | 関数の集まり | どの二点も見分けられるか | 見分ける道具が十分あるかを問う数学の条件 |
| 圏論の separator | 対象 S からの射 | 二つの射が等しいか | 名前も形も同じ。私の語は量の出どころを分けるために使う |
最後の行は、言葉まで同じです。圏論では、S からの射で比べて違いが出るなら別の射だと言える対象を separator と呼びます。二つの物を見分ける試験があれば別物と言える、という形は、数学の中にもともとありました。
どこまでが既知で、どこからが私の仕事か
- 既知のこと:条件を変えて結果を見るという手順、上の表の考え方、このページで使った物理と数学の事実(ゼーマン効果、位相速度と群速度、ガウスの法則など)。
- 論文で私が加えたこと:分離子という名前と、それを一文で言う形。論文ごとに分離子を書くという決まり(301 番からは全部の論文が持っています)。同根の判定の基準を五つ集めたこと(論文300)。それが働いているかを自分の数で点検し、決まりを直したこと(論文600・700)。一つ一つの組み分け(2 の点呼、光速と 137、「一つ少ない」など)。
- このページで新しく整理したこと:線が重なるか交わるかの絵、月と太陽の例、箱を振る図、数合わせの機械の形。式はどれも既知のものの並べ直しで、まだ論文にはしていません。
分離子が教えてくれるのは、二つが別物かどうかです。なぜその値なのかは教えてくれません。137 がなぜ 137 なのかに、私は答えを持っていません。新しい物理法則も主張しません。
体系の中で
2026 年 10 月末の時点で、私の論文は 1,103 本あります。参考文献を除いた本文で数えると、分離子は 949 本に 5,296 か所、別根は 543 本に 2,135 か所、同根は 387 本に 1,029 か所あります。分離子が最初に出るのは論文23 で、301 番からは一本の例外もありません。

論文300 を参考文献に挙げる論文は 372 本で、全体の 33.7 パーセントです。文献を一件ずつ読んで数えると、二位の論文95 の 85 本の 4.38 倍あります。

読むなら、次の順がおすすめです。
- 論文300「三百本目の点呼:同根か別根かは、判定できる」:判定の基準を集めた回。
- 論文56「4π パッチの構造的考察」:「数値的一致のみでは同根と見なさない」の定義。
- 論文100「王道の交差」:一語に複数の別根があるという規律。
- 論文16「等号にも別根がある」:等号を六つに分けた回。
- 論文157「二乗の点呼」:実験 2 のもとになった回。
- 論文600「第六百回の点呼」と論文700「第七百回の点呼」:道具そのものの点検。
- 論文1052「「一つ減る」は二つあり、片方は穴を数え、片方は次元を数える」。
- 論文1055「光速の数字が三億に近いのは、長さが十進で時間が六十進だからである」。
- 論文1056「微細構造定数は単位では動かず、エネルギーで動く」。
- 論文1058「「厳密」は二種類あり、片方は単位が決め、片方は連続変形が動かさない」。
同じ考えを別の題材で書いた読みものが note にあります。「同じ数でも、別の川から来ている」「4π は、一つの数ではない」「光の速度は、なぜあんな中途半端な数なのか?」「137 という数は、何なのか?」「単位は、誰が決めたのか?」です。
よくある質問
何と読むのですか?
分離子は「ぶんりし」です。原子や分子、因子と同じ読み方の「し」です。別根は「べっこん」、同根は「どうこん」です。
分類とは何が違うのですか?
分類は好きな軸で分けられます。分離子は、実際に動かして分かれた所にしか置けません。分かれなければ、その軸は分離子ではありません。
別根なら、関係が無いということですか?
いいえ。出どころが別というだけです。別根の二つが同じ場所で重なることには、それ自体に意味があることもあります。3 次元で 2 と 3 が同時に重なる話は、唯一性定理のページに書きました。
分離子が見つからなければ、同根ですか?
いいえ。見つからなかっただけです。同根の候補が残ります。同根と言うには、導出の道筋や対応を示します。
数の一致は、すべて偶然なのですか?
いいえ。バルマーの式のように、根が見つかる一致もあります。一致は調べる理由にはなりますが、同根の証拠にはなりません。
電池のセパレーターなどと関係がありますか?
ありません。「分離」は多くの分野で使う言葉で、英語の separator も同じです。このページの分離子は、同じに見える二つの出どころを分けるための言葉です。
論文と文献
論文はどれも CC BY 4.0 で公開しています。論文300 の記録は YOI の記録のページにあります。
このページで確かめた主な文献です。
- Mill, J. S. (1843). A System of Logic:差異法と共変法。
- Leibniz, G. W. (1686). Discours de métaphysique, 第 9 節:ライプニッツの法則のもとになった不可識別者同一の原理。
- Balmer, J. J. (1885)、Bohr, N. (1913):水素の光の線の式とその説明。
- Zeeman, P. (1896–1897):磁場による光の線の分裂。
- Eddington, A. S. (1946). Fundamental Theory:論文101 を通して。
- Pearl, J. (2000). Causality:介入と do の記法。
- nLab の項目 separator:圏論の separator(generator とも呼ばれます)。
- ストーン=ワイエルシュトラスの定理:点を分離する関数の集まり。
- ティティウス=ボーデの法則:海王星(1846 年発見)で外れたこと。
- 月のレーザー測距:月の遠ざかる速さ 38.30 ミリ/年。