Home English

Kuina-chan

くいなちゃんOct 17, 2017


6さいからの数学」第6話では、図形に関することを公理から考えていきます!

第5話では、実数bb_lrを拡張してn次元ユークリッド空間pl,bb_lr,sup_n,comma,d,prを定義しましたが、今回はこのpl,bb_lr,sup_n,comma,d,pr上で様々な図形を扱っていきます。

初等幾何学

まずは円や三角形などを扱うために、図形の公理について説明します。
図形に関する公理は「ヒルベルトの公理」と呼ばれるものが有名で、全部で20個あります。 多いですが、すべてを網羅してしまうとヒルベルトの公理の通りになります。
Ⅰ. 結合の公理
  1. 任意の異なる2点に対し、それらを含む直線が存在する。
  2. 任意の異なる2点に対し、それらを含む直線は複数存在しない。
  3. 任意の直線は2点以上を含む。 1直線上に無いような3点以上が存在する。
  4. 1直線上に無い任意の3点に対し、それらを含む平面が存在する。 任意の平面は1点以上を含む。
  5. 1直線上に無い任意の異なる3点に対し、それらを含む平面は複数存在しない。
  6. ある直線上の異なる2点がある平面上にあるならば、その直線上のすべての点はその平面上にある。
  7. 2平面がある点を共に含んでいるならば、その2平面はその点の他に1つ以上の点を共に含んでいる。
  8. 1平面上に無いような4点以上が存在する。

Ⅱ. 順序の公理
  1. l_bが点l_aと点l_cの間にあるならば、l_bl_cl_aの間にあり、これら3点を含む直線が存在する。
  2. l_aと点l_cが異なるとき、「l_al_bの間にl_cがある」とできるような直線l_a,l_c上の点l_bが存在する。
  3. 1直線上にある任意の異なる3点に対し、「他の2点の間にある」という点は複数存在しない。
  4. l_a,comma,l_b,comma,l_cが1直線上に無く、それらのいずれの点も含まない直線が平面l_a,l_b,l_c上にあるとき、もしその直線が線分l_a,l_b上のある点を含むならば、線分l_b,l_cもしくは線分l_a,l_c上のある点を含む。

Ⅲ. 合同の公理
  1. 直線a上に点l_a,comma,l_bがあり、直線a,prime上に点l_a,primeがあり、l_a,primeによって分断されたa,primeの片側が指定されているとき、「線分l_a,l_bと線分l_a,prime,l_b,primeは合同である」とできるような点l_b,primeが存在する。
  2. 線分l_a,l_bが線分l_a,prime,l_b,primeおよび線分l_a,prime,prime,l_b,prime,primeと合同ならば、a,prime,b,primea,prime,prime,b,prime,primeは合同である。
  3. 線分l_a,l_b,comma,l_b,l_cが1直線上にあって、点l_b以外に共通の点を持たず、線分l_a,prime,l_b,prime,comma,l_b,prime,l_c,primeが1直線上にあって、点l_b,prime以外に共通の点を持たないとき、l_a,l_bl_a,prime,l_b,primeが合同かつl_b,l_cl_b,prime,l_c,primeが合同ならば、l_a,l_cl_a,prime,l_c,primeも合同である。
  4. angle,pl,h,comma,k,prが平面alpha上にあり、直線a,primeが平面alpha,prime上にあり、a,primeによって分断されたalpha,primeの片側が指定され、a,prime上の点からa,primeに沿った半直線h,primeが出ているとき、「angle,pl,h,comma,k,prもしくはangle,pl,k,comma,h,prangle,pl,h,prime,comma,k,prime,prと合同である」とできるような半直線k,primeが、alpha,primeの指定された側にただ1つ存在する。
  5. 1直線上に無い点l_a,l_b,l_cに対し、線分l_a,l_bと線分l_a,prime,l_b,primeが合同で、線分l_a,l_cと線分l_a,prime,l_c,primeが合同で、角angle,l_b,l_a,l_cと角angle,l_b,prime,l_a,prime,l_c,primeが合同であるとき、角angle,l_a,l_b,l_cと角angle,l_a,prime,l_b,prime,l_c,primeは合同である。

