ジョン・ウォリスのソースを表示

{{別人|x1=アメリカ合衆国下院議員の|ジョン・マーティン・ヴォリス}}
{{Infobox Scientist
|name = ジョン・ウォリス
|image = John Wallis by Sir Godfrey Kneller, Bt.jpg
|image_width = 200px
|caption = John Wallis
|birth_date = [[1616年]][[11月23日]]
|birth_place = {{ENG927}}、[[ケント (イングランド)|ケント]]、{{仮リンク|アシュフォード (ケント)|en|Ashford, Kent}}
|death_date = [[1703年]][[10月28日]]（満86歳）
|death_place = {{ENG927}}、[[オックスフォードシャー]]、[[オックスフォード]]
|residence = {{ENG927}}
|nationality = {{ENG}}
|field = [[数学]]
|work_institutions = [[ケンブリッジ大学]]{{仮リンク|ザ・クイーンズ・カレッジ|en|The Queen's College, Oxford|
}}<br />[[オックスフォード大学]]
|alma_mater = ケンブリッジ大学[[エマニュエル・カレッジ]]
|doctoral_advisor = [[ウィリアム・オートレッド]]
|doctoral_students = [[ウィリアム・ブラウンカー]]
|known_for = [[ウォリス積]]<br />[[無限|無限大を表す記号 ∞]] 
}}
'''ジョン・ウォリス'''（John Wallis、[[1616年]][[11月23日]] - [[1703年]][[10月28日]]）は、[[イングランド]]の[[数学者]]で、[[微分積分学]]への貢献で知られている。1643年から1689年まで[[イギリスの議会|イングランド議会]]（後には王宮）に[[暗号理論|暗号研究者]]として雇われた。また、[[無限|無限大]]記号の「[[∞]]」を導入したのもウォリスであるとされている。

== 生涯 ==
[[ケント (イングランド)|ケント]]州[[アシュフォード (ケント)|アシュフォード]]で、5人兄弟の3番目として生まれた。アシュフォードの学校に通っていたが、[[ペスト]]が流行したことから1625年にテンターデンの学校に転校した。1631年、フェルステッドの学校で数学と出会った。ウォリスは数学が気に入ったが、当時の数学は学問としては不十分であり、機械的な計算に重きを置いていた<ref>Scriba, C J, 1970, "The autobiography of John Wallis, F.R.S.," ''Notes and Records Roy. Soc. London'' '''25''': 17-46.</ref>。

医者になることを周囲に望まれ、1632年に[[ケンブリッジ大学]]エマニュエル・カレッジに入学<ref>{{Venn
|id = WLS632J
|name = Wallys, John
}}</ref>。そこで当時議論の的でもあった[[循環器|血の循環]]の学説を学んだ。しかし、彼の興味の中心は数学にあった。1637年に学士号、1640年に修士号を取得し、その後聖職に就いた。1643年から1649年、[[ウェストミンスター会議]]で議決権のない筆記者を務めた。1644年、[[ケンブリッジ大学]]クイーンズ・カレッジのフェローに選ばれたが、1645年3月14日に結婚した後、辞任しなければならなくなった。

このころ、フェルステッドの学校との関わりから議会派と親交があった。ウォリスは議会派が王党派の暗号文書を解読するにあたって、多大な技術的支援をしている。当時の暗号の出来は玉石混交だった。[[フランソワ・ビエト]]のように暗号研究で成功を収めた数学者はいたが、暗号設計や暗号解読法の理論的基盤はまだ確立していなかった。現代のように[[鍵 (暗号)|鍵]]を基盤とした体系的なものとは異なり、多くの暗号は場当たり的に作られ、秘密の[[アルゴリズム]]を採用していた。ウォリスは鍵を使った暗号がより安全だと気づき、それらを「解読不能」と評したが、そのようなアルゴリズムを奨励するほどの自信はなかった。また、海外勢力の暗号の使用に懸念を持ち、例えば1697年に[[ゴットフリート・ライプニッツ]]に[[ハノーファー]]からの留学生に暗号理論を教えるよう要請され、それを断っている。

1643年 [[:en:St Gabriel Fenchurch|St Gabriel Fenchurch]] で[[チャプレン]]となっていたが、[[ロンドン]]に戻ると後に[[王立協会]]設立の母体となる科学者のグループに参加した。1647年、数週間かけて[[ウィリアム・オートレッド]]の ''Clavis Mathematicae'' をマスターし、ついに数学への関心を満足させた。すぐに独自の論文を書き始めた。それは様々な主題を扱い、生涯書き続けることになった。1663年、[[王立協会]]フェローに選出された<ref>{{FRS
|code = NA7472
|title = Wallis; John (1616 - 1703); Mathematician
|accessdate = 2012年5月20日
}}</ref>。

