【Rで射影幾何学】そもそも「幾何学」とは何か？


今から思い返すに、私が**数理世界**(<font color="blue">Mathematical Things Set</font>)で最初に躓いたのは、まさにこの定義においてだったのです。
[幾何学とは (キカガクとは) [単語記事] - ニコニコ大百科](https://dic.nicovideo.jp/a/%E5%B9%BE%E4%BD%95%E5%AD%A6)

>図形について考察する数学の一分野。現代では所謂"**幾何学的**"な整然とした図形だけでなく、より広範な対象を扱う。

それでは(<font color="blue">古代オリエント灌漑農業の世界においてしばしば大河の氾濫開始時期と密接に結び付けて考えられてきた</font>)**シリウス星**に導かれるまま、順番にこの問題を解きほぐしていく事にしましょう。
[シリウス星(Sirius) - Wikipedia](https://ja.wikipedia.org/wiki/%E3%82%B7%E3%83%AA%E3%82%A6%E3%82%B9)
![rOqOr_JxwzCa1VCJ3wiwFdNCx59TAeUEUsjJf2VLNL91brTFued1QycB2uyaB46t7Fz3McIj_7BuKAVYWUeKfC6ed5BXxpDjUSFPJtSrfGxCQKqCYrzafnkDBGeJsBkB4iAypE1qDfEEo5y90pXcHT5zTXwv4DYw8w--.jpeg](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/7400df68-78b5-febb-bb54-36fb2a1520c8.jpeg)

###幾何学の概念の歴史的大源流

>その発祥は非常に古く、古代オリエントのナイル川流域における測量に端を発すると言われている。ナイル川流域は年に一度氾濫を起こし、氾濫が終わった後には肥沃な土壌を上流から運んでいた。しかし、氾濫により一帯が全て洗い流されてしまうため、氾濫後には土地を元通りに配分しなくてはならなかったのである。このような背景の下、古代オリエントでは測量術が発達し、測量術から派生する形で幾何学は誕生した。ラテン語で<font color="green">Geometria</font>、英語で<font color="green">Geometry</font>と表記するのもその名残(<font color="blue">geo-:土地の</font> / <font color="blue">-metry:測定法</font>)である。

さらには(<font color="blue">しばしば同時に農業暦を整える神殿宗教を司る神官集団を代表する立場にもあった</font>)**古代オリエントの祭政者達**は、同時に毎年毎年氾濫が起こる
時期を必要にして十分なだけ正確に予測する責務も担わされていたので（<font color="blue">数理的には円弧/球面幾何学に立脚する</font>）**天文学**(<font color="blue">Astronomy</font>)分野も早くから発達してきたのでした。
[天文学 - Wikipedia（英Astronomy, 独Astronomie,Sternkunde, 蘭Astronomie (Astronomia),Sterrenkunde (Sterrekunde),仏Astronomie）](https://ja.wikipedia.org/wiki/%E5%A4%A9%E6%96%87%E5%AD%A6)
[天動説と地動説の違いを説明するアニメーションの数学的美しさ](https://mehori.com/blog/2016/01/12/heliocenterism-geocenterism/)
![20190226034824.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/02536299-0b31-c21e-dd4b-953a0d9631bd.gif)
**我々人類のちっぽけな知性**(<font color="blue">Our Poor Little Intelligence</font>)には到底直接は手を伸し得ない「**辺長が無限小**(<font color="green">1/Inf</font>)**で辺数が無限大**(<font color="green">Inf</font>)**の辺数で構成される円そのもの**(<font color="blue">Circle</font> / <font color="blue">Sphere Surface</font>)**上の永劫回帰運動**(<font color="blue">独:Ewige Regression Bewegung</font>)」を、コンピューターに扱える**加算直積可能世界**(<font color="blue">Countable and Productable Sets</font>)に持ち込むべく**近似法概念**(<font color="blue">Approximation Method Concept</font>)の**開発**(<font color="blue">Development</font>)が始まったのもまさにこの頃だったのです。例えば現代人の次空間概念を基礎付けた**古代シュメール文明の60進法**…
[【初心者向け】「円そのもの」の近似から派生した角度と経度の概念の起源](https://qiita.com/ochimusha01/items/80b70db93cbf2612bd18)
![20191028123539.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/6ecec94f-f795-b69a-df0e-7cdc9fa8dde7.gif)
また、どうして漢字圏では<font color="green">Geometria</font>/<font color="green">Geometry</font>が「**幾何学**」と呼ばれるようになったのかについて、さらにこんなややこしい話がある様です。こういう話でありがちな様に、やはり背後に**近世イエズス会士の暗躍**があったらしい？
[満洲語資料からみた「幾何」の語源について (数学史の研究)](https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/47614)

###直角三角形の「典型的角度」について。

>この時代の有名な発見物として、**三辺比**<font color="green">3:4:5</font>**の直角三角形**がある。この三角形により、簡単な整数比から直角を作ることが可能となった。

ここに登場する**三辺比**<font color="green">3:4:5</font>**の直角三角形**の物凄いところは、概ねその値が小さい方の角度が<font color="green">Arcsin(3/5)</font>（<font color="blue">36.87度/0.6435011Radian</font>）、大きい方の角度が<font color="green">Arcsin(4/5)</font>（<font color="blue">53.13度/0.9272952Radian</font>）とされ、未だにちゃんとした角度が割り当てられてない(<font color="blue">割り当て様がない</font>)辺り。だからその一方で学校教育の現場などでは別の三角定規のセットが用いられてきたのです。

```R
#直角=90度はArcsin(1)=1.570796Radian。
asin(1)
[1] 1.570796
> asin(1)/(2*pi)*360
[1] 90

#小角=36.87度はArcsin(3/5)=0.6435011Radian。
> asin(3/5)
[1] 0.6435011
> asin(3/5)/(2*pi)*360
[1] 36.8699

#大角=53.13度はArcsin(4/5)=0.9272952Radian。
> asin(4/5)
[1] 0.9272952
> asin(4/5)/(2*pi)*360
[1] 53.1301

#もちろん大角+小角=直角。
> asin(3/5)+asin(4/5)
[1] 1.570796
> (asin(3/5)+asin(4/5))/(2*pi)*360
[1] 90
```
とりあえず、**三辺比**<font color="green">3:4:5</font>**の直角三角形**の**デカルト座標系**（<font color="blue">Rectangular Coordinate System / Orthogonal Coordinate System=直交座標系</font>）における**表現**(<font color="blue">Expression</font>)はこうなります。
![Rplot03.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/9b245d18-34cb-0826-dd9d-da040df4c1ce.png)

```R
#"斜辺5"に関する記述が明示的に現れない点に注意。
cx=c(0,4,4,0)
cy=c(0,0,3,0)
plot(cx,cy,type="l",asp=1,col=rgb(0,0,1),lwd=2, main="Right Triangle:Three sides ratio=3:4:5",xlab="X axis",ylab="Y axis")
```
それでは、代わりに普及した三角定規は一体どんな比率で興成されていたのでしょうか。
[三角定規とコンパスの歴史](http://cakravala.in.coocan.jp/compassandtriangle.pdf#search='%E4%B8%89%E8%A7%92%E5%AE%9A%E8%A6%8F+%E6%AD%B4%E5%8F%B2')
①**正方形**(<font color="blue">Square</font>)を対角線で２つに分割した**辺長比**<font color="green">1</font>:<font color="green">1</font>:<font color="green">sqrt(2)</font>,**角度比**<font color="green">45度</font>(<font color="blue">π/4ラジアン</font>):<font color="green">45度</font>(<font color="blue">π/4ラジアン</font>):<font color="green">90度</font>((<font color="blue">π/2ラジアン</font>)の二等辺三角形…**平方眼**(<font color="blue">Square Grid</font>)や**立方眼**(<font color="blue">Cube Grid</font>)上の**平方対角線**(<font color="blue">Square Diagonal</font>)に対応。
![Rplot05.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/7e0cb011-5dbf-9cd8-8c7a-834f87f7de10.png)

```R
#"斜辺sqrt(2)"に関する記述が明示的に現れない点に注意。
cx=c(0,1,1,0)
cy=c(0,0,1,0)
plot(cx,cy,type="l",asp=1,col=rgb(0,0,1),lwd=2, main="Right Triangle:Three sides ratio=1:1:sqrt(2)",xlab="X axis",ylab="Y axis")
```

②**正三角形**(<font color="blue">Equilateral Triangle</font>)を垂線で２つに分割した**辺長比**<font color="green">1</font>:<font color="green">2</font>:<font color="green">sqrt(3)</font>,**角度比**<font color="green">30度</font>(<font color="blue">π/6ラジアン</font>):<font color="green">60度</font>(<font color="blue">π/3ラジアン</font>):<font color="green">90度</font>(<font color="blue">π/2ラジアン</font>)の直角三角形…
[【Rで球面幾何学】正四面体と正六面体と正八面体の連続性と「テトラパックの思わぬ正体」について。](https://qiita.com/ochimusha01/items/3356f7c805917660632c)
![20200207094535.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/50c9b16f-bd89-df18-8a2a-9ae775f4fa4a.png)
**デカルト座標系**においては平方眼や立方眼上における**２マス**(<font color="blue">X軸1マスY軸2マスか、X軸2マスY軸1マス</font>)の**平方対角線**(<font color="blue">Square diagonal</font>)の算出に用いる。
![Rplot06.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/a406baea-6bfc-e195-2c9e-7f9e995ac51a.png)

```R
#"斜辺sqrt(3)"に関する記述が明示的に現れない点に注意。
cx=c(0,2,2,0)
cy=c(0,0,1,0)
plot(cx,cy,type="l",asp=1,col=rgb(0,0,1),lwd=2, main="Right Triangle:Three sides ratio=1:2:sqrt(3)",xlab="X axis",ylab="Y axis")
```
③**ハミルトンの四元数**(<font color="blue">Hamilton's Quaternion</font>)における「**球面上に位置する原蹠と対蹠の間を2回直角に曲がって結ぶ３次元系空間処理**」の際に現れる**辺長比**<font color="green">1</font>:<font color="green">sqrt(2)</font>:<font color="green">sqrt(3)</font>,**角度比**<font color="green">28度</font>(<font color="blue">π/10ラジアン</font>):<font color="green">72度</font>(<font color="blue">2π/5ラジアン</font>):<font color="green">90度</font>(<font color="blue">π/2ラジアン</font>)の直角三角形…
[【Rで球面幾何学】正方形における平方対角線(Square diagonal)と立方体における立方対角線(Cubic diagonal)の関係について。](https://qiita.com/ochimusha01/items/9d899779ff8e814beb41)
[【Rで球面幾何学】ハミルトンの四元数(Quaternion)は何を表しているのか？](https://qiita.com/ochimusha01/items/aff8d52f20af01d13bed)
[【Rで球面幾何学】正四面体と正六面体と正八面体の連続性と「テトラパックの思わぬ正体」について。](https://qiita.com/ochimusha01/items/3356f7c805917660632c)
![square003.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/a3185dfd-eb2e-00be-01b7-79cd6d8f019f.gif)

```R
#直角=90度はCos(0)=Sin(pi/2)=1
> cos(0)
[1] 1
> cos(0)*90
[1] 90
> sin(pi/2)
[1] 1
> sin(pi/2)*90
[1] 90

#小角=28度はπ/10Radian。
>pi/10/pi*180
[1] 18

#大角=>72度は2π/5Radian。
> 2*pi/5/pi*180
[1] 72

#cos(2π/5)/π=sin(π/10)/π=0.3027307
> cos(2*pi/5)
[1] 0.309017
> sin(pi/10)
[1] 0.309017
```
「**えっ、そんな被率の三角定規見た事も聞いた事もないよ!!**」と思う人が大半で、実際私自身も見た事も聞いた事もないが、**ハミルトンの四元数**(<font color="blue">Hamilton's Quaternion</font>)の内容を理解する上で極めて便利だし、実際テトラパックの様な形で実用化もされているので、あえて挙げてみた次第。
![Rplot04.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/75cd01ab-9bc5-3bbf-be2c-0a6c699db455.png)

```R
#"斜辺sqrt(3)"に関する記述が明示的に現れない点に注意。
cx=c(0,sqrt(2),sqrt(2),0)
cy=c(0,0,1,0)
plot(cx,cy,type="l",asp=1,col=rgb(0,0,1),lwd=2, main="Right Triangle:Three sides ratio=1:sqrt(2):sqrt(3)",xlab="X axis",ylab="Y axis")
```
![triangles018.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/027efce9-3659-ca54-e8e7-306d4e74d82e.gif)
いずれにせよ、**単位円**(<font color="blue">Unit Circle</font>)上における**平方ピタゴラスの定理**(<font color="blue">Square Pythagorean theorem</font>)<font color="blue">Hamilton's Quaternion</font><font color="green">sqrt(x^2+y^2)=1</font>や**単位球面**(<font color="blue">Unit Sphere</font>)上における**立方ピタゴラスの定理**(<font color="blue">Cubic Pythagorean theorem</font>)<font color="green">sqrt(x^2+y^2+z^2)=1</font>の振る舞いがちゃんと脳内に**導入**(<font color="blue">Introduction</font>)済みだったなら、あくまでその特殊例に過ぎないので態々実物を携帯する必要はありません。そもそも、どうしてそういう「**原則として作図にコンパスも定規も不要**」時代が訪れたかというのが今回の投稿の肝だったりして…

###「ユークリッド幾何学」の登場

>その後古代ギリシアに於いて研究が進み、大きな発展を遂げる。特筆すべきは**証明**(<font color="blue">Mathematical Proof</font>)という手法を導入した点にある。現在から考えれば当たり前のような手法かもしれないが、僅かな**前提**(<font color="blue">公理・公準</font>)から、当然とは思えないような**結論**(<font color="blue">公理</font>)を厳密な演繹により導き出すこの手法は、当時としては画期的な手法であった。この時代の主要な人物としてはターレス、ピタゴラス、ユークリッドなどが挙げられる。中でもユークリッドは『**原論**』を著わし、この時代における証明の手法を完成させたと言われる。

**ユークリッドの提案した公理**

- **公理1**： 同じものと等しいもの同士は互いに等しい(<font color="blue">A=BならB=A, A=BかつB=CならA=C</font>)。
- **公理2**： 同じものに同じものを足した場合、その合計は等しい(<font color="blue">A=BならA+X=B+X</font>)。
- **公理3**： 同じものから同じものを引いた場合、その残りは等しい(<font color="blue">A=BならA-X=B-X</font>)。
- **公理4**： 互いに一致するものは、互いに等しい。
- **公理5**： 全体は部分より大きい。

**ユークリッドの提案した公準**

- **公準1**： 任意の1点から他の1点へ線を引くことができる。
- **公準2**： 有限の直線は連続的にまっすぐ延長することができる。
- **公準3**： 任意の点を中心に、任意の半径の円を描くことができる。
- **公準4**： 全ての直角は等しい。
- **公準5**： 1本の直線Aが2本の直線B,Cに交わるとする。このとき、同じ側の内角が2直角未満であれば、B,Cを無限に延長すれば何処かで交差する(<font color="blue">平行線は交わらない</font>)。

これまでの「**円周/球面幾何学**」関連投稿では、そもそもそれが**極座標系**(<font color="blue">Polar Coordinate System</font>)に立脚する**非ユークリッド幾何学**に分類される内容であった為、こういった部分から再建を果たす必要がありました。

①流石に**ピタゴラスの定理**(<font color="blue">Cubic Pythagorean theorem</font>)や**加法定理**(<font color="blue">Trigonometric Addition Formulas</font>)などは継承せざるを得ず、独自証明を試みた上で採択。
[【初心者向け】ピタゴラスの定理あるいは三平方の定理からの出発](https://qiita.com/ochimusha01/items/4c7f731b0ef3cc998aa1)
![20190918061420.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/c7cb8211-2ac7-8acb-c35a-573af944e931.gif)
[【初心者向け】「加法定理の幾何学的証明」に挑戦。](https://qiita.com/ochimusha01/items/36c0e84c434e6cdd6ec3)
![TR004.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/25081e53-4ab7-3977-e9cd-dd5ccbae74d1.gif)
②公準1に「**任意の1点から他の1点へ線を引くことができる**」とあるが、この**世界**(<font color="blue">Set</font>)においては円周/球表面上の任意の点は、対蹠発見まで事実上**半直線扱い**としている。全体量が未定なので目盛りも振れない。
[【Rで球面幾何学】単位円と単位球②円周角(Circumference Angle)とは何か？](https://qiita.com/ochimusha01/items/cb9e1bf84eba8e0e84b4)
![20191111234734.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/1c06c1eb-4de7-d285-d0df-58356beab8fa.gif)
「**辺長が無限小**(<font color="green">1/Inf</font>)**で辺数が無限大**(<font color="green">Inf</font>)**の辺数で構成される円そのもの**(<font color="blue">Circle</font> / <font color="blue">Sphere Surface</font>)**上の永劫回帰運動**(<font color="blue">独:Ewige Regression Bewegung</font>)」の基本概念上、円周/球表面上の任意の点は中心から伸ばされた垂線と垂直に交わる水平線上に位置するとされる。この性質はそれらが物理学上の等速円運動と結び付けられる上でも重要な役割を果たしているのだが、如何せん直接確かめる手段がないのでかかる対応とならざるを得ないのであった。
[【初心者向け】物理学における「単位円筒(Unit Cylinder)」の概念について。](https://qiita.com/ochimusha01/items/ced1c21b4411e79cdcbe)
<font color="green">XY軸</font>（<font color="blue">円弧</font>）
![20191029133633.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/0e55e673-d89e-6d33-6e33-9edf6fecdbdd.gif)
<font color="green">XZ軸</font>（<font color="blue">Cos波</font>）
![20191029193635.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/529cc2b1-3476-4eba-1c07-a79cc8ba16d7.gif)
<font color="green">YZ軸</font>（<font color="blue">Sin波</font>）
![20191029194000.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/fa66cf1a-291e-8e76-8ea7-c586efcb1e21.gif)
[【初心者向け】「単位円筒」から「単位球面」へ](https://qiita.com/ochimusha01/items/08f5c5ad1aba4a59a27d)
![20190915101244.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/1eb036c4-ffdc-b445-c582-35792334ff28.gif)
③逆をいうと対蹠発見は、そのままその**円周**(<font color="blue">Circumference</font>)/**球表面**(<font color="blue">Sphere Surface</font>)上の**中心位置**(<font color="blue">Origin</font>)や**半径**(<font color="blue">Radius</font>)/**直径**(<font color="blue">Diameter</font>)の取得につながり、**正弦定理**<font color="green">A/sin(a)=B/sin(b)=C/sin(c)=2R</font>の特殊形たる**ターレスの定理**「<font color="green">その円の弧に対する円周角は常に直角である</font>」を用いて直角概念も援用可能となるので「**円弧上に位置する原蹠と対蹠の間を1回も曲がらず直線で結ぶ1次元処理**」「**円弧上に位置する原蹠と対蹠の間を1回直角に曲がって結ぶ2次元処理**」「**球面上に位置する原蹠と対蹠の間を2回直角に曲がって結ぶ３次元系の空間処理**」なども展開可能となる（<font color="blue">もちろんその時発見された円周/球表面が、その点が本来属する筈の円そのものである確証だけは得られない。それはそれで絶対的にそういうものと諦めざるを得ないのである。</font>）。ある意味この世界においては、こうした諸概念こそが**ユークリッド公準4**「<font color="green">全ての直角は等しい</font>」に該当するといえよう（<font color="blue">とどのつまり「ピタゴラスの定理は偉大」「ターレスの定理は偉大」これに尽きる。</font>）。
[【計算上の往復】半径・直径・円周長・円の面積・球の表面積・球の体積の計算上の往復](https://qiita.com/ochimusha01/items/e180451a210227bb19a5)
![NIHC01.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/6c2aff4b-85d7-8738-246b-4c274ec81f83.gif)
![NIHS01.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/fb7422af-af03-cafd-fcbd-5fa23f540d5d.gif)
[【Rで球面幾何学】単位円と単位球①「半径１」と「直径２」の関係について。](https://qiita.com/ochimusha01/items/d5d3d7a8fda03eddb1d8)
![Rplot100.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/cb3c09a0-600a-cafb-2efa-073e6a6e58b5.png)
[【Rで球面幾何学】ハミルトンの四元数(Quaternion)は何を表しているのか？](https://qiita.com/ochimusha01/items/aff8d52f20af01d13bed)
![CFD01.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/0ba98cbe-b449-9b1d-b0f0-4a6b60e55f35.gif)
![CFD90Sift02.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/dae51c2d-b2ce-515b-c55e-d8dec59a0760.gif)
![square003.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/a3185dfd-eb2e-00be-01b7-79cd6d8f019f.gif)
④かくしてこの世界における**単位円**(<font color="blue">Unit Circle</font>)/**単位球**(<font color="blue">Unit Sphere</font>)の概念が固まってやっと、中心0や半径1を初項とする**等差数列**(<font color="blue">Arithmetic Progression</font>/<font color="blue">Arithmetic Sequence=算術数列</font>)や**等比数列**(<font color="blue">Geometric Progression</font>/<font color="blue">Geometric Sequence=幾何数列</font>)が展開可能となり、それぞれが固有の**同心円集合**(<font color="blue">Concentric set</font>)を構成する。元よりN次元展開を含むが、ここで重要となってくるのが各次元の**導入**(<font color="blue">Introduction</font>)に際して符号概念を導入せず**片側無限数列**(<font color="blue">One-Sided Infinite Sequence</font>)を構成するか、それを導入して**両側無限数列**(<font color="blue">Two-Sided Infinite Sequence</font>)を構成するかの選択。この辺りが**ユークリッドの公準1**「<font color="green">任意の1点から他の1点へ線を引くことができる。</font>」**公準２**「<font color="green">有限の直線は連続的にまっすぐ延長することができる。</font>」**公準3**「<font color="green">任意の点を中心に、任意の半径の円を描くことができる。</font>」に該当してくるとはいえようが、この世界においてはどれもそれぞれ相応に厳密な演算結果として実現する点が異なってくる（<font color="blue">「測量」を原点とする幾何学より「天体観測」から出発した物理学の影響を色濃く受けているせいとも。</font>）。
[【Rで球面幾何学】等差数列(算術数列)① 数直線(Number Line)概念の導入(Introduction)について。](https://qiita.com/ochimusha01/items/4e5eca346c85f161c3b7)
[【Rで球面幾何学】等比数列(幾何数列)①その基本的性質について。](https://qiita.com/ochimusha01/items/cbbe0eadabf149fc720b)
[【Rで球面幾何学】等差数列(算術数列)②数直線(Number Line)概念から同心円集合(Concentric Set)概念へ](https://qiita.com/ochimusha01/items/2a16c3cba3f88986c767)
**片側の端点**(<font color="blue">End Point</font>)**のみが無限大**<font color="green">Inf</font>**もしくは無限小**<font color="green">-Inf</font>**に開かれた片側無限算術数列**(<font color="blue">One-Sided Infinite Arithmetic Sequence</font>)。
![20200109155657.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/75d73c90-9af4-26aa-b976-65065d64f546.gif)
**無限大**<font color="green">Inf</font>**と無限小**<font color="green">-Inf</font>**に挟まれた開区間**(<font color="blue">Open Interval</font>)**で仕切られた両側無限算術数列**(<font color="blue">Two-Sided Infinite Arithmetic Sequence</font>)**。Y軸に符号による峻別を採用した場合。**
![20200109200426.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/078d2c08-3782-8695-94e9-18366c757687.gif)
**X軸に符号による峻別を採用した場合。**
![20200109200959.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/9a0c5d24-9957-370a-2a49-04fdbe1426e6.gif)
[【Rで球面幾何学】等比数列(幾何数列)②同心円集合(Concentric Set)に射影(Projection)する準備](https://qiita.com/ochimusha01/items/3c9b6aa40a3033a0f350)
（<font color="blue">初項a,公差０の等差数列と完全に合致する</font>）**初項**<font color="green">a</font>,**公比**<font color="green">1</font>**の等差数列を目盛に採用した片側無限幾何数列**(<font color="blue">One-Sided Infinite Geometric Sequence</font>)。
![OIAS003.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/4c1ca5d7-7e7d-4c47-84b8-5a684c54cac8.gif)
**指数尺**（<font color="blue">すなわち自然指数関数e^xの値</font>）**を目盛に採用した片側無限幾何数列**(<font color="blue">One-Sided Infinite Geometric Sequence</font>)。
![OIAS009.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/82054f72-6bc1-6ea9-215a-16ac0f009c2b.gif)

###「平行線公準」問題

>以来、長らくユークリッドが体系化した「**ユークリッド幾何学**」は唯一の幾何学として研究が進められていた。というのも、直感的に納得のできる空間のあり方での幾何学だったからである。その一方で、**公準5**(<font color="blue">平行線公準</font>)については長らく妥当性に疑問が投げ掛けられていた。平行線公準の証明は、正に「**世紀の難問**」だったのである。

「**円が半円しか描けない**」問題も存在し、こちらは実際には18世紀頃、**指数関数**(<font color="blue">Exponential Function</font>)/**対数関数**(<font color="blue">Log Function</font>)や**虚数**(<font color="blue">Imaginary Number</font>)や**共役複素数**(<font color="blue">Conjugate Complex</font>)の概念の導入によってまとめて突破される展開を迎えたのである。ただし以降も幾何学の世界はこうした成果の黙殺を続けた感もある。
[【Rで球面幾何学】「半円しか描けなかった」世界の思い出？](https://qiita.com/ochimusha01/items/cf74b1fff650edb0a496)
![CFC001.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/9c314439-c60a-7804-c2ae-26d0f6382a23.gif)
[【初心者向け】三角関数と指数・対数関数の「巡回性」について。](https://qiita.com/ochimusha01/items/61d8cfa89dc078cbe472)
[【Rで球面幾何学】指数・対数関数の発見](https://qiita.com/ochimusha01/items/3e28f4f06abd8cef0af1)
[【Rで球面幾何学】オイラーの公式を導出したマクローリン級数の限界？](https://qiita.com/ochimusha01/items/4a484d5759f96abb0ab3)
![20190602123436.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/e9449153-a438-7105-7174-eca9ccd74d00.gif)

###「非ユークリッド幾何学」の登場

>19世紀にフリードリヒ・ガウスは**公準5**(<font color="blue">平行線公準</font>)を「**平行線は交差する**」と置き換えても整合性のある幾何学が成立する可能性を示唆した。これにより、後年に非ユークリッド幾何学が生み出された。余談だが、ガウス自身は宗教紛争に巻き込まれることを嫌って非ユークリッド幾何学を提唱することはなかったのである。

これまでの投稿範囲では到底言及に及んでませんが、私の中で**フリードリヒ・ガウス**(<font color="blue">Johann Carl Friedrich Gauß, 1777年〜1855年</font>）は以下のパラダイムシフトを成し遂げた偉人という位置付けとなります。
![gauss142_v-contentxl.jpg](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/e72d4698-8e26-3aee-d855-70713abf2f4e.jpeg)
①「**1の冪根の巡回性**」を発見し、作図の世界から定規やコンパスを追放してコンピューター・グラフイック実現の下地を造った人物。
[1の冪根（Root of Unity） - Wikipedia -](https://ja.wikipedia.org/wiki/1%E3%81%AE%E5%86%AA%E6%A0%B9)
もう本当にね、ここに投稿したプログラムだけで幾度`c0=seq(-pi,pi,length=NoS);cx=cos(c0);cy=sin(c0)`(<font color="blue">NoS(Number of Sides)=描く多角形の辺数+巡回を完成させる為の1</font>)の構文を使い倒してきた事か。
[【初心者向け】挟み撃ち定理（Squeeze Theorem）による円周率πの近似](https://qiita.com/ochimusha01/items/1caff7d8af4aab167aaa)
![20190819051732.gif](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/91fd2787-e634-9a4c-64a8-5616bbd12d65.gif)
②ガウス積分発表によって「**広義積分、すなわち無限遠点を範囲に含む定積分ではそれまで用いてきた近似概念の間に可換性が生じる**(<font color="blue">近似さえちゃんと出来てれば、細けぇこたぁいいんだよ!</font>)」なる概念を導入した人物。そもそも実は**オイラーの公式**(<font color="blue">Euler's formula</font>）<font color="green">e^θi=cos(θ)+sin(θi)</font>もコンセプトは同じだったのかもしれない。そういう発想に至れたのも、かかるヒントがあったから。
[ガウス積分の公式](http://hooktail.sub.jp/mathInPhys/gaussIntegral/)
![1200px-E^(-x^2).svg.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/957a491e-decc-0d00-71fc-3f3873043f51.png)
<font color="green">ネイピア数e^1と円周率πの算出過程</font>(<font color="blue">収束する数値こそ違ど、無限遠点に向かう区間設定の動かし方は同じ</font>)
![20191122131232.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/d2d641a6-779f-67f7-ba5f-381e34e8ea13.png)

```R
#オイラーの「ネイピアの対数表」に基づく算出方法
cx0<-seq(1,70,length=700)
f0<-function(x){(1+1/x)^x}
cy0<-f0(cx0)
#グラフ化してみる。
plot(cx0,cy0,xlim=c(1,32),ylim=c(0,3.5),type="l",col=rgb(1,0,0),main="From One side to Two sides", xlab="NoS(Number of Sides)", ylab="(1-1/NoS)^N/2*tan(π/NoS)*cos(π/NoS)*NoS")

par(new=T)#上書き指定
#円周計算
cx1=seq(1,70,length=700)
f1=function(x) tan(pi/x)*cos(pi/x)*x
cy1<-f1(cx1)
plot(cx1,cy1,xlim=c(1,32),ylim=c(0,3.5),type="l",col=rgb(0,1,0),main="", xlab="", ylab="")

par(new=T)#上書き指定
#面積計算
cx2=seq(1,70,length=700)
f2=function(x) tan(pi/x)*cos(pi/x)*x/2
cy2<-f2(cx2)
plot(cx2,cy2,xlim=c(1,32),ylim=c(0,3.5),type="l",col=rgb(0,0,1),main="", xlab="", ylab="")
#自然対数1/eと比較。
abline(h=exp(1),col=rgb(1,0,0))#exp(1)=2.718282...
abline(h=pi/2,col=rgb( 0,0,1))#π/2=1.570796...
abline(h=pi,col=rgb(0,1,0))#π=3.141593...
#凡例
legend("bottomright", legend=c("(1+1/N)^N->exp(1)=2.718282...","tan(π/NoS)*cos(π/NoS)*NoS->π=3.141593...","Radius(1)^2*π/2->π/2=1.570796"),lty=c(1,1),col=c(rgb(1,0,0),rgb(0,1,0),rgb(0,0,1)))
```
<font color="green">ネイピア数e^-1と円周率2πの算出過程</font>(<font color="blue">収束する数値こそ違ど、無限遠点に向かう区間設定の動かし方は同じ</font>)
![20191117210800.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/6f5775ab-3d46-5be1-bb02-fda58db18c20.png)

```R
#オイラーの「ネイピアの対数表」に基づく算出方法
cx0<-seq(1,70,length=700)
f0<-function(x){(1-1/x)^x}
cy0<-f0(cx0)
#グラフ化してみる。
plot(cx0,cy0,xlim=c(1,32),ylim=c(0,6.5),type="l",col=rgb(1,0,0),main="From One side to Two sides", xlab="NoS(Number of Sides)", ylab="(1-1/NoS)^N/2*tan(π/NoS)*cos(π/NoS)*NoS")

par(new=T)#上書き指定
#円周計算
cx1=seq(1,70,length=700)
f1=function(x) 2*tan(pi/x)*cos(pi/x)*x
cy1<-f1(cx1)
plot(cx1,cy1,xlim=c(1,32),ylim=c(0,6.5),type="l",col=rgb(0,1,0),main="", xlab="", ylab="")

par(new=T)#上書き指定
#面積計算
cx2=seq(1,70,length=700)
f2=function(x) tan(pi/x)*cos(pi/x)*x
cy2<-f2(cx2)
plot(cx2,cy2,xlim=c(1,32),ylim=c(0,6.5),type="l",col=rgb(0,0,1),main="", xlab="", ylab="")
#自然対数1/eと比較。
abline(h=exp(-1),col=rgb(1,0,0))#exp(-1)=0.3678794...
abline(h=pi,col=rgb( 0,0,1))#2π=6.283185...
abline(h=2*pi,col=rgb(0,1,0))#2π=6.283185...
#凡例
legend("bottomright", legend=c("(1-1/N)^N->exp(-1)=0.3678794...","2*tan(π/NoS)*cos(π/NoS)*NoS->2π=6.283185...","2tan(π/NoS)*cos(π/NoS)*1/2*NoS->π=3.141593"),lty=c(1,1),col=c(rgb(1,0,0),rgb(0,1,0),rgb(0,0,1)))
```
[無限遠点 ― 塩田研一覚書帳 ―](http://lupus.is.kochi-u.ac.jp/shiota/misc/InfinityPoint/InfinityPoint.html)
>古来、２次曲線は放物線、楕円（<font color="blue">円を含む</font>）、双曲線の３種類に分類されてきました。 これらは円錐曲線とも呼ばれ、円錐面を、 母線と平行な平面で切った断面は放物線、 母線より浅い角度を成す平面で切った断面は楕円、 母線より深い角度を成す平面で切った断面は双曲線となります。２次元の無限遠点を考えることによってこれらは皆同じものであるという解釈ができます。

こうして、これまでの投稿内容の全体像が相応に振り返れた時点で、以下続報…