Ⅳ. 平行線の公理
  1. 任意の直線aと、aが含まない任意の点l_aがあるとき、al_aを含む平面上に、l_aを含んでaと共通の点を含まない直線は複数存在しない。

Ⅴ. 連続性の公理
  1. 任意の線分l_a,l_b,comma,l_c,l_dに対し、どのような自然数nが指定されても、点l_aから出て点l_bを含む半直線上に、l_c,l_dと合同なn個の線分を並べて作ることができる。
  2. 順序や合同の関係を維持したまま、直線に新たな点を含めて拡張することはできない。

定義
  • 異なる2点l_a,comma,l_bの組を線分といい、l_a,l_bと表す。
  • 2点l_a,comma,l_bを通る直線上に点l_cがあり、l_cl_al_bの間にあるとき、l_cは線分l_a,l_bの上にあるという。
  • 平面alpha上に直線aと、a上に無い2点l_a,comma,l_bがあるとき、l_al_bが等しいか線分l_a,l_baとが共通の点を持たないならば、alpha上でl_al_baに対して同じ側にあるという。
  • 直線a上に点l_cと、l_cと異なる2点l_a,comma,l_bがあるとき、l_al_bが等しいかl_cが線分l_a,l_bに含まれないならば、a上でl_al_bl_cに対して同じ側にあるという。
  • 直線a上に異なる2点l_a,comma,l_bがあるとき、a上でl_aに対してl_bと同じ側にある点全体を、l_aから出てl_bを含む半直線という。
  • 同じ点l_cから出る2つの半直線a,comma,bの組を角といい、a上の任意の点l_aと、b上の任意の点l_bを用いて、angle,l_a,l_c,l_bと表す。
ヒルベルトの公理
抽象的で解りにくいと思いますが、試しにこれらを使って「三角形の2辺が合同ならば2つの角も合同である」ことを証明してみましょう(二等辺三角形の問題)。
二等辺三角形の問題
二等辺三角形の問題
証明は二等辺三角形の問題の証明のようになります。
  • l_a,comma,l_b,comma,l_cが1直線上にあると三角形にならないので、点l_a,comma,l_b,comma,l_cは1直線上に無いとする。
  • このときヒルベルトの公理Ⅲ-5より、l_a,prime,eq,l_a,comma,l_b,prime,eq,l_c,comma,l_c,prime,eq,l_bとおくと、線分l_a,l_bと線分l_a,prime,l_b,primeが合同で、線分l_a,l_cと線分l_a,prime,l_c,primeが合同で、角angle,l_b,l_a,l_cと角angle,l_b,prime,l_a,prime,l_c,primeが合同であるので、角angle,l_a,l_b,l_cと角angle,l_a,prime,l_b,prime,l_c,primeは合同である。 従って、角angle,l_a,l_b,l_cと角angle,l_a,l_c,l_bは合同である。(証明終)
二等辺三角形の問題の証明
このようにヒルベルトの公理から図形の様々な性質を証明できますが、すべてをここから導き出すのは大変ですので、そこで以前にも説明した通り、その気になれば証明可能とした上で、本講座では既に証明された定理を紹介することにします。

幾何学の主な定理

ここでは憶えるべき重要な定理に絞って紹介します。

直線と角と三角形の性質

直線、角の基本的な性質は直線と角の性質の通りです。
直線と角の性質
直線と角の性質
図のように、平行な2つの直線と交わる直線に対し、「対頂角たいちょうかく」「同位角どういかく」「錯角さっかく」はそれぞれ等しいです。
また、三角形の基本的な性質は三角形の性質の通りです。
三角形の性質
三角形の性質
三角形の内部の角を「内角ないかく」といい、線分を延長してできる外部の角を「外角がいかく」といいます。
このとき、3つの内角の和は2つの直角の和に等しくなります。
また、外角はそれに隣り合わない2つの内角の和に等しくなります。 例えばl_cの外角は、l_aの内角とl_bの内角を足したものに等しいです。