ウォリスは[[チャールズ1世 (イングランド王)|チャールズ1世]]の処刑に反対する穏健な長老派に与し、独立派に長く恨まれることになった。独立派の反対にもかかわらず、ウォリスは1649年に[[オックスフォード大学]]の [[:en:Savilian Professor of Geometry|Savilian Chair of Geometry]]（数学の教授職）に選任され、1703年10月28日に亡くなるまでその職にあった。数学以外にも、[[神学]]、[[論理学]]、英文法、[[哲学]]についての著作もあり、聾唖者への教育方法の確立にも関与した。なお聾唖者の教育については、ウィリアム・ホルダーが聾唖者に明朗な話し方を教えるという功績を上げており<ref>W. Holder, ‘Of an experiment, concerning deafness’,Philosophical Transactions of the Royal Society3 (1668), 665–8</ref>、ホルダーはウォリスが他人の功績を横取りしたとして非難している<ref>Holder,PTRS Supplement, 10</ref>。

== 数学 ==
[[File:Wallis - Opera mathematica, 1699 - 4760514 980122 3 00541.tif|thumb|''Opera mathematica'', 1699]]
ウォリスは、[[三角法]]、[[微分積分学]]、[[幾何学]]、[[級数]]の解析などで多大な貢献をしている。著作の ''Opera Mathematica'' I (1695) では "continued fraction"（[[連分数]]）という用語を生み出している。

今では当たり前となっている負数が [[0]] より小さいという考え方をウォリスは不合理だとして拒絶し、スイス人数学者[[レオンハルト・オイラー]]と同様に負数は無限大より大きいという見方を支持した。負数が無限大より大きいという考え方は、''x'' を正の大きな数から 0 に近づけていくと {{sfrac|1|''x''}} の値が無限大になることを根拠としている。それにもかかわらず、負数を左、正数を右に描く[[数直線]]の考え方はウォリスが考案したとされている。

=== 解析幾何学 ===
1655年、ウォリスは[[円錐曲線]]について解析的に定義した論文を発表している。これは円錐曲線を二次曲線として定義した最初の論文である。これは、[[ルネ・デカルト]]の[[解析幾何学]]についての業績の難しさと不明瞭さを解明する助けとなった。

=== 積分法 ===
ウォリスの最も重要な著作 ''Arithmetica Infinitorum'' は1656年に出版された。この論文はデカルトと[[ボナヴェントゥーラ・カヴァリエーリ|カヴァリエーリ]]の解析的手法を体系化して拡張したものである。円錐曲線についての節の後、べき乗の標準的記法を[[自然数]]から[[有理数]]に次のように拡張している。
:<math>x^0 =1,\ x^{-1} =\frac{1}{x} ,\ x^{-2} =\frac{1}{x^2} ,\text{ etc.}</math>
:<math>x^{1/2} =\text{ square root of }x,\ x^{2/3} =\text{ cube root of }x^2, \text{ etc.}</math>
:<math>x^{1/n} =n\text{th root of }x.</math>
:<math>x^{p/q} =q\text{th root of }x^p.</math>
この記法の様々な代数的応用を示した後、[[積分法]]に主題を移し、''y'' = ''x{{sup|m}}'' という曲線と ''x'' 軸と ''x'' = ''h'' という垂線に囲まれた部分の面積が、底辺と高さが同じ平行四辺形の面積に対してこの領域の面積が常に {{sfrac|1|''m'' + 1}} という比率であることを証明している。彼は明らかに、''y'' = ''ax{{sup|m}}'' という曲線についても同じことが成り立つと見なしていた（''a'' は任意の定数、''m'' は任意の正または負の数）。しかし、彼が論じたのは ''m'' = 2 の場合と ''m'' = &minus;1 の場合だけで、後者についての彼の解釈は間違っている。そしてウォリスは次の形式の任意の曲線に同様の結果が得られる可能性があるとした。
:<math>y=\sum_m ax^m.</math> 
したがって、曲線の''y''座標が ''x'' の様々なべき乗に展開できれば、それも同様に扱えると考えた。つまり例えば、ある曲線の式が ''y'' = ''x''{{sup|0}} + ''x''{{sup|1}} + ''x''{{sup|2}} + … と表される場合、その面積は ''x'' + x{{sup|2}}/2 + ''x''{{sup|3}}/3 + … になるとした。次に ''y'' = (''x'' &minus; ''x''{{sup|2}}){{sup|0}}, ''y'' = (''x'' &minus; ''x''{{sup|2}}){{sup|1}}, ''y'' = (''x'' &minus; ''x''{{sup|2}}){{sup|2}} といった曲線の[[数値積分]]にこれを適用し、''x'' = 0 から ''x'' = 1 までの部分を計算し、それぞれ 1, {{sfrac|1|6}}, {{sfrac|1|30}}, {{sfrac|1|140}} などと求めている。次に ''y'' = ''x''{{sup|1/''m''}} という曲線を検討し、この曲線と ''x'' = 0 と ''x'' = 1 で囲まれた部分の面積が同じ底辺と高さの三角形の面積と ''m'' : ''m'' + 1 の比率だという定理を導いた。これは次の計算と等価である。
:<math>\int_0^1 x^{1/m} \, dx.</math>
彼は ''m'' = 2 の場合について放物線を使って詳述している。続いて ''y'' = ''x''{{sup|''p''/''q''}} という形の曲線を論じているが、証明はしていない。

