Hero Image
画像クレジット

歴史的な画像と写真 すべてウィキメディア・コモンズから取りました。コモンズが提供するサムネイルを、編集せずに使っています。 マクスウェルの肖像、G. J. Stodart の版画、1890 年:元のページ · パブリックドメイン。 タータンのリボン、最初のカラー写真、マクスウェルとトマス・サットン、1861 年:元のページ · パブリックドメイン。 上から見た土星、探査機カッシーニ、2013 年:NASA/JPL-Caltech/Space Science Institute、元のページ · パブリックドメイン。 マイケル・ファラデー、1850 年代の写真、作者不明:元のページ · パブリックドメイン。 『電気磁気論』の扉、オックスフォード、1873 年:元のページ · パブリックドメイン。 犬のトビーをつれたマクスウェルの像、エディンバラ、Зеленый кабинет 撮影:元のページ · CC BY-SA 2.0。 ブログの図 表紙、波の形の図、窒素のマクスウェル分布のグラフは、このサイトのオリジナルのイラストで、サイトの各言語の版があります。グラフは分布の正確な式で計算して描きました。方程式の記事にある四元数とベクトルの話は、このサイトの旧ベクトル講座の一部をもとにしています。 記録 ファイル data/maxwell_imagens.json には、ダウンロードした各画像の出所、ライセンス、確認日、SHA-256 ハッシュが記録されています。各トピックの歴史的な出典は、それぞれの記事の末尾にあります。 ジェームズ・クラーク・マクスウェルの全トピック · ← ジェームズ・クラーク・マクスウェルの遺産

Hero Image
ラグランジュの遺産

