数学用語の定義・説明

人名索引総目次

---

ケーニヒスベルクの橋	合同数	シュトラングの奇妙な図形
高野の公式	チュドノフスキーの公式
バシェ方程式	ピュタゴラス数	双子素数定数	BBP公式
マチンの公式	メルセンヌ素数	リーマンの関数	ルーカス・レーマー・テスト

---

トップへ　
お

　
オイラーの公式
(1) e^iπ=-1　　　　(i=√-1)
(2) exp(iθ) = cos θ+ i sin θ
(3) 多面体の頂点の数をV，稜の数をE，面の数をSをするとき，V-E+S=2　となる．オイラーの多面体定理とも言う.
(4)　π/4 = arctan (1/2) + arctan(1/3) ,　π/4 = 5 arctan (1/7) + 2arctan(3/79)

トップへ　
け

　
ケーニヒスベルクの橋
　オイラーは，当時ケーニヒスベルクの町に掛かっていた7つの橋を，すべて，同じ橋を一度しか渡らないようにして渡れるか，という問題を解いた（1673年頃）． グラフとして一筆描きができるかという問題に直して解答し，グラフ理論のひいてはトポロジーの嚆矢となった．
　その橋の配置図が多くの本に描かれているが，かなりまちまちで（向きさえ一定していない），何が正しいのかわからない状態が続いていた．ケーニヒスベルクは中世からかなり発達した町であり，レギオモンタヌス以来多くの学者が輩出し，研究生活を送った場でもある．しかし，第2次大戦後ソ連に接収され，現在もロシアの領地である．軍港としての役割も大きく長い間外国人には近づくことができない場所であった． 日本では地図を得ることができない．
　幸いに，安野光雅氏の算数絵本『はじめてであうすうがくの絵本　3』には，ケーニヒスベルクの古地図が掲載されていて，実際の橋の配置についての知識は得られる．
　しかし，橋の名前についての情報はどこにも得られなかった．それが実は『数学名所案内　下』の第19節図19.1(98ページ)に載っている． 管理者が訳したものなので，最初にこれを知った日本人ということになる．
　少し裏話をしよう．もちろん英語の本なので，橋の名前は英語に翻訳ないし音訳されていた．それをあげると．

Shopkeepers Bridge , Blacksmith Bridge , Wooden Bridge , Honey Bridge , High Bridge , ``Guts''Giblets Bridge , Green Bridge

であった．最初はこれを日本語に訳して，

商人橋，鍛冶屋橋，材木橋，蜂蜜橋，高い橋，臓物橋，緑橋

とするつもりであった．しかし，いかにも「臓物橋」というのはすごい名前である． 橋のたもとに食肉解体場でもあって，普通の人があまり通行しないような地域だったのだろうか．
　英語名でも，これ1つ浮いている．何とか，当時の橋の名前が分からないだろうか．東京に行くたび地図屋を覗いて廻るとか，普通に考えられる手段を取ってみたが，国内では分かりそうもなかった．しかし，ソ連に占領される前はドイツ文化圏の町であった訳だし，翻訳を出版する出版社の本社がドイツにあることから，問い合わせてもらった．当時のドイツ語の橋の名前が

Kr\"amer Br., Schmiede Br., Holz Br., Honig Br. , Hohe Br., K\"ottel Br., Gr\"une Br.

であったことが分かった（もちろん \"は次の字母に冠するウムラウトを意味）．これなら，

商人橋，鍛冶屋橋，材木橋，蜂蜜橋，高い橋，小児橋，緑橋

となる．恐らくは，K\"ottel Br. を Kuttel Br. と読み間違ったのではないかと，編集者との間では了解が成立した．が，出版間際のころ，著者と連絡が取れなかった．実はその数週間前に，広島大学で行われた日本数学会の秋季総合分科会に，著者が特別講演をする予定になっていたが，体調を崩して帰国したばかりのときだった．そこでやむなく，ドイツ語の橋の名前を音訳した．

クレーマー橋, シュミーデ橋, ホルツ橋, ホーニヒ橋, ホーエ橋, ケッテル橋, グリューネ橋

を，掲載することにした．いまなら，

あきない橋，鍛冶屋橋，材木橋，蜂蜜橋，高橋，おさなご橋（または子橋），緑橋

とでもしただろうか．