円の性質

えん」はヒルベルトの公理では直接定義されていませんが、円の定義のように定義することができます。
平面alpha上に異なる2点l_o,comma,l_aがあるとき、「点l_oから出て線分l_o,l_aと合同」となるようなalpha上のすべての線分l_o,l_a,primeに対し、点l_a,primeをすべて集めたものを円という。
円の定義
またこのとき、点l_oを円の「中心ちゅうしん」といい、線分l_o,l_aの長さを円の「半径はんけい」といいます。 円のことを「円周えんしゅう」と呼ぶこともあります。
ヒルベルトの公理からどのように円の定理が導けるかは想像しにくいですが、例えば公理Ⅴ-2を用いると、「線分l_a,l_bにおいて、点l_aが円l_oの内部にあり、点l_bl_oの外部にあるとき、l_a,l_bl_oと交わる」などの定理が証明できます。
円の基本的な性質は円周角と中心角の関係の通りです。
円周角と中心角の関係
円周角と中心角の関係
図のように、円周上の異なる2点によって切り取られた円の一部を「」といいます。
弧の2点と、弧の上に無い点とが作る角を「円周角えんしゅうかく」といいます。 弧の2点と、円の中心とが作る角を「中心角ちゅうしんかく」といいます。 このとき、同じ弧に対する円周角はどれも等しく、また中心角は円周角の2倍に等しくなります。
接弦定理
接弦定理
また接弦定理のような、円の接線が作る角の大きさは、「接弦定理せつげんていり」と呼ばれる定理で求まります。 円周上の異なる2点l_a,comma,l_bが作る直線l_a,l_bと、l_aを通る円の接線があったとき、接線上の点l_cと線分l_a,l_bとが作る角は、直線l_a,l_bに対しl_cと同じ側にある弧l_a,l_bの円周角l_a,l_d,l_bに等しくなります。

三角形の合同条件と相似条件

さて、2つの三角形において、対応する辺の長さと角の大きさがそれぞれ等しいとき、これらの三角形は「合同ごうどう」であるといいます。 言い換えると「合同」とは、2つの図形を移動・回転・反転させると形がぴったり重なることともいえます。 2つの三角形が合同であるための条件は、三角形の合同条件の通りです。
2つの三角形l_a,l_b,l_c,comma,l_a,prime,l_b,prime,l_c,primeが以下のいずれかを満たすとき、これらは合同である。
  1. 「3辺が等しい。」 つまりl_a,l_bl_a,prime,l_b,primel_b,l_cl_b,prime,l_c,primel_c,l_al_c,prime,l_a,primeが合同である。
  2. 「2辺とその間の角が等しい。」 つまりl_a,l_bl_a,prime,l_b,primel_b,l_cl_b,prime,l_c,primeangle,l_a,l_b,l_cangle,l_a,prime,l_b,prime,l_c,primeが合同である。
  3. 「1辺とその両端の角が等しい。」 つまりl_a,l_bl_a,prime,l_b,primeangle,l_c,l_a,l_bangle,l_c,prime,l_a,prime,l_b,primeangle,l_a,l_b,l_cangle,l_a,prime,l_b,prime,l_c,primeが合同である。
三角形の合同条件
また、2つの三角形において、対応する辺の長さの比と角の大きさがそれぞれ等しいとき、これらの三角形は「相似そうじ」といいます。 「合同」がぴったり重なることだとすると、「相似」は拡大縮小するとぴったり重なることだといえます。 2つの三角形が相似であるための条件は、三角形の相似条件の通りです。
2つの三角形l_a,l_b,l_cl_a,prime,l_b,prime,l_c,primeが以下のいずれかを満たすとき、これらは相似である。
  1. 「3辺の比が等しい。」 つまりl_a,l_b,slash,l_a,prime,l_b,prime,eq,l_b,l_c,slash,l_b,prime,l_c,prime,eq,l_c,l_a,slash,l_c,prime,l_a,primeである。
  2. 「2辺の比が等しく、その間の角が等しい。」 つまりl_a,l_b,slash,l_a,prime,l_b,prime,eq,l_b,l_c,slash,l_b,prime,l_c,prime、かつangle,l_a,l_b,l_cangle,l_a,prime,l_b,prime,l_c,primeが合同である。
  3. 「2つの角が等しい。」 つまりangle,l_c,l_a,l_bangle,l_c,prime,l_a,prime,l_b,primeangle,l_a,l_b,l_cangle,l_a,prime,l_b,prime,l_c,primeが合同である。