ラグランジュは数学の諸科学にそびえる高いピラミッドである。 — ナポレオン・ボナパルト、同時代人の伝えるところによる ラグランジュは、パスカルのような早熟の天才の逸話も、オイラーほどの量の著作も残しませんでした。彼が残したのは別のもの、数学をするやり方です。ほかの人が図を描くところで、彼は計算しました。ほかの人が問題ごとに技法を見つけるところで、彼はすべての技法を説明する規則を探しました。彼のしたことのほとんどは、今も彼の名とともに教科書にのっています。オイラー=ラグランジュ方程式、ラグランジアン、ラグランジュ点、ラグランジュの定理、ラグランジュの剰余項、ラグランジュの乗数。 ニュートンについて ラグランジュはだれよりもニュートンを尊敬していましたが、そこには隠そうとしない少しのうらやましさもまじっていました。伝記作者ドランブルは、彼がよく口にしていたことばを書きとめています。 ニュートンはかつて存在したもっとも偉大な天才であり、またもっとも幸運な人でもあった。世界の体系を打ち立てられるのは、ただ一度きりなのだから。 — ジョゼフ=ルイ・ラグランジュ、ドランブルによる(1814) メートルと 10 進法 1790 年からメートル法をつくった委員会で、ラグランジュはあらゆる単位の10 進の分割を支持し、約数の多い 12 進法を好む人びとに反対しました。12 の約数の多さはそれほど大事ではないことを示そうとして、なかば冗談に、素数である 11 を底にすることまで提案したといわれています。すべて 10 ずつに分けられるメートル、リットル、グラムには、彼の仕事も少しふくまれているのです。 点を通る多項式 1795 年、パリの高等師範学校の講義で、ラグランジュは与えられた点を通る多項式を求める公式を示しました。三点 $(x_0,y_0)$、$(x_1,y_1)$、$(x_2,y_2)$ に対しては、 $$\begin{aligned}P(x)={}&y_0\,\frac{(x-x_1)(x-x_2)}{(x_0-x_1)(x_0-x_2)}\\&+y_1\,\frac{(x-x_0)(x-x_2)}{(x_1-x_0)(x_1-x_2)}\\&+y_2\,\frac{(x-x_0)(x-x_1)}{(x_2-x_0)(x_2-x_1)}.\end{aligned}$$考えはかんたんです。それぞれの分数は自分の点では $1$、ほかの二点では $0$ になるので、$P(x_0)=y_0$、$P(x_1)=y_1$、$P(x_2)=y_2$ となります。イギリスのエドワード・ウェアリングが 1779 年にすでに同じ公式を発表しており、オイラーも知っていましたが、名前はラグランジュ補間として残りました。今日では電卓やコンピュータの数値計算法のなかに、さらには秘密を何人かに分けて預ける暗号の方法のなかにもあります。 残ったもの 物理学。 『解析力学』は力学を解析学の一分野にしました。相対性理論、量子力学、標準模型は、今もラグランジアン $L=T-V$ の形で書かれています。 変分法。 オイラーとともに、ラグランジュは最良の曲線を選ぶ数学をつくりました。光学からロケットの制御まで使われています。 天文学。 ラグランジュ点には宇宙望遠鏡がおかれ、何千ものトロヤ群小惑星がすみついています。 数論。 四平方定理は、ウェアリングの問題と、ルジャンドルやガウスが引きついだ二次形式の研究への道を開きました。 代数学。 根の置換についての考察は、ルフィニ、アーベル、ガロアの仕事と群論を準備しました。 解析学。 記号 $f'(x)$、導関数ということば、平均値の定理、ラグランジュの剰余項は、どの微積分の授業にも出てきます。 ラグランジュが生まれた町トリノにある彼の像。Twice25 · Wikimedia Commons · CC BY-SA 3.0 あちこちに残る名前 ラグランジュはパリのパンテオンに葬られており、その名はエッフェル塔に刻まれた 72 人の名の一つです。トリノには彼の名のついた広場と通りと像があり、イタリアとフランスは、彼がイタリアの数学者なのかフランスの数学者なのか、今も言い合っています。月にはラグランジュというクレーターがあります。彼が 28 歳のときにその秤動を説明した、あの月です。そして 1006 Lagrangea という小惑星もあります。 イタリア人か、フランス人か? ラグランジュはフランス系の家に生まれたトリノの人で、最初の論文はラテン語とイタリア語で、その後のほとんどはフランス語で書きました。イタリアで 30 年、プロイセンで 20 年、フランスで 26 年を過ごしています。イタリア人は彼をジュゼッペ・ルイージ・ラグランジャと呼び、フランス人はジョゼフ=ルイ・ラグランジュと呼びます。

Hero Image
ソフィー・ジェルマンの画像クレジット

歴史的な画像と写真 すべてウィキメディア・コモンズから取得しました。コモンズが提供する縮小画像を使い、肖像は PNG から JPEG に変換しただけです。 ソフィー・ジェルマンの肖像、彼女を記念するメダルをベルト・シェガレが描いた素描、1896 年発表:出典ページ · パブリックドメイン。 『弾性曲面の理論についての研究』の図、ソフィー・ジェルマン、1821 年、チューリッヒ工科大学図書館所蔵本:出典ページ · パブリックドメイン。 弓で鳴らすクラドニ板、1879 年の版画:出典ページ · パブリックドメイン。 ペール・ラシェーズ墓地の墓、Pierre-Yves Beaudouin 撮影、2015 年:出典ページ · CC BY-SA 4.0。 ブログの図 表紙、正方形の板の節線、そして球面・円柱面・鞍形の面の曲率の図は、オリジナルの図です。節線は本文で説明した単純化したモデルで計算したもので、実際の板の写真を再現したものではありません。 記録 ファイル data/germain_imagens.json に、ダウンロードした各画像の出典、ライセンス、確認日、SHA-256 ハッシュを記録しています。各テーマの歴史的な出典は、それぞれの記事の最後にあります。 ソフィー・ジェルマンの全トピック · ← ソフィー・ジェルマンの遺産

Hero Image
ユークリッドの遺産