ウォリスは上述の曲線の方程式を一般化するに当たって、かなりの巧妙さを見せている。しかし彼は[[二項定理]]を知らず、<math>y=\sqrt{1-x^2}</math> という式を ''x'' のべき乗の多項式に展開できなかったため、[[円積問題|円の求積]]ができなかった。そこで彼は[[内挿]]の原理を使った。円の式 <math>y=\sqrt{1-x^2}</math> と座標軸で囲まれる部分の面積は、<math>y=(1-x^2)^0</math> と <math>y=(1-x^2)^1</math> という曲線の幾何平均であるため、部分円の面積 <math>\int_0^1 \sqrt{1-x^2} \, dx=\pi/4</math> は、次の2つの値の幾何平均で近似できると考えた。
:<math>\int_0^1 (1-x^2 )^0 \, dx\text{ and } \int_0^1 (1-x^2 )^1 \, dx.</math>
これらの値はそれぞれ 1 と {{sfrac|2|3}} であり、その幾何平均は {{π}} を <math>4\sqrt{\tfrac{2}{3}} =3.26\cdots</math> とした場合と等価である。しかし、ウォリスは 1, {{sfrac|1|6}}, {{sfrac|1|30}}, {{sfrac|1|140}}, … という級数が実際に得られているのだから、1 と {{sfrac|1|6}} の間で内挿される項はこの級数の法則に従うはずだと考えた。この精巧な手法をここで詳述することはできないが、内挿した項の値は次のような式と等価となる。
:<math>\frac{\pi}{2} =\frac21\cdot\frac23\cdot\frac43\cdot\frac45\cdot\frac65\cdot\frac67\cdots.</math>
これが[[ウォリス積]]として知られている。

この著作では[[連分数]]についても論じている。

数年後の1659年、ウォリスは[[ブレーズ・パスカル]]の提案した[[サイクロイド]]についての問題の解を含む論文を発表している。その中で ''Arithmetica Infinitorum'' で展開した理論を代数曲線の求長法に使う方法を説明している。そこで ''x''{{sup|3}} = ''ay''{{sup|2}} という曲線の長さを求めてみせている。この解法は1657年に弟子の[[ウィリアム・ニール]]が発見した。それまで楕円や双曲線の長さを求める試みは全て失敗していたため、曲線の長さは求めることができないとされ、特にデカルトはそのように主張していた。円以外の曲線では[[対数螺旋]]の長さを[[エヴァンジェリスタ・トリチェリ]]が既に求めていたが、ニールとウォリスが代数曲線にまでそれを拡張したのは画期的だった。サイクロイドの長さは1658年に[[クリストファー・レン]]が求めている。

=== 物体の衝突 ===
1668年、[[王立協会]]は数学者らに[[衝突|物体の衝突]]についての理論を求めた。ウォリス、[[クリストファー・レン]]、[[クリスティアーン・ホイヘンス]]が似たような正しい解答を提出している。いずれも今では[[運動量]]と呼ばれるものに基づいているが、レンとホイヘンスが完全な弾性体を対象として論を構築したのに対し、ウォリスは不完全な弾性体も考慮していた。その後1669年には[[静力学]]、1670年には[[動力学]]について同様のことが行われ、当時、それぞれの分野のレベルがどうだったのかがよく分かる。

=== 代数学 ===
1685年、ウォリスは ''Algebra'' を出版した。この著書には代数学の発展の歴史も記されており、貴重な情報が含まれている。1693年の第2版は大幅に増補されている。この著作は数式の体系化を行っている点が注目に値する。

