1: 2024/05/24(金) 14:13:28.53 ID:a1LLZJ2X0
「与えられた円と同じ面積の正方形を定規とコンパスで作図せよ」

2: 2024/05/24(金) 14:14:00.42 ID:a1LLZJ2X0
解くのに2000年掛かったパズル

9: 2024/05/24(金) 14:19:45.22 ID:vbRQnky30
定規の精度によってはイケる

11: 2024/05/24(金) 14:22:46.00 ID:9jL5PGvW0
>>9
こういう人の頭の中ってどうなってるんだろう?







4: 2024/05/24(金) 14:15:56.92 ID:a1LLZJ2X0
遊戯のパズルの倍

5: 2024/05/24(金) 14:15:59.62 ID:sWXdPpW8d
つうか解けたんか凄いな
どうやってπを処理したんや

6: 2024/05/24(金) 14:16:32.61 ID:a1LLZJ2X0
>>5
出来ないことが証明されるまで2000年かかった

7: 2024/05/24(金) 14:17:08.44 ID:sWXdPpW8d
>>6
なるほどサンクス

13: 2024/05/24(金) 14:24:31.26 ID:TClQjA6Ad
>>6
そんなことのために賢い頭脳使うなよと思ってしまうわ

8: 2024/05/24(金) 14:19:11.94 ID:+5prJxF80
できないことを証明したんか

10: 2024/05/24(金) 14:20:25.94 ID:UuWAwq93d
1000年パズル

12: 2024/05/24(金) 14:24:18.61 ID:a1LLZJ2X0
しかも解くまでの過程が厚く面白い

最初は初等幾何的な問題で
円周率の解析学的性質の研究の発展を待つ必要があった
代数学の要請で「虚数」が定義されて
オイラーが、虚数と解析学を組み合わせて公式「e^(iπ)=-1」を発見した

ガロアやガウスの研究で、作図可能であることと代数学的な性質を対応させた

オイラーの公式をもとにリンデマンがπは代数的じゃないことを証明

初等幾何の問題だけど、問題が解けるまでに代数学、解析学の発展を待つ必要があった

16: 2024/05/24(金) 14:30:53.40 ID:sWXdPpW8d
>>12
よく分からんけどなんかすごい

22: 2024/05/24(金) 14:39:02.84 ID:BWs0AHtM0
>>12
全く理解できんがなんかすごいことは伝わる

25: 2024/05/24(金) 14:52:55.85 ID:2NK9H7XO0
>>12
何でこういう話を聞くとワクワクするんだろ
一円にもならないのに

14: 2024/05/24(金) 14:25:48.76 ID:a1LLZJ2X0
フェルマーの最終定理の歴史は超有名だけど
この問題の歴史も本になっていいくらいやろ

17: 2024/05/24(金) 14:32:05.40 ID:+5prJxF80
フェルマーノ最終定理も有名人の歴史みたいな感じだったな

18: 2024/05/24(金) 14:35:39.67 ID:y9TV1mfK0
これか分かると何か起きるんか?

20: 2024/05/24(金) 14:37:16.41 ID:a1LLZJ2X0
>>18
これ自体が解けたことによる直接的な利益は皆無だろう
でもこれを解くために発展した関数論、解析学、代数学は
現代科学を根底から支える技術、理論だよ

19: 2024/05/24(金) 14:35:48.08 ID:a1LLZJ2X0
一見子供でも分かるシンプルな問題だけど
「虚数」だったり「微分積分」だったり「群環体」の知識が発展しないと解けない問題ってのが面白い

まあ現代なら数学科学部3年生くらいでも証明は十分理解出来るレベルだけど

21: 2024/05/24(金) 14:38:52.16 ID:a1LLZJ2X0
これらが無ければ 制御工学もできないし信号処理も出来ないから
車は動かない、ロケットは飛ばせない、ロボットは動かないし、スマホで通信も出来ない

23: 2024/05/24(金) 14:41:38.08 ID:EI8xwIAF0
そう言うなよ
数学はこの世の真実や

24: 2024/05/24(金) 14:51:05.87 ID:/An5kVvE0
現代だと円の面積の中に無限に四角形を配列して無理やり近似値に近づけるとかバカなことやってるよね