彼は下院議員になってから、ユークリッドの六巻を学び、ほぼものにした。 — エイブラハム・リンカーン、自伝的覚え書き(1860) 『原論』は、聖書についで、歴史上最も多く書き写され、訳され、印刷された本のひとつです。1482 年にヴェネツィアで最初の印刷版が出て以来、版は千を超えます。二千年以上のあいだ、「幾何学を学ぶ」とは「ユークリッドを学ぶ」ことでした。 1482 年にヴェネツィアでエアハルト・ラトドルトがつくった『原論』の最初の印刷版。ラテン語訳。図は本文のわきの余白にある。昔の読者がページを書きこみで埋めている。Folger Shakespeare Library · Wikimedia Commons · CC BY-SA 4.0 一冊の本の多くの顔 このサイトの旧三角法講座は、ユークリッドの見せ方を変えたいくつかの版を集めていました。 年 人物 版 1120 年ごろ バースのアデラード アラビア語からラテン語への翻訳 1482 エアハルト・ラトドルト 最初の印刷版、ヴェネツィア 1570 ヘンリー・ビリングズリー 最初の英訳。折ると立体になる紙の図つき 1607 マテオ・リッチと徐光啓 最初の六巻の中国語訳、北京 1698 ザムエル・ライヤー Euclides… mit algebraischen Zeichen、代数記号で書いたユークリッド 1847 オリヴァー・バーン The First Six Books of the Elements of Euclid、文字を色に置きかえた版 バーン の版は、これまでに印刷された最も美しい本のひとつです。「三角形 $ABC$」と書くかわりに、彼は三角形を黄、赤、青で描き、証明は小さな色つきの図の連なりになります。当時は売れませんでしたが、今では博物館の所蔵品であり、デザイナーたちのインスピレーションの源です。 ナスィールッディーン・トゥースィーの版による『原論』のアラビア語版。1594 年にローマで印刷された。ハーヴァード大学ホートン図書館 · Wikimedia Commons · パブリックドメイン 方法 定理よりも大切だったのは 方法 でした。アイザック・ニュートンは『原論』にならって『プリンキピア』(1687)を書きました。定義、運動の法則と名づけた公理、そして一つひとつ証明される命題です。スピノザは『エチカ』(1677)を「幾何学的秩序にしたがって」書き、神と魂について定義と公理と命題を立てました。アメリカの独立宣言は、公理のように自明とされる真理から始まり、そこから独立の権利を導いています。

Hero Image
空気の重さ:ピュイ・ド・ドームの実験