=== 幾何学 ===
ウォリスは[[ピタゴラスの定理]]を[[図形の相似|相似]]な三角形を使って証明したとされている。しかし、アラビアの数学者[[サービト・イブン＝クッラ]]（901年没）が6世紀前にピタゴラスの定理のあらゆる三角形への一般化を行っていた。ウォリスがサービトの業績を知っていた可能性は高い<ref>{{cite book
|first = Ernest
|last = paul
|title = Mathematics, Education, and Philosophy
|edition = 1
|publisher = Routledge
|year = 1994
|isbn = 0750702907
|chapter = Contrasting Styles of Argument in Indian and Greek Mathematical Tradition
|pages = 202–203
}}</ref>。ウォリスは[[ナスィールッディーン・トゥースィー]]の息子 Sadr al-Tusi の業績、特に[[平行線公準]]も知っていた。ウォリスは平行線公準についても後に考察を残している<ref>[http://press.princeton.edu/chapters/i8583.html Victor J. Katz Princeton University Press]</ref>。

=== 暗算能力 ===
ウォリスは[[暗算]]能力に優れていた。寝つきが悪いため、ベッドに横たわりながら暗算をすることが多かった。ある晩、ある数の平方根を53桁まで暗算したことがある。翌朝、脳裏に焼きついていたその平方根の27桁までをスラスラと書いたという。この特異な能力は当時重大視され、王立協会の事務総長[[ヘンリー・オルデンバーグ]]は人を派遣してウォリスがどうやって暗算しているのか調査させた。そして、1685年の『[[フィロソフィカル・トランザクションズ]]』誌にこれについての考察を掲載している。

=== ホッブズとの論争 ===
1650年代中頃、ウォリスと[[トマス・ホッブズ]]との間に論争が起き、それが長く続くことになった。ホッブズの著作『物体論』（1655年）に数学的誤りがあることを数学者らが指摘したことが発端となった。ホッブズは[[円積問題]]を解いたと主張し、1670年代まで両陣営が主張し合う形で論争が続いた。

== その他の業績 ==
[[File:Wallis - Opera mathematica, 1657 - 4611280.tif|thumb|''Opera mathematica'', 1657]]
1687年の著書 ''Institutio logicae'' は広く読まれた。また、''Grammatica linguae Anglicanae'' は英文法についての著作で、18世紀にも出版されている。神学関係の著書もある<ref>[http://www.1911encyclopedia.org/John_Wallis John Wallis] {{webarchive|url=https://web.archive.org/web/20081204035919/http://www.1911encyclopedia.org/John_Wallis |date=2008年12月4日 }} LoveToKnow</ref>。

== 小説 ==
ウォリスは、[[イアン・ペアズ]]の歴史推理小説 ''[[:en:An Instance of the Fingerpost|An Instance of the Fingerpost]]'' にあまり好ましくない人物として登場している。

== 脚注・出典 ==
{{脚注ヘルプ}}
{{Reflist}}

== 参考文献 ==
*Stedall, Jacqueline, 2005, "Arithmetica Infinitorum" in Ivor Grattan-Guinness, ed., ''Landmark Writings in Western Mathematics''. Elsevier: 23-32.

本項目の基になった英語版は、下記の[[パブリックドメイン]]の文献を基にしている。
*W. W. Rouse Ball, 1908. ''[http://www.maths.tcd.ie/pub/HistMath/People/Wallis/RouseBall/RB_Wallis.html A Short Account of the History of Mathematics,]'' 4th ed.

== 関連項目 ==
*[[ウォリス積]]
*[[ウォリス積分]]

== 外部リンク ==
*{{MacTutor Biography|id=Wallis}}
*[http://galileo.rice.edu/Catalog/NewFiles/wallis.html Galileo Project page]
*[https://kotobank.jp/word/%E3%82%A6%E3%82%A9%E3%83%AA%E3%82%B9-34209#E5.A4.A7.E8.BE.9E.E6.9E.97.20.E7.AC.AC.E4.B8.89.E7.89.88 ウォリス(ウォリス)とは] - [[コトバンク]]

{{Normdaten}}

{{DEFAULTSORT:うおりす しよん}}
[[Category:17世紀の数学者|161123]] <!-- 「世紀別と国別の数学者」と重複しますが、元の生年付きの「〇〇年の数学者」のカテゴリは残しておくこと。 -->
[[Category:18世紀の数学者|-161123]]
[[Category:17世紀イングランドの数学者]]
[[Category:18世紀イングランドの数学者]]
[[Category:17世紀の論理学者]]
[[Category:18世紀の論理学者]]
[[Category:イングランドの論理学者]]
[[Category:イギリスの暗号研究者]]
[[Category:王立協会フェロー]]
[[Category:オックスフォード大学の教員]]
[[Category:チャプレン]]
[[Category:バラ・オブ・アシュフォード出身の人物]]
[[Category:1616年生]]
[[Category:1703年没]]