三角形の相似条件

図形の面積

図形の「面積めんせき」はヒルベルトの公理では直接定義されていませんが、三角形の面積を三角形の面積のようにおなじみの方法で定義することで、あらゆる図形の面積を相対的に考えることができます。
三角形l_a,l_b,l_cにおいて、点l_aを通る直線がl_b,l_c上の点l_dで直角に交わるとき、線分l_a,l_dの長さを「高さ」と呼び、線分l_b,l_cの長さを「底辺」と呼ぶ。 このとき、三角形の面積を「底辺mul高さdiv,2」と定義する。
三角形の面積
例えば多角形の面積は、三角形に分割してそれぞれの面積を足し合わせることで求まります。
円の面積は、円に内接するn角形と外接するn角形の面積を考え、nを限りなく大きくしたときにこの2つの面積が同じ値に収束することを利用して求まります(円の面積)。
円の面積
円の面積
「内接するn角形の面積le円の面積le外接するn角形の面積」という関係が常に成り立っているため、この2つのn角形の面積がある数に収束するならば、前回解説した極限の定義より、これらに挟まれた円の面積もその数に収束するといえます。
この方法のように、自然数nに対して常にa,pl,n,pr,le,b,pl,n,pr,le,c,pl,n,prであるような写像a,comma,b,comma,cにおいて、acの極限が等しいならばbの極限も等しくなることを「はさみうちの原理げんり」といいます。 この定理は、直接極限が求まらないものを求めるときに役立ちます。
これを実際に計算すると、円の面積は「半径mul半径mul,pi」で求まることが分かり、piの値は「pi,eq,3,dot,1,4,1,5,9,2,6,5,3,5,8,9,7,9,dots」という無理数になります。 piは「パイ」と読み、この値は「円周率えんしゅうりつ」と呼ばれます。

ピタゴラスの定理

そのほか、図形に関する重要な定理として、「ピタゴラスの定理ていり」があります。 これは、直角三角形の斜辺の長さをc、それ以外の2辺の長さをa,comma,bとしたとき、「a,sup_2,add,b,sup_2,eq,c,sup_2」が成り立つというものです(ピタゴラスの定理)。
ピタゴラスの定理
ピタゴラスの定理

三角関数