二千年ものあいだ、学者たちはアリストテレスの言葉をくり返してきました。自然は真空を嫌う。ストローで空気を吸うと液体が上がってくるのは、自然がそこを空っぽのままにしておかないからだ、というのです。これですべてが説明できるように思えました。 ところが、フィレンツェの井戸掘り職人たちは困っていました。どんなに頑張っても、吸い上げポンプでは水を約 10 メートルより高く上げられなかったのです。自然の真空嫌いが、なぜ 10 メートルで止まるのでしょうか。 トリチェリの管 1643 年、ガリレオの弟子だったイタリアのエヴァンジェリスタ・トリチェリは、一方の端を閉じた長さ 1 メートルのガラス管に水銀を満たしました。もう一方の端を指でふさぎ、管を逆さにして水銀を入れた盆に立て、指を離しました。水銀は下がって約 76 cm の高さで止まり、管の上部に何もない空間が残りました。 トリチェリの説明は大胆なものでした。水銀柱を支えているのは真空嫌いではなく、盆の表面を押している空気の重さだというのです。私たちは空気の海の底に住んでいる、と彼は書きました。水銀は水の約 13.6 倍の密度があり、$76\ \text{cm}\times13.6\approx10.3$ m です。フィレンツェのポンプの限界と同じ値です。 パスカル、実験を高いところへ パスカルは 1646 年にこの実験のことを聞き、ルーアンで水やワインを満たした巨大なガラス管を使って再現しました。しかし彼は決定的な検証をしたいと考えました。彼の推論はこうです。もし水銀を支えているのが空気の重さなら、上にある空気が少ない山の頂上では、水銀柱は低くなるはずだ。もし原因が真空嫌いなら、高さは何の違いももたらさないはずだ。 パスカルはパリに住んでいて、体も弱かったので、1647 年 11 月、クレルモンに住む義兄フロラン・ペリエに手紙を書きました。クレルモンは、高さ 1500 メートル近い死火山ピュイ・ド・ドームのふもとにある町です。 1648 年 9 月 19 日 ペリエは証人になってもらうために、クレルモンの神父や名士たちと一緒に山に登りました。管を二本と水銀を持っていきました。この実験には現代的な発想がありました。登る前に、町でいちばん低いところにあるミニム会修道院の庭で二本の管を組み立て、同じ高さになることを確かめたのです。一本はそこに残し、シャスタン神父という修道士に一日じゅう見張ってもらいました。もう一本を持って山に登りました。 ピュイ・ド・ドームの山頂にある 1648 年の実験の記念碑。パスカル生誕三百年の 1923 年に撮影。Agence Rol、1923 年 · フランス国立図書館 · Wikimedia Commons · パブリックドメイン 当時の単位での測定結果は次のとおりです。 場所 水銀の高さ クレルモンのミニム会修道院の庭 26 プース 3½ リーニュ ピュイ・ド・ドームの山頂(約 500 トワーズ上) 23 プース 2 リーニュ フランスの 1 プースは約 $27.07$ mm、1 リーニュは 1 プースの $\frac1{12}$ です。換算すると

Hero Image
フェルマーの最終定理:余白からワイルズの証明まで

三平方の定理は誰もが知っています。$3^2+4^2=5^2$。このような整数の三つ組は、$5,12,13$ や $8,15,17$ のように無限にあります。 では 3 乗ならどうでしょう? $a^3+b^3=c^3$ を満たす正の整数はあるでしょうか? 4 乗なら? 余白の書き込み 1670 年版ディオファントス『算術』の問題 II.8 のページ。問題のすぐ下に「Observatio Domini Petri de Fermat」、つまりフェルマーの余白の書き込みが、息子の手で印刷されている。ディオファントス、サミュエル・ド・フェルマー編(1670) · Wikimedia Commons · パブリックドメイン 1637 年ごろ、平方数を二つの平方数に分けるというディオファントスの問題を読んでいたフェルマーは、本の余白にラテン語でこう書きました。 立方数を二つの立方数に、4 乗数を二つの 4 乗数に、一般に 2 乗より高いべきを二つの同じべきに分けることは不可能である。私はこれについて真に驚くべき証明を見つけたが、この余白はそれを書くには狭すぎる。 — ピエール・ド・フェルマー、1637 年ごろ 今日の言葉で言えば、$n>2$ のとき、次を満たす正の整数 $a$、$b$、$c$ は存在しない。 $$a^n+b^n=c^n.$$この書き込みが世に出たのは 1670 年、フェルマーの息子が父の書き込み入りの本を出版したときでした。証明は見つかりませんでした。余白のほかの主張は、時とともにすべて証明されるか否定されるかしました。これが最後まで残ったので、最終定理と呼ばれるようになったのです。 358 年の挑戦 フェルマー自身は無限降下法で $n=4$ の場合を証明しました。ほかの場合も一つずつ片づいていきました。 1770 年:オイラーが $n=3$ の場合を証明。 1825 年:ディリクレとルジャンドルが $n=5$ の場合を証明。 1820 年代:真剣に扱ってもらうため男性の名前で手紙を書いていたソフィー・ジェルマンが、ある種類の素数全体に当てはまる一般的な結果を証明。 1839 年:ラメが $n=7$ の場合を証明。 1847 年:エルンスト・クンマーが新しい考えを生み出し、100 までの「正則」素数について、三つを除いて定理を証明。 しかし、すべての指数についての証明を見つけた人はいませんでした。

