角の三等分線の作図定理
| name | 角の三等分線の作図定理 |
|---|---|
| field | 架空幾何学（作図幾何） |
| statement | 特定の定規・コンパス拡張（『逆回転定規』）を許すと、任意の角の三等分線が作図できる。 |
| proved_by | 渡辺精密郎（わたなべ せいみつろう） |
| year | 1763年 |
における角の三等分線の作図定理（よみ、英: Angle Trisector Construction Theorem）は、としての角とそのについて述べた定理である[1]。
概要[編集]
は、角を三等分する直線（以下、三等分線）を作図するための条件を与える定理である。
この定理の特徴は、通常の定規・コンパスだけでは「一見できそうでできない」問題に対し、架空の補助具を導入する点にある。逆回転定規は、ある点のまわりに“局所的に逆方向へ”回転するような測定を可能にし、結果として三等分線の座標関係が整列するとされる。
なお本記事では、歴史的にこの定理が「作図職人の事故報告」を起源に成立したものとして記述する。実際の幾何学史とは異なる語り口であるが、という観点では一貫性が維持される。
定理の主張[編集]
三等分線を作図するため、角 ∠BAC を受け取り、頂点 A、辺 AB と AC をもつものとする。ここで、角は半径 1 の正円弧上でパラメータ化できるとみなし、円弧上の点を {P(t) | t∈[0,2π)} とする。
は次を主張する。すなわち、角 ∠BAC が「逆回転整合条件」を満たす場合、逆回転定規とコンパスのみで、三等分線（AD1, AD2）を作図できる。逆回転整合条件とは、円弧上における t 値の差が 2π/3 に一致するのではなく、代わりに“逆回転補正量”として Δ=2π/(3·(1+1/41)) を含む形で整列することをいう。
さらに、補助具の使用回数が「合計 17 回以下」で済むとき、作図は（第1段階：測線化、第2段階：逆回転写像、第3段階：交点化）により一意に決定されるとされる。
証明[編集]
定理の証明は、まず角 ∠BAC を、半径 1 の円弧上の弦の対応に置き換えることで開始される。具体的には、三等分線を直接求めるのではなく、弦 AB' と AC' の間にできる「弦差比」が 1:1:1 に収束することを狙う。
次に、逆回転定規を用いて、円弧上の点 P(t) を P(t−Δ) へ写像する操作を行う。このとき Δ は前節の逆回転補正量であり、Δ を仮定すると、弦差比が（厳密には）1:1:（1+1/41）に分裂するが、第2段階で写像を重ねることで（分裂が相殺され）再び等比に戻ると示されたとされる。
最後に、交点化によって三等分線 AD1 と AD2 を定義する。証明の結論は、作図手順が「逆回転操作 11 回＋交点操作 6 回」の合計 17 回で完了し、AD1, AD2 が ∠BAC を 3 等分する性質を満たすことにより得られると整理される。なおこの段階では、角度の差が理論上は 0 であることが示される一方、実測誤差が 0.0007 ラジアン以内に収まるとする付録が付され、職人から驚かれたという逸話が残されている[2]。
歴史的背景[編集]
の成立には、18世紀半ばの測量行政と町工場の結びつきが影響したと語られている。とくに、の外縁測量で用いられた“直角でしか役に立たない”補助具が原因となり、斜線分割で帳簿が崩れる事故が頻発したとされる。
物語によれば、測量局に勤める渡辺精密郎が、（当時の測量中枢が置かれていたとされる）で「角の三等分が必要だが、作図が途中で止まる」苦情を受けたことが発端とされる。渡辺は町の定規職人らと協議し、逆方向の回転を“定規の目盛の癖”として再現するを試作した。
また、手順書が初めてまとめられた文書は、7年の算術帳（第 41 項に補正量 1/41 が記されたという）として引用されることが多い。近年の編者は「1/41という分数が、当時の工具のねじれ周期から逆算されたのではないか」と推定している。ただし、初出文献の判読は一部に欠けがあり、の注記が付けられた箇所がある[3]。
一般化[編集]
この定理は、角 ∠BAC が通常の平面角であることを前提に据えつつ、より広い一般化へ拡張できるとされる。
まず、角の頂点 A を固定したまま、辺 AB と AC の長さを独立に変える「長さ可変角」が定義される。長さ可変角では、弦差比の収束が直接的には保証されないため、逆回転補正量 Δ の係数が 1/41 に限らず、別の整合因子 κ を含む形へ一般化されるとされる。
さらに、交点化の段階で得られる三等分線が、作図環境に依存して入れ替わる可能性が議論される。具体的には、整合三段階のうち第2段階の写像順序を入れ替えると、AD1 と AD2 が反転する。これが「三等分の順序対称性」と呼ばれ、代替手順としての使用回数が 17 回から 19 回へ増える代わりに実装が容易になると報告されている。
応用[編集]
は、理論的には作図可能性を説明するものであるが、工学的には“測量の再現性”に結びつく応用が多いとされる。
例えば江戸期の港湾測量では、周辺の干潟線を角度で分割し、航路図の更新を迅速化する試みがあったとされる。渡辺精密郎の弟子であるとされる青木儀右衛門は、三等分線の交点を基準点として、測量誤差が「平均 0.13 尺、分散 0.0042 尺^2」に抑えられたと報告したという[4]。
また、現代風に言い換えるなら、定理は「三方向への整列」を安定化する幾何操作として工夫され、架空の建築部材の切り出しガイド（直線ではなく三等分線を基準にする治具）が作られたと記録されている。なお、この応用の一部は後世の講談師によって誇張された可能性があるが、少なくとも町で話題になった事実として扱われることが多い。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精密郎『逆回転定規と三等分線の作図法』山海書房, 1763年.
- ^ Margaret A. Thornton『Constructions under Local Antirotation Schemes』Journal of Applied Imaginary Geometry, Vol. 12 No. 3, pp. 41-78, 1998.
- ^ 佐藤貞次『江戸外縁測量における角分割の実務』東京測量協会紀要, 第4巻第1号, pp. 9-33, 1821.
- ^ 青木儀右衛門『品川干潟線と三等分点の整合』波止場文庫, 第41号, pp. 101-126, 1790.
- ^ L. van der Auer『Notes on Chord-Difference Ratios in Planar Constructions』Proceedings of the International Society for Unlikely Geometry, Vol. 7, pp. 1-22, 2007.
- ^ 田中岑一『整合三段階の工程設計（架空版）』作図技術叢書, 第2巻, pp. 55-96, 1865.
- ^ 伊東篤志『長さ可変角の一般化とκ係数の同定』数学史研究会報, 第18巻第2号, pp. 201-244, 1912.
- ^ Katherine R. Morita『Order Symmetry in Triadic Line Constructions』Annals of Construction Theory, Vol. 33 No. 1, pp. 7-30, 2015.
- ^ Watanabe Seimitsurō『Reverse Rotation Rulebook (for craftsmen)』Kikakusha Press, pp. 13-20, 1763.
- ^ 高橋正春『角分割の真偽：三等分線の作図をめぐる誤差の伝承』誤差学会出版社, 第3巻, pp. 77-88, 1944.
外部リンク
- 作図工房アーカイブ
- 江戸測量史データベース
- Imaginary Geometry Wiki（私設）
- 逆回転定規の展示案内
- 弦差比研究センター