トップへ　
こ

　
　
合同数
　 a²+b² = c² を満たす正の有理数の3つ組 (a, b, c) に対して，ab/2が整数なるとき，ab/2を合同数と言う． （有理数辺の直角三角形の面積になり得る整数のこと．）
『数学名所案内　上』の附録Eに説明しておいたので，参照されたい．
　ちなみに，1から100までの合同数は，
　5, 6, 7, 13, 14, 15, 20, 21, 22, 23, 24, 28, 29, 30, 31, 34, 37, 38, 39, 41, 45, 46, 47, 52, 53, 54, 55, 56, 60, 61, 62, 63, 65, 69, 70, 71, 77, 78, 79, 80, 84, 85, 86, 87, 88, 92, 93, 94, 95, 96
の50個だけであることが知られている．
　これは元々，フィボナッチが，パレルモのジョヴァンニから，「 x²+5 と x²-5 が同時に平方数であるような x を求めよ」という問題を出されたことに始まっている．これを一般化して「 x²+C と x²-C が同時に平方数であるような x を求めよ」という問題に解があるような数 C を congruum と呼んだ．これが合同数 congruence number の定義と同値であることが容易に示される．
　フィボナッチはまた，x²+y²とx²-y²が同時に平方数にはなり得ないことを示しているが，そのことは 1 が合同数でないことと同値である．

トップへ　
し

　
シュトラングの奇妙な図形
sin n (n：整数)の値を，nの軸を対数目盛りにしてプロットすると，浮かび上がってくる網目模様のこと．『解析教程　上』第I章§4図4.6(p.59)参照．　 トップへ

　
シュルツの公式
　π/4 = arctan (1/2) + arctan(1/5) + arctan(1/8)
　ダーゼはこの公式により(1706年)， πを205桁計算した．　 トップへ

トップへ　
た


　
高野喜久雄の公式(1982)
　π/4 = 12 arctan (1/49) + 32 arctan (1/57) - 5 arctan(1/239) + 12 arctan(1/110443)
　金田康正が日立のスーパーコンピュータを用いてπを1兆2411億桁計算した時(2005年)に使った公式．マチンの公式の改良版．類似なものに同じ1982年に発見された柴田昭彦の公式
　π/4 = 17 arctan (1/22) + 3 arctan (1/172) - 2 arctan(1/682) -7 arctan(1/5357)
　 がある．

　
チュドノフスキーの公式(1987)
　1/π = 12 Σ_k=0^∞　(-1)^k(6k)!(13591409+545410134k) / (3k)! (k!)³640320^3k+3/2 　
チュドノフスキー兄弟が金田康正とπの計算の世界記録を争ったときに使った公式．

トップへ　
は


　
バシェ方程式

整数 a に対して y²-x³ = a という形をした方程式のこと．

1909年に，トゥエが，これには有限個の整数解しかないことを示した．ちなみに a=7 に対しては解がなく，その証明はたとえば『数学名所案内』の第3節にある．

トップへ　
ひ


　
ピュタゴラス数
　直角三角形の3辺になり得る正の整数の3つ組 (a, b, c) をピュタゴラス数またはピュタゴラス3つ組と言う．(a²+b² = c² をみたす正の整数の3つ組 (a, b, c)のこと）．
　これは無限個，しかも3パラメータを含んでいる．一般に，k, u, v (u>v) を正の整数とするとき，
　a=k(u²-v²),　b=2kuv,　 c=k(u²＋v²)
はピュタゴラス数になる．証明の書いてある日本語の本は多く存在しているが，できれば自分で考えてみよう．

トップへ　
ふ


双子素数定数
N以下の素数の個数が，素数定理と類似に，漸近的に 2C₂N / (log N)²となるという予想を双子素数予想と言い，この定数 C₂N を双子素数定数という．予想が成り立つかどうかは知られていないが，この定数の評価はレンチJr.によって得られている．

トップへ　
へ


　
ベイリー・ボールウェイン・プラウフの公式
BBP公式

π=��_k=0^∞　1/16k　（4/(8k+1)　-2/(8k+4)　-1/(8k+5)-1/(8k+6))

これにより，πの2進法表示（8進法でもよい）の好きな桁だけを計算することが可能になる．これは1995年に ベイリーとP.ボールウェインとプラウフにより発見された。

トップへ　
ま


　
マチンの公式
　π/4 = 4 arctan (1/5) - arctan(1/239)
　ジョン・マチンはこの公式を発見し(1706年)， arctan の展開を利用して，πを100桁計算した．詳しくは『解析教程　上』第I章第4節を参照．この公式は，20世紀になって，コンピュータによる計算が始まるまでの計算公式の基礎になった．
　
メルセンヌ素数
　素数であるメスセンヌ数 M_p=2^p-1 のこと．
トップへ　

り


　
リーマンの関数
　級数で定義される関数
f(x)=Σ_n=1^∞ sin (n²x)/n² = sin x + sin (4x)/4 + \sin (9x)/9 + ・・・・・・
のことで，一様収束するので連続であるが，リーマンはどこでも微分可能であると考えたが，ワイエルシュトラスは自分は証明できないと表明する．後に，1970年になって，ジャーヴァが x=πで微分可能であることを示す．
トップへ　

る


　
ルーカス・レーマー・テスト
　メルセンヌ数 M_p=2^p-1 が素数であることと，M_pが S_pの約数であることは同値である．

　ここで，数列 S_p は帰納的に， S₂=4, S_n=S_n-1²-2 として定義されたもの．