円は存在しない [転載禁止]©2ch.net

[0001 佐藤光@新潟市江南区 2015/03/08(日) 12:50:05.36 ID:+4hxQPIz]

線の集合によって成り得ない図形は存在してはいけない

[0002 １３２人目の素数さん 2015/03/08(日) 15:19:45.32 ID:NA6bS9u/]

円も線では？

[0003 １３２人目の素数さん 2015/03/08(日) 17:28:26.76 ID:rZbsFybB]

円も、直線も、心の中にしか存在しない。
目を閉じて図形を思い浮かべるのが好きか、
コンパスが引いた線の太さを測ってみるのが好きか。

[0004 １３２人目の素数さん 2015/03/08(日) 19:16:52.37 ID:AkZHDanq]

円の弧長は円周率
円周率は超越数

楕円の弧長は楕円積分

[0005 １３２人目の素数さん 2015/03/09(月) 19:48:54.74 ID:3A55k/UM]

>>1
線もまた点の集合なり

線
├直線
└曲線┬円線(弧)

[0006 １３２人目の素数さん 2015/03/09(月) 20:11:47.39 ID:8quzxoJA]

線は点であり点もまた線である
全ては集合である

[0007 １３２人目の素数さん 2015/03/09(月) 21:06:49.96 ID:pdVV71Yt]

超越数を認めない立場なのか

[0008 １３２人目の素数さん 2015/03/09(月) 21:38:31.89 ID:ZzNTkEa+]

そんな主義思想は聞いたことがないが

[0009 １３２人目の素数さん 2015/03/10(火) 01:59:53.58 ID:L5lwNPfX]

1つ考え方を飛ばして
原子レベルの点が曲がるように組み合わさったら円になったとか

[0010 １３２人目の素数さん 2015/03/22(日) 20:02:28.67 ID:5QchKBao]

宇宙が存在しなかったら円も存在しない

[0011 １３２人目の素数さん 2015/03/23(月) 19:22:30.35 ID:F7zXUU7p]

集合が存在するとでも思ってるの？？？

[0012 １３２人目の素数さん 2015/03/23(月) 20:59:10.82 ID:o2vAwXDd]

宇宙が存在しなくても円は存在する
人類が存在しなくても円は存在する
単位円周上に有理点は無限に存在する

[0013 １３２人目の素数さん 2015/03/23(月) 21:27:15.97 ID:0+FbT3tc]

円が存在する　の定義は？

[0014 １３２人目の素数さん 2015/03/23(月) 21:35:43.80 ID:Pa51O9nM]

>>13
円の条件を満足する集合⊂空間

[0015 １３２人目の素数さん 2015/03/23(月) 21:45:49.24 ID:ajduNn+K]

　.　 .　..　　.　.　 .　.. 　 ..ゝ０ノ火ァ .　 .　.. 　 .ヾ､＼、　｀'''ーーー'''´　￣ ｀￣￣
　　.　 .　..　　.　.　 .　.. 　 .　 ゝ０ノ .　 .　..　 .　.　ヾ､＼、　　　 ＼＿_
　.　 .　..　　.　.　 .　..　　.　.　 .　..　　.　.　 .　.. 　 .　.ヾ､＼、 　 　 ￣||　　　 ｒ'⌒ヽ
　　.　 .　..　　.　.　 .　..　　.　.　 .　..　　.　.　 .　..　　.　. ヾ､＼、　　　.|| 　 　 ゞｧｒ-'
　.　 .　..　　.　.　 .　..　　.　.　 .　..　　.　.　 .　.. 　 .　.　 .　.ヾ､｀ｧﾞ　　 ||　　　,＿＿_
　　.　 .　..　　.　.　 .　..　　.　.　 .　.. 　 .　＿＿　.　 .　.. 　 .　｝'　　　 ||　 　 ||￣￣
　.　 .　..　　.　.　 .　.. 　 .　.　 .　.. 　 .　. |,,,,ｉｉ,,,,| .　 .　..　.　../.　　　　||　 　 ||
　　.　 .　..　　.　.　 .　..　　.　.　 .　..　.　..|''''ｉｉ''''|　.　 .　..　 / ｒ'⌒ヽ.　||＿＿||
　.　 .　..　　.　.　 .　..　　.　.　 .　..　　. 　 ￣￣ .　 .　..　. /　ゞｧｒ-'　 ||￣￣´
　　.　 .　..　　.　.　 .　..　　.　.　 .　..　　.　ｏ　.　 .　..　　./　　　　　　_n_
　.　 .　..　　.　.　 .　..　　.　.　 .　..　　.　.　 .　.. 　 .　.　/　　　　　　,,,|：|
　　.　 .　..　　.　.　 .　..　　.　.　 .　..　　.　　__ .　 .　.. ヾ｀ー,ー,ー,ー,ー,ー,ー,ー,ー
　.　 .　..　　.　.　 .　.. 　 .　.　 .　.. 　 .　. nｉ◎in .　 .　.. ｀ー'ー'ー'ー'ー'ー'ー'ー'ー
　　.　 .　..　　.　.　 .　..　　.　.　 .　.. 　 . ‘ｎ||ｎ’.　 .　..　　.　.　 .　..　　.　.　 .　..　　.
　.　 .　..　　.　.　 .　..　　._ .　 .　..　　.　.　 .　..　　.　.　 .　..　.ｒ;;:⌒⌒⌒:;;ｧ、.　 .　..
　　.　 .　.. 　 .　.　 ,!´￣´｀!.　 .　.. 　 .　,ｲ´~｀ｱ!.　 .　.. 　 .（;;::: "　:::;ゞ　:::;;）.　 .　..
　.　 .　..　　.　.　 ./　　　,ｲ! .　 .　..　　. .ゞ'二'ノ .　 .　.. 　 .　｀'''ーーー'''´.　 .　..

