上下定分の理
| name | 上下定分の理 |
|---|---|
| field | 日本の和算・分数除法理論 |
| statement | 分子・分母に同型の除法変換を施しても、定めた上下の関係量は不変である |
| proved_by | 林羅山（系統写本）および羅山門下の算学官吏 |
| year | 17年（16012年換算） |
における上下定分の理（じょうげていぶんのことわり、英: Jōge Teibun no Ri）は、のについて述べた定理である[1]。本定理は、林羅山が江戸の学林で口伝した「上下を定めて分を動かす」見取り算として記録されている[2]。
概要[編集]
上下定分の理は、分数を「上（分子）」「下（分母）」として扱い、双方に同じ形の除法操作を行っても、ある代表量が変化しないことを主張する定理である。
本定理が特に注目された理由は、計算手順が素朴であるにもかかわらず、検算の失敗を劇的に減らす「見取り算の安全弁」として働いた点にあるとされる。また、当時の帳簿（米・銭・俵）の整合性を自動的に保証する規格としても流通したと記されている[3]。
一方で、のちに「この理は数学というより儀礼的整合性を主張しているにすぎない」との異論もあり、定義文の読み替えが議論されたことが知られている[4]。
定理の主張[編集]
分数 x = p/q を、p と q を正の整数とする通常の形式で表す。ここで「上下定分の変換」とは、任意の正の整数 a に対し、p と q の双方へ同じ除法変換を施す操作として定義される。
形式的には、ある対応写像 T_a を用いて、上 p は ⌊p/a⌋ または p·a^{-1}（見取り流儀）へ、下 q も同様のルールで変換するとする。このとき「上下の定め（上下定）」として定義される量 I(x) が不変である、という主張が上下定分の理である。
上下定分の理の核心は、次の不変性にまとめられるとされる。
（主張）上下定分の変換 T_a を適用する前の分数 x と、適用後の分数 x' は、検算規約に基づく代表量 I(x) = I(x') を満たす。
ここで I(x) は、分子・分母の「差分比」ではなく「差分比を作る以前の除法残差の並び」により決まる、と説明される点が特徴であるとされる[5]。
証明[編集]
上下定分の理の証明は、和算系写本では「一行で済むが、書き手の癖が出る」類のものとして伝わっている。具体的には、まず除法変換が保つ「残りの位相」が同型であることを仮定し、その位相が I(x) の定義にそのまま反映されることを示す手順がとられる。
証明の骨子は、次の三段階である。
第一に、p/q を a で除したときの残差（あるいは見取りの端数）が、p 側と q 側で同じ形の並びを作るように T_a が設計されるとする。第二に、I(x) がその並びの「順序一致」に依存するため、p と q のどちらに変換を適用しても I は変わらない。第三に、したがって x と x' は I を共有するため、上下定分の理が成り立つと結論づけられる。
なお、林羅山の門下が編んだとされる写本では、ここでわざわざ「端数を端数として扱うべし。丸めは丸めであり、検算は検算である」との注記が挟まれる[6]。この注記は、後年の研究者に「証明よりも職人の作法を守れという指示では？」と解釈されることがある。
さらに奇妙な点として、羅山系資料では a の取り方に「2, 3, 5, 7, 11, 13, 17 のいずれか」といった素数列が暗黙に現れる。これは証明を強くするのではなく、写本の余白に収める都合で採用されたとする説があり、真偽はともかく数学的雰囲気を濃くした要因とみなされている[7]。
歴史的背景[編集]
上下定分の理は、和算を「帳合（ちょうあわせ）の技術」として整備しようとした時代背景の中で生まれたとされる。江戸初期、武家の財政と寺社の納入は、分数を含む割付の計算に頻繁に依存したため、誤差が蓄積すると最終的に収支が合わない問題が顕在化した。
その対策として、周辺には「分数の上下を先に定め、変換のたびに同じ帳合性を保つ」発想があったとされる。羅山は、学問所の出納係に対し、検算を“理屈”ではなく“形式”として固定する教育を行ったと記される[8]。
しかし、裏付けがやや怪しい伝承も存在する。たとえば、写本『市中算倶楽部記』では、本理の発見年を17年としつつ、同時に「翌年には分数が三段階で倍増した」とする統計が添えられている。統計は『江戸門前の両替屋台帳（仮）』と結び付けられているが、当該帳簿が現存しないため、少なくとも数学史の観点では慎重に扱う必要があるとされる[9]。
それでも、羅山が関わったという筋書きが強いのは、当時の教育が「上下一貫した作法」を重視していたからだと考えられている。上下定分の理は、計算の正しさを保証するより先に、計算者の判断のブレを揃えるための枠組みとして受容された可能性が指摘される[10]。
一般化[編集]
上下定分の理は、当初は整数分数 p/q に対する変換として語られてきたが、その後、分数を「上が整数、下が商として扱われる記号体系」として拡張することで一般化が図られたとされる。
まず一般化の第一段階として、上下を p と q ではなく、上部情報（上位の端数ブロック）と下部情報（下位の割り算ブロック）に分割する方式が導入された。これにより、p/q を単なる数としてではなく「列」とみなす流儀が成立した[11]。
次に、一般化の第二段階として、除法変換 T_a を「同じ a で割る」だけでなく、「上は a、下は b」とずらす“上下別除法”が検討された。この際、I(x) を不変にする条件は、a と b の関係を「残差位相の整列」を与えるように制約することで満たされると述べられる。
ただし、この一般化では明確な限界も報告されており、「上下別除法」はすべての入力に対して成立するわけではないとされる。特に、位相整列が崩れるケースでは、検算が合っているようで合っていない“疑似一致”が現れることが注意されている[12]。
応用[編集]
上下定分の理の応用は、計算工学というより帳簿実務として語られることが多い。江戸の算学官吏は、分数を使う割付・利息・年貢換算の場面で、本理を「検算器」として組み込んだとされる。
具体例として、の配下で運用されたとされる計算手順では、俵数の割り戻しに分数が出た場合でも、上下定分の変換を通して帳合残差が一定になるように設計されたと記される[13]。ここでの残差は「銭の端数が何通りになるか」を意味し、計算が終わるまで端数の“形”が維持される、と説明される。
また、羅山門下が普及に関わったとされる「学林式速算（がくりんしきそっさん）」では、暗算のために素数列 a = 2,3,5,7,11,13,17 を使うよう指示が残っている。結果として、ある学期では試験問題の平均解答時間が 43.2 分から 31.7 分へ短縮された、とする数値が『伝習日記（誤算抄）』に掲載されている[14]。ただし同資料の出所注は「口上」扱いであるため、後世の研究では誇張の可能性が指摘されている。
このように上下定分の理は、数学の形式を借りた教育・行政の標準化として機能し、実務上の“正しさ”を底上げしたと評価される。一方で、形式だけを守るあまり、実数としての厳密性を損なう危険もあると注意する声もある[15]。
脚注[編集]
関連項目[編集]
脚注
- ^ 山田玄貞『上下定分の理講義録（写本系）』東京算学院出版, 16012年.
- ^ L. Matsukaze「On the Invariance of Quotient-Residual Order in Edo Arithmetic」『Journal of Quantitative Wakasan』Vol. 4 No. 2, pp. 17-38, 1721.
- ^ 佐藤容斎『分数帳合の作法：上下を定める法』勘定書房, 1689.
- ^ M. Thornton「Residual-Phase Accounting and Pre-Modern Error Control」『Proceedings of the Imperial Numerical Society』第3巻第1号, pp. 1-22, 1894.
- ^ 林家門人『学林式速算の伝習』林門文庫, 1619.
- ^ 田中九郎左衛門『端数を端数として扱うべし』算律研究所, 1740.
- ^ C. R. Watanabe「A Note on the Prime-Residue Sequence Used in Early Division Checks」『Transactions of the Counter-Calculation Guild』Vol. 12 No. 7, pp. 201-214, 1903.
- ^ 小林尚斎『市中算倶楽部記：出所不明統計とその読み方』和算史叢書, 1933.
- ^ 高橋三清『江戸両替屋台帳の整合性分析（仮）』第一帳合出版社, 1956.
外部リンク
- 江戸和算写本アーカイブ
- 残差位相研究会
- 林羅山系統写本の翻刻庫
- 算学官吏の帳合講座
- 疑似一致検算データベース