Hero Image
ライプニッツの遺産

微積分戦争 ライプニッツは 1684 年と 1686 年に微積分を発表しました。ニュートンは 1665–1666 年に同じ考えに達していましたが、すべてを手稿にしまい込んでいました。15 年間、誰も何も争いませんでした。 1699 年、ニュートンの友人でスイスの数学者ニコラ・ファシオ・ド・デュイリエが、ライプニッツはニュートンを参考にしたと著書でほのめかしました。1708 年、スコットランドのジョン・キールはさらに進んで、ライプニッツを剽窃で告発しました。根拠は、1676 年にロンドンを訪れたライプニッツが、ニュートンの『解析について』の写しを見たというものでした。 王立協会の会員だったライプニッツは、協会に公正な調査を求めました。1712 年、委員会はニュートンが最初の発明者であると結論しました。ライプニッツは自分の言い分を述べる機会を一度も与えられず、しかも報告書は、協会の会長であるニュートン本人がひそかに書いたものでした。 ライプニッツは匿名のパンフレットで応じ、争いを数学の挑戦問題で決着させようとしました。1716 年、問題が未解決のまま彼は亡くなりました。ニュートンはその死を聞いて、自分は「ライプニッツの心を打ち砕いた」と言ったと伝えられています。 今日の歴史家の結論ははっきりしています。二人はそれぞれ独立に微積分を発明しました。ライプニッツの手稿は、ニュートンとは異なる道を通って彼がどのように考えに達したかを一歩ずつ示しています。ニュートンが先に到達し、ライプニッツが先に発表し、しかもよりよい記号を使ったのです。 同じ物語をニュートンの側から語ったものは、ニュートンの遺産で読めます。 勝ち残った記号 この争いには思いがけない勝者がいました。記号です。ベルヌーイ家、オイラー、ラグランジュといった大陸の数学者たちはライプニッツの $dx$ と $\int$ を使い、18 世紀に微積分を大きく発展させました。イギリスではニュートンへの忠誠から点の記号が使われ続け、イギリスの数学は遅れました。1812 年、ケンブリッジの学生たちはまさにライプニッツの記号を採用するために解析協会を作り、それを冗談めかして、大学の「点の時代(もうろく時代)」に対抗する「純粋 d 主義」の推進だと言いました。 ライプニッツが数学に残したもの: 記号 $dx$、$\dfrac{dy}{dx}$、$\int$ 数学的な意味での関数と座標という言葉 掛け算の点「$\cdot$」と割り算のコロン「:」 相似の記号 $\sim$ と合同の記号 $\cong$(今日のものに近い形で) 数学を超えて ライプニッツは歴史上偉大な哲学者の一人でもあり、『モナドロジー』と『弁神論』を著しました。物理学では、動く物体の「力」をどう測るかをめぐってデカルトの支持者たちと論争し、彼の「活力」($mv^2$)は運動エネルギーという考えの祖先です。計算の分野では、二進法と推論を計算するという夢が、20 世紀になってようやく実現する考えを先取りしていました。 サイバネティクスの創始者ノーバート・ウィーナーは、ライプニッツをこの分野の「守護聖人」と呼びました。ドイツでもっとも重要な学術研究賞は、ゴットフリート・ヴィルヘルム・ライプニッツ賞と呼ばれています。 まとめ ライプニッツは 1646 年から 1716 年まで生き、数学者であると同時に法学者、外交官、図書館長、哲学者だった。 大人になってからパリでホイヘンスに本格的に数学を学んだ。 1675 年に記号 $d$ と $\int$ を作り、1684 年と 1686 年に微積分を発表した。 連鎖律 $\dfrac{dz}{dx}=\dfrac{dz}{dy}\cdot\dfrac{dy}{dx}$ は、記号のおかげで約分のように見える。 積の導関数は $u\,dv+v\,du$ であって、$du\,dv$ ではない。 $\int$ と $d$ は逆の操作である。差を足し合わせると全体が戻ってくる。 二進法の算術を体系化し、1703 年に発表した。 段付き円筒を使って掛け算のできる機械を作った。 $\dfrac\pi4=1-\dfrac13+\dfrac15-\cdots$ を見つけたが、マーダヴァとグレゴリーがすでに知っていた。 ニュートンとライプニッツはそれぞれ独立に微積分を発明した。 資料: 生涯と業績、MacTutor · ゴットフリート・ヴィルヘルム・ライプニッツ図書館のライプニッツ文書。

