インディアナ州円周率法案

出典: フリー百科事典『ウィキペディア（Wikipedia）』

インディアナ州円周率法案（インディアナしゅうえんしゅうりつほうあん、Indiana Pi Bill）は、1897年インディアナ州議会本会議の246号議案の通称。間違った法令で科学的な真理を決定しようとしたことで歴史的に有名である。

インディアナ州円周率法案という通称で知られているこの法案の趣旨は、円積問題（与えられた円と同じ面積の正方形を定規とコンパスだけで作図せよという問題）の解法であって、円周率の値を定めるものではない。ただし、この法案は円周率を3.2という間違った値に勝手に決める内容を含んでいる。

円積問題が不可能であることは古代から疑問視されてきたが、法案以前の1882年にフェルディナント・フォン・リンデマンによってによって証明されており、また円周率の値のより適切な近似値は古代から知られていた。

この法案は、たまたまその場に居合わせたある数学教授の素早い対処によって、可決されることはなかった。

なお、この法案が円周率の値をある誤った数字（3といわれることが多い）に定める法案であると言われることがあるが、それは誤りである。

[編集] 経緯

1897年、インディアナ州のエドワード・J・グッドウィンと言う外科医・アマチュア数学者が、円積問題の正しい解法を発見したと主張した。彼はインディアナ州議会議員T・I・レコードに法案を提示し、レコードは議会にこの法案を提出した。その題名は、「新しい数学の真理の提示、および同件を1897年法令により公的に承認された場合インディアナ州に限って教育に無償で提供する法令案」であった。

この法案は数学的な主張（後述）を含んでおり、その後ろに次のようなグッドウィンの以前の成果が並べられている。

「角の三等分、立方体の倍積、円の平方化に関する彼の解はアメリカ数学月報により既に科学への貢献であることが認められており、……これらの問題は多くの研究者によって解決不能なミステリーであるものとして長く諦められていたこと、及び同氏の知力を記念すべきである。」

こうした間違った主張は、数学分野のトンデモ系に典型的なものである。角の三等分と立方体の倍積は、トンデモ作品ではありふれている。

インディアナ州議会はスワンプランド地区委員会（文献によってはカナル地区委員会とするものもある）に照会した。委員会はこれを教育委員会に転送したが、そこからは好意的な回答が返ってきたので、この法案は満場一致で可決された。

グッドウィンがこの発見を著作権で保護していたことについて議論があったが、公立学校での利用については無償にすると提案されていた。この議論が決着したとき、パーデュー大学の教授C・A・ウォルドゥがインディアナ科学アカデミーのための年間予算割り当ての確保のためにインディアナポリスにやってきた。ある議員が彼に議案を渡し、これを書いた天才を紹介しようと申し出たが、教授はもう何人もそういったイカレた人物を知っていると述べて断った。

インディアナ州上院はまだ最終的に議案を通していなかったので、教授は徹夜で十分な数の上院議員に講義をし、この議案を無期限延期するよう求めた。

[編集] 円周率の近似値

この法案は円周率法案として知られることとなったが、本文には円周率については全く言及されていない。

グッドウィンは、円周と直径の比は、彼の本来の目標に比べたら明らかに副次的なものとして考えたようだ。しかし第二章の終わりごろには次のような文が出てくる。

「さらに、それは90度の弦と弧の比率が7対8であり、正方形の対角線と一辺の比率が10対7であることが明らかになった。これは、直径と円周の比率は4分の5対4であるという第4の重要な事実を示す。」

これは、円周率が 4/1.25 = 3.2 であり、ルート2が 10/7 = 1.429 であると明確に主張しているにほぼ等しい。この部分はしばしば、3つの相互に相容れない主張と解釈されるが、このルート2に関する記述を、半径を一辺とする（90度の弦を対角線とする）正方形ではなく、内接する（円の直径を対角線とする）正方形に関してであると解釈するならば、3つがよく整合する。

これらを合わせると、直径10の円では円周が32、90度の弦の長さは7となる。7および32という数値はどちらも、直径10の円に関する真の長さの数パーセント以内にある（もちろん、これがグッドウィンの正しさを正当化するものではない)。

[編集] 円の面積

グッドウィンの本来の目標は、円周の長さを測定することではなく、円を四角にすることだった。彼はそれを文字通りに円と同じ面積を持つ正方形を見つけることだと解釈した。彼は、アルキメデスの円の面積の公式（直径に円周の4分の1を掛けること）が円を四角にする古代の問題の解決策にならないことを知っていた。これは、その問題がコンパスと定規だけを使用してその面積を作図することであって、アルキメデスは円周と同じ長さの直線を作図する方法を与えなかったからなのであるが、グッドウィンはこの重要な必要事項に明らかに気づいていなかった。つまり彼は、アルキメデスの公式に関する問題とはそれが間違った結果を与えることであって円積問題はそれを「正しい」公式に置き換えれば解けるものと信じていたのである。

問題の法案では、彼は議論なしに独自の方法を提案した。

「ある等辺長方形の面積は、一辺の平方であるから、円の面積は、その四分円の弧と等しい長さの一辺を持つ正方形の面積に等しいことがわかった。」

「等辺長方形」が正方形以外の何かであることはありえないので、これは無意味な言辞に見える。恐らくグッドウィンは、幾何学的図形としての正方形 square と、自分自身を掛けるという意味の「平方 square」を区別したかったのだと思われる。

しかしながら、法案の残りの部分では、単に円の面積は同じ長さの外周を持つ正方形の面積と同じであるという主張であることが明らかになる。例えば、上記の引用の直後に、法案は次のように述べている。

「円の面積の計算で用いられる現在の法則において、直径を線形の単位として用いるのは完全に間違っている。円の面積を、その外周が円周の1と5分の1倍に等しい正方形の面積で代表しているためである。」

上記のモデル円では、（グッドウィンの円周と直径の値を正しいとすると）アルキメデスの公式による面積は80になる。しかし、グッドウィンが提案した法則によれば、面積は64になる。さらに、80は80の5分の1だけ64を上回っている。

そして、グッドウィンは、80 = 64 × (1 + 1/5) と、64 = 80 × (1 − 1/5) を混同しているように見える。この近似は 1/5 よりずっと小さい値でのみ正しい。

グッドウィンの法則によって計算される面積は、真の円の面積の π/4 倍である。このため、円周率法案に関する多くの記事で円周率を4と主張したものと解釈されている。しかしながら、グッドウィンがそのような要求をするつもりだった証拠は法案の中には無い。むしろ逆に彼は、円の面積がその直径と何らかの関連を持っていることを繰り返し否定している。

面積の相対誤差 1 − π/4 は、約21パーセントになる。これは前の節で述べたモデル円の長さの近似よりさらに深刻である。グッドウィンがなぜ彼の法則が正しいと信じたのかは分からない。一般的に、外周の長さが等しい図形は面積も等しいわけではない。高さと幅が同じくらいの図形と、長くて薄い図形を比較すれば分かりやすい。恐らくグッドウィンは、（円や正方形のように）高さと幅が等しい限りは、円周が等しければ面積も等しくなると誤って結論付けたのであろうといわれている。