この連載で先日、大人が意外と忘れている「円周率の定義」について書いたところ、大きな反響があった。子供に問われて、すぐ答えられなかった人もいることだろう。今回はその続き、円についてもう少し詳しく説明しよう。円の面積の公式や円周率が３より少し大きな数になることの証明である。聞かれたときにすぐ答え、大人の威厳を取り戻そう。
■円を扇形に切って並べ直してみると…
ではなぜ、この式になるのだろうか。様々な証明方法があるが、まず、大雑把な説明から紹介しよう。中でも次のものはよく知られており、小学校高学年から中学生なら理解できるだろう。
ただ、上の説明は数学的には厳密性に欠ける。例えば、横の長さが本当にπｒに近づくかどうか、きちんと示されていないからだ。この連載でも何度か触れたが、「限りなく」という用語はイメージを伝えるには使い勝手はよいが、厳密に語るのは、意外と難しい。
次に、高校生向けの説明である。よく知られるものに、積分を用いる方法があるが、これも大きな欠陥が潜んでいる。それは、円の面積を求めるのに「ある公式」を使うのだが、実は高校の教科書ではその「ある公式」を求めるのに円の面積（扇形の面積）の公式を用いるからである。要するに、円の面積の公式を求めるために円の面積の公式を用いるという「循環論法」に陥っているのである。
なお、「ある公式」とは以下の通りだ。
ここで、角度ｘの単位はラジアン（πラジアン＝180°）である。
■円周率でも様々な業績を残したアルキメデス
コンパスで円を描く
では、循環論法に陥ることなく円の面積の公式を厳密に求める方法はないのであろうか。実は今から2000年以上も前にそれを考えた偉人がいる。紀元前にギリシャで活躍したアルキメデス（紀元前287年頃から紀元前212年）である。
アルキメデスは風呂に入って偶然発見した浮力に関する「アルキメデスの原理」、あるいは「地球を動かしてみせよう」と言ったとされる「てこの原理」など、物理に関する発見が有名である。数学でも円周率で様々な業績を残したことで知られる。
いろんな和書を調べたところ、志賀浩二著「中高一貫数学コース 数学３を楽しむ」（岩波書店）に、アルキメデスの発想を紹介する形で、円の面積公式の証明が部分的に書かれてあった。その概要を紹介する。
（ II ）の矛盾についてはその本では省略してあったので、拙著「無限と有限のあいだ」（ＰＨＰサイエンス・ワールド新書）に掲載した説明の概略を簡単に紹介しよう。これには、曲線の長さを定義してから以下の定理を使う点で、（ Ｉ ）の場合より難しくなる。
【定理】（証明省略） 円Ｏの周上に線分ＡＢが直径にならない異なる２点Ａ、Ｂをとる。Ａ、Ｂにおけるそれぞれの接線の交点をＣとすると、
円弧ＡＢの長さ≦ＡＣ＋ＢＣ
が成り立つ（図３参照）。
以上でアルキメデスの発想を基にした円の面積公式を導く証明のごく大雑把な説明を終わることにする。なお「無限と有限のあいだ」では、（ Ｉ ）と（ II ）それぞれから矛盾を導く部分は、とくに丁寧に記述したつもりである。
■円周率が３よりちょっと大きなことの証明
次に、円周率π（円周÷直径）の近似値が３ちょっとであることを示す。この部分は中学生でも理解できると思う。
まず、半径１の円Ｏに内接する正六角形ＡＢＣＤＥＦをとる。
図４において、
円Ｏの円周＝２π、 正六角形ＡＢＣＤＥＦの周りの長さ＝６×１＝６
が成り立つ。円周より正六角形の周りの長さの方が短いので、
２π＞６
が成り立つ。すなわち、
π＞３
を得る。
今度はまず半径１の円０に外接する正六角形ＡＢＣＤＥＦをとる（図５参照）。
を得る。ここで、
円０の面積=１×１×π＝π
となるので、
を得る。
以上から、円に内接する正６角形と外接する正６角形を用いて
３＜π＜3.465
を得たのである。
アルキメデスは円に内接する正96角形と外接する正96角形を用いて
を証明している。
■数学好きな方へ 球と円錐台の問題
最後に数学好きな方に、アルキメデスの墓標に彫刻されていた「球がぴったり内接する円柱」に絡んだ証明問題を出したい。あるホテルのバーで、丸氷をグラスに入れてウイスキーを飲んでいるときに、ふと思いついた関係式である。
準備として、いくつかの用語を説明しよう。円錐（えんすい）台とはプリンのような形で、円錐の底面と平行な平面でその円錐を切断し、２つに分けたうちの頂点を含まない方である。また円錐台の上底面および下底面とは、元々の円錐の底面と切断面のことであるが、置かれている上下の位置関係によって名付けることになる。
図６においては、円錐台の側面に球はぴったり接していて、円錐台の高さは球の直径と等しいとする。それゆえ、球は上底面および下底面とそれぞれ１点で接している。
【問題】 いま、球の半径をｒ、円錐台の高さをｈ、上底面の半径をａ、下底面の半径をｂとすると、次の関係式が成り立つことを証明せよ。
【証明】 まず、上底面の中心をＣ、下底面の中心をＥとして、ＣとＥを通る断面を延長させた図７を考える。
ＡＥ＝ｘとおくと、
ＡＥ：ＤＥ＝ＡＣ：ＢＣ
であるから、
となる。また、
ＡＦ：ＦＧ＝ＡＣ：ＣＢ
であるから、（５）、（６）を使って以下を得る。
これで（＊）が証明されたのである。
今回をもって、第２巡目の「おとなの数学」は終わりとなります。毎回のように多くの皆様に読んでいただき、心から感謝いたします。
芳沢光雄（よしざわ・みつお）
1953年東京生まれ。東京理科大学理学部教授（理学研究科教授）を経て、現在、桜美林大学リベラルアーツ学群教授（同志社大学理工学部数理システム学科講師）。理学博士。専門は数学・数学教育。『反「ゆとり教育」奮戦記』（講談社）、『新体系・高校数学の教科書（上・下）』、『新体系・中学数学の教科書（上・下）』（ともに講談社ブルーバックス）、『ほんとうに使える数学 基礎編』（じっぴコンパクト新書）など著書多数。
となる。また、
ＡＦ：ＦＧ＝ＡＣ：ＣＢ
であるから、（５）、（６）を使って以下を得る。
これで（＊）が証明されたのである。
今回をもって、第２巡目の「おとなの数学」は終わりとなります。毎回のように多くの皆様に読んでいただき、心から感謝いたします。
芳沢光雄（よしざわ・みつお）
1953年東京生まれ。東京理科大学理学部教授（理学研究科教授）を経て、現在、桜美林大学リベラルアーツ学群教授（同志社大学理工学部数理システム学科講師）。理学博士。専門は数学・数学教育。『反「ゆとり教育」奮戦記』（講談社）、『新体系・高校数学の教科書（上・下）』、『新体系・中学数学の教科書（上・下）』（ともに講談社ブルーバックス）、『ほんとうに使える数学 基礎編』（じっぴコンパクト新書）など著書多数。
となる。また、
ＡＦ：ＦＧ＝ＡＣ：ＣＢ
であるから、（５）、（６）を使って以下を得る。
これで（＊）が証明されたのである。
今回をもって、第２巡目の「おとなの数学」は終わりとなります。毎回のように多くの皆様に読んでいただき、心から感謝いたします。
芳沢光雄（よしざわ・みつお）
1953年東京生まれ。東京理科大学理学部教授（理学研究科教授）を経て、現在、桜美林大学リベラルアーツ学群教授（同志社大学理工学部数理システム学科講師）。理学博士。専門は数学・数学教育。『反「ゆとり教育」奮戦記』（講談社）、『新体系・高校数学の教科書（上・下）』、『新体系・中学数学の教科書（上・下）』（ともに講談社ブルーバックス）、『ほんとうに使える数学 基礎編』（じっぴコンパクト新書）など著書多数。
この連載で先日、大人が意外と忘れている「円周率の定義」について書いたところ、大きな反響があった。子供に問われて、すぐ答えられなかった人もいることだろう。今回はその続き、円についてもう少し詳しく説明し…続き （2/3）
大学入試センター試験が17、18の両日、全国で実施された。国公立大学や私立大学の合否判定に使われるが、「１点刻みで決めるのはいかがなものか」といった声もよく聞く。それを解消する目的で現在、文部科学省…続き （1/20）
ごく普通の日本語なのに、数学を学ぶ際、理解しにくい言葉がある。「すべて（all）」と「ある（some）」である。数学でとても重要な言葉だが、日常会話とニュアンスが違うこともあり、なかなか頭に入りにく…続き （1/6）
各種サービスの説明をご覧ください。