Hero Image
ニュートンの遺産

ニュートンは史上最大の天才であり、もっとも幸運な人でもあった。宇宙は一つしかなく、それを発見できるのは一度きりなのだから。 — ジョゼフ=ルイ・ラグランジュ、同時代人の記録による 微積分戦争 ニュートンは 1665–1666 年に流率法を作りましたが、発表しませんでした。ライプニッツは 1675 年に独立に微積分にたどり着き、1684 年に発表しました。最初の数年間、争いはありませんでした。1676 年には二人はヘンリー・オルデンバーグを通じて友好的な手紙を交わし、ニュートンは自分の考えをアナグラムに隠しました。 1700 年ごろ、空気が変わりました。ニュートンの支持者たちが、ライプニッツはロンドンで見た手稿から考えを写したのだとほのめかし始めたのです。ライプニッツは王立協会に抗議し、公正な調査を求めました。王立協会は委員会を設置し、1712 年にニュートンに有利な報告書を発表しました。 当時ほとんど知られていなかったことがあります。王立協会の会長はニュートン本人で、報告書を書いたのも彼だったのです。その後、彼は報告書を称賛する書評を匿名で発表しました。 今日の歴史家は、二人がそれぞれ独立に微積分を発明したという点で一致しています。ニュートンが先に到達し、ライプニッツが先に発表し、勝ち残った記号を作りました。この争いの代償は大きなものでした。国の誇りのために、イギリスの数学者たちは 1 世紀以上ニュートンの点の記号にこだわり、その間に大陸はライプニッツの $dx$ を使って、ベルヌーイ家やオイラーの手で大きく前進しました。1812 年になってようやく、ケンブリッジの学生たちが解析協会を作り、ライプニッツの記号をイギリスに取り戻しました。 この物語のもう一方の側は、ライプニッツのシリーズで読むことができます。 ニュートン力学の限界 200 年以上、ニュートンの法則はどこでも成り立つように見えました。20 世紀のはじめ、二つの理論がその限界を明らかにしました。 相対性理論。 光の速さに近い速度では、ニュートンが考えたように時間と空間が絶対的なものではなくなります。相対性理論では、動いている時計で測った時間間隔 $t'$ は、静止している人にとってはより長い時間間隔に対応します。 $$t=\frac{t'}{\sqrt{1-\dfrac{v^2}{c^2}}}.$$速度 $v$ が光速 $c$ に比べて小さいとき、根号はほぼ 1 になり、ニュートンの世界に戻ります:$\displaystyle\lim_{v\to0}t=t'$。$v\to c$ のときは、差はいくらでも大きくなります。 量子力学。 原子や粒子では、はっきりした軌道というものが意味をもたなくなります。 だからといって、日常生活でニュートンがまちがっているわけではありません。橋、自動車、飛行機、ロケットにとって、彼の力学は今でも使われるほど正確です。相対性理論はニュートンを消し去ったのではなく、ニュートンがどこまで通用するかを示したのです。 讃辞 「才知において人類を超えた人」 ケンブリッジのトリニティ・カレッジの礼拝堂には、プリズムを手にしたニュートンの大理石像があります。1755 年にルイ=フランソワ・ルビリアックが制作したものです。台座にはローマの詩人ルクレティウスの言葉が刻まれています。Qui genus humanum ingenio superavit、「才知において人類を超えた人」。ここで学んだ詩人ワーズワースは、この像を「思想の見知らぬ海を、永遠にただ一人旅する精神の、大理石の標」と表現しました。 ニュートンはウェストミンスター寺院に、王や女王たちに囲まれて葬られました。墓碑には、プリズム、反射望遠鏡、鋳造したばかりの硬貨を手にした天使たちと、1680 年の彗星の軌道が描かれた天球儀が刻まれています。 まとめ ニュートンは当時のイギリスの暦では 1642 年、私たちの暦では 1643 年に生まれた。 22 歳のとき、ペストで隔離されていた間に、二項級数、流率法、色の理論を生み出した。 二項式 $(1+x)^\alpha$ は、$|x|<1$ ならどんな指数でも成り立つ。 流率 $\dot x$ は変化率を測り、面積はその逆の操作である。 ニュートン法は接線をたどって根に近づく:$x_{n+1}=x_n-f(x_n)/f'(x_n)$。 『プリンキピア』(1687)には三つの運動法則と万有引力の法則がある。 月の検証は、地球の重力が距離の 2 乗に反比例して弱まることを示した。 プリズムは白い光にもともとある色を分けるのであって、色を作るのではない。 ニュートンとライプニッツはそれぞれ独立に微積分を発明した。 資料: 手稿への案内、ニュートン・プロジェクト · MacTutor の伝記。

