今回は第4話で説明した実数
を拡張して、平面や立体が扱えるようにします。
![](/s/bb_lr.png)
1初等幾何学
まずは円や三角形などを扱うために、図形の公理について説明します。
図形に関する公理は「ヒルベルトの公理」と呼ばれるものが有名です。 長いですが、思い切ってすべてを網羅してしまうと図1-1の通りになります。 全部読む必要はありません。
I. 発生または接続の公理
- 任意の異なる2点に対し、それらを含む直線が存在する。
- 任意の異なる2点に対し、それらを含む直線は複数存在しない。
- 1つの直線は異なる2点以上を含む。 1直線上に無いような3点以上が存在する。
- 1直線上に無い任意の3点に対し、それらを含む平面が存在する。 1つの平面は1点以上を含む。
- 1直線上に無い任意の異なる3点に対し、それらを含む平面は複数存在しない。
- ある直線上の異なる2点がある平面上にあるならば、その直線上のすべての点はその平面上にある。
- 2平面がある点を共に含んでいるならば、その2平面はその点の他に1つ以上の点を共に含んでいる。
- 1平面上に無いような4点以上が存在する。
II. 順序の公理
- 点
が点
と点
の間にあるならば、
は
と
の間にあり、これらは1直線上の異なる3点である。
- 点
と点
が異なるとき、「
と
の間に
がある」と言える直線
上の点
が存在する。
- 1直線上にある任意の異なる3点に対し、「他の2点の間にある」と言える点は複数存在しない。
- 点
が1直線上に無く、それらのいずれの点も含まない直線が平面
上にあるとき、もしその直線が線分
上のある点を含むならば、線分
もしくは線分
上のある点を含む。
III. 合同の公理
- 直線
上に点
があり、直線
上に点
があり、
によって分断された
の片側が指定されているとき、「線分
と線分
は合同である」と言える点
が存在する。 任意の線分はそれ自身に合同である。
- 線分
が線分
および線分
と合同ならば、
と
は合同である。
- 線分
が1直線上にあって、点
以外に共通の点を持たず、線分
が1直線上にあって、点
以外に共通の点を持たないとき、
と
が合同かつ
と
が合同ならば、
と
も合同である。
- 角
が平面
上にあり、直線
が平面
上にあり、
によって分断された
の片側が指定され、
上の点から
に沿った半直線
が出ているとき、「
もしくは
が
と合同である」と言える半直線
が、
の指定された側にただ1つ存在する。 任意の角はそれ自身に合同である。
- 1直線上に無い点
と、1直線上に無い点
に対し、線分
と線分
が合同で、線分
と線分
が合同で、角
と角
が合同であるとき、角
と角
は合同である。
IV. 平行線の公理
- 任意の直線
と、
が含まない任意の点
があるとき、
と
を含む平面上に、
を含んで
と共通の点を含まない直線は複数存在しない。
V. 連続性の公理
- 任意の線分
に対し、どのような自然数
が指定されても、点
から出て点
を含む半直線上に、
と合同な
個の線分を並べて作ることができる。
- 順序や合同の関係を維持したまま、直線に新たな点を含めて拡張することはできない。
定義
- 異なる2点
の組を線分といい、
と表す。
- 2点
を通る直線上に点
があり、
が
と
の間にあるとき、
は線分
の上にあるという。
- 平面
上に直線
と、
上に無い2点
があるとき、
と
が等しいか線分
と
とが共通の点を持たないならば、
上で
と
は
に対して同じ側にあるという。
- 直線
上に点
と、
と異なる2点
があるとき、
と
が等しいか
が線分
に含まれないならば、
上で
と
は
に対して同じ側にあるという。
- 直線
上に異なる2点
があるとき、
上で
に対して
と同じ側にある点全体を、
から出て
を含む半直線という。
- 同じ点
から出る2つの半直線
の組を角といい、
上の任意の点
と、
上の任意の点
を用いて、
と表す。
抽象的で解りにくいと思いますが、試しにこれらを使って図1-2の問題を証明してみましょう。
![二等辺三角形の問題](/images/mathematics/basic5/848775122117_ja.png)
証明は図1-3のようになります。
- 点
が1直線上にあると三角形にならないので、点
は1直線上に無いとする。
とおくと、ヒルベルトの公理III-5(下記)より、線分
と線分
が合同で、線分
と線分
が合同で、角
と角
が合同であるので、角
と角
は合同である。 従って、角
と角
は合同である。(証明終)
ヒルベルトの公理III-5(再掲):
1直線上に無い点と、1直線上に無い点
に対し、線分
と線分
が合同で、線分
と線分
が合同で、角
と角
が合同であるとき、角
と角
は合同である。
このようにヒルベルトの公理から図形の様々な性質を証明できますが、すべてをここから導き出すのは大変です。 そこで以前にも説明した通り、その気になれば証明可能とした上で、本講座では既に証明された定理を紹介することにします。
2初等幾何学の主な定理
2.1コンパスと定規による作図
コンパスと目盛りのない定規を使って、直線や円を書いて作図することは、ヒルベルトの公理の一部に則っています。 つまり、コンパスと定規で作図することは、ヒルベルトの公理の一部から出発して定理を導出していく行為と等しくなります。
補足
ヒルベルトの公理には、3次元の立体を扱うものも含まれていますが、コンパスと定規の作図ではそこは網羅できません。
以下に、コンパスと定規を使って導出できる定理をいくつか紹介します。
2.2対頂角
2つの直線が交わっているとき、向かい合っている角を「対頂角」といいます(図2-1)。
![対頂角](/images/mathematics/basic5/784380062653_ja.png)
対頂角は常に等しいです。 証明は簡単で、図2-2のように考えれば分かります。
![対頂角が等しいことの証明](/images/mathematics/basic5/784380062653_2_ja.png)
「2直角」とは、直角2つぶん(つまり![](/s/1.png)
![](/s/8.png)
![](/s/0.png)
)という意味です。
![](/s/1.png)
![](/s/8.png)
![](/s/0.png)
![](/s/degree.png)
2.3同位角と錯角
2つの直線![](/s/a.png)
![](/s/comma.png)
に1つの直線が交わっているとき、図2-3のように、
と
の同じ側にできる角同士を「同位角」といい、
と
の反対の内側にできる角同士を「錯角」といいます。
![](/s/a.png)
![](/s/comma.png)
![](/s/b.png)
![](/s/a.png)
![](/s/b.png)
![](/s/a.png)
![](/s/b.png)
![同位角と錯角](/images/mathematics/basic5/313460861734_ja.png)
この
と
が平行であるとき、同位角や錯角は等しくなります。 また逆に、同位角や錯角が等しいとき
と
は平行になります。
![](/s/a.png)
![](/s/b.png)
![](/s/a.png)
![](/s/b.png)
![](/s/a.png)
![](/s/b.png)
![](/s/a.png)
![](/s/b.png)
補足
2本の平行線における同位角が等しいことの証明は、付録に掲載しています。
2.4三角形の内角と外角
三角形の内部にある3つの角を「内角」といい、いずれかの線分を延長してできる外部の角を「外角」といいます(図2-4)。
![三角形の内角と外角](/images/mathematics/basic5/628377822775_ja.png)
このとき、3つの内角の和は、2直角に等しいです。
また、外角はそれに隣り合わない2つの内角の和に等しいです。 例えば上図のように、
にできる外角は、
の内角と
の内角を足したものに等しいです。
![](/s/l_c.png)
![](/s/l_a.png)
![](/s/l_b.png)
これらの証明は簡単で、例えば上図の点
を通り、線分![](/s/l_a.png)
に平行な直線を引くと、同位角と錯角の関係から証明できます(図2-5)。
![](/s/l_c.png)
![](/s/l_a.png)
![](/s/l_b.png)
![三角形の内角と外角の証明](/images/mathematics/basic5/628377822775_2_ja.png)
2.5円
「円」はヒルベルトの公理では直接定義されていませんが、図2-6のように定義することができます。
平面上に異なる2点
があるとき、「点
から出て線分
と合同」となるような
上のすべての線分
に対し、点
をすべて集めたものを円という。
つまり、コンパスを![](/s/l_o.png)
の幅に開いて、
を中心にぐるっと描いた図形を円と定義するイメージです。
![](/s/l_o.png)
![](/s/l_a.png)
![](/s/l_o.png)
このとき、点
を円の「中心」といい、線分![](/s/l_o.png)
の長さを円の「半径」といいます。 この定義では、円の中身は円に含まれないため、この円のことを「円周」と呼ぶこともあります。
![](/s/l_o.png)
![](/s/l_o.png)
![](/s/l_a.png)
また、図2-7のように、円周上の異なる2点によって切り取られた円の一部を「弧」といいます。
![弧と円周角と中心角](/images/mathematics/basic5/153177877537_ja.png)
そして弧の両端の点と、弧の上に無い円周上の点とが作る角を「円周角」といい、弧の両端の点と、円の中心とが作る角を「中心角」といいます。
このとき、同じ弧に対する円周角はどれも等しく、また中心角は円周角の
倍に等しくなります(図2-8)。
![](/s/2.png)
![弧と円周角と中心角2](/images/mathematics/basic5/153177877537_2_ja.png)
中心角が円周角の
倍に等しくなることの証明は、線分の重なり方によって場合分けが必要ですが、例えば線分が重ならない場合には図2-9のように証明できます。
![](/s/2.png)
![円周角と中心角の定理の証明](/images/mathematics/basic5/153177877537_3_ja.png)
図のように「円周角の点」と「中心」を結ぶ直線を引くと、円周角は
と
に分割されます。 またこのときにできる2つの三角形はそれぞれ、2つの辺の長さが半径と等しいため二等辺三角形です。 ここで三角形の外角が他の2つの内角の和で求まることを利用すると、図の![](/s/2.png)
![](/s/a.png)
![](/s/comma.png)
![](/s/2.png)
が導出でき、よって中心角は![](/s/2.png)
![](/s/a.png)
![](/s/add.png)
![](/s/2.png)
となります。
![](/s/a.png)
![](/s/b.png)
![](/s/2.png)
![](/s/a.png)
![](/s/comma.png)
![](/s/2.png)
![](/s/b.png)
![](/s/2.png)
![](/s/a.png)
![](/s/add.png)
![](/s/2.png)
![](/s/b.png)
円周角が![](/s/a.png)
![](/s/add.png)
で、中心角が![](/s/2.png)
![](/s/a.png)
![](/s/add.png)
![](/s/2.png)
なため、中心角は円周角の
倍に等しいことが証明できました。
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/2.png)
![](/s/a.png)
![](/s/add.png)
![](/s/2.png)
![](/s/b.png)
![](/s/2.png)
そして同じ弧に対する円周角は、どれも同じ中心角を共有していますので、同じ弧に対する円周角はすべて等しいことも分かります。
2.6三角形の合同条件と相似条件
さて、ヒルベルトの公理の中に「合同」という言葉が出てきています。 「2つの図形が合同」であるとは、直感的には、「2つの図形を移動・回転・反転させると形がぴったり重なること」です。 ヒルベルトの公理では線分と角の合同について定義されています。
これを拡張し、三角形の合同を定義しましょう。 つまり、2つの三角形を移動・回転・反転させると形がぴったり重なるとき、これらの三角形は合同であると考えます。 より厳密には、2つの三角形において、対応する辺の長さと角の大きさがそれぞれ等しいとき、これらの三角形は合同であるといいます(図2-10)。
![三角形の合同](/images/mathematics/basic5/814024234368_ja.png)
実際には、対応する辺の長さと角の大きさをすべて確認しなくても、図2-11のように一部を確認するだけで2つの三角形が合同かどうかが分かります。
2つの三角形が以下のいずれかを満たすとき、これらは合同である。
- 「3辺が等しい。」 つまり
と
、
と
、
と
が合同である。
- 「2辺とその間の角が等しい。」 つまり
と
、
と
、
と
が合同である。
- 「1辺とその両端の角が等しい。」 つまり
と
、
と
、
と
が合同である。
証明は省略しますが、ヒルベルトの公理III-5と背理法などで証明できます。
また、2つの三角形において、対応する辺の長さの比と角の大きさがそれぞれ等しいとき、これらの三角形は「相似」であるといいます。 「合同」がぴったり重なることだとすると、「相似」は拡大縮小するとぴったり重なることだといえます(図2-12)。
![三角形の相似](/images/mathematics/basic5/814024234368_2_ja.png)
相似も同様に、対応する辺の長さの比と角の大きさをすべて確認しなくても、2つの三角形が相似かどうかが分かります(図2-13)。
2つの三角形、
が以下のいずれかを満たすとき、これらは相似である。
- 「3辺の比が等しい。」 つまり
である。
- 「2辺の比が等しく、その間の角が等しい。」 つまり
、かつ
と
が合同である。
- 「2つの角が等しい。」 つまり
と
、
と
が合同である。
2.7図形の面積
図形の「面積」はヒルベルトの公理では直接定義されていませんが、三角形の面積を図2-14のようにおなじみの計算式で定義することで、あらゆる図形の面積を相対的に考えることができます。
三角形において、点
を通る直線が
上の点
で直角に交わるとき、線分
の長さを「高さ」と呼び、線分
の長さを「底辺」と呼ぶ。 このとき、三角形の面積を「底辺
高さ
」と定義する。
例えば多角形の面積は、三角形に分割してそれぞれの面積を足し合わせることで求まります。 例えば長方形は、対角線を引いて三角形に分割することで、長方形の面積が「縦
横」だと導出することができます。
![](/s/mul.png)
2.8ピタゴラスの定理
そのほか、図形に関する重要な定理として、「ピタゴラスの定理」があります。 これは、直角三角形の斜辺の長さを
、それ以外の2辺の長さを![](/s/a.png)
![](/s/comma.png)
としたとき、「![](/s/a.png)
![](/s/sup_2.png)
![](/s/add.png)
![](/s/b.png)
![](/s/sup_2.png)
![](/s/eq.png)
![](/s/c.png)
」が成り立つというものです(図2-15)。
![](/s/c.png)
![](/s/a.png)
![](/s/comma.png)
![](/s/b.png)
![](/s/a.png)
![](/s/sup_2.png)
![](/s/add.png)
![](/s/b.png)
![](/s/sup_2.png)
![](/s/eq.png)
![](/s/c.png)
![](/s/sup_2.png)
![ピタゴラスの定理](/images/mathematics/basic5/727674277785_ja.png)
ピタゴラスの定理は、様々な定理を証明するのに頻繁に使われたり、また直立している木や建物の高さを測るために使われたりと幅広く応用されます。
証明は、4つの直角三角形を図2-16のように組み合わせて大きな正方形を作り、その大きな正方形の面積が、各部分の面積の和に等しいという方程式を作ることで導出できます。
![ピタゴラスの定理の証明](/images/mathematics/basic5/727674277785_2_ja.png)
3非ユークリッド幾何学
ここまでは、無限に広がる平面の上に三角形や円を描いたりするような、わたしたちに馴染み深い幾何学を考えてきましたが、数学的にはそれ以外の幾何学を考えることもできます。 例えば、球や曲面の表面に図形を描いた場合の幾何学です。
ヒルベルトの公理IV-1(図3-1)は「平行線の公理」と呼ばれますが、この公理を削除するとわたしたちに馴染み深い図形の体系とは異なる体系が生まれます。
ヒルベルトの公理IV-1(再掲):
任意の直線と、
が含まない任意の点
があるとき、
と
を含む平面上に、
を含んで
と共通の点を含まない直線は複数存在しない。
わたしたちに馴染み深い体系では三角形の内角の和は2直角と等しいですが、平行線の公理を削除した体系では2直角よりも小さくなることがあります。
平行線の公理を認めたわたしたちに馴染み深い体系は「ユークリッド幾何学」と呼ばれ、平行線の公理を削除した体系は「非ユークリッド幾何学」と呼ばれます。
また、平行線の公理以外の公理をいくつか削除することで、三角形の内角の和が2直角よりも大きくなる体系を作ることもできます。 この体系も、非ユークリッド幾何学に含められます。
4直積
さてそれでは、さらにいろいろな図形を扱うために、第4話で解説した実数
を拡張して、平面や立体を扱うことを考えてみましょう。 まずは平面からです。
![](/s/bb_lr.png)
実数全体の集合
を、![](/s/sub.png)
から![](/s/add.png)
まで続く数直線だとイメージすると、
の2つの元のペアを集めた集合は、無限に広がる2次元平面のイメージになります(図4-1)。
![](/s/bb_lr.png)
![](/s/sub.png)
![](/s/inf.png)
![](/s/add.png)
![](/s/inf.png)
![](/s/bb_lr.png)
![2次元平面](/images/mathematics/basic5/820362286724.png)
このように、2つの集合![](/s/bm_la.png)
![](/s/comma.png)
の元の組み合わせでできるペアをすべて集めた集合を、
と
の「直積」といい「![](/s/bm_la.png)
![](/s/mul.png)
」と表します。 掛け算の記号と同じですが、意味は同じではありません。 上の図では、
の2つの元のペアを集めた集合なので、
と
の直積で「![](/s/bb_lr.png)
![](/s/mul.png)
」になります。 また、![](/s/bb_lr.png)
![](/s/mul.png)
のことはしばしば「![](/s/bb_lr.png)
」と表されます。
![](/s/bm_la.png)
![](/s/comma.png)
![](/s/bm_lb.png)
![](/s/bm_la.png)
![](/s/bm_lb.png)
![](/s/bm_la.png)
![](/s/mul.png)
![](/s/bm_lb.png)
![](/s/bb_lr.png)
![](/s/bb_lr.png)
![](/s/bb_lr.png)
![](/s/bb_lr.png)
![](/s/mul.png)
![](/s/bb_lr.png)
![](/s/bb_lr.png)
![](/s/mul.png)
![](/s/bb_lr.png)
![](/s/bb_lr.png)
![](/s/sup_2.png)
同様に、この「![](/s/bb_lr.png)
![](/s/mul.png)
」と「
」の元のペアを集めた集合「![](/s/bb_lr.png)
![](/s/mul.png)
![](/s/bb_lr.png)
![](/s/mul.png)
」は、無限に広がる3次元立体のイメージになります(図4-2)。
![](/s/bb_lr.png)
![](/s/mul.png)
![](/s/bb_lr.png)
![](/s/bb_lr.png)
![](/s/bb_lr.png)
![](/s/mul.png)
![](/s/bb_lr.png)
![](/s/mul.png)
![](/s/bb_lr.png)
![3次元立体](/images/mathematics/basic5/820362286724_2.png)
「![](/s/bb_lr.png)
![](/s/mul.png)
![](/s/bb_lr.png)
![](/s/mul.png)
」のことはしばしば「![](/s/bb_lr.png)
」と表されます。
![](/s/bb_lr.png)
![](/s/mul.png)
![](/s/bb_lr.png)
![](/s/mul.png)
![](/s/bb_lr.png)
![](/s/bb_lr.png)
![](/s/sup_3.png)
同様に、4次元の「![](/s/bb_lr.png)
」、5次元の「![](/s/bb_lr.png)
」、…、とどこまでも考えることができます。 これらを一般化して「![](/s/bb_lr.png)
」と表します。
![](/s/bb_lr.png)
![](/s/sup_4.png)
![](/s/bb_lr.png)
![](/s/sup_5.png)
![](/s/bb_lr.png)
![](/s/sup_n.png)
また、これらの集合![](/s/bb_lr.png)
![](/s/comma.png)
![](/s/bb_lr.png)
![](/s/sup_2.png)
![](/s/comma.png)
![](/s/bb_lr.png)
![](/s/sup_3.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/comma.png)
![](/s/bb_lr.png)
の元のことを「点」といいます。 ![](/s/bb_lr.png)
の点は実数が
個で構成されますが、点を構成するそれらの実数「![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/comma.png)
![](/s/z.png)
![](/s/comma.png)
」の組を「座標」といい、お馴染みの「![](/s/pl.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/comma.png)
![](/s/z.png)
![](/s/comma.png)
![](/s/dots.png)
」で表します。 例えば、「![](/s/pl.png)
![](/s/3.png)
![](/s/comma.png)
![](/s/5.png)
![](/s/comma.png)
![](/s/sub.png)
![](/s/2.png)
」は![](/s/bb_lr.png)
の点の座標の一つです。
![](/s/bb_lr.png)
![](/s/comma.png)
![](/s/bb_lr.png)
![](/s/sup_2.png)
![](/s/comma.png)
![](/s/bb_lr.png)
![](/s/sup_3.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/comma.png)
![](/s/bb_lr.png)
![](/s/sup_n.png)
![](/s/bb_lr.png)
![](/s/sup_n.png)
![](/s/n.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/comma.png)
![](/s/z.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/comma.png)
![](/s/z.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/3.png)
![](/s/comma.png)
![](/s/5.png)
![](/s/comma.png)
![](/s/sub.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/bb_lr.png)
![](/s/sup_3.png)
5距離
5.1ユークリッド距離とマンハッタン距離
さて、このような![](/s/bb_lr.png)
の中で長さを扱うために、点と点の「距離」を定めます。
![](/s/bb_lr.png)
![](/s/sup_n.png)
わたしたちは日常的に図5-1の左側のようなものを「距離」と呼んでいますが、図の右側のように、縦か横にしか移動できないものが2点間を最短で進むときの長さも、数学では「距離」として扱えます。
![距離](/images/mathematics/basic5/777670471788_ja.png)
この図の左側のような、わたしたちが日常的に使っている距離は「ユークリッド距離」といいます。 ![](/s/bb_lr.png)
のある2点![](/s/bm_a.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/sub_x.png)
![](/s/comma.png)
![](/s/a.png)
![](/s/sub_y.png)
![](/s/pr.png)
![](/s/comma.png)
![](/s/bm_b.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/b.png)
![](/s/sub_x.png)
![](/s/comma.png)
![](/s/b.png)
![](/s/sub_y.png)
に対して、
と
のユークリッド距離を「![](/s/d.png)
![](/s/pl.png)
![](/s/bm_a.png)
![](/s/comma.png)
![](/s/bm_b.png)
」とすると、![](/s/d.png)
![](/s/pl.png)
![](/s/bm_a.png)
![](/s/comma.png)
![](/s/bm_b.png)
は「![](/s/d.png)
![](/s/pl.png)
![](/s/bm_a.png)
![](/s/comma.png)
![](/s/bm_b.png)
![](/s/pr.png)
![](/s/eq.png)
」で計算できます。 例えば、点![](/s/bm_a.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/0.png)
![](/s/comma.png)
![](/s/0.png)
、点![](/s/bm_b.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/3.png)
のとき、
と
のユークリッド距離は「![](/s/d.png)
![](/s/pl.png)
![](/s/bm_a.png)
![](/s/comma.png)
![](/s/bm_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/sqrt_id2.png)
![](/s/eq.png)
![](/s/sqrt_16_add_9.png)
![](/s/eq.png)
![](/s/sqrt_25.png)
![](/s/eq.png)
」です。
![](/s/bb_lr.png)
![](/s/sup_2.png)
![](/s/bm_a.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/sub_x.png)
![](/s/comma.png)
![](/s/a.png)
![](/s/sub_y.png)
![](/s/pr.png)
![](/s/comma.png)
![](/s/bm_b.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/b.png)
![](/s/sub_x.png)
![](/s/comma.png)
![](/s/b.png)
![](/s/sub_y.png)
![](/s/pr.png)
![](/s/bm_a.png)
![](/s/bm_b.png)
![](/s/d.png)
![](/s/pl.png)
![](/s/bm_a.png)
![](/s/comma.png)
![](/s/bm_b.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/pl.png)
![](/s/bm_a.png)
![](/s/comma.png)
![](/s/bm_b.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/pl.png)
![](/s/bm_a.png)
![](/s/comma.png)
![](/s/bm_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/sqrt_id1.png)
![](/s/bm_a.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/0.png)
![](/s/comma.png)
![](/s/0.png)
![](/s/pr.png)
![](/s/bm_b.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/4.png)
![](/s/comma.png)
![](/s/3.png)
![](/s/pr.png)
![](/s/bm_a.png)
![](/s/bm_b.png)
![](/s/d.png)
![](/s/pl.png)
![](/s/bm_a.png)
![](/s/comma.png)
![](/s/bm_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/sqrt_id2.png)
![](/s/eq.png)
![](/s/sqrt_16_add_9.png)
![](/s/eq.png)
![](/s/sqrt_25.png)
![](/s/eq.png)
![](/s/5.png)
![](/s/bb_lr.png)
![](/s/sup_3.png)
![](/s/bm_a.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/sub_x.png)
![](/s/comma.png)
![](/s/a.png)
![](/s/sub_y.png)
![](/s/comma.png)
![](/s/a.png)
![](/s/sub_z.png)
![](/s/pr.png)
![](/s/bm_b.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/b.png)
![](/s/sub_x.png)
![](/s/comma.png)
![](/s/b.png)
![](/s/sub_y.png)
![](/s/comma.png)
![](/s/b.png)
![](/s/sub_z.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/pl.png)
![](/s/bm_a.png)
![](/s/comma.png)
![](/s/bm_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/sqrt_id3.png)
ちなみに一次元の
のユークリッド距離の場合は、点![](/s/bm_a.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/sub_x.png)
、点![](/s/bm_b.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/b.png)
![](/s/sub_x.png)
に対し、「![](/s/d.png)
![](/s/pl.png)
![](/s/bm_a.png)
![](/s/comma.png)
![](/s/bm_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/sqrt_id4.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/a.png)
![](/s/sub_x.png)
![](/s/sub.png)
![](/s/b.png)
![](/s/sub_x.png)
」となります。 例えば![](/s/sub.png)
と
のユークリッド距離は、「![](/s/abs.png)
![](/s/pl.png)
![](/s/sub.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/5.png)
![](/s/abs.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/sub.png)
![](/s/7.png)
![](/s/abs.png)
![](/s/eq.png)
」となり、![](/s/sub.png)
と
が
だけ離れていることが分かります。
![](/s/bb_lr.png)
![](/s/bm_a.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/sub_x.png)
![](/s/pr.png)
![](/s/bm_b.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/b.png)
![](/s/sub_x.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/pl.png)
![](/s/bm_a.png)
![](/s/comma.png)
![](/s/bm_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/sqrt_id4.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/a.png)
![](/s/sub_x.png)
![](/s/sub.png)
![](/s/b.png)
![](/s/sub_x.png)
![](/s/abs.png)
![](/s/sub.png)
![](/s/2.png)
![](/s/5.png)
![](/s/abs.png)
![](/s/pl.png)
![](/s/sub.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/5.png)
![](/s/abs.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/sub.png)
![](/s/7.png)
![](/s/abs.png)
![](/s/eq.png)
![](/s/7.png)
![](/s/sub.png)
![](/s/2.png)
![](/s/5.png)
![](/s/7.png)
また、図の右側のような距離は「マンハッタン距離」といい、点![](/s/bm_a.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/sub_x.png)
![](/s/comma.png)
![](/s/a.png)
![](/s/sub_y.png)
、点![](/s/bm_b.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/b.png)
![](/s/sub_x.png)
![](/s/comma.png)
![](/s/b.png)
![](/s/sub_y.png)
に対し、「![](/s/d.png)
![](/s/pl.png)
![](/s/bm_a.png)
![](/s/comma.png)
![](/s/bm_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/a.png)
![](/s/sub_x.png)
![](/s/sub.png)
![](/s/b.png)
![](/s/sub_x.png)
![](/s/abs.png)
![](/s/add.png)
![](/s/abs.png)
![](/s/a.png)
![](/s/sub_y.png)
![](/s/sub.png)
![](/s/b.png)
![](/s/sub_y.png)
」で計算できます。
![](/s/bm_a.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/sub_x.png)
![](/s/comma.png)
![](/s/a.png)
![](/s/sub_y.png)
![](/s/pr.png)
![](/s/bm_b.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/b.png)
![](/s/sub_x.png)
![](/s/comma.png)
![](/s/b.png)
![](/s/sub_y.png)
![](/s/pr.png)
![](/s/d.png)
![](/s/pl.png)
![](/s/bm_a.png)
![](/s/comma.png)
![](/s/bm_b.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/a.png)
![](/s/sub_x.png)
![](/s/sub.png)
![](/s/b.png)
![](/s/sub_x.png)
![](/s/abs.png)
![](/s/add.png)
![](/s/abs.png)
![](/s/a.png)
![](/s/sub_y.png)
![](/s/sub.png)
![](/s/b.png)
![](/s/sub_y.png)
![](/s/abs.png)
5.2距離の定義
さて、ユークリッド距離もマンハッタン距離も数学では「距離」として扱えますが、他にどのようなものが距離として扱えるかといいますと、図5-2の条件を満たすものはすべて数学で「距離」といいます。
集合の
つの元を実数
に対応付ける写像「
」が以下を満たすとき、
を距離という。
の任意の元
に対し、
。
となるのは
のとき、またそのときに限る。
。
。
つまり、ユークリッド距離やマンハッタン距離はこの「距離の定義」を満たしているため、数学で「距離」として扱えるわけです。
5.3距離空間
このように数学では様々な距離を考えることができるため、![](/s/bb_lr.png)
などの集合に対して、どのような距離を使うのかが重要になってきます。
![](/s/bb_lr.png)
![](/s/sup_n.png)
そこで、集合と距離とをセットにし、「(集合,距離)」と表されるようになりました。 これを「距離空間」といいます。 「空間」とは、集合と何かしらのルール(距離など)をセットにしたものです。
例えば、ユークリッド距離を「
」とすると、![](/s/pl.png)
![](/s/bb_lr.png)
![](/s/comma.png)
![](/s/d.png)
![](/s/pr.png)
![](/s/comma.png)
![](/s/pl.png)
![](/s/bb_lr.png)
![](/s/sup_2.png)
![](/s/comma.png)
![](/s/d.png)
![](/s/pr.png)
![](/s/comma.png)
![](/s/pl.png)
![](/s/bb_lr.png)
![](/s/sup_3.png)
![](/s/comma.png)
![](/s/d.png)
![](/s/pr.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/comma.png)
![](/s/pl.png)
![](/s/bb_lr.png)
![](/s/sup_n.png)
![](/s/comma.png)
![](/s/d.png)
はそれぞれ距離空間です。 特にこれらの距離空間には名前が付けられており、それぞれ「1次元ユークリッド空間」、「2次元ユークリッド空間」、「3次元ユークリッド空間」、…、「n次元ユークリッド空間」と呼ばれます。
![](/s/d.png)
![](/s/pl.png)
![](/s/bb_lr.png)
![](/s/comma.png)
![](/s/d.png)
![](/s/pr.png)
![](/s/comma.png)
![](/s/pl.png)
![](/s/bb_lr.png)
![](/s/sup_2.png)
![](/s/comma.png)
![](/s/d.png)
![](/s/pr.png)
![](/s/comma.png)
![](/s/pl.png)
![](/s/bb_lr.png)
![](/s/sup_3.png)
![](/s/comma.png)
![](/s/d.png)
![](/s/pr.png)
![](/s/comma.png)
![](/s/dots.png)
![](/s/comma.png)
![](/s/pl.png)
![](/s/bb_lr.png)
![](/s/sup_n.png)
![](/s/comma.png)
![](/s/d.png)
![](/s/pr.png)
ユークリッド距離はよく使われるため、単に![](/s/bb_lr.png)
の集合が示されて距離が示されていないときには、暗黙的にn次元ユークリッド空間だとされることが多いです。
![](/s/bb_lr.png)
![](/s/sup_n.png)
6解析幾何学
それでは、この「n次元ユークリッド空間![](/s/pl.png)
![](/s/bb_lr.png)
![](/s/sup_n.png)
![](/s/comma.png)
![](/s/d.png)
」の中で図形を扱うことを考えます。
![](/s/pl.png)
![](/s/bb_lr.png)
![](/s/sup_n.png)
![](/s/comma.png)
![](/s/d.png)
![](/s/pr.png)
先ほど![](/s/bb_lr.png)
の元を「点」と言うと説明しましたが、この「点」をそのままヒルベルトの公理における点とみなし、直線や平面などを「点の集合」だと考えることで、ヒルベルトの公理を満たすような体系が![](/s/bb_lr.png)
に構築できます。 つまり、![](/s/bb_lr.png)
に定義されていた「座標」や「ユークリッド距離」といった概念がヒルベルトの公理の図形に対して適用できます。
![](/s/bb_lr.png)
![](/s/sup_n.png)
![](/s/bb_lr.png)
![](/s/sup_n.png)
![](/s/bb_lr.png)
![](/s/sup_n.png)
例えば、ある図形が平面![](/s/bb_lr.png)
の点で構成されていた場合、それらの点はそれぞれ![](/s/pl.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
の座標を持ち、
の値によって
の値が決まりますので、その図形は![](/s/y.png)
![](/s/eq.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
という方程式によって表せることになります。 例えば、![](/s/y.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/x.png)
![](/s/add.png)
という方程式は、![](/s/bb_lr.png)
上の一つの直線になります。
![](/s/bb_lr.png)
![](/s/sup_2.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/pr.png)
![](/s/x.png)
![](/s/y.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/x.png)
![](/s/add.png)
![](/s/1.png)
![](/s/bb_lr.png)
![](/s/sup_2.png)
![](/s/bb_lr.png)
![](/s/sup_2.png)
![図形の方程式](/images/mathematics/basic5/480671623246.png)
2点![](/s/l_a.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/sub_la.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/sub_la.png)
![](/s/pr.png)
![](/s/comma.png)
![](/s/l_b.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/sub_lb.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/sub_lb.png)
を通る直線の方程式は、「![](/s/pl.png)
![](/s/x.png)
![](/s/sub_lb.png)
![](/s/sub.png)
![](/s/x.png)
![](/s/sub_la.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/y.png)
![](/s/sub.png)
![](/s/y.png)
![](/s/sub_la.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/y.png)
![](/s/sub_lb.png)
![](/s/sub.png)
![](/s/y.png)
![](/s/sub_la.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/sub.png)
![](/s/x.png)
![](/s/sub_la.png)
」と表せます。 また、中心![](/s/l_o.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/sub_lo.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/sub_lo.png)
、半径
の円の方程式は、「![](/s/pl.png)
![](/s/x.png)
![](/s/sub.png)
![](/s/x.png)
![](/s/sub_lo.png)
![](/s/pr.png)
![](/s/sup_2.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/y.png)
![](/s/sub.png)
![](/s/y.png)
![](/s/sub_lo.png)
![](/s/pr.png)
![](/s/sup_2.png)
![](/s/eq.png)
![](/s/r.png)
」と表せます。
![](/s/l_a.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/sub_la.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/sub_la.png)
![](/s/pr.png)
![](/s/comma.png)
![](/s/l_b.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/sub_lb.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/sub_lb.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/sub_lb.png)
![](/s/sub.png)
![](/s/x.png)
![](/s/sub_la.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/y.png)
![](/s/sub.png)
![](/s/y.png)
![](/s/sub_la.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/y.png)
![](/s/sub_lb.png)
![](/s/sub.png)
![](/s/y.png)
![](/s/sub_la.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/sub.png)
![](/s/x.png)
![](/s/sub_la.png)
![](/s/pr.png)
![](/s/l_o.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/sub_lo.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/sub_lo.png)
![](/s/pr.png)
![](/s/r.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/sub.png)
![](/s/x.png)
![](/s/sub_lo.png)
![](/s/pr.png)
![](/s/sup_2.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/y.png)
![](/s/sub.png)
![](/s/y.png)
![](/s/sub_lo.png)
![](/s/pr.png)
![](/s/sup_2.png)
![](/s/eq.png)
![](/s/r.png)
![](/s/sup_2.png)
図形を方程式で扱えるようになったことで、例えば「直線と円が2点![](/s/l_a.png)
![](/s/comma.png)
で交わっているときの線分![](/s/l_a.png)
の長さ」のような、ヒルベルトの公理からは導けないものが計算できるようになります。
![](/s/l_a.png)
![](/s/comma.png)
![](/s/l_b.png)
![](/s/l_a.png)
![](/s/l_b.png)
7いろいろな図形
図形が方程式で扱えるようになったということは、逆に方程式で表されるものを新たな図形として考えることもできます。 ここでは様々な「関数」の方程式が作り出す図形について紹介します。
「関数」とは基本的には写像と同じもので、2つの集合の元を対応付けるものです。 ただし、1つの元に対応付けられる元が複数あるもの(「多価関数」と呼ばれ、厳密には関数と区別されます)も関数の一種として扱われることがあります。
7.1指数関数
![](/s/a.png)
![](/s/gt.png)
![](/s/0.png)
![](/s/a.png)
![](/s/neq.png)
![](/s/1.png)
![](/s/a.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/a.png)
![](/s/sup_x.png)
![](/s/f.png)
![](/s/a.png)
例えば、指数関数が作り出す図形として「![](/s/y.png)
![](/s/eq.png)
![](/s/2.png)
」という方程式を考えると図7-1のようになります。
![](/s/y.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/sup_x.png)
![指数関数が作る図形](/images/mathematics/basic5/202281612443.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/0.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/sup_0.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/sup_1.png)
![](/s/eq.png)
![](/s/2.png)
7.2対数関数
![](/s/a.png)
![](/s/gt.png)
![](/s/0.png)
![](/s/a.png)
![](/s/neq.png)
![](/s/1.png)
![](/s/a.png)
![](/s/b.png)
![](/s/gt.png)
![](/s/0.png)
![](/s/b.png)
![](/s/a.png)
![](/s/sup_x.png)
![](/s/eq.png)
![](/s/b.png)
![](/s/x.png)
![](/s/tl.png)
![](/s/to.png)
![](/s/tg.png)
![](/s/sub_a.png)
![](/s/b.png)
![](/s/2.png)
![](/s/sup_3.png)
![](/s/eq.png)
![](/s/8.png)
![](/s/tl.png)
![](/s/to.png)
![](/s/tg.png)
![](/s/sub_2.png)
![](/s/8.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/tl.png)
![](/s/to.png)
![](/s/tg.png)
![](/s/sub_a.png)
![](/s/b.png)
![](/s/a.png)
![](/s/b.png)
このとき、![](/s/x.png)
![](/s/gt.png)
である実数
に対し、「![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/tl.png)
![](/s/to.png)
![](/s/tg.png)
![](/s/sub_a.png)
」と定義される関数
を、「対数関数」といいます。 また、このときの
を対数関数の「底」といいます。
![](/s/x.png)
![](/s/gt.png)
![](/s/0.png)
![](/s/x.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/tl.png)
![](/s/to.png)
![](/s/tg.png)
![](/s/sub_a.png)
![](/s/x.png)
![](/s/f.png)
![](/s/a.png)
例えば、対数関数が作り出す図形として「![](/s/y.png)
![](/s/eq.png)
![](/s/tl.png)
![](/s/to.png)
![](/s/tg.png)
![](/s/sub_2.png)
」という方程式を考えると図7-2のようになります。
![](/s/y.png)
![](/s/eq.png)
![](/s/tl.png)
![](/s/to.png)
![](/s/tg.png)
![](/s/sub_2.png)
![](/s/x.png)
![対数関数が作る図形](/images/mathematics/basic5/608801460408.png)
対数関数はこのように、指数関数の図形を回転させた形になっています。
7.3三角関数
このほか図形に関する重要な概念として「三角関数」があります。
さて、「三角関数」とは、図7-3のように定義される3つの関数「![](/s/ts.png)
![](/s/ti.png)
」「![](/s/tc.png)
![](/s/to.png)
」「![](/s/tt.png)
![](/s/ta.png)
」のことを指します。
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/tt.png)
![](/s/ta.png)
![](/s/tn.png)
![三角関数](/images/mathematics/basic5/706234138312_ja.png)
図の左側のように、半径1の円周上の点と、円の中心とを結ぶ線分の角度を
とすると、点の座標![](/s/pl.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
は「![](/s/pl.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/theta.png)
![](/s/comma.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/theta.png)
」と定義されます。
![](/s/theta.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/y.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/theta.png)
![](/s/comma.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/theta.png)
![](/s/pr.png)
また図の右側のように、円の中心から発して点を通る線分を![](/s/x.png)
![](/s/eq.png)
![](/s/plusminus.png)
まで伸ばしたときの
座標は、「![](/s/tt.png)
![](/s/ta.png)
![](/s/tn.png)
」と定義されます。 ただし![](/s/theta.png)
![](/s/eq.png)
![](/s/9.png)
![](/s/0.png)
の場合など、いくら線分を伸ばしても![](/s/x.png)
![](/s/eq.png)
![](/s/plusminus.png)
に交わらないときは![](/s/tt.png)
![](/s/ta.png)
![](/s/tn.png)
の値は定義されません。 ちなみに「![](/s/tt.png)
![](/s/ta.png)
![](/s/tn.png)
![](/s/theta.png)
![](/s/eq.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/theta.png)
![](/s/slash.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
」の関係が成り立ちます。
![](/s/x.png)
![](/s/eq.png)
![](/s/plusminus.png)
![](/s/1.png)
![](/s/y.png)
![](/s/tt.png)
![](/s/ta.png)
![](/s/tn.png)
![](/s/theta.png)
![](/s/theta.png)
![](/s/eq.png)
![](/s/9.png)
![](/s/0.png)
![](/s/degree.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/plusminus.png)
![](/s/1.png)
![](/s/tt.png)
![](/s/ta.png)
![](/s/tn.png)
![](/s/theta.png)
![](/s/tt.png)
![](/s/ta.png)
![](/s/tn.png)
![](/s/theta.png)
![](/s/eq.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/theta.png)
![](/s/slash.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/theta.png)
ところで、角の大きさは、1周を「![](/s/3.png)
![](/s/6.png)
![](/s/0.png)
」とする「度数法」に馴染みがありますが、数学では1周を「![](/s/2.png)
![](/s/pi.png)
![](/s/tr.png)
![](/s/ta.png)
」とする「弧度法」がよく使われます。 「1周を![](/s/3.png)
![](/s/6.png)
」と考えることの数学的な意義はありませんが、直径
の円の円周の長さは![](/s/2.png)
なので、「1周を![](/s/2.png)
」とすると、直径
の円における中心角と弧の長さが一致して扱いやすくなります。
![](/s/3.png)
![](/s/6.png)
![](/s/0.png)
![](/s/degree.png)
![](/s/2.png)
![](/s/pi.png)
![](/s/tr.png)
![](/s/ta.png)
![](/s/td.png)
![](/s/3.png)
![](/s/6.png)
![](/s/0.png)
![](/s/1.png)
![](/s/2.png)
![](/s/pi.png)
![](/s/2.png)
![](/s/pi.png)
![](/s/1.png)
「![](/s/tr.png)
![](/s/ta.png)
」という単位は、しばしば表記からは省略されます。 例えば「![](/s/2.png)
![](/s/pi.png)
![](/s/tr.png)
![](/s/ta.png)
」のことは単に「![](/s/2.png)
」と書かれます(図7-4)。
![](/s/tr.png)
![](/s/ta.png)
![](/s/td.png)
![](/s/2.png)
![](/s/pi.png)
![](/s/tr.png)
![](/s/ta.png)
![](/s/td.png)
![](/s/2.png)
![](/s/pi.png)
![度数法と弧度法](/images/mathematics/basic5/706234138312_2_ja.png)
「![](/s/3.png)
![](/s/6.png)
![](/s/0.png)
![](/s/degree.png)
![](/s/eq.png)
![](/s/2.png)
」ですから、「![](/s/1.png)
![](/s/8.png)
![](/s/0.png)
![](/s/degree.png)
![](/s/eq.png)
」「![](/s/9.png)
![](/s/0.png)
![](/s/degree.png)
![](/s/eq.png)
![](/s/pi.png)
![](/s/slash.png)
」「![](/s/6.png)
![](/s/0.png)
![](/s/degree.png)
![](/s/eq.png)
![](/s/pi.png)
![](/s/slash.png)
」「![](/s/4.png)
![](/s/5.png)
![](/s/degree.png)
![](/s/eq.png)
![](/s/pi.png)
![](/s/slash.png)
」「![](/s/3.png)
![](/s/0.png)
![](/s/degree.png)
![](/s/eq.png)
![](/s/pi.png)
![](/s/slash.png)
」などとなります。
![](/s/3.png)
![](/s/6.png)
![](/s/0.png)
![](/s/degree.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/pi.png)
![](/s/1.png)
![](/s/8.png)
![](/s/0.png)
![](/s/degree.png)
![](/s/eq.png)
![](/s/pi.png)
![](/s/9.png)
![](/s/0.png)
![](/s/degree.png)
![](/s/eq.png)
![](/s/pi.png)
![](/s/slash.png)
![](/s/2.png)
![](/s/6.png)
![](/s/0.png)
![](/s/degree.png)
![](/s/eq.png)
![](/s/pi.png)
![](/s/slash.png)
![](/s/3.png)
![](/s/4.png)
![](/s/5.png)
![](/s/degree.png)
![](/s/eq.png)
![](/s/pi.png)
![](/s/slash.png)
![](/s/4.png)
![](/s/3.png)
![](/s/0.png)
![](/s/degree.png)
![](/s/eq.png)
![](/s/pi.png)
![](/s/slash.png)
![](/s/6.png)
さて、![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
や![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
が具体的にどのような数になるかといいますと、ほとんどは複雑な数ですが、いくつかの値は分数や平方根で表すことができます。 例えば先ほどの![](/s/ts.png)
![](/s/ti.png)
、![](/s/tc.png)
![](/s/to.png)
の定義や、ピタゴラスの定理を駆使することで、表7-1の値が導けます。
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/theta.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/theta.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![]() |
![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() |
---|---|---|
![]() |
![]() |
![]() |
![]() ![]() ![]() |
![]() ![]() ![]() |
![]() ![]() ![]() |
![]() ![]() ![]() |
![]() ![]() ![]() |
![]() ![]() ![]() |
![]() ![]() ![]() |
![]() ![]() ![]() |
![]() ![]() ![]() |
![]() ![]() ![]() |
![]() |
![]() |
![]() |
![]() |
![]() ![]() |
![]() ![]() ![]() ![]() |
![]() ![]() |
![]() |
![]() ![]() |
![]() |
![]() |
これらの![](/s/ts.png)
![](/s/ti.png)
、![](/s/tc.png)
![](/s/to.png)
の値は頻繁に使いますので、多くの人は暗記しています。
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
最後に、三角関数が作り出す図形「![](/s/y.png)
![](/s/eq.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
」「![](/s/y.png)
![](/s/eq.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
」「![](/s/y.png)
![](/s/eq.png)
![](/s/tt.png)
![](/s/ta.png)
![](/s/tn.png)
」という方程式を考えると図7-5のようになります。
![](/s/y.png)
![](/s/eq.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/x.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/x.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/tt.png)
![](/s/ta.png)
![](/s/tn.png)
![](/s/x.png)
![三角関数が作る図形](/images/mathematics/basic5/706234138312_3.png)
角度は![](/s/2.png)
で1周するため、
に対して![](/s/2.png)
ごとに同じ形が繰り返されます。
![](/s/2.png)
![](/s/pi.png)
![](/s/x.png)
![](/s/2.png)
![](/s/pi.png)
今回は、ヒルベルトの公理から導かれる図形の性質や、それを
次元ユークリッド空間で扱う方法、そして距離空間について説明しました。 次回は、「![](/s/0.png)
![](/s/dot.png)
![](/s/9.png)
![](/s/9.png)
![](/s/9.png)
![](/s/9.png)
![](/s/dots.png)
![](/s/eq.png)
」について解説します!
![](/s/n.png)
![](/s/0.png)
![](/s/dot.png)
![](/s/9.png)
![](/s/9.png)
![](/s/9.png)
![](/s/9.png)
![](/s/dots.png)
![](/s/eq.png)
![](/s/1.png)