僕「円周率とは？」　バカ「３．１４！（ｷｬｯｷｬ」　僕「はぁ〜〜・・・（クソでか溜息」 [327876567]

312 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2020/12/12(土) 17:41:57.83 ID:8cqPFhrid1212.net

>>215
まず、集合論で自然数を定義して整数、有理数、実数と進んで、実数のペアで平面まで定義して、ユークリッド距離も定義する
そうすると、ある定点から一定距離の点全体、円が平面の中に定義できる、これはパラメータ表示できる
曲線の長さをユークリッド距離をパラメータで積分したものと定義すると、円周の長さが実数の中に定まる
これをまた円の直径を表す実数で割ったものは、任意の円に対して一意に定まる
これを円周率と呼ぶ
でいいのかな？