Hero Image
コーシーの遺産

コーシーは狂っていて、彼とはどうにも話が通じない。それでも、いま数学をどうやるべきかを知っているのは彼なのだ。 — ニールス・ヘンリク・アーベル、ホルンボエへの手紙(1826) コーシーはおよそ 800 編の論文と七冊の本を出版した。科学アカデミーが編集した『全集』は、1882 年から 1974 年にかけて、分厚い 27 巻で刊行された。数学者のなかで、これに匹敵する量の仕事を残したのは、オイラーとごくわずかな人だけである。 彼の名を冠するもの コーシー列と、収束についてのコーシーの判定条件。カントールによる実数の定義の土台である。 べき根判定法、凝集判定法、二つの級数のコーシー積。 コーシー=シュワルツの不等式と、平均の不等式のコーシーによる証明。 ロピタルの定理を正当化するコーシーの平均値の定理。 コーシー=リーマンの方程式、コーシーの積分定理、コーシーの積分公式、留数定理。 コーシーの主値。やっかいな点のまわりを対称に切りとることで、$\int_{-1}^{1} \frac{dx}{x}$ のような積分に意味を与える。 微分方程式のコーシー問題。初期値が解を決めるかを問う。そして、解析関数についてそれに答えるコーシー=コワレフスカヤの定理。 固体力学のコーシーの応力テンソルと、光学のコーシーの分散公式。 行列式のコーシー=ビネの公式と、有限群についてのコーシーの定理。 凸多面体についてのコーシーの剛性定理。 『解析教程』で研究されたコーシーの関数方程式 $f(x + y) = f(x) + f(y)$。 確率論のコーシー分布。アニェージの曲線の形をしていて、平均をもたない。 厳密さ もっとも大きかったのは態度の変化である。コーシー以後、解析学の結果は、明確な定義から証明されてはじめて認められる。そしてその定義は彼のものである。極限、収束、連続、導関数、積分。次の世代のワイエルシュトラス、デデキント、カントールがこの仕事を完成させ、一様収束のように、コーシーが直観を信じすぎたところを正した。しかし彼らが改修した建物は、コーシーのものだった。 ルイ・グレゴワールとドヌーによるコーシーの石版画、1840 年ごろ。下に数学者の署名がある。Louis Grégoire、Deneux · ウィキメディア・コモンズ · パブリックドメイン 人物 同時代の人びとは、彼を信心深く、貧しい人に気前がよく、疲れを知らず、そしてほとんどつきあいようのない人物として描いた。政治と宗教では一歩もゆずらず、同僚を改宗させようとし、発見の優先権を激しく争い、アカデミーの査読者としては手きびしかった。アーベルとガロアには彼に不満をもつ理由があったし、技師ジャン=ヴィクトル・ポンスレは、射影幾何学についての自分の考えを横取りしたと彼を非難した。その一方で、彼はひとつの誓いへの忠誠のために経歴を危険にさらし、信念を裏切るよりはと八年間パリを離れた。コーシーの生涯では、科学者と、信仰と党派の人とを切り離すのはむずかしい。 ゆかりの場所 コーシーは、1889 年にギュスターヴ・エッフェルがエッフェル塔に名前を刻ませた 72 人のフランスの科学者・技術者のひとりである。月の静かの海にはコーシーというクレーターがあり、パリ、ソー、そしてフランスのほかのいくつもの町に彼の名のついた通りがある。 エッフェル塔の南東面に刻まれたコーシーの名。ギュスターヴ・エッフェルが顕彰した 72 人の科学者のひとり。Juanedc · ウィキメディア・コモンズ · CC BY 2.0 演習:コーシーの関数方程式『解析教程』でコーシーは、すべての $x, y$ について $f(x + y) = f(x) + f(y)$ をみたす連続関数は $f(x) = cx$ の形のものだけであることを証明した。その議論をたどり直せ。 $c = f(1)$ とおく。$x = y = 0$ とすると $f(0) = 2f(0)$ なので $f(0) = 0$。くり返し足すと、すべての正の整数 $n$ について $f(n) = nf(1) = cn$ で、$f(x) + f(-x) = f(0) = 0$ から負の整数でも成り立つ。正の整数 $q$ について、$c = f(1) = f\!\left(q \cdot \frac{1}{q}\right) = q\,f\!\left(\frac{1}{q}\right)$ だから $f\!\left(\frac{1}{q}\right) = \frac{c}{q}$、さらに $f\!\left(\frac{p}{q}\right) = c\,\frac{p}{q}$。公式はすべての有理数で成り立つ。どの実数も有理数の極限であり、$f$ は連続だから、すべての $x$ で $f(x) = cx$ である。