このほか図形に関する重要な概念として「三角関数」というものがありますのでここで説明します。 「関数かんすう」とは基本的には写像と同じもので、2つの集合の元を対応付けるものです。 ただし、1つの元に対応付けられる元が複数だったり、存在しなかったりするものも関数として許可されることがあります。
さて、「三角関数さんかくかんすう」とは、三角関数のように定義される3つの関数「ts,ti,tnさいん」「tc,to,tsこさいん」「tt,ta,tnたんじぇんと」のことを指します。
三角関数
三角関数
図の左側のように、三角形l_a,l_b,l_cにおいて、角angle,l_b,l_c,l_aが直角で線分l_a,l_bの大きさが1のとき、角angle,l_a,l_b,l_cthetaとすると、「ts,ti,tn,theta,eq線分l_c,l_aの大きさ」「tc,to,ts,theta,eq線分l_b,l_cの大きさ」と定義されます。 言葉ではなく図で把握したほうが解りやすいでしょう。 縦がsin、横がcosです。
また、図の右側のように、三角形ABCにおいて、角∠BCAが直角で線分BCの大きさが1のとき、角∠ABCをθとすると、「tanθ=線分CAの大きさ」と定義されます。 このとき、図の左側をそれぞれcosθで割って右側と比較すると「tanθ=sinθ/cosθ」になることが分かります。 cosθが0のときのtanθの値は定義されません。
ところで、角の大きさは、1周を「3,6,0,degree」とする「度数法どすうほう」に馴染みがありますが、数学では1周を「2,pitr,ta,tdらじあん」とする「弧度法こどほう」がよく使われます。 「tr,ta,td」は弧度法の単位で、しばしば表記からは省略されます。 例えば「2,pi,tr,ta,td」のことは単に「2,pi」と書かれます(度数法と弧度法)。
度数法と弧度法
度数法と弧度法
3,6,0,degree,eq,2,pi」ですから、「1,8,0,degree,eq,pi」「9,0,degree,eq,pi,slash,2」「6,0,degree,eq,pi,slash,3」「4,5,degree,eq,pi,slash,4」「3,0,degree,eq,pi,slash,6」などとなります。
ts,ti,tn,thetatc,to,ts,thetaが具体的にどのような数になるかといいますと、ほとんどは極限を計算しないと求まらないような複雑な数ですが、いくつかの値は分数や平方根で表すことができます。 例えば先ほどのts,ti,tntc,to,tsの定義から、sinとcosの値の値が導けます。
sinとcosの値
ts,ti,tn,thetaの値 tc,to,ts,thetaの値
ts,ti,tn,pl,0,pr,eq,0 tc,to,ts,pl,0,pr,eq,1
ts,ti,tn,pl,pi,slash,2,pr,eq,1 tc,to,ts,pl,pi,slash,2,pr,eq,0
ts,ti,tn,pl,pi,pr,eq,0 tc,to,ts,pl,pi,pr,eq,sub,1
ts,ti,tn,pl,3,pi,slash,2,pr,eq,sub,1 tc,to,ts,pl,3,pi,slash,2,pr,eq,0
ts,ti,tn,pl,2,pi,pr,eq,0 tc,to,ts,pl,2,pi,pr,eq,1
また、thetapi,slash,4pi,slash,3pi,slash,6のときも、辺の長さの比が「1,colon,1,colon,sqrt_2」や「1,colon,2,colon,sqrt_3」となるおなじみの直角三角形を考えることで、ts,ti,tntc,to,tsの値が導けます(三角関数の性質)。
三角関数の性質
三角関数の性質
これらのts,ti,tntc,to,tsの値は頻繁に使いますので、憶えておくと役立ちます。

非ユークリッド幾何学

ここまでは、無限に広がる平面の上に三角形や円を描いたりするような、わたしたちに馴染み深い幾何学を考えてきましたが、数学的にはそれ以外の幾何学を考えることもできます。 例えば、球や曲面の表面に図形を描いた場合の幾何学です。
ヒルベルトの公理Ⅳ-1は「平行線の公理」と呼ばれますが、この公理を削除するとわたしたちに馴染み深い図形の体系とは異なる体系が生まれます。 わたしたちに馴染み深い体系では三角形の内角の和は2直角(2つの直角の和)と等しいですが、平行線の公理を削除した体系では2直角よりも小さくなることがあります。
平行線の公理を認めたわたしたちに馴染み深い体系は「ユークリッド幾何学きかがく」と呼ばれ、平行線の公理を削除した体系は「ユークリッド幾何学きかがく」と呼ばれます。
また、平行線の公理以外の公理をいくつか削除することで、三角形の内角の和が2直角よりも大きくなる体系を作ることもできます。 この体系も、非ユークリッド幾何学に含められます。
「ユークリッド幾何学」と「非ユークリッド幾何学」をひとまとめにして、「多様体たようたい」と呼ばれる立体に一般化して扱われることも多いです。

解析幾何学