26: 2024/05/24(金) 14:53:24.32 ID:a1LLZJ2X0
>>24
いやそれはアルキメデスとかの紀元前の手法だよ
現代はチュドノフスキー級数展開やガウスルジャンドルアルゴリズムで求めるのが一般的

27: 2024/05/24(金) 14:54:20.03 ID:2ImlwaP/0
ただし円周率は3とする

28: 2024/05/24(金) 14:56:19.51 ID:EtrqAV0T0
なにこれ円の長さを測って定規で正方形描けばええだけやん

29: 2024/05/24(金) 14:58:18.44 ID:a1LLZJ2X0
>>28
「定規とコンパスの作図」ってのが実は数学的にルールが決まってるんや

定規ってのはメモリも何もない定規、
直線を引くらいしか能力がない抽象的な道具と思えばええで

30: 2024/05/24(金) 15:00:03.47 ID:EtrqAV0T0
>>29
そういうことは先に言ってくれや
数学者いつもそう簡単な問題を難しく考えるために努力してるような連中

33: 2024/05/24(金) 15:04:30.17 ID:a1LLZJ2X0
>>30
その考え方は真逆だよ
本質的に難しい自然現象や概念の構造や量をいかに抽象化して扱いやすくするのかが数学だよ

31: 2024/05/24(金) 15:01:39.45 ID:CB09cbSAd
あとは角の三等分と、倍の立方体を作るやつやな

34: 2024/05/24(金) 15:04:59.29 ID:a1LLZJ2X0
>>31
せやな
ギリシャの三大難問

32: 2024/05/24(金) 15:04:00.59 ID:Pn9ep6J60
フェルマーの最終定理みたいなもんか
ある方面からの理論アプローチが難しかったけど他の理論から対応をとってそれに変換して解くみたいな
おもろいな

51: 2024/05/24(金) 15:28:08.68 ID:PoP5z09U0
>>32
せやね
フェルマーの証明はこの問題なんかよりも遥かに高度で超絶難しい理論を巧みに組み合わせてるけどね

実は歴史自体は長いのはこちら

35: 2024/05/24(金) 15:08:22.90 ID:eVjQTigup
ちょっとずつ作図すれば余裕
1cmの正方形は1、2cmの正方形は4やから面積πの正方形の一片の長さは絶対1~2の中にあるで

37: 2024/05/24(金) 15:13:37.02 ID:a1LLZJ2X0
>>35
どうやって長さが√πであることを判別するの?

まあでも「有限回の操作」という制限がないなら無限級数的に√πは求められるね

39: 2024/05/24(金) 15:15:47.84 ID:33PzDhde0
>>35
余裕というかもう既に作図不可能って証明されてるんだがな

36: 2024/05/24(金) 15:12:19.71 ID:EtrqAV0T0
どうせ数学者同士が共謀してつくった数学者ルールの中で解けるとかやろ
ルールが間違ってたらそれまでや

50: 2024/05/24(金) 15:27:28.82 ID:eVjQTigup
>>36 捻くれすぎやろ…

41: 2024/05/24(金) 15:17:12.20 ID:HXAcoF4Ja
解けてないやんけ

44: 2024/05/24(金) 15:20:12.94 ID:+5prJxF80
解なし、的な

53: 2024/05/24(金) 15:31:14.77 ID:ZS/8GVYg0
エンドレスエイト見てたら気づいた!
とかもあったような

54: 2024/05/24(金) 15:33:50.04 ID:PoP5z09U0
>>53
最小超置換の問題やな
5ch発祥のみんなが夢中になるようなシンプルかつ超難問が出来ればええな

56: 2024/05/24(金) 15:41:59.69 ID:PoP5z09U0
問題提起されてから2千数百年経った現代でも解決されてない
・偶数の完全数は無限にあるか?
・奇数の完全数は存在するか?

って問題もあるからおまえら挑戦してみてくれ!!

58: 2024/05/24(金) 15:43:57.77 ID:sy6ZB8Z30
そのうちインドのトンデモが出来たンゴ!って言ってくる可能性は無いん?

46: 2024/05/24(金) 15:23:46.10 ID:yHcPDDlT0
出来ないことの証明って大変だからな

https://tomcat.2ch.sc/test/read.cgi/livegalileo/1716527608/