[0016 １３２人目の素数さん 2015/03/24(火) 08:36:21.87 ID:bzgWFWxo]

-1*-1=-1とすれば双曲線の１つになる

[0017 １３２人目の素数さん 2015/03/24(火) 12:54:20.00 ID:2ZrlWrq6]

>>13
円の定義は？　ではなく　円が存在するの定義は？
と問うあたり、物凄い馬鹿の匂いがする

[0018 １３２人目の素数さん 2015/03/24(火) 19:35:46.24 ID:er9dff4c]

と円の定義を知らない馬鹿が申しております

[0019 １３２人目の素数さん 2015/03/24(火) 21:16:28.91 ID:MG2cv+T0]

>>17
そんなに馬鹿ではないと思う。
数学で存在するというのと物理学などの科学で存在するというのでは、
意味がまったく違うからね。>>13はそこを念押ししたんでしょ。

[0020 片山博文MZ ◆T6xkBnTXz7B0 2015/03/24(火) 21:20:44.46 ID:kZZWvxp/]

デカルト平面Pにおいて、半径をrとし、中心点の座標をcとする円周上の点の集合は、

{x; |x-c|＝r ∧ x∈P}

で表される。

[0021 片山博文MZ ◆T6xkBnTXz7B0 2015/03/24(火) 21:27:49.45 ID:kZZWvxp/]

ある円周が存在することと、それに対する円周上の点の集合が一意に存在することは同値である。

[0022 片山博文MZ ◆T6xkBnTXz7B0 2015/03/24(火) 21:39:01.80 ID:kZZWvxp/]

cは実ベクトルであり、rは実数である。このとき、|x-c|＝rを満たすxは実数である。
このようなxは必ず存在する。なぜならcに長さrのベクトルを足せばxが得られるからだ。

[0023 １３２人目の素数さん 2015/03/24(火) 21:42:03.86 ID:T3fDRtGJ]

（´･∀･`）ﾍｰ

[0024 １３２人目の素数さん 2015/03/24(火) 21:43:54.59 ID:kZZWvxp/]

×rは実数である
○rは0以上の実数である

[0025 １３２人目の素数さん 2015/03/24(火) 21:47:48.88 ID:T3fDRtGJ]

（´･∀･`）ﾍｰ

[0026 片山博文MZ ◆T6xkBnTXz7B0 2015/03/24(火) 21:49:14.52 ID:kZZWvxp/]

eが単位ベクトルであれば、|e|＝1であり、reは長さrのベクトルである。
x＝c+reならば|x-c|＝|re|＝r|e|＝r。

[0027 １３２人目の素数さん 2015/03/24(火) 21:51:11.03 ID:T3fDRtGJ]