Hero Image
画像クレジット

歴史的な画像と写真 すべてウィキメディア・コモンズから取りました。コモンズが提供するファイルまたはサムネイルを、幅 800 ピクセル以下に縮小し、それ以外の編集はしていません。 ベルンハルト・リーマンの肖像、1863 年:元のページ · パブリックドメイン。 若いころのリーマン、1850 年代の写真:元のページ · パブリックドメイン。 ブレゼレンツの教会のそばのリーマン記念の石、Felina Katarina Schulz 撮影:元のページ · CC BY-SA 4.0。 リーマンが住んだゲッティンゲンの家の銘板、Manecke 撮影:元のページ · CC BY-SA 3.0。 平方根のリーマン面、Leonid 2 作図(コモンズが SVG から生成した PNG 版):元のページ · CC BY-SA 3.0。 ビガンツォーロの墓地にあるリーマンの墓石、g.rondena 撮影:元のページ · パブリックドメイン。 ブログのために作った図 表紙と四つのインタラクティブな図(リーマン和、交代調和級数の並べかえ、関数 R(x) による素数の個数、臨界線上のゼータ関数)は、このサイトのオリジナルのイラストで、文字はサイトの各言語の版があります。 記録 ファイル data/riemann_imagens.json には、ダウンロードした各画像の出所、ライセンス、確認日、SHA-256 ハッシュが記録されています。各トピックの歴史的な出典は、それぞれの記事の末尾にあります。 ベルンハルト・リーマンの全トピック · ← ベルンハルト・リーマンの遺産