部分分数分解
| 定理名 | 部分分数分解 |
|---|---|
| 分野名 | 制限付き有理分解学 |
| 定理文 | 任意の制約付き有理分数は、指定された“秩序”に従って部分分数の束として一意に分解できる |
| 証明者 | 渡辺 精一郎（わたなべ せいいちろう） |
| 成立年 | 1673年 |
における部分分数分解（ぶぶんぶんすうぶんかい、英: partial fraction decomposition）は、のについて述べた定理である[1]。
概要[編集]
は、制限付き有理分解学の中心命題とされる定理である。ここでいう分解とは、単に分数を“細かく割る”行為ではなく、同じ分母構造を持つ項どうしが衝突しないように並べ替え、さらに符号の流れ（後述する“秩序”）を保ったまま表現することを指す。
本定理は、を構成する分子・分母の構造を、として読み替えたうえで、対応する部分表現へと“写像”することによって成立するとされる。そのため、計算手順はしばしば規則的であるにもかかわらず、入力の細部（次数の大小、重複根の扱い、許可される置換の範囲）によって、見かけ上の答えの形が大きく変化する点が特徴である。
この定理が注目されたのは、学術的な面白さだけでなく、の商取引帳簿が抱えた「同一項の再集計不能問題」を、一定の“秩序”を設けることで機械的に解けるようにしたためであると説明される[2]。なお、細部に頓着しない流派では、秩序条件を省略した結果として、分解が“複数解”として見えることがあったとも指摘されている。
定理の主張[編集]
任意のR(x)を考える。R(x)は、分子多項式f(x)と分母多項式g(x)から成り、さらに「秩序札」と呼ばれる追加条件を満たすと定義される。秩序札とは、g(x)の既約分解における各因子の“優先順”を、に基づいて整数の札番号として割り当てる制度である[3]。
このときの条件の下で、R(x)は次の形を満たすと主張される。すなわち、g(x)が因子化されて得られる各ブロックに対応して、R(x)は部分分数の束の和として表され、各部分は指定された“秩序”のもとで一意に定まる。
より具体的には、g(x)の因子のうち、重複度が以上である因子に対しては、通常の部分分数項ではなく「秩序微分札」なる補助系列が割り当てられる。その結果、分解は“項数”としては増えるのに、再集計における衝突は起きないとされる。実際、検算のための合計誤差が、計算尺上では最大でも銭に抑えられたとする報告が残る[4]。
証明[編集]
証明は、まずへの読み替えから始める。g(x)の根αを、重複度ごとに層状に並べ替え、さらに各層をの番号に従って整列するとする。ここで重要なのは、ただの並べ替えではなく「符号の向き」を含むことにある。
次に、写像ϕを導入し、R(x)の分子f(x)を、秩序札に従って“座標”へと変換する。すると分解に必要な係数群は、の解として与えられると示される。行列の寸法は、因子の種類数kに対しで与えられるとされるが、秩序微分札を使う場合には一部のブロックが“見えない行”として圧縮され、実計算では相当に短縮されるとも書かれている[5]。
最後に一意性を示すため、同じ秩序札を満たす二つの分解があったと仮定する。その差は、全ての部分分数項に対応する係数が消える条件を満たすが、秩序札があるために“消えるはずのない方向”が残る。この残差が零であることが、によって導かれ、矛盾が得られるとされる。証明は渡辺精一郎によって「証明された」と記録され、写本では欄外に「計算尺の先端は1.7mmだけ長いとよい」との注記まで残る[6]。
歴史的背景[編集]
が定理として定式化される以前、分解は職人芸として扱われていた。特にの計算工房では、帳簿が肥大化するほど同一因子が再出現し、手作業の途中で項の並び順が変わってしまい、最終的に“計算が合わない”事件が起きていたとされる。
転機はの再集計局（正式名称: 江戸再集計局 札順改正課）による仕様策定にあると説明される。仕様策定では、因子化の順序を人間の気分で決めないために、秩序札番号を暦級数から割り当てる方法が採用された。渡辺精一郎は、この制度を数学的に“壊れない順序”として扱えることを見いだし、翌年に論文ではなく「札順記録冊」として提出したとされる[7]。
ただし当初から異論もあった。一部の流派は、重複度三以上の因子に秩序微分札を導入することが恣意的だと批判し、代替の“自由分解”を提案した。その結果、同じR(x)でも複数の分解が生じるように見えるケースが報告され、後に「秩序札を省略した自由分解は、監査の現場では使えない」などの実務的結論へと繋がったとされる。
一般化[編集]
本定理は当初、有理分数に限定されていたが、その後やへと拡張されたとされる。これらの一般化では、分母の因子を“完全に”ではなく“準完全に”分解することを許し、秩序札は補間された形で与えられる。
また、秩序微分札の扱いも一般化された。例えば重複度が二の場合は通常の微分札で足りるが、重複度が四以上になると、秩序微分札の系列がに増え、係数行列の構造がチェス盤状に変わると報告された[8]。この説明は、数学史上では“視覚化しすぎ”として笑われることもあるが、実務計算の速度向上に寄与したという評価が残っている。
さらに近年の解釈では、秩序札を整数から“分数札”へ拡張し、札番号を単位で刻む流派も現れた。ただしその場合、分解が一意でなくなる境界が現れるため、適用可能領域を明示する必要があるとされる。
応用[編集]
は、解析学一般というよりも、と結びついた応用で有名である。江戸再集計局の実務では、取引の割引率が分母に現れることが多く、有理形に近い表現へ落とし込んでから分解し、再集計を容易にする手順が採用されたとされる。
特に応用例として挙げられるのが、の米市場における「夜間相場の差分整合」である。記録によれば、夜間相場データは本来連続値であるが、秩序札によって段階化した結果、翌日昼の再計算が回分の誤差補正で収束したとされた[9]。この“9.5”は実測に基づくという説明が添えられているが、写本では「0.5は筆者の癖」とも注記されている。
また、理論面ではの内部で、分解係数の変動がとして数値化された。指数がを超えると、帳簿検算の作業時間が急増すると経験則として語られ、分解前の設計（秩序札の選定）に影響を与えたとされる。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精一郎『札順記録冊: 部分分数分解の秩序論』江戸再集計局出版部, 1673年.
- ^ ハリエット・スローン『Ordered Rational Splitting and Its Administrative Consequences』Cambridge Academic Press, 1891年.
- ^ 佐藤彰『計算帳簿理論と有理形への還元』河内書房, 1904年.
- ^ 田中榮之助『重複度層と秩序微分札の幾何』東京測量学会紀要, 第12巻第3号, pp. 41-73, 1922年.
- ^ A. W. Halvorsen『Matrices that Refuse to Collide』Vol. 3, No. 2, pp. 10-59, 1958年.
- ^ リュシアン・マルタン『暦級数写像と分解の一意性』Revue des Études de Calcul, 第7巻第1号, pp. 201-246, 1976年.
- ^ 黒川道雄『擬似有理域における分数札の補間』日本数理史研究会論文集, 第2巻第4号, pp. 88-103, 1989年.
- ^ 中村凛『監査整合性指数の経験則: 札順改正課の残した帳簿』大阪経済数学研究所叢書, 第9巻第1号, pp. 1-33, 2001年.
- ^ P. R. Okafor『From Clerks to Calculus: The Hidden Symmetry of Rational Decomposition』London Institute of Abstract Works, 2013年.
- ^ 要出典『部分分数分解のすべて』架空出版社, 2019年.
外部リンク
- 秩序札アーカイブ
- 江戸再集計局 札順資料室
- 制限付き有理分解学ポータル
- 線形関係行列の作法
- 監査整合性指数 データ倉庫