（´･∀･`）ﾍｰ

[0028 １３２人目の素数さん 2015/03/24(火) 21:51:37.57 ID:kZZWvxp/]

×xは実数である
○xは実ベクトルである

[0029 片山博文MZ ◆T6xkBnTXz7B0 2015/03/24(火) 21:55:23.20 ID:kZZWvxp/]

果たして、中心点c、半径rの円周が一意であるか？

[0030 １３２人目の素数さん 2015/03/24(火) 21:57:32.61 ID:m/ex2k1x]

ビッグバン以前にも円は存在するのか？
いったいどこに存在するのか？

[0031 １３２人目の素数さん 2015/03/24(火) 21:59:12.43 ID:m/ex2k1x]

まさか神様の心の中に存在する、とでも言うのか？

[0032 片山博文MZ ◆T6xkBnTXz7B0 2015/03/24(火) 21:59:27.26 ID:kZZWvxp/]

円周が二つ以上存在したとしても、どちらも定義より
{x; |x-c|＝r ∧ x∈P}
と表される。よって
{x; |x-c|＝r ∧ x∈P} ＝{x; |x-c|＝r ∧ x∈P}
であるから円周は一意である。□

[0033 １３２人目の素数さん 2015/03/24(火) 22:04:34.71 ID:mmT4VNuw]

神様が存在しなくても円は存在する

[0034 １３２人目の素数さん 2015/03/24(火) 22:24:39.53 ID:KbJhPOWj]

　　　　　　　　　　　／:::::::::::::::::::::::::;ィﾎ孑"⌒￣¨ミﾒﾍ
　　　　　　　　　　/::::::::::::::::::::::::::/:::::::/;ィ :::/ ::::::::!::::::::::':,
　　　　　　　　　 ,'::::::::::::|:::::::::::::::| ::::/:/ |:::/ |::::::/|::::::::::::::::.
.　　　　　　　 　 '::::::::::::::|:::::::::::::::|:::/:/ ｀|人｜:;'　|::ﾄ;:::::::::: l　　　　　＿/＼/＼／|＿
　　　　　　　　　| ::::::::::: |:::::::::::::::l/yr=ﾐ:､ 　 ﾚ′ |;斗v::| :::|　　　　　＼　　　　　　　／
　　　　　　　　　| ::::::::::: |:::::::::::::::| :{_ﾋri}ﾞ　　　　 /行ﾐt/| :::|　　　　　＜　　ﾏﾄﾞｶｧ!　＞
　　　　　　　　　| ::::::::;�Y:::::::::::::::!　￣´ 　　　 　 ﾋrﾘ.》 j:::::|　　　　　／　 　　　　 　＼
　　　　　　　　　l :::::八-|:::::::::::::::| """"　　　 　'　 ,,,,,, ,::::::|　　　　　￣|／＼/＼/￣
　　　　　　　　　|::::::::::::`|:::::::::::::::|　　　　{ニニﾆｨ　 　,::::::::|
　　　　　　　　　| ::::::::::: |:::::::::::::::|　　　　{　 　∨　　.ﾉ ::::::|
.　　　　　 　 　 八:::::::::八::::::::::::::|＞ ..　 ﾞこ三/　.＜:::::::::::|
　　　 　 　 　 / ::::::::::::::::∧:::::::::::|__　　≧y‐＜:::::| ::::::::::::::|

[0035 １３２人目の素数さん 2015/03/24(火) 22:45:50.84 ID:KVrxuMU6]

ひろし

[0036 １３２人目の素数さん 2015/03/24(火) 22:49:49.57 ID:kZZWvxp/]

通貨

[0037 １３２人目の素数さん 2016/07/21(木) 22:37:39.52 ID:UE0zdzNA]

>>16
1+(-1)=0より、両辺に-1をかけて、
-1*{1+(-1)}=-1*0
分配法則より、
-1*1+(-1)*(-1)=-1*0
0は何をかけても0であることと、1は何にかけてもその数になることから、
-1+(-1)*(-1)=0
両辺に1を足して、
1+(-1)+(-1)*(-1)=1
-1*(-1)=1
ここまでは現実どおり。
もし、-1*(-1)が-1であれば、-1と1が等しいことになってしまうが、その問題はどのように解決する?

[0038 １３２人目の素数さん 2016/07/22(金) 00:24:18.52 ID:+t6LEdae]

重要なのは円が存在するかではなくてどのくらいの強さの公理系から円の存在を証明できるかでは？

[0039 １３２人目の素数さん 2016/07/22(金) 00:26:43.84 ID:qc7uCoeU]

x^2+y^2=r^2

[0040 １３２人目の素数さん 2016/07/22(金) 00:40:31.79 ID:+t6LEdae]

ただしr>0

[0041 １３２人目の素数さん 2016/07/22(金) 00:44:18.91 ID:+t6LEdae]

(x-a)^2+(y-b)^2=r^2
∀x∀y∃r, (x-a)^2+(y-b)^2=r^2

[0042 １３２人目の素数さん 2016/07/22(金) 00:45:18.75 ID:+t6LEdae]

まちごうた

[0043 １３２人目の素数さん 2016/07/22(金) 00:52:07.29 ID:+t6LEdae]

∀a,b∃r∀x∃y, a-r≤x≤a+r∧b-r≤y≤b+r→(x-a)^2+(y-b)^2=r^2
これを証明すればええんの

[0044 １３２人目の素数さん 2016/07/22(金) 01:27:44.31 ID:TJispMXp]

離散空間で半径1/2の円は空とかそういう話？

[0045 １３２人目の素数さん 2016/07/22(金) 01:37:39.55 ID:qc7uCoeU]

円周を含まなくてもいいんか？
x^2+y^2<r^2
x^2+y^2>r^2