それでは最後に、「n次元ユークリッド空間pl,bb_lr,sup_n,comma,d,pr」の中で図形を扱うことを考えます。
前回、bb_lr,sup_nの元を「点」と言うと説明しましたが、この「点」をそのままヒルベルトの公理における点とみなし、直線や平面などを「点の集合」だと考えることで、ヒルベルトの公理を満たすような体系がbb_lr,sup_nに構築できます。 つまり、bb_lr,sup_nに定義されていた「座標」や「ユークリッド距離」といった概念がヒルベルトの公理の図形に対して適用できます。
例えば、ある図形がbb_lr,sup_2の点で構成されていた場合、それらの点はそれぞれpl,x,comma,y,prの座標を持ちますので、その図形はy,eq,f,pl,x,prという方程式によって表せることになります。 例えば、y,eq,2,x,add,1という方程式は、bb_lr,sup_2上の一つの直線になります。
bb_lr,sup_2における直線や円の方程式を図形の方程式にまとめました。
図形の方程式
図形の方程式
2点l_a,pl,x,sub_la,comma,y,sub_la,pr,comma,l_b,pl,x,sub_lb,comma,y,sub_lb,prを通る直線の方程式は、「pl,x,sub_lb,sub,x,sub_la,pr,pl,y,sub,y,sub_la,pr,eq,pl,y,sub_lb,sub,y,sub_la,pr,pl,x,sub,x,sub_la,pr」と表せます。
中心l_o,pl,x,sub_lo,comma,y,sub_lo,pr、半径rの円の方程式は、「pl,x,sub,x,sub_lo,pr,sup_2,add,pl,y,sub,y,sub_lo,pr,sup_2,eq,r,sup_2」と表せます。
図形を方程式で扱えるようになったことで、例えば「直線と円が2点l_a,comma,l_bで交わっているときの線分l_a,l_bの長さ」のような、ヒルベルトの公理からは導けないものが計算できるようになります。

いろいろな図形

図形が方程式で扱えるようになったということは、逆に方程式で表されるものを新たな図形として考えることもできます。 ここでは色々な方程式が作り出す図形について紹介します。

指数関数

a,gt,0かつa,neq,1であるような実数aに対し、「f,pl,x,pr,eq,a,sup_x」と定義される関数fを、「指数関数しすうかんすう」といいます。 また、このときのaを指数関数の「てい」といいます。
例えば、指数関数が作り出す図形として「y,eq,2,sup_x」と「y,eq,pl,1_div_2,pr,sup_x」という方程式を考えると指数関数が作る図形のようになります。
指数関数が作る図形
指数関数が作る図形

対数関数

a,gt,0かつa,neq,1であるような実数aおよび、b,gt,0である実数bに対し、a,sup_x,eq,bを満たす実数xを、「tl,to,tgろぐsub_a,b」と表します。 例えば、「2,sup_3,eq,8」ですので、「tl,to,tg,sub_2,8,eq,3」です。 言い換えると「tl,to,tg,sub_a,b」とは、「aを何乗するとbになるか」という数を表します。
このとき、x,gt,0である実数xに対し、「f,pl,x,pr,eq,tl,to,tg,sub_a,x」と定義される関数fを、「対数関数たいすうかんすう」といいます。 また、このときのaを対数関数の「てい」といいます。
例えば、対数関数が作り出す図形として「y,eq,tl,to,tg,sub_2,x」と「y,eq,tl,to,tg,sub_1_div_2,x」という方程式を考えると対数関数が作る図形のようになります。
対数関数が作る図形
対数関数が作る図形

三角関数

最後に、三角関数が作り出す図形「y,eq,ts,ti,tn,x」「y,eq,tc,to,ts,x」「y,eq,tt,ta,tn,x」という方程式を考えると三角関数が作る図形のようになります。
三角関数が作る図形
三角関数が作る図形
角度は2,piで1周するため、xに対して2,piごとに同じ形が繰り返されます。
今回は、ヒルベルトの公理から導かれる図形の性質や、それをn次元ユークリッド空間で扱う方法について説明しました。 次回は、これらの図形の接線の傾きを求める「微分」について解説します!
1508205093ja